0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.29/0.35 c #variables 21063 #constraints 21419
95.20/95.53 c #Conflicts: 1000 | #Constraints: 22418
95.20/95.53 c #Conflicts: 2000 | #Constraints: 23418
95.20/95.53 c INPROCESSING
95.20/95.53 c GARBAGE COLLECT
95.20/95.53 c #Conflicts: 3000 | #Constraints: 22760
95.20/95.53 c #Conflicts: 4000 | #Constraints: 23760
95.20/95.53 c INPROCESSING
95.20/95.53 c GARBAGE COLLECT
95.20/95.53 c #Conflicts: 5000 | #Constraints: 23275
95.20/95.53 c #Conflicts: 6000 | #Constraints: 24275
95.20/95.53 c INPROCESSING
95.20/95.53 c GARBAGE COLLECT
95.20/95.53 c #Conflicts: 7000 | #Constraints: 23368
95.20/95.53 c #Conflicts: 8000 | #Constraints: 24368
95.20/95.53 c #Conflicts: 9000 | #Constraints: 25368
95.20/95.53 c #Conflicts: 10000 | #Constraints: 26368
95.20/95.53 c #Conflicts: 11000 | #Constraints: 27368
95.20/95.53 c #Conflicts: 12000 | #Constraints: 28368
95.20/95.53 c INPROCESSING
95.20/95.53 c GARBAGE COLLECT
95.20/95.53 c #Conflicts: 13000 | #Constraints: 25376
95.20/95.53 c #Conflicts: 14000 | #Constraints: 26376
95.20/95.53 c #Conflicts: 15000 | #Constraints: 27376
95.20/95.53 c #Conflicts: 16000 | #Constraints: 28376
95.20/95.53 c INPROCESSING
95.20/95.53 c GARBAGE COLLECT
95.20/95.53 c #Conflicts: 17000 | #Constraints: 25577
95.20/95.53 c #Conflicts: 18000 | #Constraints: 26577
95.20/95.53 c #Conflicts: 19000 | #Constraints: 27577
95.20/95.53 c #Conflicts: 20000 | #Constraints: 28577
95.20/95.53 c #Conflicts: 21000 | #Constraints: 29577
95.20/95.53 c #Conflicts: 22000 | #Constraints: 30577
95.20/95.53 c #Conflicts: 23000 | #Constraints: 31577
95.20/95.53 c #Conflicts: 24000 | #Constraints: 32577
95.20/95.53 c #Conflicts: 25000 | #Constraints: 33577
95.20/95.53 c INPROCESSING
95.20/95.53 c GARBAGE COLLECT
95.20/95.53 c #Conflicts: 26000 | #Constraints: 28145
95.20/95.53 c #Conflicts: 27000 | #Constraints: 29145
95.20/95.53 c #Conflicts: 28000 | #Constraints: 30145
95.20/95.53 c #Conflicts: 29000 | #Constraints: 31145
95.20/95.53 c #Conflicts: 30000 | #Constraints: 32145
95.20/95.53 c INPROCESSING
95.20/95.53 c GARBAGE COLLECT
95.20/95.53 c #Conflicts: 31000 | #Constraints: 27981
95.20/95.53 c #Conflicts: 32000 | #Constraints: 28981
95.20/95.53 c #Conflicts: 33000 | #Constraints: 29981
95.20/95.53 c #Conflicts: 34000 | #Constraints: 30981
95.20/95.53 c #Conflicts: 35000 | #Constraints: 31981
95.20/95.53 c #Conflicts: 36000 | #Constraints: 32981
95.20/95.53 c #Conflicts: 37000 | #Constraints: 33981
95.20/95.53 c #Conflicts: 38000 | #Constraints: 34981
95.20/95.53 c #Conflicts: 39000 | #Constraints: 35981
95.20/95.53 c #Conflicts: 40000 | #Constraints: 36981
95.20/95.53 c #Conflicts: 41000 | #Constraints: 37981
95.20/95.53 c #Conflicts: 42000 | #Constraints: 38981
95.20/95.53 c #Conflicts: 43000 | #Constraints: 39981
95.20/95.53 c INPROCESSING
95.20/95.53 c GARBAGE COLLECT
95.20/95.53 c #Conflicts: 44000 | #Constraints: 31768
95.20/95.53 c #Conflicts: 45000 | #Constraints: 32768
95.20/95.53 c #Conflicts: 46000 | #Constraints: 33768
95.20/95.53 c #Conflicts: 47000 | #Constraints: 34768
95.20/95.53 c #Conflicts: 48000 | #Constraints: 35768
95.20/95.53 c #Conflicts: 49000 | #Constraints: 36768
95.20/95.53 c INPROCESSING
95.20/95.53 c GARBAGE COLLECT
95.20/95.53 c #Conflicts: 50000 | #Constraints: 30848
95.20/95.53 c #Conflicts: 51000 | #Constraints: 31848
95.20/95.53 c #Conflicts: 52000 | #Constraints: 32848
95.20/95.53 c #Conflicts: 53000 | #Constraints: 33848
95.20/95.53 c #Conflicts: 54000 | #Constraints: 34848
95.20/95.53 c #Conflicts: 55000 | #Constraints: 35848
95.20/95.53 c #Conflicts: 56000 | #Constraints: 36848
95.20/95.53 c #Conflicts: 57000 | #Constraints: 37848
95.20/95.53 c #Conflicts: 58000 | #Constraints: 38848
95.20/95.53 c #Conflicts: 59000 | #Constraints: 39848
95.20/95.53 c #Conflicts: 60000 | #Constraints: 40848
95.20/95.53 c #Conflicts: 61000 | #Constraints: 41848
95.20/95.53 c #Conflicts: 62000 | #Constraints: 42848
95.20/95.53 c #Conflicts: 63000 | #Constraints: 43848
95.20/95.53 c #Conflicts: 64000 | #Constraints: 44848
95.20/95.53 c #Conflicts: 65000 | #Constraints: 45848
95.20/95.53 c INPROCESSING
95.20/95.53 c GARBAGE COLLECT
95.20/95.53 c #Conflicts: 66000 | #Constraints: 34918
95.20/95.53 c #Conflicts: 67000 | #Constraints: 35918
95.20/95.53 c #Conflicts: 68000 | #Constraints: 36918
95.20/95.53 c #Conflicts: 69000 | #Constraints: 37918
95.20/95.53 c #Conflicts: 70000 | #Constraints: 38918
95.20/95.53 c #Conflicts: 71000 | #Constraints: 39918
95.20/95.53 c #Conflicts: 72000 | #Constraints: 40918
95.20/95.53 c INPROCESSING
95.20/95.53 c GARBAGE COLLECT
207.27/207.96 c #Conflicts: 73000 | #Constraints: 33574
207.27/207.96 c #Conflicts: 74000 | #Constraints: 34574
207.27/207.96 c #Conflicts: 75000 | #Constraints: 35574
207.27/207.96 c #Conflicts: 76000 | #Constraints: 36574
207.27/207.96 c #Conflicts: 77000 | #Constraints: 37574
207.27/207.96 c #Conflicts: 78000 | #Constraints: 38574
207.27/207.96 c #Conflicts: 79000 | #Constraints: 39574
207.27/207.96 c #Conflicts: 80000 | #Constraints: 40574
207.27/207.96 c #Conflicts: 81000 | #Constraints: 41574
207.27/207.96 c #Conflicts: 82000 | #Constraints: 42574
207.27/207.96 c #Conflicts: 83000 | #Constraints: 43574
207.27/207.96 c #Conflicts: 84000 | #Constraints: 44574
207.27/207.96 c #Conflicts: 85000 | #Constraints: 45574
207.27/207.96 c #Conflicts: 86000 | #Constraints: 46574
207.27/207.96 c #Conflicts: 87000 | #Constraints: 47574
207.27/207.96 c #Conflicts: 88000 | #Constraints: 48574
207.27/207.96 c #Conflicts: 89000 | #Constraints: 49574
207.27/207.96 c #Conflicts: 90000 | #Constraints: 50574
207.27/207.96 c #Conflicts: 91000 | #Constraints: 51574
207.27/207.96 c INPROCESSING
207.27/207.96 c GARBAGE COLLECT
207.27/207.96 c #Conflicts: 92000 | #Constraints: 37786
207.27/207.96 c #Conflicts: 93000 | #Constraints: 38786
207.27/207.96 c #Conflicts: 94000 | #Constraints: 39786
207.27/207.96 c #Conflicts: 95000 | #Constraints: 40786
207.27/207.96 c #Conflicts: 96000 | #Constraints: 41786
207.27/207.96 c #Conflicts: 97000 | #Constraints: 42786
207.27/207.96 c #Conflicts: 98000 | #Constraints: 43786
207.27/207.96 c #Conflicts: 99000 | #Constraints: 44786
207.27/207.96 c #Conflicts: 100000 | #Constraints: 45786
207.27/207.96 c INPROCESSING
207.27/207.96 c GARBAGE COLLECT
207.27/207.96 c #Conflicts: 101000 | #Constraints: 37082
207.27/207.96 c #Conflicts: 102000 | #Constraints: 38082
207.27/207.96 c #Conflicts: 103000 | #Constraints: 39082
207.27/207.96 c #Conflicts: 104000 | #Constraints: 40082
207.27/207.96 c #Conflicts: 105000 | #Constraints: 41082
207.27/207.96 c #Conflicts: 106000 | #Constraints: 42082
207.27/207.96 c #Conflicts: 107000 | #Constraints: 43082
207.27/207.96 c #Conflicts: 108000 | #Constraints: 44082
207.27/207.96 c #Conflicts: 109000 | #Constraints: 45082
207.27/207.96 c #Conflicts: 110000 | #Constraints: 46082
207.27/207.96 c #Conflicts: 111000 | #Constraints: 47082
207.27/207.96 c #Conflicts: 112000 | #Constraints: 48082
207.27/207.96 c #Conflicts: 113000 | #Constraints: 49082
207.27/207.96 c #Conflicts: 114000 | #Constraints: 50082
207.27/207.96 c #Conflicts: 115000 | #Constraints: 51082
207.27/207.96 c #Conflicts: 116000 | #Constraints: 52082
207.27/207.96 c #Conflicts: 117000 | #Constraints: 53082
207.27/207.96 c #Conflicts: 118000 | #Constraints: 54082
207.27/207.96 c #Conflicts: 119000 | #Constraints: 55082
207.27/207.96 c #Conflicts: 120000 | #Constraints: 56082
207.27/207.96 c #Conflicts: 121000 | #Constraints: 57082
207.27/207.96 c INPROCESSING
207.27/207.96 c GARBAGE COLLECT
207.27/207.96 c #Conflicts: 122000 | #Constraints: 40475
207.27/207.96 c #Conflicts: 123000 | #Constraints: 41475
207.27/207.96 c #Conflicts: 124000 | #Constraints: 42475
207.27/207.96 c #Conflicts: 125000 | #Constraints: 43475
207.27/207.96 c #Conflicts: 126000 | #Constraints: 44475
207.27/207.96 c #Conflicts: 127000 | #Constraints: 45475
207.27/207.96 c #Conflicts: 128000 | #Constraints: 46475
207.27/207.96 c #Conflicts: 129000 | #Constraints: 47475
207.27/207.96 c #Conflicts: 130000 | #Constraints: 48475
207.27/207.96 c #Conflicts: 131000 | #Constraints: 49475
207.27/207.96 c #Conflicts: 132000 | #Constraints: 50475
207.27/207.96 c INPROCESSING
207.27/207.96 c GARBAGE COLLECT
207.27/207.96 c #Conflicts: 133000 | #Constraints: 40471
207.27/207.96 c #Conflicts: 134000 | #Constraints: 41471
207.27/207.96 c #Conflicts: 135000 | #Constraints: 42471
207.27/207.96 c #Conflicts: 136000 | #Constraints: 43471
207.27/207.96 c #Conflicts: 137000 | #Constraints: 44471
207.27/207.96 c #Conflicts: 138000 | #Constraints: 45471
207.27/207.96 c #Conflicts: 139000 | #Constraints: 46471
207.27/207.96 c #Conflicts: 140000 | #Constraints: 47471
207.27/207.96 c #Conflicts: 141000 | #Constraints: 48471
207.27/207.96 c #Conflicts: 142000 | #Constraints: 49471
207.27/207.96 c #Conflicts: 143000 | #Constraints: 50471
207.27/207.96 c #Conflicts: 144000 | #Constraints: 51471
207.27/207.96 c #Conflicts: 145000 | #Constraints: 52471
207.27/207.96 c #Conflicts: 146000 | #Constraints: 53471
207.27/207.96 c #Conflicts: 147000 | #Constraints: 54471
207.27/207.96 c #Conflicts: 148000 | #Constraints: 55471
207.27/207.96 c #Conflicts: 149000 | #Constraints: 56471
309.59/310.51 c #Conflicts: 150000 | #Constraints: 57471
309.59/310.51 c #Conflicts: 151000 | #Constraints: 58471
309.59/310.51 c #Conflicts: 152000 | #Constraints: 59471
309.59/310.51 c #Conflicts: 153000 | #Constraints: 60471
309.59/310.51 c #Conflicts: 154000 | #Constraints: 61471
309.59/310.51 c #Conflicts: 155000 | #Constraints: 62471
309.59/310.51 c #Conflicts: 156000 | #Constraints: 63471
309.59/310.51 c INPROCESSING
309.59/310.51 c GARBAGE COLLECT
309.59/310.51 c #Conflicts: 157000 | #Constraints: 43186
309.59/310.51 c #Conflicts: 158000 | #Constraints: 44186
309.59/310.51 c #Conflicts: 159000 | #Constraints: 45186
309.59/310.51 c #Conflicts: 160000 | #Constraints: 46186
309.59/310.51 c #Conflicts: 161000 | #Constraints: 47186
309.59/310.51 c #Conflicts: 162000 | #Constraints: 48186
309.59/310.51 c #Conflicts: 163000 | #Constraints: 49186
309.59/310.51 c #Conflicts: 164000 | #Constraints: 50186
309.59/310.51 c #Conflicts: 165000 | #Constraints: 51186
309.59/310.51 c #Conflicts: 166000 | #Constraints: 52186
309.59/310.51 c #Conflicts: 167000 | #Constraints: 53186
309.59/310.51 c #Conflicts: 168000 | #Constraints: 54186
309.59/310.51 c INPROCESSING
309.59/310.51 c GARBAGE COLLECT
309.59/310.51 c #Conflicts: 169000 | #Constraints: 43300
309.59/310.51 c #Conflicts: 170000 | #Constraints: 44300
309.59/310.51 c #Conflicts: 171000 | #Constraints: 45300
309.59/310.51 c #Conflicts: 172000 | #Constraints: 46300
309.59/310.51 c #Conflicts: 173000 | #Constraints: 47300
309.59/310.51 c #Conflicts: 174000 | #Constraints: 48300
309.59/310.51 c #Conflicts: 175000 | #Constraints: 49300
309.59/310.51 c #Conflicts: 176000 | #Constraints: 50300
309.59/310.51 c #Conflicts: 177000 | #Constraints: 51300
309.59/310.51 c #Conflicts: 178000 | #Constraints: 52300
309.59/310.51 c #Conflicts: 179000 | #Constraints: 53300
309.59/310.51 c #Conflicts: 180000 | #Constraints: 54300
309.59/310.51 c #Conflicts: 181000 | #Constraints: 55300
309.59/310.51 c #Conflicts: 182000 | #Constraints: 56300
309.59/310.51 c #Conflicts: 183000 | #Constraints: 57300
309.59/310.51 c #Conflicts: 184000 | #Constraints: 58300
309.59/310.51 c #Conflicts: 185000 | #Constraints: 59300
309.59/310.51 c #Conflicts: 186000 | #Constraints: 60300
309.59/310.51 c #Conflicts: 187000 | #Constraints: 61300
309.59/310.51 c #Conflicts: 188000 | #Constraints: 62300
309.59/310.51 c #Conflicts: 189000 | #Constraints: 63300
309.59/310.51 c #Conflicts: 190000 | #Constraints: 64300
309.59/310.51 c #Conflicts: 191000 | #Constraints: 65300
309.59/310.51 c #Conflicts: 192000 | #Constraints: 66300
309.59/310.51 c #Conflicts: 193000 | #Constraints: 67300
309.59/310.51 c #Conflicts: 194000 | #Constraints: 68300
309.59/310.51 c #Conflicts: 195000 | #Constraints: 69300
309.59/310.51 c #Conflicts: 196000 | #Constraints: 70300
309.59/310.51 c INPROCESSING
309.59/310.51 c GARBAGE COLLECT
309.59/310.51 c #Conflicts: 197000 | #Constraints: 47589
309.59/310.51 c #Conflicts: 198000 | #Constraints: 48589
309.59/310.51 c #Conflicts: 199000 | #Constraints: 49589
309.59/310.51 c #Conflicts: 200000 | #Constraints: 50589
309.59/310.51 c #Conflicts: 201000 | #Constraints: 51589
309.59/310.51 c #Conflicts: 202000 | #Constraints: 52589
309.59/310.51 c #Conflicts: 203000 | #Constraints: 53589
309.59/310.51 c #Conflicts: 204000 | #Constraints: 54589
309.59/310.51 c #Conflicts: 205000 | #Constraints: 55589
309.59/310.51 c #Conflicts: 206000 | #Constraints: 56589
309.59/310.51 c #Conflicts: 207000 | #Constraints: 57589
309.59/310.51 c #Conflicts: 208000 | #Constraints: 58589
309.59/310.51 c #Conflicts: 209000 | #Constraints: 59589
309.59/310.51 c INPROCESSING
309.59/310.51 c GARBAGE COLLECT
309.59/310.51 c #Conflicts: 210000 | #Constraints: 46490
309.59/310.51 c #Conflicts: 211000 | #Constraints: 47490
309.59/310.51 c #Conflicts: 212000 | #Constraints: 48490
309.59/310.51 c #Conflicts: 213000 | #Constraints: 49490
309.59/310.51 c #Conflicts: 214000 | #Constraints: 50490
309.59/310.51 c #Conflicts: 215000 | #Constraints: 51490
309.59/310.51 c #Conflicts: 216000 | #Constraints: 52490
309.59/310.51 c #Conflicts: 217000 | #Constraints: 53490
309.59/310.51 c #Conflicts: 218000 | #Constraints: 54490
309.59/310.51 c #Conflicts: 219000 | #Constraints: 55490
309.59/310.51 c #Conflicts: 220000 | #Constraints: 56490
309.59/310.51 c #Conflicts: 221000 | #Constraints: 57490
309.59/310.51 c #Conflicts: 222000 | #Constraints: 58490
309.59/310.51 c #Conflicts: 223000 | #Constraints: 59490
309.59/310.51 c #Conflicts: 224000 | #Constraints: 60490
309.59/310.51 c #Conflicts: 225000 | #Constraints: 61490
376.62/377.75 c #Conflicts: 226000 | #Constraints: 62490
376.62/377.75 c #Conflicts: 227000 | #Constraints: 63490
376.62/377.75 c #Conflicts: 228000 | #Constraints: 64490
376.62/377.75 c #Conflicts: 229000 | #Constraints: 65490
376.62/377.75 c #Conflicts: 230000 | #Constraints: 66490
376.62/377.75 c #Conflicts: 231000 | #Constraints: 67490
376.62/377.75 c #Conflicts: 232000 | #Constraints: 68490
376.62/377.75 c #Conflicts: 233000 | #Constraints: 69490
376.62/377.75 c #Conflicts: 234000 | #Constraints: 70490
376.62/377.75 c #Conflicts: 235000 | #Constraints: 71490
376.62/377.75 c #Conflicts: 236000 | #Constraints: 72490
376.62/377.75 c #Conflicts: 237000 | #Constraints: 73490
376.62/377.75 c #Conflicts: 238000 | #Constraints: 74490
376.62/377.75 c #Conflicts: 239000 | #Constraints: 75490
376.62/377.75 c #Conflicts: 240000 | #Constraints: 76490
376.62/377.75 c INPROCESSING
376.62/377.75 c GARBAGE COLLECT
376.62/377.75 c rational objective 177
514.55/516.08 c #Conflicts: 241000 | #Constraints: 50773
514.55/516.08 c #Conflicts: 242000 | #Constraints: 51773
514.55/516.08 c #Conflicts: 243000 | #Constraints: 52773
514.55/516.08 c #Conflicts: 244000 | #Constraints: 53773
514.55/516.08 c #Conflicts: 245000 | #Constraints: 54773
514.55/516.08 c #Conflicts: 246000 | #Constraints: 55773
514.55/516.08 c #Conflicts: 247000 | #Constraints: 56773
514.55/516.08 c #Conflicts: 248000 | #Constraints: 57773
514.55/516.08 c #Conflicts: 249000 | #Constraints: 58773
514.55/516.08 c #Conflicts: 250000 | #Constraints: 59773
514.55/516.08 c #Conflicts: 251000 | #Constraints: 60773
514.55/516.08 c #Conflicts: 252000 | #Constraints: 61773
514.55/516.08 c #Conflicts: 253000 | #Constraints: 62773
514.55/516.08 c #Conflicts: 254000 | #Constraints: 63773
514.55/516.08 c INPROCESSING
514.55/516.08 c GARBAGE COLLECT
514.55/516.08 c #Conflicts: 255000 | #Constraints: 49206
514.55/516.08 c #Conflicts: 256000 | #Constraints: 50206
514.55/516.08 c #Conflicts: 257000 | #Constraints: 51206
514.55/516.08 c #Conflicts: 258000 | #Constraints: 52206
514.55/516.08 c #Conflicts: 259000 | #Constraints: 53206
514.55/516.08 c #Conflicts: 260000 | #Constraints: 54207
514.55/516.08 c #Conflicts: 261000 | #Constraints: 55207
514.55/516.08 c #Conflicts: 262000 | #Constraints: 56207
514.55/516.08 c #Conflicts: 263000 | #Constraints: 57207
514.55/516.08 c #Conflicts: 264000 | #Constraints: 58207
514.55/516.08 c #Conflicts: 265000 | #Constraints: 59207
514.55/516.08 c #Conflicts: 266000 | #Constraints: 60207
514.55/516.08 c #Conflicts: 267000 | #Constraints: 61207
514.55/516.08 c #Conflicts: 268000 | #Constraints: 62207
514.55/516.08 c #Conflicts: 269000 | #Constraints: 63207
514.55/516.08 c #Conflicts: 270000 | #Constraints: 64207
514.55/516.08 c #Conflicts: 271000 | #Constraints: 65207
514.55/516.08 c #Conflicts: 272000 | #Constraints: 66207
514.55/516.08 c #Conflicts: 273000 | #Constraints: 67207
514.55/516.08 c #Conflicts: 274000 | #Constraints: 68207
514.55/516.08 c #Conflicts: 275000 | #Constraints: 69207
514.55/516.08 c #Conflicts: 276000 | #Constraints: 70207
514.55/516.08 c #Conflicts: 277000 | #Constraints: 71207
514.55/516.08 c #Conflicts: 278000 | #Constraints: 72207
514.55/516.08 c #Conflicts: 279000 | #Constraints: 73207
514.55/516.08 c #Conflicts: 280000 | #Constraints: 74207
514.55/516.08 c #Conflicts: 281000 | #Constraints: 75207
514.55/516.08 c #Conflicts: 282000 | #Constraints: 76207
514.55/516.08 c #Conflicts: 283000 | #Constraints: 77207
514.55/516.08 c #Conflicts: 284000 | #Constraints: 78207
514.55/516.08 c #Conflicts: 285000 | #Constraints: 79207
514.55/516.08 c #Conflicts: 286000 | #Constraints: 80207
514.55/516.08 c #Conflicts: 287000 | #Constraints: 81207
514.55/516.08 c #Conflicts: 288000 | #Constraints: 82207
514.55/516.08 c INPROCESSING
514.55/516.08 c GARBAGE COLLECT
514.55/516.08 c #Conflicts: 289000 | #Constraints: 53545
514.55/516.08 c #Conflicts: 290000 | #Constraints: 54545
514.55/516.08 c #Conflicts: 291000 | #Constraints: 55545
514.55/516.08 c #Conflicts: 292000 | #Constraints: 56545
514.55/516.08 c #Conflicts: 293000 | #Constraints: 57545
514.55/516.08 c #Conflicts: 294000 | #Constraints: 58545
514.55/516.08 c #Conflicts: 295000 | #Constraints: 59545
514.55/516.08 c #Conflicts: 296000 | #Constraints: 60545
514.55/516.08 c #Conflicts: 297000 | #Constraints: 61545
514.55/516.08 c #Conflicts: 298000 | #Constraints: 62545
514.55/516.08 c #Conflicts: 299000 | #Constraints: 63545
514.55/516.08 c #Conflicts: 300000 | #Constraints: 64545
514.55/516.08 c #Conflicts: 301000 | #Constraints: 65545
514.55/516.08 c #Conflicts: 302000 | #Constraints: 66545
514.55/516.08 c #Conflicts: 303000 | #Constraints: 67545
514.55/516.08 c INPROCESSING
514.55/516.08 c GARBAGE COLLECT
514.55/516.08 c #Conflicts: 304000 | #Constraints: 51788
514.55/516.08 c #Conflicts: 305000 | #Constraints: 52788
514.55/516.08 c #Conflicts: 306000 | #Constraints: 53788
514.55/516.08 c #Conflicts: 307000 | #Constraints: 54788
514.55/516.08 c #Conflicts: 308000 | #Constraints: 55788
514.55/516.08 c #Conflicts: 309000 | #Constraints: 56788
514.55/516.08 c #Conflicts: 310000 | #Constraints: 57788
514.55/516.08 c #Conflicts: 311000 | #Constraints: 58788
514.55/516.08 c #Conflicts: 312000 | #Constraints: 59788
514.55/516.08 c #Conflicts: 313000 | #Constraints: 60788
514.55/516.08 c #Conflicts: 314000 | #Constraints: 61788
514.55/516.08 c #Conflicts: 315000 | #Constraints: 62788
514.55/516.08 c #Conflicts: 316000 | #Constraints: 63788
514.55/516.08 c #Conflicts: 317000 | #Constraints: 64788
672.11/674.04 c #Conflicts: 318000 | #Constraints: 65788
672.11/674.04 c #Conflicts: 319000 | #Constraints: 66788
672.11/674.04 c #Conflicts: 320000 | #Constraints: 67788
672.11/674.04 c #Conflicts: 321000 | #Constraints: 68788
672.11/674.04 c #Conflicts: 322000 | #Constraints: 69788
672.11/674.04 c #Conflicts: 323000 | #Constraints: 70788
672.11/674.04 c #Conflicts: 324000 | #Constraints: 71788
672.11/674.04 c #Conflicts: 325000 | #Constraints: 72788
672.11/674.04 c #Conflicts: 326000 | #Constraints: 73788
672.11/674.04 c #Conflicts: 327000 | #Constraints: 74788
672.11/674.04 c #Conflicts: 328000 | #Constraints: 75788
672.11/674.04 c #Conflicts: 329000 | #Constraints: 76788
672.11/674.04 c #Conflicts: 330000 | #Constraints: 77788
672.11/674.04 c #Conflicts: 331000 | #Constraints: 78788
672.11/674.04 c #Conflicts: 332000 | #Constraints: 79788
672.11/674.04 c #Conflicts: 333000 | #Constraints: 80788
672.11/674.04 c #Conflicts: 334000 | #Constraints: 81788
672.11/674.04 c #Conflicts: 335000 | #Constraints: 82788
672.11/674.04 c #Conflicts: 336000 | #Constraints: 83788
672.11/674.04 c #Conflicts: 337000 | #Constraints: 84788
672.11/674.04 c #Conflicts: 338000 | #Constraints: 85788
672.11/674.04 c #Conflicts: 339000 | #Constraints: 86788
672.11/674.04 c #Conflicts: 340000 | #Constraints: 87788
672.11/674.04 c INPROCESSING
672.11/674.04 c GARBAGE COLLECT
672.11/674.04 c #Conflicts: 341000 | #Constraints: 56128
672.11/674.04 c #Conflicts: 342000 | #Constraints: 57128
672.11/674.04 c #Conflicts: 343000 | #Constraints: 58128
672.11/674.04 c #Conflicts: 344000 | #Constraints: 59128
672.11/674.04 c #Conflicts: 345000 | #Constraints: 60128
672.11/674.04 c #Conflicts: 346000 | #Constraints: 61128
672.11/674.04 c #Conflicts: 347000 | #Constraints: 62128
672.11/674.04 c #Conflicts: 348000 | #Constraints: 63128
672.11/674.04 c #Conflicts: 349000 | #Constraints: 64128
672.11/674.04 c #Conflicts: 350000 | #Constraints: 65128
672.11/674.04 c #Conflicts: 351000 | #Constraints: 66128
672.11/674.04 c #Conflicts: 352000 | #Constraints: 67128
672.11/674.04 c #Conflicts: 353000 | #Constraints: 68128
672.11/674.04 c #Conflicts: 354000 | #Constraints: 69128
672.11/674.04 c #Conflicts: 355000 | #Constraints: 70128
672.11/674.04 c #Conflicts: 356000 | #Constraints: 71128
672.11/674.04 c #Conflicts: 357000 | #Constraints: 72128
672.11/674.04 c INPROCESSING
672.11/674.04 c GARBAGE COLLECT
672.11/674.04 c #Conflicts: 358000 | #Constraints: 54624
672.11/674.04 c #Conflicts: 359000 | #Constraints: 55624
672.11/674.04 c #Conflicts: 360000 | #Constraints: 56624
672.11/674.04 c #Conflicts: 361000 | #Constraints: 57624
672.11/674.04 c #Conflicts: 362000 | #Constraints: 58624
672.11/674.04 c #Conflicts: 363000 | #Constraints: 59624
672.11/674.04 c #Conflicts: 364000 | #Constraints: 60624
672.11/674.04 c #Conflicts: 365000 | #Constraints: 61624
672.11/674.04 c #Conflicts: 366000 | #Constraints: 62624
672.11/674.04 c #Conflicts: 367000 | #Constraints: 63624
672.11/674.04 c #Conflicts: 368000 | #Constraints: 64624
672.11/674.04 c #Conflicts: 369000 | #Constraints: 65624
672.11/674.04 c #Conflicts: 370000 | #Constraints: 66624
672.11/674.04 c #Conflicts: 371000 | #Constraints: 67624
672.11/674.04 c #Conflicts: 372000 | #Constraints: 68624
672.11/674.04 c #Conflicts: 373000 | #Constraints: 69624
672.11/674.04 c #Conflicts: 374000 | #Constraints: 70624
672.11/674.04 c #Conflicts: 375000 | #Constraints: 71624
672.11/674.04 c #Conflicts: 376000 | #Constraints: 72624
672.11/674.04 c #Conflicts: 377000 | #Constraints: 73624
672.11/674.04 c #Conflicts: 378000 | #Constraints: 74624
672.11/674.04 c #Conflicts: 379000 | #Constraints: 75624
672.11/674.04 c #Conflicts: 380000 | #Constraints: 76624
672.11/674.04 c #Conflicts: 381000 | #Constraints: 77624
672.11/674.04 c #Conflicts: 382000 | #Constraints: 78624
672.11/674.04 c #Conflicts: 383000 | #Constraints: 79624
672.11/674.04 c #Conflicts: 384000 | #Constraints: 80624
672.11/674.04 c #Conflicts: 385000 | #Constraints: 81624
672.11/674.04 c #Conflicts: 386000 | #Constraints: 82624
672.11/674.04 c #Conflicts: 387000 | #Constraints: 83624
672.11/674.04 c #Conflicts: 388000 | #Constraints: 84624
672.11/674.04 c #Conflicts: 389000 | #Constraints: 85624
672.11/674.04 c #Conflicts: 390000 | #Constraints: 86624
672.11/674.04 c #Conflicts: 391000 | #Constraints: 87624
672.11/674.04 c #Conflicts: 392000 | #Constraints: 88624
672.11/674.04 c #Conflicts: 393000 | #Constraints: 89624
672.11/674.04 c #Conflicts: 394000 | #Constraints: 90624
672.11/674.04 c #Conflicts: 395000 | #Constraints: 91624
961.69/964.42 c #Conflicts: 396000 | #Constraints: 92624
961.69/964.42 c #Conflicts: 397000 | #Constraints: 93624
961.69/964.42 c INPROCESSING
961.69/964.42 c GARBAGE COLLECT
961.69/964.42 c #Conflicts: 398000 | #Constraints: 59332
961.69/964.42 c #Conflicts: 399000 | #Constraints: 60332
961.69/964.42 c #Conflicts: 400000 | #Constraints: 61332
961.69/964.42 c #Conflicts: 401000 | #Constraints: 62332
961.69/964.42 c #Conflicts: 402000 | #Constraints: 63332
961.69/964.42 c #Conflicts: 403000 | #Constraints: 64332
961.69/964.42 c #Conflicts: 404000 | #Constraints: 65332
961.69/964.42 c #Conflicts: 405000 | #Constraints: 66332
961.69/964.42 c #Conflicts: 406000 | #Constraints: 67332
961.69/964.42 c #Conflicts: 407000 | #Constraints: 68332
961.69/964.42 c #Conflicts: 408000 | #Constraints: 69332
961.69/964.42 c #Conflicts: 409000 | #Constraints: 70332
961.69/964.42 c #Conflicts: 410000 | #Constraints: 71332
961.69/964.42 c #Conflicts: 411000 | #Constraints: 72332
961.69/964.42 c #Conflicts: 412000 | #Constraints: 73332
961.69/964.42 c #Conflicts: 413000 | #Constraints: 74332
961.69/964.42 c #Conflicts: 414000 | #Constraints: 75332
961.69/964.42 c #Conflicts: 415000 | #Constraints: 76332
961.69/964.42 c INPROCESSING
961.69/964.42 c GARBAGE COLLECT
961.69/964.42 c #Conflicts: 416000 | #Constraints: 57482
961.69/964.42 c #Conflicts: 417000 | #Constraints: 58482
961.69/964.42 c #Conflicts: 418000 | #Constraints: 59482
961.69/964.42 c #Conflicts: 419000 | #Constraints: 60482
961.69/964.42 c #Conflicts: 420000 | #Constraints: 61483
961.69/964.42 c #Conflicts: 421000 | #Constraints: 62483
961.69/964.42 c #Conflicts: 422000 | #Constraints: 63483
961.69/964.42 c #Conflicts: 423000 | #Constraints: 64483
961.69/964.42 c #Conflicts: 424000 | #Constraints: 65483
961.69/964.42 c #Conflicts: 425000 | #Constraints: 66483
961.69/964.42 c #Conflicts: 426000 | #Constraints: 67483
961.69/964.42 c #Conflicts: 427000 | #Constraints: 68483
961.69/964.42 c #Conflicts: 428000 | #Constraints: 69483
961.69/964.42 c #Conflicts: 429000 | #Constraints: 70483
961.69/964.42 c #Conflicts: 430000 | #Constraints: 71483
961.69/964.42 c #Conflicts: 431000 | #Constraints: 72483
961.69/964.42 c #Conflicts: 432000 | #Constraints: 73483
961.69/964.42 c #Conflicts: 433000 | #Constraints: 74483
961.69/964.42 c #Conflicts: 434000 | #Constraints: 75483
961.69/964.42 c #Conflicts: 435000 | #Constraints: 76483
961.69/964.42 c #Conflicts: 436000 | #Constraints: 77483
961.69/964.42 c #Conflicts: 437000 | #Constraints: 78483
961.69/964.42 c #Conflicts: 438000 | #Constraints: 79483
961.69/964.42 c #Conflicts: 439000 | #Constraints: 80483
961.69/964.42 c #Conflicts: 440000 | #Constraints: 81483
961.69/964.42 c #Conflicts: 441000 | #Constraints: 82483
961.69/964.42 c #Conflicts: 442000 | #Constraints: 83483
961.69/964.42 c #Conflicts: 443000 | #Constraints: 84483
961.69/964.42 c #Conflicts: 444000 | #Constraints: 85483
961.69/964.42 c #Conflicts: 445000 | #Constraints: 86483
961.69/964.42 c #Conflicts: 446000 | #Constraints: 87483
961.69/964.42 c #Conflicts: 447000 | #Constraints: 88483
961.69/964.42 c #Conflicts: 448000 | #Constraints: 89483
961.69/964.42 c #Conflicts: 449000 | #Constraints: 90483
961.69/964.42 c #Conflicts: 450000 | #Constraints: 91483
961.69/964.42 c #Conflicts: 451000 | #Constraints: 92483
961.69/964.42 c #Conflicts: 452000 | #Constraints: 93483
961.69/964.42 c #Conflicts: 453000 | #Constraints: 94483
961.69/964.42 c #Conflicts: 454000 | #Constraints: 95483
961.69/964.42 c #Conflicts: 455000 | #Constraints: 96483
961.69/964.42 c #Conflicts: 456000 | #Constraints: 97483
961.69/964.42 c #Conflicts: 457000 | #Constraints: 98483
961.69/964.42 c #Conflicts: 458000 | #Constraints: 99483
961.69/964.42 c #Conflicts: 459000 | #Constraints: 100483
961.69/964.42 c INPROCESSING
961.69/964.42 c GARBAGE COLLECT
961.69/964.42 c #Conflicts: 460000 | #Constraints: 62885
961.69/964.42 c #Conflicts: 461000 | #Constraints: 63885
961.69/964.42 c #Conflicts: 462000 | #Constraints: 64885
961.69/964.42 c #Conflicts: 463000 | #Constraints: 65885
961.69/964.42 c #Conflicts: 464000 | #Constraints: 66885
961.69/964.42 c #Conflicts: 465000 | #Constraints: 67885
961.69/964.42 c #Conflicts: 466000 | #Constraints: 68885
961.69/964.42 c #Conflicts: 467000 | #Constraints: 69885
961.69/964.42 c #Conflicts: 468000 | #Constraints: 70885
961.69/964.42 c #Conflicts: 469000 | #Constraints: 71885
961.69/964.42 c #Conflicts: 470000 | #Constraints: 72885
961.69/964.42 c #Conflicts: 471000 | #Constraints: 73885
961.69/964.42 c #Conflicts: 472000 | #Constraints: 74885
1143.43/1146.75 c #Conflicts: 473000 | #Constraints: 75885
1143.43/1146.75 c #Conflicts: 474000 | #Constraints: 76885
1143.43/1146.75 c #Conflicts: 475000 | #Constraints: 77885
1143.43/1146.75 c #Conflicts: 476000 | #Constraints: 78885
1143.43/1146.75 c #Conflicts: 477000 | #Constraints: 79885
1143.43/1146.75 c #Conflicts: 478000 | #Constraints: 80885
1143.43/1146.75 c INPROCESSING
1143.43/1146.75 c GARBAGE COLLECT
1143.43/1146.75 c #Conflicts: 479000 | #Constraints: 59780
1143.43/1146.75 c #Conflicts: 480000 | #Constraints: 60780
1143.43/1146.75 c #Conflicts: 481000 | #Constraints: 61780
1143.43/1146.75 c #Conflicts: 482000 | #Constraints: 62780
1143.43/1146.75 c #Conflicts: 483000 | #Constraints: 63780
1143.43/1146.75 c #Conflicts: 484000 | #Constraints: 64780
1143.43/1146.75 c #Conflicts: 485000 | #Constraints: 65780
1143.43/1146.75 c #Conflicts: 486000 | #Constraints: 66780
1143.43/1146.75 c #Conflicts: 487000 | #Constraints: 67780
1143.43/1146.75 c #Conflicts: 488000 | #Constraints: 68780
1143.43/1146.75 c #Conflicts: 489000 | #Constraints: 69780
1143.43/1146.75 c #Conflicts: 490000 | #Constraints: 70780
1143.43/1146.75 c #Conflicts: 491000 | #Constraints: 71780
1143.43/1146.75 c #Conflicts: 492000 | #Constraints: 72780
1143.43/1146.75 c #Conflicts: 493000 | #Constraints: 73780
1143.43/1146.75 c #Conflicts: 494000 | #Constraints: 74780
1143.43/1146.75 c #Conflicts: 495000 | #Constraints: 75780
1143.43/1146.75 c #Conflicts: 496000 | #Constraints: 76780
1143.43/1146.75 c #Conflicts: 497000 | #Constraints: 77780
1143.43/1146.75 c #Conflicts: 498000 | #Constraints: 78780
1143.43/1146.75 c #Conflicts: 499000 | #Constraints: 79780
1143.43/1146.75 c #Conflicts: 500000 | #Constraints: 80780
1143.43/1146.75 c #Conflicts: 501000 | #Constraints: 81780
1143.43/1146.75 c #Conflicts: 502000 | #Constraints: 82780
1143.43/1146.75 c #Conflicts: 503000 | #Constraints: 83780
1143.43/1146.75 c #Conflicts: 504000 | #Constraints: 84780
1143.43/1146.75 c #Conflicts: 505000 | #Constraints: 85780
1143.43/1146.75 c #Conflicts: 506000 | #Constraints: 86780
1143.43/1146.75 c #Conflicts: 507000 | #Constraints: 87780
1143.43/1146.75 c #Conflicts: 508000 | #Constraints: 88780
1143.43/1146.75 c #Conflicts: 509000 | #Constraints: 89780
1143.43/1146.75 c #Conflicts: 510000 | #Constraints: 90780
1143.43/1146.75 c #Conflicts: 511000 | #Constraints: 91780
1143.43/1146.75 c #Conflicts: 512000 | #Constraints: 92780
1143.43/1146.75 c #Conflicts: 513000 | #Constraints: 93780
1143.43/1146.75 c #Conflicts: 514000 | #Constraints: 94780
1143.43/1146.75 c #Conflicts: 515000 | #Constraints: 95780
1143.43/1146.75 c #Conflicts: 516000 | #Constraints: 96780
1143.43/1146.75 c #Conflicts: 517000 | #Constraints: 97780
1143.43/1146.75 c #Conflicts: 518000 | #Constraints: 98780
1143.43/1146.75 c #Conflicts: 519000 | #Constraints: 99780
1143.43/1146.75 c #Conflicts: 520000 | #Constraints: 100780
1143.43/1146.75 c #Conflicts: 521000 | #Constraints: 101780
1143.43/1146.75 c #Conflicts: 522000 | #Constraints: 102780
1143.43/1146.75 c #Conflicts: 523000 | #Constraints: 103780
1143.43/1146.75 c #Conflicts: 524000 | #Constraints: 104780
1143.43/1146.75 c #Conflicts: 525000 | #Constraints: 105780
1143.43/1146.75 c INPROCESSING
1143.43/1146.75 c GARBAGE COLLECT
1143.43/1146.75 c #Conflicts: 526000 | #Constraints: 65770
1143.43/1146.75 c #Conflicts: 527000 | #Constraints: 66770
1143.43/1146.75 c #Conflicts: 528000 | #Constraints: 67770
1143.43/1146.75 c #Conflicts: 529000 | #Constraints: 68770
1143.43/1146.75 c #Conflicts: 530000 | #Constraints: 69770
1143.43/1146.75 c #Conflicts: 531000 | #Constraints: 70770
1143.43/1146.75 c #Conflicts: 532000 | #Constraints: 71770
1143.43/1146.75 c #Conflicts: 533000 | #Constraints: 72770
1143.43/1146.75 c #Conflicts: 534000 | #Constraints: 73770
1143.43/1146.75 c #Conflicts: 535000 | #Constraints: 74770
1143.43/1146.75 c #Conflicts: 536000 | #Constraints: 75770
1143.43/1146.75 c #Conflicts: 537000 | #Constraints: 76770
1143.43/1146.75 c #Conflicts: 538000 | #Constraints: 77770
1143.43/1146.75 c #Conflicts: 539000 | #Constraints: 78770
1143.43/1146.75 c #Conflicts: 540000 | #Constraints: 79770
1143.43/1146.75 c #Conflicts: 541000 | #Constraints: 80770
1143.43/1146.75 c #Conflicts: 542000 | #Constraints: 81770
1143.43/1146.75 c #Conflicts: 543000 | #Constraints: 82770
1143.43/1146.75 c #Conflicts: 544000 | #Constraints: 83770
1143.43/1146.75 c #Conflicts: 545000 | #Constraints: 84770
1143.43/1146.75 c INPROCESSING
1143.43/1146.75 c GARBAGE COLLECT
1143.43/1146.75 c #Conflicts: 546000 | #Constraints: 62073
1143.43/1146.75 c #Conflicts: 547000 | #Constraints: 63073
1143.43/1146.75 c #Conflicts: 548000 | #Constraints: 64073
1143.43/1146.75 c #Conflicts: 549000 | #Constraints: 65073
1313.53/1317.35 c #Conflicts: 550000 | #Constraints: 66073
1313.53/1317.35 c #Conflicts: 551000 | #Constraints: 67073
1313.53/1317.35 c #Conflicts: 552000 | #Constraints: 68073
1313.53/1317.35 c #Conflicts: 553000 | #Constraints: 69073
1313.53/1317.35 c #Conflicts: 554000 | #Constraints: 70073
1313.53/1317.35 c #Conflicts: 555000 | #Constraints: 71073
1313.53/1317.35 c #Conflicts: 556000 | #Constraints: 72073
1313.53/1317.35 c #Conflicts: 557000 | #Constraints: 73073
1313.53/1317.35 c #Conflicts: 558000 | #Constraints: 74073
1313.53/1317.35 c #Conflicts: 559000 | #Constraints: 75073
1313.53/1317.35 c #Conflicts: 560000 | #Constraints: 76073
1313.53/1317.35 c #Conflicts: 561000 | #Constraints: 77073
1313.53/1317.35 c #Conflicts: 562000 | #Constraints: 78073
1313.53/1317.35 c #Conflicts: 563000 | #Constraints: 79073
1313.53/1317.35 c #Conflicts: 564000 | #Constraints: 80073
1313.53/1317.35 c #Conflicts: 565000 | #Constraints: 81073
1313.53/1317.35 c #Conflicts: 566000 | #Constraints: 82073
1313.53/1317.35 c #Conflicts: 567000 | #Constraints: 83073
1313.53/1317.35 c #Conflicts: 568000 | #Constraints: 84073
1313.53/1317.35 c #Conflicts: 569000 | #Constraints: 85073
1313.53/1317.35 c #Conflicts: 570000 | #Constraints: 86073
1313.53/1317.35 c #Conflicts: 571000 | #Constraints: 87073
1313.53/1317.35 c #Conflicts: 572000 | #Constraints: 88073
1313.53/1317.35 c #Conflicts: 573000 | #Constraints: 89073
1313.53/1317.35 c #Conflicts: 574000 | #Constraints: 90073
1313.53/1317.35 c #Conflicts: 575000 | #Constraints: 91073
1313.53/1317.35 c #Conflicts: 576000 | #Constraints: 92073
1313.53/1317.35 c #Conflicts: 577000 | #Constraints: 93073
1313.53/1317.35 c #Conflicts: 578000 | #Constraints: 94073
1313.53/1317.35 c #Conflicts: 579000 | #Constraints: 95073
1313.53/1317.35 c #Conflicts: 580000 | #Constraints: 96073
1313.53/1317.35 c #Conflicts: 581000 | #Constraints: 97073
1313.53/1317.35 c #Conflicts: 582000 | #Constraints: 98073
1313.53/1317.35 c #Conflicts: 583000 | #Constraints: 99073
1313.53/1317.35 c #Conflicts: 584000 | #Constraints: 100073
1313.53/1317.35 c #Conflicts: 585000 | #Constraints: 101073
1313.53/1317.35 c #Conflicts: 586000 | #Constraints: 102073
1313.53/1317.35 c #Conflicts: 587000 | #Constraints: 103073
1313.53/1317.35 c #Conflicts: 588000 | #Constraints: 104073
1313.53/1317.35 c #Conflicts: 589000 | #Constraints: 105073
1313.53/1317.35 c #Conflicts: 590000 | #Constraints: 106073
1313.53/1317.35 c #Conflicts: 591000 | #Constraints: 107073
1313.53/1317.35 c #Conflicts: 592000 | #Constraints: 108073
1313.53/1317.35 c #Conflicts: 593000 | #Constraints: 109073
1313.53/1317.35 c #Conflicts: 594000 | #Constraints: 110073
1313.53/1317.35 c #Conflicts: 595000 | #Constraints: 111073
1313.53/1317.35 c INPROCESSING
1313.53/1317.35 c GARBAGE COLLECT
1313.53/1317.35 c #Conflicts: 596000 | #Constraints: 68281
1313.53/1317.35 c #Conflicts: 597000 | #Constraints: 69281
1313.53/1317.35 c #Conflicts: 598000 | #Constraints: 70281
1313.53/1317.35 c #Conflicts: 599000 | #Constraints: 71281
1313.53/1317.35 c #Conflicts: 600000 | #Constraints: 72281
1313.53/1317.35 c #Conflicts: 601000 | #Constraints: 73281
1313.53/1317.35 c #Conflicts: 602000 | #Constraints: 74281
1313.53/1317.35 c #Conflicts: 603000 | #Constraints: 75281
1313.53/1317.35 c #Conflicts: 604000 | #Constraints: 76281
1313.53/1317.35 c #Conflicts: 605000 | #Constraints: 77281
1313.53/1317.35 c #Conflicts: 606000 | #Constraints: 78281
1313.53/1317.35 c #Conflicts: 607000 | #Constraints: 79281
1313.53/1317.35 c #Conflicts: 608000 | #Constraints: 80281
1313.53/1317.35 c #Conflicts: 609000 | #Constraints: 81281
1313.53/1317.35 c #Conflicts: 610000 | #Constraints: 82281
1313.53/1317.35 c #Conflicts: 611000 | #Constraints: 83281
1313.53/1317.35 c #Conflicts: 612000 | #Constraints: 84281
1313.53/1317.35 c #Conflicts: 613000 | #Constraints: 85281
1313.53/1317.35 c #Conflicts: 614000 | #Constraints: 86281
1313.53/1317.35 c #Conflicts: 615000 | #Constraints: 87281
1313.53/1317.35 c #Conflicts: 616000 | #Constraints: 88281
1313.53/1317.35 c #Conflicts: 617000 | #Constraints: 89281
1313.53/1317.35 c INPROCESSING
1313.53/1317.35 c GARBAGE COLLECT
1313.53/1317.35 c #Conflicts: 618000 | #Constraints: 65466
1313.53/1317.35 c #Conflicts: 619000 | #Constraints: 66466
1313.53/1317.35 c #Conflicts: 620000 | #Constraints: 67466
1313.53/1317.35 c #Conflicts: 621000 | #Constraints: 68466
1313.53/1317.35 c #Conflicts: 622000 | #Constraints: 69466
1313.53/1317.35 c #Conflicts: 623000 | #Constraints: 70466
1313.53/1317.35 c #Conflicts: 624000 | #Constraints: 71466
1313.53/1317.35 c #Conflicts: 625000 | #Constraints: 72466
1313.53/1317.35 c #Conflicts: 626000 | #Constraints: 73466
1469.92/1474.18 c #Conflicts: 627000 | #Constraints: 74466
1469.92/1474.18 c #Conflicts: 628000 | #Constraints: 75466
1469.92/1474.18 c #Conflicts: 629000 | #Constraints: 76466
1469.92/1474.18 c #Conflicts: 630000 | #Constraints: 77466
1469.92/1474.18 c #Conflicts: 631000 | #Constraints: 78466
1469.92/1474.18 c #Conflicts: 632000 | #Constraints: 79466
1469.92/1474.18 c #Conflicts: 633000 | #Constraints: 80466
1469.92/1474.18 c #Conflicts: 634000 | #Constraints: 81466
1469.92/1474.18 c #Conflicts: 635000 | #Constraints: 82466
1469.92/1474.18 c #Conflicts: 636000 | #Constraints: 83466
1469.92/1474.18 c #Conflicts: 637000 | #Constraints: 84466
1469.92/1474.18 c #Conflicts: 638000 | #Constraints: 85466
1469.92/1474.18 c #Conflicts: 639000 | #Constraints: 86466
1469.92/1474.18 c #Conflicts: 640000 | #Constraints: 87466
1469.92/1474.18 c #Conflicts: 641000 | #Constraints: 88466
1469.92/1474.18 c #Conflicts: 642000 | #Constraints: 89466
1469.92/1474.18 c #Conflicts: 643000 | #Constraints: 90466
1469.92/1474.18 c #Conflicts: 644000 | #Constraints: 91466
1469.92/1474.18 c #Conflicts: 645000 | #Constraints: 92466
1469.92/1474.18 c #Conflicts: 646000 | #Constraints: 93466
1469.92/1474.18 c #Conflicts: 647000 | #Constraints: 94466
1469.92/1474.18 c #Conflicts: 648000 | #Constraints: 95466
1469.92/1474.18 c #Conflicts: 649000 | #Constraints: 96466
1469.92/1474.18 c #Conflicts: 650000 | #Constraints: 97466
1469.92/1474.18 c #Conflicts: 651000 | #Constraints: 98466
1469.92/1474.18 c #Conflicts: 652000 | #Constraints: 99466
1469.92/1474.18 c #Conflicts: 653000 | #Constraints: 100466
1469.92/1474.18 c #Conflicts: 654000 | #Constraints: 101466
1469.92/1474.18 c #Conflicts: 655000 | #Constraints: 102466
1469.92/1474.18 c #Conflicts: 656000 | #Constraints: 103466
1469.92/1474.18 c #Conflicts: 657000 | #Constraints: 104466
1469.92/1474.18 c #Conflicts: 658000 | #Constraints: 105466
1469.92/1474.18 c #Conflicts: 659000 | #Constraints: 106466
1469.92/1474.18 c #Conflicts: 660000 | #Constraints: 107466
1469.92/1474.18 c #Conflicts: 661000 | #Constraints: 108466
1469.92/1474.18 c #Conflicts: 662000 | #Constraints: 109466
1469.92/1474.18 c #Conflicts: 663000 | #Constraints: 110466
1469.92/1474.18 c #Conflicts: 664000 | #Constraints: 111466
1469.92/1474.18 c #Conflicts: 665000 | #Constraints: 112466
1469.92/1474.18 c #Conflicts: 666000 | #Constraints: 113466
1469.92/1474.18 c #Conflicts: 667000 | #Constraints: 114466
1469.92/1474.18 c #Conflicts: 668000 | #Constraints: 115466
1469.92/1474.18 c #Conflicts: 669000 | #Constraints: 116466
1469.92/1474.18 c INPROCESSING
1469.92/1474.18 c GARBAGE COLLECT
1469.92/1474.18 c #Conflicts: 670000 | #Constraints: 70946
1469.92/1474.18 c #Conflicts: 671000 | #Constraints: 71946
1469.92/1474.18 c #Conflicts: 672000 | #Constraints: 72946
1469.92/1474.18 c #Conflicts: 673000 | #Constraints: 73946
1469.92/1474.18 c #Conflicts: 674000 | #Constraints: 74946
1469.92/1474.18 c #Conflicts: 675000 | #Constraints: 75946
1469.92/1474.18 c #Conflicts: 676000 | #Constraints: 76946
1469.92/1474.18 c #Conflicts: 677000 | #Constraints: 77946
1469.92/1474.18 c #Conflicts: 678000 | #Constraints: 78946
1469.92/1474.18 c #Conflicts: 679000 | #Constraints: 79946
1469.92/1474.18 c #Conflicts: 680000 | #Constraints: 80946
1469.92/1474.18 c #Conflicts: 681000 | #Constraints: 81946
1469.92/1474.18 c #Conflicts: 682000 | #Constraints: 82946
1469.92/1474.18 c #Conflicts: 683000 | #Constraints: 83946
1469.92/1474.18 c #Conflicts: 684000 | #Constraints: 84946
1469.92/1474.18 c #Conflicts: 685000 | #Constraints: 85946
1469.92/1474.18 c #Conflicts: 686000 | #Constraints: 86946
1469.92/1474.18 c #Conflicts: 687000 | #Constraints: 87946
1469.92/1474.18 c #Conflicts: 688000 | #Constraints: 88946
1469.92/1474.18 c #Conflicts: 689000 | #Constraints: 89946
1469.92/1474.18 c #Conflicts: 690000 | #Constraints: 90946
1469.92/1474.18 c #Conflicts: 691000 | #Constraints: 91946
1469.92/1474.18 c #Conflicts: 692000 | #Constraints: 92946
1469.92/1474.18 c #Conflicts: 693000 | #Constraints: 93946
1469.92/1474.18 c INPROCESSING
1469.92/1474.18 c GARBAGE COLLECT
1469.92/1474.18 c #Conflicts: 694000 | #Constraints: 68696
1469.92/1474.18 c #Conflicts: 695000 | #Constraints: 69696
1469.92/1474.18 c #Conflicts: 696000 | #Constraints: 70696
1469.92/1474.18 c #Conflicts: 697000 | #Constraints: 71696
1469.92/1474.18 c #Conflicts: 698000 | #Constraints: 72696
1469.92/1474.18 c #Conflicts: 699000 | #Constraints: 73696
1469.92/1474.18 c #Conflicts: 700000 | #Constraints: 74696
1469.92/1474.18 c #Conflicts: 701000 | #Constraints: 75696
1469.92/1474.18 c #Conflicts: 702000 | #Constraints: 76696
1469.92/1474.18 c #Conflicts: 703000 | #Constraints: 77696
1469.92/1474.18 c #Conflicts: 704000 | #Constraints: 78696
1617.03/1621.65 c #Conflicts: 705000 | #Constraints: 79696
1617.03/1621.65 c #Conflicts: 706000 | #Constraints: 80696
1617.03/1621.65 c #Conflicts: 707000 | #Constraints: 81696
1617.03/1621.65 c #Conflicts: 708000 | #Constraints: 82696
1617.03/1621.65 c #Conflicts: 709000 | #Constraints: 83696
1617.03/1621.65 c #Conflicts: 710000 | #Constraints: 84696
1617.03/1621.65 c #Conflicts: 711000 | #Constraints: 85696
1617.03/1621.65 c #Conflicts: 712000 | #Constraints: 86696
1617.03/1621.65 c #Conflicts: 713000 | #Constraints: 87696
1617.03/1621.65 c #Conflicts: 714000 | #Constraints: 88696
1617.03/1621.65 c #Conflicts: 715000 | #Constraints: 89696
1617.03/1621.65 c #Conflicts: 716000 | #Constraints: 90696
1617.03/1621.65 c #Conflicts: 717000 | #Constraints: 91696
1617.03/1621.65 c #Conflicts: 718000 | #Constraints: 92696
1617.03/1621.65 c #Conflicts: 719000 | #Constraints: 93696
1617.03/1621.65 c #Conflicts: 720000 | #Constraints: 94696
1617.03/1621.65 c #Conflicts: 721000 | #Constraints: 95696
1617.03/1621.65 c #Conflicts: 722000 | #Constraints: 96696
1617.03/1621.65 c #Conflicts: 723000 | #Constraints: 97696
1617.03/1621.65 c #Conflicts: 724000 | #Constraints: 98696
1617.03/1621.65 c #Conflicts: 725000 | #Constraints: 99696
1617.03/1621.65 c #Conflicts: 726000 | #Constraints: 100696
1617.03/1621.65 c #Conflicts: 727000 | #Constraints: 101696
1617.03/1621.65 c #Conflicts: 728000 | #Constraints: 102696
1617.03/1621.65 c #Conflicts: 729000 | #Constraints: 103696
1617.03/1621.65 c #Conflicts: 730000 | #Constraints: 104696
1617.03/1621.65 c #Conflicts: 731000 | #Constraints: 105696
1617.03/1621.65 c #Conflicts: 732000 | #Constraints: 106696
1617.03/1621.65 c #Conflicts: 733000 | #Constraints: 107696
1617.03/1621.65 c #Conflicts: 734000 | #Constraints: 108696
1617.03/1621.65 c #Conflicts: 735000 | #Constraints: 109696
1617.03/1621.65 c #Conflicts: 736000 | #Constraints: 110696
1617.03/1621.65 c #Conflicts: 737000 | #Constraints: 111696
1617.03/1621.65 c #Conflicts: 738000 | #Constraints: 112696
1617.03/1621.65 c #Conflicts: 739000 | #Constraints: 113696
1617.03/1621.65 c #Conflicts: 740000 | #Constraints: 114696
1617.03/1621.65 c #Conflicts: 741000 | #Constraints: 115696
1617.03/1621.65 c #Conflicts: 742000 | #Constraints: 116696
1617.03/1621.65 c #Conflicts: 743000 | #Constraints: 117696
1617.03/1621.65 c #Conflicts: 744000 | #Constraints: 118696
1617.03/1621.65 c #Conflicts: 745000 | #Constraints: 119696
1617.03/1621.65 c #Conflicts: 746000 | #Constraints: 120696
1617.03/1621.65 c #Conflicts: 747000 | #Constraints: 121696
1617.03/1621.65 c #Conflicts: 748000 | #Constraints: 122696
1617.03/1621.65 c INPROCESSING
1617.03/1621.65 c GARBAGE COLLECT
1617.03/1621.65 c rational objective 177
1679.07/1683.81 c #Conflicts: 749000 | #Constraints: 73962
1679.07/1683.81 c #Conflicts: 750000 | #Constraints: 74962
1679.07/1683.81 c #Conflicts: 751000 | #Constraints: 75962
1679.07/1683.81 c #Conflicts: 752000 | #Constraints: 76962
1679.07/1683.81 c #Conflicts: 753000 | #Constraints: 77962
1679.07/1683.81 c #Conflicts: 754000 | #Constraints: 78962
1679.07/1683.81 c #Conflicts: 755000 | #Constraints: 79962
1679.07/1683.81 c #Conflicts: 756000 | #Constraints: 80962
1679.07/1683.81 c #Conflicts: 757000 | #Constraints: 81962
1679.07/1683.81 c #Conflicts: 758000 | #Constraints: 82962
1679.07/1683.81 c #Conflicts: 759000 | #Constraints: 83962
1679.07/1683.81 c #Conflicts: 760000 | #Constraints: 84962
1679.07/1683.81 c #Conflicts: 761000 | #Constraints: 85962
1679.07/1683.81 c #Conflicts: 762000 | #Constraints: 86962
1679.07/1683.81 c #Conflicts: 763000 | #Constraints: 87962
1679.07/1683.81 c #Conflicts: 764000 | #Constraints: 88962
1679.07/1683.81 c #Conflicts: 765000 | #Constraints: 89962
1679.07/1683.81 c #Conflicts: 766000 | #Constraints: 90962
1679.07/1683.81 c #Conflicts: 767000 | #Constraints: 91962
1679.07/1683.81 c #Conflicts: 768000 | #Constraints: 92962
1679.07/1683.81 c #Conflicts: 769000 | #Constraints: 93962
1679.07/1683.81 c #Conflicts: 770000 | #Constraints: 94962
1679.07/1683.81 c #Conflicts: 771000 | #Constraints: 95962
1679.07/1683.81 c #Conflicts: 772000 | #Constraints: 96962
1679.07/1683.81 c #Conflicts: 773000 | #Constraints: 97962
1679.07/1683.81 c INPROCESSING
1679.07/1683.81 c GARBAGE COLLECT
1679.07/1683.81 c rational objective 177
1828.08/1833.28 c #Conflicts: 774000 | #Constraints: 71136
1828.08/1833.28 c #Conflicts: 775000 | #Constraints: 72136
1828.08/1833.28 c #Conflicts: 776000 | #Constraints: 73136
1828.08/1833.28 c #Conflicts: 777000 | #Constraints: 74136
1828.08/1833.28 c #Conflicts: 778000 | #Constraints: 75136
1828.08/1833.28 c #Conflicts: 779000 | #Constraints: 76136
1828.08/1833.28 c #Conflicts: 780000 | #Constraints: 77136
1828.08/1833.28 c #Conflicts: 781000 | #Constraints: 78136
1828.08/1833.28 c #Conflicts: 782000 | #Constraints: 79136
1828.08/1833.28 c #Conflicts: 783000 | #Constraints: 80136
1828.08/1833.28 c #Conflicts: 784000 | #Constraints: 81136
1828.08/1833.28 c #Conflicts: 785000 | #Constraints: 82136
1828.08/1833.28 c #Conflicts: 786000 | #Constraints: 83136
1828.08/1833.28 c #Conflicts: 787000 | #Constraints: 84136
1828.08/1833.28 c #Conflicts: 788000 | #Constraints: 85136
1828.08/1833.28 c #Conflicts: 789000 | #Constraints: 86136
1828.08/1833.28 c #Conflicts: 790000 | #Constraints: 87136
1828.08/1833.28 c #Conflicts: 791000 | #Constraints: 88136
1828.08/1833.28 c #Conflicts: 792000 | #Constraints: 89136
1828.08/1833.28 c #Conflicts: 793000 | #Constraints: 90136
1828.08/1833.28 c #Conflicts: 794000 | #Constraints: 91136
1828.08/1833.28 c #Conflicts: 795000 | #Constraints: 92136
1828.08/1833.28 c #Conflicts: 796000 | #Constraints: 93136
1828.08/1833.28 c #Conflicts: 797000 | #Constraints: 94136
1828.08/1833.28 c #Conflicts: 798000 | #Constraints: 95136
1828.08/1833.28 c #Conflicts: 799000 | #Constraints: 96136
1828.08/1833.28 c #Conflicts: 800000 | #Constraints: 97136
1828.08/1833.28 c #Conflicts: 801000 | #Constraints: 98136
1828.08/1833.28 c #Conflicts: 802000 | #Constraints: 99136
1828.08/1833.28 c #Conflicts: 803000 | #Constraints: 100136
1828.08/1833.28 c #Conflicts: 804000 | #Constraints: 101136
1828.08/1833.28 c #Conflicts: 805000 | #Constraints: 102136
1828.08/1833.28 c #Conflicts: 806000 | #Constraints: 103136
1828.08/1833.28 c #Conflicts: 807000 | #Constraints: 104136
1828.08/1833.28 c #Conflicts: 808000 | #Constraints: 105136
1828.08/1833.28 c #Conflicts: 809000 | #Constraints: 106136
1828.08/1833.28 c #Conflicts: 810000 | #Constraints: 107136
1828.08/1833.28 c #Conflicts: 811000 | #Constraints: 108136
1828.08/1833.28 c #Conflicts: 812000 | #Constraints: 109136
1828.08/1833.28 c #Conflicts: 813000 | #Constraints: 110136
1828.08/1833.28 c #Conflicts: 814000 | #Constraints: 111136
1828.08/1833.28 c #Conflicts: 815000 | #Constraints: 112136
1828.08/1833.28 c #Conflicts: 816000 | #Constraints: 113136
1828.08/1833.28 c #Conflicts: 817000 | #Constraints: 114136
1828.08/1833.28 c #Conflicts: 818000 | #Constraints: 115136
1828.08/1833.28 c #Conflicts: 819000 | #Constraints: 116136
1828.08/1833.28 c #Conflicts: 820000 | #Constraints: 117136
1828.08/1833.28 c #Conflicts: 821000 | #Constraints: 118136
1828.08/1833.28 c #Conflicts: 822000 | #Constraints: 119136
1828.08/1833.28 c #Conflicts: 823000 | #Constraints: 120136
1828.08/1833.28 c #Conflicts: 824000 | #Constraints: 121136
1828.08/1833.28 c #Conflicts: 825000 | #Constraints: 122136
1828.08/1833.28 c #Conflicts: 826000 | #Constraints: 123136
1828.08/1833.28 c #Conflicts: 827000 | #Constraints: 124136
1828.08/1833.28 c #Conflicts: 828000 | #Constraints: 125136
1828.08/1833.28 c #Conflicts: 829000 | #Constraints: 126136
1828.08/1833.28 c #Conflicts: 830000 | #Constraints: 127136
1828.08/1833.28 c #Conflicts: 831000 | #Constraints: 128136
1828.08/1833.28 c #Conflicts: 832000 | #Constraints: 129136
1828.08/1833.28 c INPROCESSING
1828.08/1833.28 c GARBAGE COLLECT
1828.08/1833.28 c rational objective 177
1993.34/1998.94 c #Conflicts: 833000 | #Constraints: 77671
1993.34/1998.94 c #Conflicts: 834000 | #Constraints: 78671
1993.34/1998.94 c #Conflicts: 835000 | #Constraints: 79671
1993.34/1998.94 c #Conflicts: 836000 | #Constraints: 80671
1993.34/1998.94 c #Conflicts: 837000 | #Constraints: 81671
1993.34/1998.94 c #Conflicts: 838000 | #Constraints: 82671
1993.34/1998.94 c #Conflicts: 839000 | #Constraints: 83671
1993.34/1998.94 c #Conflicts: 840000 | #Constraints: 84671
1993.34/1998.94 c #Conflicts: 841000 | #Constraints: 85671
1993.34/1998.94 c #Conflicts: 842000 | #Constraints: 86671
1993.34/1998.94 c #Conflicts: 843000 | #Constraints: 87671
1993.34/1998.94 c #Conflicts: 844000 | #Constraints: 88671
1993.34/1998.94 c #Conflicts: 845000 | #Constraints: 89671
1993.34/1998.94 c #Conflicts: 846000 | #Constraints: 90671
1993.34/1998.94 c #Conflicts: 847000 | #Constraints: 91671
1993.34/1998.94 c #Conflicts: 848000 | #Constraints: 92671
1993.34/1998.94 c #Conflicts: 849000 | #Constraints: 93671
1993.34/1998.94 c #Conflicts: 850000 | #Constraints: 94671
1993.34/1998.94 c #Conflicts: 851000 | #Constraints: 95671
1993.34/1998.94 c #Conflicts: 852000 | #Constraints: 96671
1993.34/1998.94 c #Conflicts: 853000 | #Constraints: 97671
1993.34/1998.94 c #Conflicts: 854000 | #Constraints: 98671
1993.34/1998.94 c #Conflicts: 855000 | #Constraints: 99671
1993.34/1998.94 c #Conflicts: 856000 | #Constraints: 100671
1993.34/1998.94 c #Conflicts: 857000 | #Constraints: 101671
1993.34/1998.94 c #Conflicts: 858000 | #Constraints: 102671
1993.34/1998.94 c INPROCESSING
1993.34/1998.94 c GARBAGE COLLECT
1993.34/1998.94 c #Conflicts: 859000 | #Constraints: 74592
1993.34/1998.94 c #Conflicts: 860000 | #Constraints: 75592
1993.34/1998.94 c #Conflicts: 861000 | #Constraints: 76592
1993.34/1998.94 c #Conflicts: 862000 | #Constraints: 77592
1993.34/1998.94 c #Conflicts: 863000 | #Constraints: 78592
1993.34/1998.94 c #Conflicts: 864000 | #Constraints: 79592
1993.34/1998.94 c #Conflicts: 865000 | #Constraints: 80592
1993.34/1998.94 c #Conflicts: 866000 | #Constraints: 81592
1993.34/1998.94 c #Conflicts: 867000 | #Constraints: 82592
1993.34/1998.94 c #Conflicts: 868000 | #Constraints: 83592
1993.34/1998.94 c #Conflicts: 869000 | #Constraints: 84592
1993.34/1998.94 c #Conflicts: 870000 | #Constraints: 85592
1993.34/1998.94 c #Conflicts: 871000 | #Constraints: 86592
1993.34/1998.94 c #Conflicts: 872000 | #Constraints: 87592
1993.34/1998.94 c #Conflicts: 873000 | #Constraints: 88592
1993.34/1998.94 c #Conflicts: 874000 | #Constraints: 89592
1993.34/1998.94 c #Conflicts: 875000 | #Constraints: 90592
1993.34/1998.94 c #Conflicts: 876000 | #Constraints: 91592
1993.34/1998.94 c #Conflicts: 877000 | #Constraints: 92592
1993.34/1998.94 c #Conflicts: 878000 | #Constraints: 93592
1993.34/1998.94 c #Conflicts: 879000 | #Constraints: 94592
1993.34/1998.94 c #Conflicts: 880000 | #Constraints: 95592
1993.34/1998.94 c #Conflicts: 881000 | #Constraints: 96592
1993.34/1998.94 c #Conflicts: 882000 | #Constraints: 97592
1993.34/1998.94 c #Conflicts: 883000 | #Constraints: 98592
1993.34/1998.94 c #Conflicts: 884000 | #Constraints: 99592
1993.34/1998.94 c #Conflicts: 885000 | #Constraints: 100592
1993.34/1998.94 c #Conflicts: 886000 | #Constraints: 101592
1993.34/1998.94 c #Conflicts: 887000 | #Constraints: 102592
1993.34/1998.94 c #Conflicts: 888000 | #Constraints: 103592
1993.34/1998.94 c #Conflicts: 889000 | #Constraints: 104592
1993.34/1998.94 c #Conflicts: 890000 | #Constraints: 105592
1993.34/1998.94 c #Conflicts: 891000 | #Constraints: 106592
1993.34/1998.94 c #Conflicts: 892000 | #Constraints: 107592
1993.34/1998.94 c #Conflicts: 893000 | #Constraints: 108592
1993.34/1998.94 c #Conflicts: 894000 | #Constraints: 109592
1993.34/1998.94 c #Conflicts: 895000 | #Constraints: 110592
1993.34/1998.94 c #Conflicts: 896000 | #Constraints: 111592
1993.34/1998.94 c #Conflicts: 897000 | #Constraints: 112592
1993.34/1998.94 c #Conflicts: 898000 | #Constraints: 113592
1993.34/1998.94 c #Conflicts: 899000 | #Constraints: 114592
1993.34/1998.94 c #Conflicts: 900000 | #Constraints: 115592
1993.34/1998.94 c #Conflicts: 901000 | #Constraints: 116592
1993.34/1998.94 c #Conflicts: 902000 | #Constraints: 117592
1993.34/1998.94 c #Conflicts: 903000 | #Constraints: 118592
1993.34/1998.94 c #Conflicts: 904000 | #Constraints: 119592
1993.34/1998.94 c #Conflicts: 905000 | #Constraints: 120592
1993.34/1998.94 c #Conflicts: 906000 | #Constraints: 121592
1993.34/1998.94 c #Conflicts: 907000 | #Constraints: 122592
1993.34/1998.94 c #Conflicts: 908000 | #Constraints: 123592
1993.34/1998.94 c #Conflicts: 909000 | #Constraints: 124592
1993.34/1998.94 c #Conflicts: 910000 | #Constraints: 125592
1993.34/1998.94 c #Conflicts: 911000 | #Constraints: 126592
2056.67/2062.41 c #Conflicts: 912000 | #Constraints: 127592
2056.67/2062.41 c #Conflicts: 913000 | #Constraints: 128592
2056.67/2062.41 c #Conflicts: 914000 | #Constraints: 129592
2056.67/2062.41 c #Conflicts: 915000 | #Constraints: 130592
2056.67/2062.41 c #Conflicts: 916000 | #Constraints: 131592
2056.67/2062.41 c #Conflicts: 917000 | #Constraints: 132592
2056.67/2062.41 c #Conflicts: 918000 | #Constraints: 133592
2056.67/2062.41 c #Conflicts: 919000 | #Constraints: 134592
2056.67/2062.41 c #Conflicts: 920000 | #Constraints: 135592
2056.67/2062.41 c INPROCESSING
2056.67/2062.41 c GARBAGE COLLECT
2056.67/2062.41 c rational objective 177
2284.26/2290.64 c #Conflicts: 921000 | #Constraints: 80945
2284.26/2290.64 c #Conflicts: 922000 | #Constraints: 81945
2284.26/2290.64 c #Conflicts: 923000 | #Constraints: 82945
2284.26/2290.64 c #Conflicts: 924000 | #Constraints: 83945
2284.26/2290.64 c #Conflicts: 925000 | #Constraints: 84945
2284.26/2290.64 c #Conflicts: 926000 | #Constraints: 85945
2284.26/2290.64 c #Conflicts: 927000 | #Constraints: 86945
2284.26/2290.64 c #Conflicts: 928000 | #Constraints: 87945
2284.26/2290.64 c #Conflicts: 929000 | #Constraints: 88945
2284.26/2290.64 c #Conflicts: 930000 | #Constraints: 89945
2284.26/2290.64 c #Conflicts: 931000 | #Constraints: 90945
2284.26/2290.64 c #Conflicts: 932000 | #Constraints: 91945
2284.26/2290.64 c #Conflicts: 933000 | #Constraints: 92945
2284.26/2290.64 c #Conflicts: 934000 | #Constraints: 93946
2284.26/2290.64 c #Conflicts: 935000 | #Constraints: 94946
2284.26/2290.64 c #Conflicts: 936000 | #Constraints: 95946
2284.26/2290.64 c #Conflicts: 937000 | #Constraints: 96946
2284.26/2290.64 c #Conflicts: 938000 | #Constraints: 97946
2284.26/2290.64 c #Conflicts: 939000 | #Constraints: 98946
2284.26/2290.64 c #Conflicts: 940000 | #Constraints: 99946
2284.26/2290.64 c #Conflicts: 941000 | #Constraints: 100946
2284.26/2290.64 c #Conflicts: 942000 | #Constraints: 101946
2284.26/2290.64 c #Conflicts: 943000 | #Constraints: 102946
2284.26/2290.64 c #Conflicts: 944000 | #Constraints: 103946
2284.26/2290.64 c #Conflicts: 945000 | #Constraints: 104946
2284.26/2290.64 c #Conflicts: 946000 | #Constraints: 105946
2284.26/2290.64 c #Conflicts: 947000 | #Constraints: 106946
2284.26/2290.64 c INPROCESSING
2284.26/2290.64 c GARBAGE COLLECT
2284.26/2290.64 c #Conflicts: 948000 | #Constraints: 77438
2284.26/2290.64 c #Conflicts: 949000 | #Constraints: 78438
2284.26/2290.64 c #Conflicts: 950000 | #Constraints: 79438
2284.26/2290.64 c #Conflicts: 951000 | #Constraints: 80438
2284.26/2290.64 c #Conflicts: 952000 | #Constraints: 81438
2284.26/2290.64 c #Conflicts: 953000 | #Constraints: 82438
2284.26/2290.64 c #Conflicts: 954000 | #Constraints: 83438
2284.26/2290.64 c #Conflicts: 955000 | #Constraints: 84438
2284.26/2290.64 c #Conflicts: 956000 | #Constraints: 85438
2284.26/2290.64 c #Conflicts: 957000 | #Constraints: 86438
2284.26/2290.64 c #Conflicts: 958000 | #Constraints: 87438
2284.26/2290.64 c #Conflicts: 959000 | #Constraints: 88438
2284.26/2290.64 c #Conflicts: 960000 | #Constraints: 89438
2284.26/2290.64 c #Conflicts: 961000 | #Constraints: 90438
2284.26/2290.64 c #Conflicts: 962000 | #Constraints: 91438
2284.26/2290.64 c #Conflicts: 963000 | #Constraints: 92438
2284.26/2290.64 c #Conflicts: 964000 | #Constraints: 93438
2284.26/2290.64 c #Conflicts: 965000 | #Constraints: 94438
2284.26/2290.64 c #Conflicts: 966000 | #Constraints: 95438
2284.26/2290.64 c #Conflicts: 967000 | #Constraints: 96438
2284.26/2290.64 c #Conflicts: 968000 | #Constraints: 97438
2284.26/2290.64 c #Conflicts: 969000 | #Constraints: 98438
2284.26/2290.64 c #Conflicts: 970000 | #Constraints: 99438
2284.26/2290.64 c #Conflicts: 971000 | #Constraints: 100438
2284.26/2290.64 c #Conflicts: 972000 | #Constraints: 101438
2284.26/2290.64 c #Conflicts: 973000 | #Constraints: 102438
2284.26/2290.64 c #Conflicts: 974000 | #Constraints: 103438
2284.26/2290.64 c #Conflicts: 975000 | #Constraints: 104438
2284.26/2290.64 c #Conflicts: 976000 | #Constraints: 105438
2284.26/2290.64 c #Conflicts: 977000 | #Constraints: 106438
2284.26/2290.64 c #Conflicts: 978000 | #Constraints: 107438
2284.26/2290.64 c #Conflicts: 979000 | #Constraints: 108438
2284.26/2290.64 c #Conflicts: 980000 | #Constraints: 109438
2284.26/2290.64 c #Conflicts: 981000 | #Constraints: 110438
2284.26/2290.64 c #Conflicts: 982000 | #Constraints: 111438
2284.26/2290.64 c #Conflicts: 983000 | #Constraints: 112438
2284.26/2290.64 c #Conflicts: 984000 | #Constraints: 113438
2284.26/2290.64 c #Conflicts: 985000 | #Constraints: 114438
2284.26/2290.64 c #Conflicts: 986000 | #Constraints: 115438
2284.26/2290.64 c #Conflicts: 987000 | #Constraints: 116438
2284.26/2290.64 c #Conflicts: 988000 | #Constraints: 117438
2284.26/2290.64 c #Conflicts: 989000 | #Constraints: 118438
2284.26/2290.64 c #Conflicts: 990000 | #Constraints: 119438
2284.26/2290.64 c #Conflicts: 991000 | #Constraints: 120438
2284.26/2290.64 c #Conflicts: 992000 | #Constraints: 121438
2284.26/2290.64 c #Conflicts: 993000 | #Constraints: 122438
2284.26/2290.64 c #Conflicts: 994000 | #Constraints: 123438
2284.26/2290.64 c #Conflicts: 995000 | #Constraints: 124438
2284.26/2290.64 c #Conflicts: 996000 | #Constraints: 125438
2284.26/2290.64 c #Conflicts: 997000 | #Constraints: 126438
2284.26/2290.64 c #Conflicts: 998000 | #Constraints: 127438
2284.26/2290.64 c #Conflicts: 999000 | #Constraints: 128438
2544.17/2551.27 c #Conflicts: 1000000 | #Constraints: 129438
2544.17/2551.27 c #Conflicts: 1001000 | #Constraints: 130438
2544.17/2551.27 c #Conflicts: 1002000 | #Constraints: 131438
2544.17/2551.27 c #Conflicts: 1003000 | #Constraints: 132438
2544.17/2551.27 c #Conflicts: 1004000 | #Constraints: 133438
2544.17/2551.27 c #Conflicts: 1005000 | #Constraints: 134438
2544.17/2551.27 c #Conflicts: 1006000 | #Constraints: 135438
2544.17/2551.27 c #Conflicts: 1007000 | #Constraints: 136438
2544.17/2551.27 c #Conflicts: 1008000 | #Constraints: 137438
2544.17/2551.27 c #Conflicts: 1009000 | #Constraints: 138438
2544.17/2551.27 c #Conflicts: 1010000 | #Constraints: 139438
2544.17/2551.27 c #Conflicts: 1011000 | #Constraints: 140438
2544.17/2551.27 c #Conflicts: 1012000 | #Constraints: 141438
2544.17/2551.27 c INPROCESSING
2544.17/2551.27 c GARBAGE COLLECT
2544.17/2551.27 c #Conflicts: 1013000 | #Constraints: 83723
2544.17/2551.27 c #Conflicts: 1014000 | #Constraints: 84723
2544.17/2551.27 c #Conflicts: 1015000 | #Constraints: 85723
2544.17/2551.27 c #Conflicts: 1016000 | #Constraints: 86723
2544.17/2551.27 c #Conflicts: 1017000 | #Constraints: 87723
2544.17/2551.27 c #Conflicts: 1018000 | #Constraints: 88723
2544.17/2551.27 c #Conflicts: 1019000 | #Constraints: 89723
2544.17/2551.27 c #Conflicts: 1020000 | #Constraints: 90723
2544.17/2551.27 c #Conflicts: 1021000 | #Constraints: 91723
2544.17/2551.27 c #Conflicts: 1022000 | #Constraints: 92723
2544.17/2551.27 c #Conflicts: 1023000 | #Constraints: 93723
2544.17/2551.27 c #Conflicts: 1024000 | #Constraints: 94723
2544.17/2551.27 c #Conflicts: 1025000 | #Constraints: 95723
2544.17/2551.27 c #Conflicts: 1026000 | #Constraints: 96723
2544.17/2551.27 c #Conflicts: 1027000 | #Constraints: 97723
2544.17/2551.27 c #Conflicts: 1028000 | #Constraints: 98723
2544.17/2551.27 c #Conflicts: 1029000 | #Constraints: 99723
2544.17/2551.27 c #Conflicts: 1030000 | #Constraints: 100723
2544.17/2551.27 c #Conflicts: 1031000 | #Constraints: 101723
2544.17/2551.27 c #Conflicts: 1032000 | #Constraints: 102723
2544.17/2551.27 c #Conflicts: 1033000 | #Constraints: 103723
2544.17/2551.27 c #Conflicts: 1034000 | #Constraints: 104723
2544.17/2551.27 c #Conflicts: 1035000 | #Constraints: 105723
2544.17/2551.27 c #Conflicts: 1036000 | #Constraints: 106723
2544.17/2551.27 c #Conflicts: 1037000 | #Constraints: 107723
2544.17/2551.27 c #Conflicts: 1038000 | #Constraints: 108723
2544.17/2551.27 c #Conflicts: 1039000 | #Constraints: 109723
2544.17/2551.27 c #Conflicts: 1040000 | #Constraints: 110723
2544.17/2551.27 c INPROCESSING
2544.17/2551.27 c GARBAGE COLLECT
2544.17/2551.27 c #Conflicts: 1041000 | #Constraints: 79163
2544.17/2551.27 c #Conflicts: 1042000 | #Constraints: 80163
2544.17/2551.27 c #Conflicts: 1043000 | #Constraints: 81163
2544.17/2551.27 c #Conflicts: 1044000 | #Constraints: 82163
2544.17/2551.27 c #Conflicts: 1045000 | #Constraints: 83163
2544.17/2551.27 c #Conflicts: 1046000 | #Constraints: 84163
2544.17/2551.27 c #Conflicts: 1047000 | #Constraints: 85163
2544.17/2551.27 c #Conflicts: 1048000 | #Constraints: 86163
2544.17/2551.27 c #Conflicts: 1049000 | #Constraints: 87163
2544.17/2551.27 c #Conflicts: 1050000 | #Constraints: 88163
2544.17/2551.27 c #Conflicts: 1051000 | #Constraints: 89163
2544.17/2551.27 c #Conflicts: 1052000 | #Constraints: 90163
2544.17/2551.27 c #Conflicts: 1053000 | #Constraints: 91163
2544.17/2551.27 c #Conflicts: 1054000 | #Constraints: 92163
2544.17/2551.27 c #Conflicts: 1055000 | #Constraints: 93163
2544.17/2551.27 c #Conflicts: 1056000 | #Constraints: 94163
2544.17/2551.27 c #Conflicts: 1057000 | #Constraints: 95163
2544.17/2551.27 c #Conflicts: 1058000 | #Constraints: 96163
2544.17/2551.27 c #Conflicts: 1059000 | #Constraints: 97163
2544.17/2551.27 c #Conflicts: 1060000 | #Constraints: 98163
2544.17/2551.27 c #Conflicts: 1061000 | #Constraints: 99163
2544.17/2551.27 c #Conflicts: 1062000 | #Constraints: 100163
2544.17/2551.27 c #Conflicts: 1063000 | #Constraints: 101163
2544.17/2551.27 c #Conflicts: 1064000 | #Constraints: 102163
2544.17/2551.27 c #Conflicts: 1065000 | #Constraints: 103163
2544.17/2551.27 c #Conflicts: 1066000 | #Constraints: 104163
2544.17/2551.27 c #Conflicts: 1067000 | #Constraints: 105163
2544.17/2551.27 c #Conflicts: 1068000 | #Constraints: 106163
2544.17/2551.27 c #Conflicts: 1069000 | #Constraints: 107163
2544.17/2551.27 c #Conflicts: 1070000 | #Constraints: 108163
2544.17/2551.27 c #Conflicts: 1071000 | #Constraints: 109163
2544.17/2551.27 c #Conflicts: 1072000 | #Constraints: 110163
2544.17/2551.27 c #Conflicts: 1073000 | #Constraints: 111163
2544.17/2551.27 c #Conflicts: 1074000 | #Constraints: 112163
2544.17/2551.27 c #Conflicts: 1075000 | #Constraints: 113163
2544.17/2551.27 c #Conflicts: 1076000 | #Constraints: 114163
3050.07/3058.52 c #Conflicts: 1077000 | #Constraints: 115163
3050.07/3058.52 c #Conflicts: 1078000 | #Constraints: 116163
3050.07/3058.52 c #Conflicts: 1079000 | #Constraints: 117163
3050.07/3058.52 c #Conflicts: 1080000 | #Constraints: 118163
3050.07/3058.52 c #Conflicts: 1081000 | #Constraints: 119163
3050.07/3058.52 c #Conflicts: 1082000 | #Constraints: 120163
3050.07/3058.52 c #Conflicts: 1083000 | #Constraints: 121163
3050.07/3058.52 c #Conflicts: 1084000 | #Constraints: 122163
3050.07/3058.52 c #Conflicts: 1085000 | #Constraints: 123163
3050.07/3058.52 c #Conflicts: 1086000 | #Constraints: 124163
3050.07/3058.52 c #Conflicts: 1087000 | #Constraints: 125163
3050.07/3058.52 c #Conflicts: 1088000 | #Constraints: 126163
3050.07/3058.52 c #Conflicts: 1089000 | #Constraints: 127163
3050.07/3058.52 c #Conflicts: 1090000 | #Constraints: 128163
3050.07/3058.52 c #Conflicts: 1091000 | #Constraints: 129163
3050.07/3058.52 c #Conflicts: 1092000 | #Constraints: 130163
3050.07/3058.52 c #Conflicts: 1093000 | #Constraints: 131163
3050.07/3058.52 c #Conflicts: 1094000 | #Constraints: 132163
3050.07/3058.52 c #Conflicts: 1095000 | #Constraints: 133163
3050.07/3058.52 c #Conflicts: 1096000 | #Constraints: 134163
3050.07/3058.52 c #Conflicts: 1097000 | #Constraints: 135163
3050.07/3058.52 c #Conflicts: 1098000 | #Constraints: 136163
3050.07/3058.52 c #Conflicts: 1099000 | #Constraints: 137163
3050.07/3058.52 c #Conflicts: 1100000 | #Constraints: 138163
3050.07/3058.52 c #Conflicts: 1101000 | #Constraints: 139163
3050.07/3058.52 c #Conflicts: 1102000 | #Constraints: 140163
3050.07/3058.52 c #Conflicts: 1103000 | #Constraints: 141163
3050.07/3058.52 c #Conflicts: 1104000 | #Constraints: 142163
3050.07/3058.52 c #Conflicts: 1105000 | #Constraints: 143163
3050.07/3058.52 c #Conflicts: 1106000 | #Constraints: 144163
3050.07/3058.52 c #Conflicts: 1107000 | #Constraints: 145163
3050.07/3058.52 c #Conflicts: 1108000 | #Constraints: 146163
3050.07/3058.52 c INPROCESSING
3050.07/3058.52 c GARBAGE COLLECT
3050.07/3058.52 c #Conflicts: 1109000 | #Constraints: 86018
3050.07/3058.52 c #Conflicts: 1110000 | #Constraints: 87018
3050.07/3058.52 c #Conflicts: 1111000 | #Constraints: 88018
3050.07/3058.52 c #Conflicts: 1112000 | #Constraints: 89018
3050.07/3058.52 c #Conflicts: 1113000 | #Constraints: 90018
3050.07/3058.52 c #Conflicts: 1114000 | #Constraints: 91018
3050.07/3058.52 c #Conflicts: 1115000 | #Constraints: 92018
3050.07/3058.52 c #Conflicts: 1116000 | #Constraints: 93018
3050.07/3058.52 c #Conflicts: 1117000 | #Constraints: 94018
3050.07/3058.52 c #Conflicts: 1118000 | #Constraints: 95018
3050.07/3058.52 c #Conflicts: 1119000 | #Constraints: 96018
3050.07/3058.52 c #Conflicts: 1120000 | #Constraints: 97018
3050.07/3058.52 c #Conflicts: 1121000 | #Constraints: 98018
3050.07/3058.52 c #Conflicts: 1122000 | #Constraints: 99018
3050.07/3058.52 c #Conflicts: 1123000 | #Constraints: 100018
3050.07/3058.52 c #Conflicts: 1124000 | #Constraints: 101018
3050.07/3058.52 c #Conflicts: 1125000 | #Constraints: 102019
3050.07/3058.52 c #Conflicts: 1126000 | #Constraints: 103019
3050.07/3058.52 c #Conflicts: 1127000 | #Constraints: 104019
3050.07/3058.52 c #Conflicts: 1128000 | #Constraints: 105019
3050.07/3058.52 c #Conflicts: 1129000 | #Constraints: 106019
3050.07/3058.52 c #Conflicts: 1130000 | #Constraints: 107019
3050.07/3058.52 c #Conflicts: 1131000 | #Constraints: 108019
3050.07/3058.52 c #Conflicts: 1132000 | #Constraints: 109019
3050.07/3058.52 c #Conflicts: 1133000 | #Constraints: 110019
3050.07/3058.52 c #Conflicts: 1134000 | #Constraints: 111019
3050.07/3058.52 c #Conflicts: 1135000 | #Constraints: 112019
3050.07/3058.52 c #Conflicts: 1136000 | #Constraints: 113019
3050.07/3058.52 c #Conflicts: 1137000 | #Constraints: 114019
3050.07/3058.52 c #Conflicts: 1138000 | #Constraints: 115019
3050.07/3058.52 c INPROCESSING
3050.07/3058.52 c GARBAGE COLLECT
3050.07/3058.52 c #Conflicts: 1139000 | #Constraints: 80559
3050.07/3058.52 c #Conflicts: 1140000 | #Constraints: 81559
3050.07/3058.52 c #Conflicts: 1141000 | #Constraints: 82559
3050.07/3058.52 c #Conflicts: 1142000 | #Constraints: 83559
3050.07/3058.52 c #Conflicts: 1143000 | #Constraints: 84559
3050.07/3058.52 c #Conflicts: 1144000 | #Constraints: 85559
3050.07/3058.52 c #Conflicts: 1145000 | #Constraints: 86559
3050.07/3058.52 c #Conflicts: 1146000 | #Constraints: 87559
3050.07/3058.52 c #Conflicts: 1147000 | #Constraints: 88559
3050.07/3058.52 c #Conflicts: 1148000 | #Constraints: 89559
3050.07/3058.52 c #Conflicts: 1149000 | #Constraints: 90559
3050.07/3058.52 c #Conflicts: 1150000 | #Constraints: 91559
3050.07/3058.52 c #Conflicts: 1151000 | #Constraints: 92559
3050.07/3058.52 c #Conflicts: 1152000 | #Constraints: 93559
3050.07/3058.52 c #Conflicts: 1153000 | #Constraints: 94559
3050.07/3058.52 c #Conflicts: 1154000 | #Constraints: 95559
3259.50/3268.56 c #Conflicts: 1155000 | #Constraints: 96559
3259.50/3268.56 c #Conflicts: 1156000 | #Constraints: 97559
3259.50/3268.56 c #Conflicts: 1157000 | #Constraints: 98559
3259.50/3268.56 c #Conflicts: 1158000 | #Constraints: 99559
3259.50/3268.56 c #Conflicts: 1159000 | #Constraints: 100559
3259.50/3268.56 c #Conflicts: 1160000 | #Constraints: 101559
3259.50/3268.56 c #Conflicts: 1161000 | #Constraints: 102559
3259.50/3268.56 c #Conflicts: 1162000 | #Constraints: 103559
3259.50/3268.56 c #Conflicts: 1163000 | #Constraints: 104559
3259.50/3268.56 c #Conflicts: 1164000 | #Constraints: 105559
3259.50/3268.56 c #Conflicts: 1165000 | #Constraints: 106559
3259.50/3268.56 c #Conflicts: 1166000 | #Constraints: 107559
3259.50/3268.56 c #Conflicts: 1167000 | #Constraints: 108559
3259.50/3268.56 c #Conflicts: 1168000 | #Constraints: 109559
3259.50/3268.56 c #Conflicts: 1169000 | #Constraints: 110559
3259.50/3268.56 c #Conflicts: 1170000 | #Constraints: 111559
3259.50/3268.56 c #Conflicts: 1171000 | #Constraints: 112559
3259.50/3268.56 c #Conflicts: 1172000 | #Constraints: 113559
3259.50/3268.56 c #Conflicts: 1173000 | #Constraints: 114559
3259.50/3268.56 c #Conflicts: 1174000 | #Constraints: 115559
3259.50/3268.56 c #Conflicts: 1175000 | #Constraints: 116559
3259.50/3268.56 c #Conflicts: 1176000 | #Constraints: 117559
3259.50/3268.56 c #Conflicts: 1177000 | #Constraints: 118559
3259.50/3268.56 c #Conflicts: 1178000 | #Constraints: 119559
3259.50/3268.56 c #Conflicts: 1179000 | #Constraints: 120559
3259.50/3268.56 c #Conflicts: 1180000 | #Constraints: 121559
3259.50/3268.56 c #Conflicts: 1181000 | #Constraints: 122559
3259.50/3268.56 c #Conflicts: 1182000 | #Constraints: 123559
3259.50/3268.56 c #Conflicts: 1183000 | #Constraints: 124559
3259.50/3268.56 c #Conflicts: 1184000 | #Constraints: 125559
3259.50/3268.56 c #Conflicts: 1185000 | #Constraints: 126559
3259.50/3268.56 c #Conflicts: 1186000 | #Constraints: 127559
3259.50/3268.56 c #Conflicts: 1187000 | #Constraints: 128559
3259.50/3268.56 c #Conflicts: 1188000 | #Constraints: 129559
3259.50/3268.56 c #Conflicts: 1189000 | #Constraints: 130559
3259.50/3268.56 c #Conflicts: 1190000 | #Constraints: 131559
3259.50/3268.56 c #Conflicts: 1191000 | #Constraints: 132559
3259.50/3268.56 c #Conflicts: 1192000 | #Constraints: 133559
3259.50/3268.56 c #Conflicts: 1193000 | #Constraints: 134559
3259.50/3268.56 c #Conflicts: 1194000 | #Constraints: 135559
3259.50/3268.56 c #Conflicts: 1195000 | #Constraints: 136559
3259.50/3268.56 c #Conflicts: 1196000 | #Constraints: 137559
3259.50/3268.56 c #Conflicts: 1197000 | #Constraints: 138559
3259.50/3268.56 c #Conflicts: 1198000 | #Constraints: 139559
3259.50/3268.56 c #Conflicts: 1199000 | #Constraints: 140559
3259.50/3268.56 c #Conflicts: 1200000 | #Constraints: 141559
3259.50/3268.56 c #Conflicts: 1201000 | #Constraints: 142559
3259.50/3268.56 c #Conflicts: 1202000 | #Constraints: 143559
3259.50/3268.56 c #Conflicts: 1203000 | #Constraints: 144559
3259.50/3268.56 c #Conflicts: 1204000 | #Constraints: 145559
3259.50/3268.56 c #Conflicts: 1205000 | #Constraints: 146559
3259.50/3268.56 c #Conflicts: 1206000 | #Constraints: 147559
3259.50/3268.56 c #Conflicts: 1207000 | #Constraints: 148559
3259.50/3268.56 c #Conflicts: 1208000 | #Constraints: 149559
3259.50/3268.56 c #Conflicts: 1209000 | #Constraints: 150559
3259.50/3268.56 c INPROCESSING
3259.50/3268.56 c GARBAGE COLLECT
3259.50/3268.56 c #Conflicts: 1210000 | #Constraints: 88221
3259.50/3268.56 c #Conflicts: 1211000 | #Constraints: 89221
3259.50/3268.56 c #Conflicts: 1212000 | #Constraints: 90221
3259.50/3268.56 c #Conflicts: 1213000 | #Constraints: 91221
3259.50/3268.56 c #Conflicts: 1214000 | #Constraints: 92221
3259.50/3268.56 c #Conflicts: 1215000 | #Constraints: 93221
3259.50/3268.56 c #Conflicts: 1216000 | #Constraints: 94221
3259.50/3268.56 c #Conflicts: 1217000 | #Constraints: 95221
3259.50/3268.56 c #Conflicts: 1218000 | #Constraints: 96221
3259.50/3268.56 c #Conflicts: 1219000 | #Constraints: 97221
3259.50/3268.56 c #Conflicts: 1220000 | #Constraints: 98221
3259.50/3268.56 c #Conflicts: 1221000 | #Constraints: 99221
3259.50/3268.56 c #Conflicts: 1222000 | #Constraints: 100221
3259.50/3268.56 c #Conflicts: 1223000 | #Constraints: 101221
3259.50/3268.56 c #Conflicts: 1224000 | #Constraints: 102221
3259.50/3268.56 c #Conflicts: 1225000 | #Constraints: 103221
3259.50/3268.56 c #Conflicts: 1226000 | #Constraints: 104221
3259.50/3268.56 c #Conflicts: 1227000 | #Constraints: 105221
3259.50/3268.56 c #Conflicts: 1228000 | #Constraints: 106221
3259.50/3268.56 c #Conflicts: 1229000 | #Constraints: 107221
3259.50/3268.56 c #Conflicts: 1230000 | #Constraints: 108221
3259.50/3268.56 c #Conflicts: 1231000 | #Constraints: 109221
3259.50/3268.56 c #Conflicts: 1232000 | #Constraints: 110221
3470.64/3480.23 c #Conflicts: 1233000 | #Constraints: 111221
3470.64/3480.23 c #Conflicts: 1234000 | #Constraints: 112221
3470.64/3480.23 c #Conflicts: 1235000 | #Constraints: 113221
3470.64/3480.23 c #Conflicts: 1236000 | #Constraints: 114221
3470.64/3480.23 c #Conflicts: 1237000 | #Constraints: 115221
3470.64/3480.23 c #Conflicts: 1238000 | #Constraints: 116221
3470.64/3480.23 c #Conflicts: 1239000 | #Constraints: 117221
3470.64/3480.23 c #Conflicts: 1240000 | #Constraints: 118221
3470.64/3480.23 c INPROCESSING
3470.64/3480.23 c GARBAGE COLLECT
3470.64/3480.23 c #Conflicts: 1241000 | #Constraints: 83183
3470.64/3480.23 c #Conflicts: 1242000 | #Constraints: 84183
3470.64/3480.23 c #Conflicts: 1243000 | #Constraints: 85183
3470.64/3480.23 c #Conflicts: 1244000 | #Constraints: 86183
3470.64/3480.23 c #Conflicts: 1245000 | #Constraints: 87183
3470.64/3480.23 c #Conflicts: 1246000 | #Constraints: 88183
3470.64/3480.23 c #Conflicts: 1247000 | #Constraints: 89183
3470.64/3480.23 c #Conflicts: 1248000 | #Constraints: 90183
3470.64/3480.23 c #Conflicts: 1249000 | #Constraints: 91183
3470.64/3480.23 c #Conflicts: 1250000 | #Constraints: 92183
3470.64/3480.23 c #Conflicts: 1251000 | #Constraints: 93183
3470.64/3480.23 c #Conflicts: 1252000 | #Constraints: 94183
3470.64/3480.23 c #Conflicts: 1253000 | #Constraints: 95183
3470.64/3480.23 c #Conflicts: 1254000 | #Constraints: 96183
3470.64/3480.23 c #Conflicts: 1255000 | #Constraints: 97183
3470.64/3480.23 c #Conflicts: 1256000 | #Constraints: 98183
3470.64/3480.23 c #Conflicts: 1257000 | #Constraints: 99183
3470.64/3480.23 c #Conflicts: 1258000 | #Constraints: 100183
3470.64/3480.23 c #Conflicts: 1259000 | #Constraints: 101183
3470.64/3480.23 c #Conflicts: 1260000 | #Constraints: 102183
3470.64/3480.23 c #Conflicts: 1261000 | #Constraints: 103183
3470.64/3480.23 c #Conflicts: 1262000 | #Constraints: 104183
3470.64/3480.23 c #Conflicts: 1263000 | #Constraints: 105183
3470.64/3480.23 c #Conflicts: 1264000 | #Constraints: 106183
3470.64/3480.23 c #Conflicts: 1265000 | #Constraints: 107183
3470.64/3480.23 c #Conflicts: 1266000 | #Constraints: 108183
3470.64/3480.23 c #Conflicts: 1267000 | #Constraints: 109183
3470.64/3480.23 c #Conflicts: 1268000 | #Constraints: 110183
3470.64/3480.23 c #Conflicts: 1269000 | #Constraints: 111183
3470.64/3480.23 c #Conflicts: 1270000 | #Constraints: 112183
3470.64/3480.23 c #Conflicts: 1271000 | #Constraints: 113183
3470.64/3480.23 c #Conflicts: 1272000 | #Constraints: 114183
3470.64/3480.23 c #Conflicts: 1273000 | #Constraints: 115183
3470.64/3480.23 c #Conflicts: 1274000 | #Constraints: 116183
3470.64/3480.23 c #Conflicts: 1275000 | #Constraints: 117183
3470.64/3480.23 c #Conflicts: 1276000 | #Constraints: 118183
3470.64/3480.23 c #Conflicts: 1277000 | #Constraints: 119183
3470.64/3480.23 c #Conflicts: 1278000 | #Constraints: 120183
3470.64/3480.23 c #Conflicts: 1279000 | #Constraints: 121183
3470.64/3480.23 c #Conflicts: 1280000 | #Constraints: 122183
3470.64/3480.23 c #Conflicts: 1281000 | #Constraints: 123183
3470.64/3480.23 c #Conflicts: 1282000 | #Constraints: 124183
3470.64/3480.23 c #Conflicts: 1283000 | #Constraints: 125183
3470.64/3480.23 c #Conflicts: 1284000 | #Constraints: 126183
3470.64/3480.23 c #Conflicts: 1285000 | #Constraints: 127183
3470.64/3480.23 c #Conflicts: 1286000 | #Constraints: 128183
3470.64/3480.23 c #Conflicts: 1287000 | #Constraints: 129183
3470.64/3480.23 c #Conflicts: 1288000 | #Constraints: 130183
3470.64/3480.23 c #Conflicts: 1289000 | #Constraints: 131183
3470.64/3480.23 c #Conflicts: 1290000 | #Constraints: 132183
3470.64/3480.23 c #Conflicts: 1291000 | #Constraints: 133183
3470.64/3480.23 c #Conflicts: 1292000 | #Constraints: 134183
3470.64/3480.23 c #Conflicts: 1293000 | #Constraints: 135183
3470.64/3480.23 c #Conflicts: 1294000 | #Constraints: 136183
3470.64/3480.23 c #Conflicts: 1295000 | #Constraints: 137183
3470.64/3480.23 c #Conflicts: 1296000 | #Constraints: 138183
3470.64/3480.23 c #Conflicts: 1297000 | #Constraints: 139183
3470.64/3480.23 c #Conflicts: 1298000 | #Constraints: 140183
3470.64/3480.23 c #Conflicts: 1299000 | #Constraints: 141183
3470.64/3480.23 c #Conflicts: 1300000 | #Constraints: 142183
3470.64/3480.23 c #Conflicts: 1301000 | #Constraints: 143183
3470.64/3480.23 c #Conflicts: 1302000 | #Constraints: 144183
3470.64/3480.23 c #Conflicts: 1303000 | #Constraints: 145183
3470.64/3480.23 c #Conflicts: 1304000 | #Constraints: 146183
3470.64/3480.23 c #Conflicts: 1305000 | #Constraints: 147183
3470.64/3480.23 c #Conflicts: 1306000 | #Constraints: 148183
3470.64/3480.23 c #Conflicts: 1307000 | #Constraints: 149183
3470.64/3480.23 c #Conflicts: 1308000 | #Constraints: 150183
3470.64/3480.23 c #Conflicts: 1309000 | #Constraints: 151183
3470.64/3480.23 c #Conflicts: 1310000 | #Constraints: 152183
3600.10/3610.01 c #Conflicts: 1311000 | #Constraints: 153183
3600.10/3610.01 c #Conflicts: 1312000 | #Constraints: 154183
3600.10/3610.01 c #Conflicts: 1313000 | #Constraints: 155183
3600.10/3610.01 c #Conflicts: 1314000 | #Constraints: 156183
3600.10/3610.01 c #Conflicts: 1315000 | #Constraints: 157183
3600.10/3610.01 c INPROCESSING
3600.10/3610.01 c GARBAGE COLLECT
3600.10/3610.01 c #Conflicts: 1316000 | #Constraints: 91861
3600.10/3610.01 c #Conflicts: 1317000 | #Constraints: 92861
3600.10/3610.01 c #Conflicts: 1318000 | #Constraints: 93861
3600.10/3610.01 c #Conflicts: 1319000 | #Constraints: 94861
3600.10/3610.01 c #Conflicts: 1320000 | #Constraints: 95861
3600.10/3610.01 c #Conflicts: 1321000 | #Constraints: 96861
3600.10/3610.01 c #Conflicts: 1322000 | #Constraints: 97861
3600.10/3610.01 c #Conflicts: 1323000 | #Constraints: 98861
3600.10/3610.01 c #Conflicts: 1324000 | #Constraints: 99861
3600.10/3610.01 c #Conflicts: 1325000 | #Constraints: 100861
3600.10/3610.01 c #Conflicts: 1326000 | #Constraints: 101861
3600.10/3610.01 c #Conflicts: 1327000 | #Constraints: 102861
3600.10/3610.01 c #Conflicts: 1328000 | #Constraints: 103861
3600.10/3610.01 c #Conflicts: 1329000 | #Constraints: 104861
3600.10/3610.01 c #Conflicts: 1330000 | #Constraints: 105861
3600.10/3610.01 c #Conflicts: 1331000 | #Constraints: 106861
3600.10/3610.01 c #Conflicts: 1332000 | #Constraints: 107861
3600.10/3610.01 c #Conflicts: 1333000 | #Constraints: 108861
3600.10/3610.01 c #Conflicts: 1334000 | #Constraints: 109861
3600.10/3610.01 c #Conflicts: 1335000 | #Constraints: 110861
3600.10/3610.01 c #Conflicts: 1336000 | #Constraints: 111861
3600.10/3610.01 c #Conflicts: 1337000 | #Constraints: 112861
3600.10/3610.01 c #Conflicts: 1338000 | #Constraints: 113861
3600.10/3610.01 c #Conflicts: 1339000 | #Constraints: 114861
3600.10/3610.01 c #Conflicts: 1340000 | #Constraints: 115861
3600.10/3610.01 c #Conflicts: 1341000 | #Constraints: 116861
3600.10/3610.01 c #Conflicts: 1342000 | #Constraints: 117861
3600.10/3610.01 c #Conflicts: 1343000 | #Constraints: 118862
3600.10/3610.01 c #Conflicts: 1344000 | #Constraints: 119862
3600.10/3610.01 c #Conflicts: 1345000 | #Constraints: 120862
3600.10/3610.01 c #Conflicts: 1346000 | #Constraints: 121862
3600.10/3610.01 c #Conflicts: 1347000 | #Constraints: 122862
3600.10/3610.01 c INPROCESSING
3600.10/3610.01 c GARBAGE COLLECT
3600.10/3610.01 c #Conflicts: 1348000 | #Constraints: 86530
3600.10/3610.01 c #Conflicts: 1349000 | #Constraints: 87530
3600.10/3610.01 c #Conflicts: 1350000 | #Constraints: 88530
3600.10/3610.01 c #Conflicts: 1351000 | #Constraints: 89530
3600.10/3610.01 c #Conflicts: 1352000 | #Constraints: 90530
3600.10/3610.01 c #Conflicts: 1353000 | #Constraints: 91530
3600.10/3610.01 c #Conflicts: 1354000 | #Constraints: 92530
3600.10/3610.01 c #Conflicts: 1355000 | #Constraints: 93530
3600.10/3610.01 c #Conflicts: 1356000 | #Constraints: 94530
3600.10/3610.01 c #Conflicts: 1357000 | #Constraints: 95530
3600.10/3610.01 c #Conflicts: 1358000 | #Constraints: 96530
3600.10/3610.01 c #Conflicts: 1359000 | #Constraints: 97530
3600.10/3610.01 c #Conflicts: 1360000 | #Constraints: 98530
3600.10/3610.01 c #Conflicts: 1361000 | #Constraints: 99530
3600.10/3610.01 c #Conflicts: 1362000 | #Constraints: 100530
3600.10/3610.01 c cpu time 3568.99 s
3600.10/3610.01 c deterministic time 246418069393 2.46e+11
3600.10/3610.01 c optimization time 25.2023 s
3600.10/3610.01 c total solve time 3543.52 s
3600.10/3610.01 c core-guided solve time 0 s
3600.10/3610.01 c propagation time 1872.55 s
3600.10/3610.01 c conflict analysis time 1288.88 s
3600.10/3610.01 c propagations 1386874910
3600.10/3610.01 c resolve steps 82902123
3600.10/3610.01 c decisions 34321076
3600.10/3610.01 c conflicts 1362520
3600.10/3610.01 c restarts 2575
3600.10/3610.01 c inprocessing phases 49
3600.10/3610.01 c garbage collections 49 ,( 100.00 )
3600.10/3610.01 c input clauses 21242 ,( 99.17 )
3600.10/3610.01 c input cardinalities 177 ,( 0.83 )
3600.10/3610.01 c input general constraints 0 ,( 0.00 )
3600.10/3610.01 c input average constraint length 6.43
3600.10/3610.01 c input average constraint degree 1.97
3600.10/3610.01 c learned clauses 991020 ,( 72.73 )
3600.10/3610.01 c learned cardinalities 47058 ,( 3.45 )
3600.10/3610.01 c learned general constraints 324453 ,( 23.81 )
3600.10/3610.01 c learned average constraint length 781.88
3600.10/3610.01 c learned average constraint degree 22771688.55
3600.10/3610.01 c watched CF 32, 64, 128, Arb: 82511 , 0 , 0 , 0
3600.10/3610.01 c counting CF 32, 64, 128, Arb: 241942 , 0 , 0 , 0
3600.10/3610.01 c watched constraints 82511 ,( 25.43 )
3600.10/3610.01 c counting constraints 241942 ,( 74.57 )
3600.10/3610.01 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1293181597 , 739611151 , 2614535988 ,( 90666676 , 2523869312 )
3600.10/3610.01 c gcd simplifications 787
3600.10/3610.01 c detected cardinalities 7160
3600.10/3610.01 c weakened non-implied lits 373644310
3600.10/3610.01 c weakened non-implying lits 218381
3600.10/3610.01 c original variables 21063
3600.10/3610.01 c clausal propagations 644932657
3600.10/3610.01 c cardinality propagations 508127194
3600.10/3610.01 c watched propagations 4569147
3600.10/3610.01 c counting propagations 216120610
3600.10/3610.01 c watch lookups 78563769485
3600.10/3610.01 c watch backjump lookups 0
3600.10/3610.01 c watch checks 36370583548
3600.10/3610.01 c propagation checks 123812718484
3600.10/3610.01 c constraint additions 4826946517
3600.10/3610.01 c trail pops 1422540484
3600.10/3610.01 c formula constraints 21419
3600.10/3610.01 c learned constraints 1362513
3600.10/3610.01 c bound constraints 0
3600.10/3610.01 c core-guided constraints 0
3600.10/3610.01 c encountered formula constraints 52473016
3600.10/3610.01 c encountered learned constraints 31791316
3600.10/3610.01 c encountered bound constraints 0
3600.10/3610.01 c encountered core-guided constraints 0
3600.10/3610.01 c LP total time 481.076 s
3600.10/3610.01 c LP solve time 465.08 s
3600.10/3610.01 c LP constraints added 22455
3600.10/3610.01 c LP constraints removed 594
3600.10/3610.01 c LP pivots internal 140745
3600.10/3610.01 c LP pivots root 174143
3600.10/3610.01 c LP calls 20
3600.10/3610.01 c LP optimalities 7
3600.10/3610.01 c LP no pivot count 0
3600.10/3610.01 c LP infeasibilities 6
3600.10/3610.01 c LP valid Farkas constraints 6
3600.10/3610.01 c LP learned Farkas constraints 6
3600.10/3610.01 c LP basis resets 0
3600.10/3610.01 c LP cycling count 0
3600.10/3610.01 c LP singular count 0
3600.10/3610.01 c LP no primal count 0
3600.10/3610.01 c LP no farkas count 0
3600.10/3610.01 c LP other issue count 0
3600.10/3610.01 c LP Gomory cuts 6
3600.10/3610.01 c LP learned cuts 1030
3600.10/3610.01 c LP deleted cuts 594
3600.10/3610.01 c LP encountered Gomory constraints 0
3600.10/3610.01 c LP encountered Farkas constraints 301
3600.10/3610.01 c LP encountered learned Farkas constraints 4
3600.10/3610.01 c CG auxiliary variables introduced 0
3600.10/3610.01 c CG solutions found 0
3600.10/3610.01 c CG cores constructed 0
3600.10/3610.01 c CG core cardinality constraints returned 0
3600.10/3610.01 c CG unit cores 0
3600.10/3610.01 c CG single cores 0
3600.10/3610.01 c CG blocks removed during cardinality reduction 0
3600.10/3610.01 c CG first core best 0
3600.10/3610.01 c CG decision core best 0
3600.10/3610.01 c CG core reduction tie 0
3600.10/3610.01 c CG core degree average 0.00
3600.10/3610.01 c CG core slack average 0.00
3600.10/3610.01 c CG core upper bound improvements 0
3600.10/3610.01 c STR number of successful calls 0
3600.10/3610.01 c STR number of unsuccessful calls 0
3600.10/3610.01 c STR number of inconclusive calls 0
3600.10/3610.01 c STR number of successful attempts 0
3600.10/3610.01 c STR number of unsuccessful attempts 0
3600.10/3610.01 c STR number of inconclusive attempts 0
3600.10/3610.01 c STR average degree increase per successful call inf
3600.10/3610.01 c STR average degree increase per successful attempt inf
3600.10/3610.01 c STR total number of conflicts for successful attempts 0
3600.10/3610.01 c STR total number of conflicts for unsuccessful attempts 0
3600.10/3610.01 c STR total number of conflicts for inconclusive attempts 0
3600.10/3610.01 c STR average number of conflicts per successful attempt inf
3600.10/3610.01 c STR average number of conflicts per unsuccessful attempt inf
3600.10/3610.01 c STR average number of conflicts per inconclusive attempt inf
3600.10/3610.01 c AVG.sumWPerc 66.21
3600.10/3610.01 c bigint constraints 0
3600.10/3610.01 s UNKNOWN
3600.10/3610.01 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: 63837 MiB (63285 MiB free)
memory of node 1: 64465 MiB (62903 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507228-1751185858/watcher-4507228-1751185858 -o /tmp/evaluation-result-4507228-1751185858/solver-4507228-1751185858 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751182246-21365 --watchdog 3760 run-dec.sh HOME/instance-4507228-1751185858.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21720, runsolver pid=21712
[startup+0.1001 s]*
/proc/loadavg: 4.09 4.09 4.04 5/250 21726
/proc/meminfo: memFree=129220056/131382120 swapFree=33010684/33010684
[pid=21720] ppid=21712 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21720/stat : 21720 (run-dec.sh) S 21712 21720 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34264940 4292608 736 18446744073709551615 94054464135168 94054465029701 140732252116464 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94054465268752 94054465316496 94054484647936 140732252125549 140732252125672 140732252125672 140732252131274 0
/proc/21720/statm: 1048 736 672 219 0 110 0
[pid=21722] ppid=21720 vsize=60096 memory=14912 CPUtime=0.09 cores=0,2
/proc/21722/stat : 21722 (roundingsat) R 21720 21720 21352 0 -1 4194304 1549 0 0 0 7 2 0 0 20 0 1 0 34264941 61538304 3728 18446744073709551615 4227072 8923433 140730701751200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15413248 140730701756855 140730701756968 140730701756968 140730701762538 0
/proc/21722/statm: 15024 3728 1888 1147 0 2451 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 64288 KiB
Current children cumulated memory: 17856 KiB
[startup+0.212898 s]*
/proc/loadavg: 4.09 4.09 4.04 5/250 21735
/proc/meminfo: memFree=129204368/131382120 swapFree=33010684/33010684
[pid=21720] ppid=21712 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21720/stat : 21720 (run-dec.sh) S 21712 21720 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34264940 4292608 736 18446744073709551615 94054464135168 94054465029701 140732252116464 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94054465268752 94054465316496 94054484647936 140732252125549 140732252125672 140732252125672 140732252131274 0
/proc/21720/statm: 1048 736 672 219 0 110 0
[pid=21722] ppid=21720 vsize=61256 memory=16192 CPUtime=0.19 cores=0,2
/proc/21722/stat : 21722 (roundingsat) R 21720 21720 21352 0 -1 4194304 1879 0 0 0 15 4 0 0 20 0 1 0 34264941 62726144 4048 18446744073709551615 4227072 8923433 140730701751200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15413248 140730701756855 140730701756968 140730701756968 140730701762538 0
/proc/21722/statm: 15314 4048 1888 1147 0 2741 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 65448 KiB
Current children cumulated memory: 19136 KiB
[startup+0.312714 s]*
/proc/loadavg: 4.09 4.09 4.04 5/250 21741
/proc/meminfo: memFree=129190484/131382120 swapFree=33010684/33010684
[pid=21720] ppid=21712 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21720/stat : 21720 (run-dec.sh) S 21712 21720 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34264940 4292608 736 18446744073709551615 94054464135168 94054465029701 140732252116464 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94054465268752 94054465316496 94054484647936 140732252125549 140732252125672 140732252125672 140732252131274 0
/proc/21720/statm: 1048 736 672 219 0 110 0
[pid=21722] ppid=21720 vsize=94804 memory=38664 CPUtime=0.29 cores=0,2
/proc/21722/stat : 21722 (roundingsat) R 21720 21720 21352 0 -1 4194304 5786 0 0 0 23 6 0 0 20 0 1 0 34264941 97079296 9666 18446744073709551615 4227072 8923433 140730701751200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15413248 140730701756855 140730701756968 140730701756968 140730701762538 0
/proc/21722/statm: 23701 9666 2208 1147 0 11128 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 98996 KiB
Current children cumulated memory: 41608 KiB
[startup+0.700354 s]
/proc/loadavg: 4.09 4.09 4.04 6/249 21752
/proc/meminfo: memFree=130226640/131382120 swapFree=33010684/33010684
[pid=21720] ppid=21712 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21720/stat : 21720 (run-dec.sh) S 21712 21720 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34264940 4292608 736 18446744073709551615 94054464135168 94054465029701 140732252116464 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94054465268752 94054465316496 94054484647936 140732252125549 140732252125672 140732252125672 140732252131274 0
/proc/21720/statm: 1048 736 672 219 0 110 0
[pid=21722] ppid=21720 vsize=108260 memory=56412 CPUtime=0.67 cores=0,2
/proc/21722/stat : 21722 (roundingsat) R 21720 21720 21352 0 -1 4194304 10453 0 0 0 59 8 0 0 20 0 1 0 34264941 110858240 14103 18446744073709551615 4227072 8923433 140730701751200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15413248 140730701756855 140730701756968 140730701756968 140730701762538 0
/proc/21722/statm: 27065 14103 2240 1147 0 14492 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 112452 KiB
Current children cumulated memory: 59356 KiB
[startup+1.5004 s]
/proc/loadavg: 4.09 4.09 4.04 5/250 21762
/proc/meminfo: memFree=130212256/131382120 swapFree=33010684/33010684
[pid=21720] ppid=21712 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21720/stat : 21720 (run-dec.sh) S 21712 21720 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34264940 4292608 736 18446744073709551615 94054464135168 94054465029701 140732252116464 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94054465268752 94054465316496 94054484647936 140732252125549 140732252125672 140732252125672 140732252131274 0
/proc/21720/statm: 1048 736 672 219 0 110 0
[pid=21722] ppid=21720 vsize=111744 memory=59996 CPUtime=1.46 cores=0,2
/proc/21722/stat : 21722 (roundingsat) R 21720 21720 21352 0 -1 4194304 11369 0 0 0 137 9 0 0 20 0 1 0 34264941 114425856 14999 18446744073709551615 4227072 8923433 140730701751200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15413248 140730701756855 140730701756968 140730701756968 140730701762538 0
/proc/21722/statm: 27936 14999 2240 1147 0 15363 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 115936 KiB
Current children cumulated memory: 62940 KiB
[startup+3.11225 s]
/proc/loadavg: 4.09 4.09 4.04 6/255 21800
/proc/meminfo: memFree=130198176/131382120 swapFree=33010684/33010684
[pid=21720] ppid=21712 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21720/stat : 21720 (run-dec.sh) S 21712 21720 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34264940 4292608 736 18446744073709551615 94054464135168 94054465029701 140732252116464 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94054465268752 94054465316496 94054484647936 140732252125549 140732252125672 140732252125672 140732252131274 0
/proc/21720/statm: 1048 736 672 219 0 110 0
[pid=21722] ppid=21720 vsize=111744 memory=63232 CPUtime=3.08 cores=0,2
/proc/21722/stat : 21722 (roundingsat) R 21720 21720 21352 0 -1 4194304 11596 0 0 0 295 13 0 0 20 0 1 0 34264941 114425856 15808 18446744073709551615 4227072 8923433 140730701751200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15413248 140730701756855 140730701756968 140730701756968 140730701762538 0
/proc/21722/statm: 27936 15808 2304 1147 0 15363 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 115936 KiB
Current children cumulated memory: 66176 KiB
[startup+6.30035 s]
/proc/loadavg: 4.08 4.09 4.04 6/255 21800
/proc/meminfo: memFree=130157160/131382120 swapFree=33010684/33010684
[pid=21720] ppid=21712 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21720/stat : 21720 (run-dec.sh) S 21712 21720 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34264940 4292608 736 18446744073709551615 94054464135168 94054465029701 140732252116464 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94054465268752 94054465316496 94054484647936 140732252125549 140732252125672 140732252125672 140732252131274 0
/proc/21720/statm: 1048 736 672 219 0 110 0
[pid=21722] ppid=21720 vsize=121568 memory=73716 CPUtime=6.25 cores=0,2
/proc/21722/stat : 21722 (roundingsat) R 21720 21720 21352 0 -1 4194304 13723 0 0 0 594 31 0 0 20 0 1 0 34264941 124485632 18429 18446744073709551615 4227072 8923433 140730701751200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15413248 140730701756855 140730701756968 140730701756968 140730701762538 0
/proc/21722/statm: 30392 18429 2304 1147 0 17819 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 125760 KiB
Current children cumulated memory: 76660 KiB
[startup+12.7004 s]
/proc/loadavg: 4.07 4.09 4.04 6/255 21800
/proc/meminfo: memFree=130125356/131382120 swapFree=33010684/33010684
[pid=21720] ppid=21712 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21720/stat : 21720 (run-dec.sh) S 21712 21720 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34264940 4292608 736 18446744073709551615 94054464135168 94054465029701 140732252116464 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94054465268752 94054465316496 94054484647936 140732252125549 140732252125672 140732252125672 140732252131274 0
/proc/21720/statm: 1048 736 672 219 0 110 0
[pid=21722] ppid=21720 vsize=146956 memory=93940 CPUtime=12.63 cores=0,2
/proc/21722/stat : 21722 (roundingsat) R 21720 21720 21352 0 -1 4194304 17753 0 0 0 1209 54 0 0 20 0 1 0 34264941 150482944 23485 18446744073709551615 4227072 8923433 140730701751200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15413248 140730701756855 140730701756968 140730701756968 140730701762538 0
/proc/21722/statm: 36739 23485 2304 1147 0 24166 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 151148 KiB
Current children cumulated memory: 96884 KiB
[startup+25.5004 s]
/proc/loadavg: 4.13 4.10 4.05 6/255 21800
/proc/meminfo: memFree=130079664/131382120 swapFree=33010684/33010684
[pid=21720] ppid=21712 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21720/stat : 21720 (run-dec.sh) S 21712 21720 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34264940 4292608 736 18446744073709551615 94054464135168 94054465029701 140732252116464 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94054465268752 94054465316496 94054484647936 140732252125549 140732252125672 140732252125672 140732252131274 0
/proc/21720/statm: 1048 736 672 219 0 110 0
[pid=21722] ppid=21720 vsize=151964 memory=100812 CPUtime=25.39 cores=0,2
/proc/21722/stat : 21722 (roundingsat) R 21720 21720 21352 0 -1 4194304 18949 0 0 0 2464 75 0 0 20 0 1 0 34264941 155611136 25203 18446744073709551615 4227072 8923433 140730701751200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15413248 140730701756855 140730701756968 140730701756968 140730701762538 0
/proc/21722/statm: 37991 25203 2304 1147 0 25418 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 156156 KiB
Current children cumulated memory: 103756 KiB
[startup+51.1128 s]
/proc/loadavg: 4.08 4.09 4.05 6/255 21801
/proc/meminfo: memFree=129918576/131382120 swapFree=33010684/33010684
[pid=21720] ppid=21712 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21720/stat : 21720 (run-dec.sh) S 21712 21720 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34264940 4292608 736 18446744073709551615 94054464135168 94054465029701 140732252116464 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94054465268752 94054465316496 94054484647936 140732252125549 140732252125672 140732252125672 140732252131274 0
/proc/21720/statm: 1048 736 672 219 0 110 0
[pid=21722] ppid=21720 vsize=206720 memory=143992 CPUtime=50.94 cores=0,2
/proc/21722/stat : 21722 (roundingsat) R 21720 21720 21352 0 -1 4194304 26238 0 0 0 4931 163 0 0 20 0 1 0 34264941 211681280 35998 18446744073709551615 4227072 8923433 140730701751200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15413248 140730701756855 140730701756968 140730701756968 140730701762538 0
/proc/21722/statm: 51680 35998 2304 1147 0 39107 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 210912 KiB
Current children cumulated memory: 146936 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.05 6/255 21803
/proc/meminfo: memFree=129703976/131382120 swapFree=33010684/33010684
[pid=21720] ppid=21712 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21720/stat : 21720 (run-dec.sh) S 21712 21720 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34264940 4292608 736 18446744073709551615 94054464135168 94054465029701 140732252116464 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94054465268752 94054465316496 94054484647936 140732252125549 140732252125672 140732252125672 140732252131274 0
/proc/21720/statm: 1048 736 672 219 0 110 0
[pid=21722] ppid=21720 vsize=233932 memory=176288 CPUtime=101.99 cores=0,2
/proc/21722/stat : 21722 (roundingsat) R 21720 21720 21352 0 -1 4194304 32775 0 0 0 9933 266 0 0 20 0 1 0 34264941 239546368 44072 18446744073709551615 4227072 8923433 140730701751200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15413248 140730701756855 140730701756968 140730701756968 140730701762538 0
/proc/21722/statm: 58483 44072 2304 1147 0 45910 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 238124 KiB
Current children cumulated memory: 179232 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.11 4.06 6/255 21805
/proc/meminfo: memFree=129588540/131382120 swapFree=33010684/33010684
[pid=21720] ppid=21712 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21720/stat : 21720 (run-dec.sh) S 21712 21720 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34264940 4292608 736 18446744073709551615 94054464135168 94054465029701 140732252116464 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94054465268752 94054465316496 94054484647936 140732252125549 140732252125672 140732252125672 140732252131274 0
/proc/21720/statm: 1048 736 672 219 0 110 0
[pid=21722] ppid=21720 vsize=247068 memory=201220 CPUtime=161.8 cores=0,2
/proc/21722/stat : 21722 (roundingsat) R 21720 21720 21352 0 -1 4194304 36267 0 0 0 15821 359 0 0 20 0 1 0 34264941 252997632 50305 18446744073709551615 4227072 8923433 140730701751200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15413248 140730701756855 140730701756968 140730701756968 140730701762538 0
/proc/21722/statm: 61767 50305 2336 1147 0 49194 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 251260 KiB
Current children cumulated memory: 204164 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.06 6/255 21807
/proc/meminfo: memFree=129302524/131382120 swapFree=33010684/33010684
[pid=21720] ppid=21712 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21720/stat : 21720 (run-dec.sh) S 21712 21720 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34264940 4292608 736 18446744073709551615 94054464135168 94054465029701 140732252116464 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94054465268752 94054465316496 94054484647936 140732252125549 140732252125672 140732252125672 140732252131274 0
/proc/21720/statm: 1048 736 672 219 0 110 0
[pid=21722] ppid=21720 vsize=301292 memory=250976 CPUtime=221.63 cores=0,2
/proc/21722/stat : 21722 (roundingsat) R 21720 21720 21352 0 -1 4194304 43071 0 0 0 21684 479 0 0 20 0 1 0 34264941 308523008 62744 18446744073709551615 4227072 8923433 140730701751200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15413248 140730701756855 140730701756968 140730701756968 140730701762538 0
/proc/21722/statm: 75323 62744 2336 1147 0 62750 0
Current children cumulated CPU time: 221.63 s
################
# More data... #
################
/proc/21722/statm: 404903 347230 2336 1147 0 392330 0
Current children cumulated CPU time: 3033.92 s
Current children cumulated vsize: 1623804 KiB
Current children cumulated memory: 1391864 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.19 4.18 6/255 21967
/proc/meminfo: memFree=126785352/131382120 swapFree=33010684/33010684
[pid=21720] ppid=21712 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21720/stat : 21720 (run-dec.sh) S 21712 21720 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34264940 4292608 736 18446744073709551615 94054464135168 94054465029701 140732252116464 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94054465268752 94054465316496 94054484647936 140732252125549 140732252125672 140732252125672 140732252131274 0
/proc/21720/statm: 1048 736 672 219 0 110 0
[pid=21722] ppid=21720 vsize=1619612 memory=1393400 CPUtime=3093.74 cores=0,2
/proc/21722/stat : 21722 (roundingsat) R 21720 21720 21352 0 -1 4194304 157620 0 0 0 306669 2705 0 0 20 0 1 0 34264941 1658482688 348350 18446744073709551615 4227072 8923433 140730701751200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15413248 140730701756855 140730701756968 140730701756968 140730701762538 0
/proc/21722/statm: 404903 348350 2336 1147 0 392330 0
Current children cumulated CPU time: 3093.74 s
Current children cumulated vsize: 1623804 KiB
Current children cumulated memory: 1396344 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.17 4.17 6/255 21969
/proc/meminfo: memFree=126790792/131382120 swapFree=33010684/33010684
[pid=21720] ppid=21712 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21720/stat : 21720 (run-dec.sh) S 21712 21720 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34264940 4292608 736 18446744073709551615 94054464135168 94054465029701 140732252116464 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94054465268752 94054465316496 94054484647936 140732252125549 140732252125672 140732252125672 140732252131274 0
/proc/21720/statm: 1048 736 672 219 0 110 0
[pid=21722] ppid=21720 vsize=1619612 memory=1393400 CPUtime=3153.59 cores=0,2
/proc/21722/stat : 21722 (roundingsat) R 21720 21720 21352 0 -1 4194304 157620 0 0 0 312605 2754 0 0 20 0 1 0 34264941 1658482688 348350 18446744073709551615 4227072 8923433 140730701751200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15413248 140730701756855 140730701756968 140730701756968 140730701762538 0
/proc/21722/statm: 404903 348350 2336 1147 0 392330 0
Current children cumulated CPU time: 3153.59 s
Current children cumulated vsize: 1623804 KiB
Current children cumulated memory: 1396344 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.15 4.17 6/255 21970
/proc/meminfo: memFree=126784720/131382120 swapFree=33010684/33010684
[pid=21720] ppid=21712 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21720/stat : 21720 (run-dec.sh) S 21712 21720 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34264940 4292608 736 18446744073709551615 94054464135168 94054465029701 140732252116464 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94054465268752 94054465316496 94054484647936 140732252125549 140732252125672 140732252125672 140732252131274 0
/proc/21720/statm: 1048 736 672 219 0 110 0
[pid=21722] ppid=21720 vsize=1624640 memory=1397624 CPUtime=3213.43 cores=0,2
/proc/21722/stat : 21722 (roundingsat) R 21720 21720 21352 0 -1 4194304 158788 0 0 0 318547 2796 0 0 20 0 1 0 34264941 1663631360 349406 18446744073709551615 4227072 8923433 140730701751200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15413248 140730701756855 140730701756968 140730701756968 140730701762538 0
/proc/21722/statm: 406160 349406 2336 1147 0 393587 0
Current children cumulated CPU time: 3213.43 s
Current children cumulated vsize: 1628832 KiB
Current children cumulated memory: 1400568 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.14 4.16 6/256 21975
/proc/meminfo: memFree=126780320/131382120 swapFree=33010684/33010684
[pid=21720] ppid=21712 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21720/stat : 21720 (run-dec.sh) S 21712 21720 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34264940 4292608 736 18446744073709551615 94054464135168 94054465029701 140732252116464 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94054465268752 94054465316496 94054484647936 140732252125549 140732252125672 140732252125672 140732252131274 0
/proc/21720/statm: 1048 736 672 219 0 110 0
[pid=21722] ppid=21720 vsize=1630052 memory=1402744 CPUtime=3273.27 cores=0,2
/proc/21722/stat : 21722 (roundingsat) R 21720 21720 21352 0 -1 4194304 160053 0 0 0 324485 2842 0 0 20 0 1 0 34264941 1669173248 350686 18446744073709551615 4227072 8923433 140730701751200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15413248 140730701756855 140730701756968 140730701756968 140730701762538 0
/proc/21722/statm: 407513 350686 2336 1147 0 394940 0
Current children cumulated CPU time: 3273.27 s
Current children cumulated vsize: 1634244 KiB
Current children cumulated memory: 1405688 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.14 4.16 6/255 21980
/proc/meminfo: memFree=126770644/131382120 swapFree=33010684/33010684
[pid=21720] ppid=21712 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21720/stat : 21720 (run-dec.sh) S 21712 21720 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34264940 4292608 736 18446744073709551615 94054464135168 94054465029701 140732252116464 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94054465268752 94054465316496 94054484647936 140732252125549 140732252125672 140732252125672 140732252131274 0
/proc/21720/statm: 1048 736 672 219 0 110 0
[pid=21722] ppid=21720 vsize=1630052 memory=1402744 CPUtime=3333.1 cores=0,2
/proc/21722/stat : 21722 (roundingsat) R 21720 21720 21352 0 -1 4194304 160053 0 0 0 330392 2918 0 0 20 0 1 0 34264941 1669173248 350686 18446744073709551615 4227072 8923433 140730701751200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15413248 140730701756855 140730701756968 140730701756968 140730701762538 0
/proc/21722/statm: 407513 350686 2336 1147 0 394940 0
Current children cumulated CPU time: 3333.1 s
Current children cumulated vsize: 1634244 KiB
Current children cumulated memory: 1405688 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.11 4.15 6/255 21982
/proc/meminfo: memFree=126750128/131382120 swapFree=33010684/33010684
[pid=21720] ppid=21712 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21720/stat : 21720 (run-dec.sh) S 21712 21720 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34264940 4292608 736 18446744073709551615 94054464135168 94054465029701 140732252116464 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94054465268752 94054465316496 94054484647936 140732252125549 140732252125672 140732252125672 140732252131274 0
/proc/21720/statm: 1048 736 672 219 0 110 0
[pid=21722] ppid=21720 vsize=1630052 memory=1402744 CPUtime=3392.94 cores=0,2
/proc/21722/stat : 21722 (roundingsat) R 21720 21720 21352 0 -1 4194304 160065 0 0 0 336328 2966 0 0 20 0 1 0 34264941 1669173248 350686 18446744073709551615 4227072 8923433 140730701751200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15413248 140730701756855 140730701756968 140730701756968 140730701762538 0
/proc/21722/statm: 407513 350686 2336 1147 0 394940 0
Current children cumulated CPU time: 3392.94 s
Current children cumulated vsize: 1634244 KiB
Current children cumulated memory: 1405688 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.15 6/255 21984
/proc/meminfo: memFree=126693196/131382120 swapFree=33010684/33010684
[pid=21720] ppid=21712 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21720/stat : 21720 (run-dec.sh) S 21712 21720 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34264940 4292608 736 18446744073709551615 94054464135168 94054465029701 140732252116464 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94054465268752 94054465316496 94054484647936 140732252125549 140732252125672 140732252125672 140732252131274 0
/proc/21720/statm: 1048 736 672 219 0 110 0
[pid=21722] ppid=21720 vsize=1633144 memory=1405432 CPUtime=3452.79 cores=0,2
/proc/21722/stat : 21722 (roundingsat) R 21720 21720 21352 0 -1 4194304 160836 0 0 0 342280 2999 0 0 20 0 1 0 34264941 1672339456 351358 18446744073709551615 4227072 8923433 140730701751200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15413248 140730701756855 140730701756968 140730701756968 140730701762538 0
/proc/21722/statm: 408286 351358 2336 1147 0 395713 0
Current children cumulated CPU time: 3452.79 s
Current children cumulated vsize: 1637336 KiB
Current children cumulated memory: 1408376 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.15 6/255 21986
/proc/meminfo: memFree=126668932/131382120 swapFree=33010684/33010684
[pid=21720] ppid=21712 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21720/stat : 21720 (run-dec.sh) S 21712 21720 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34264940 4292608 736 18446744073709551615 94054464135168 94054465029701 140732252116464 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94054465268752 94054465316496 94054484647936 140732252125549 140732252125672 140732252125672 140732252131274 0
/proc/21720/statm: 1048 736 672 219 0 110 0
[pid=21722] ppid=21720 vsize=1641372 memory=1412856 CPUtime=3512.63 cores=0,2
/proc/21722/stat : 21722 (roundingsat) R 21720 21720 21352 0 -1 4194304 162701 0 0 0 348222 3041 0 0 20 0 1 0 34264941 1680764928 353214 18446744073709551615 4227072 8923433 140730701751200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15413248 140730701756855 140730701756968 140730701756968 140730701762538 0
/proc/21722/statm: 410343 353214 2336 1147 0 397770 0
Current children cumulated CPU time: 3512.63 s
Current children cumulated vsize: 1645564 KiB
Current children cumulated memory: 1415800 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.13 4.15 6/254 21988
/proc/meminfo: memFree=126660828/131382120 swapFree=33010684/33010684
[pid=21720] ppid=21712 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21720/stat : 21720 (run-dec.sh) S 21712 21720 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34264940 4292608 736 18446744073709551615 94054464135168 94054465029701 140732252116464 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94054465268752 94054465316496 94054484647936 140732252125549 140732252125672 140732252125672 140732252131274 0
/proc/21720/statm: 1048 736 672 219 0 110 0
[pid=21722] ppid=21720 vsize=1641372 memory=1412856 CPUtime=3572.46 cores=0,2
/proc/21722/stat : 21722 (roundingsat) R 21720 21720 21352 0 -1 4194304 162713 0 0 0 354164 3082 0 0 20 0 1 0 34264941 1680764928 353214 18446744073709551615 4227072 8923433 140730701751200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15413248 140730701756855 140730701756968 140730701756968 140730701762538 0
/proc/21722/statm: 410343 353214 2336 1147 0 397770 0
Current children cumulated CPU time: 3572.46 s
Current children cumulated vsize: 1645564 KiB
Current children cumulated memory: 1415800 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.10 4.12 4.14 4/249 22001
/proc/meminfo: memFree=127468188/131382120 swapFree=33010684/33010684
[pid=21720] ppid=21712 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21720/stat : 21720 (run-dec.sh) S 21712 21720 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34264940 4292608 736 18446744073709551615 94054464135168 94054465029701 140732252116464 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94054465268752 94054465316496 94054484647936 140732252125549 140732252125672 140732252125672 140732252131274 0
/proc/21720/statm: 1048 736 672 219 0 110 0
[pid=21722] ppid=21720 vsize=1641372 memory=1412856 CPUtime=3600.1 cores=0,2
/proc/21722/stat : 21722 (roundingsat) R 21720 21720 21352 0 -1 4194304 162713 0 0 0 356898 3112 0 0 20 0 1 0 34264941 1680764928 353214 18446744073709551615 4227072 8923433 140730701751200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15413248 140730701756855 140730701756968 140730701756968 140730701762538 0
/proc/21722/statm: 410343 353214 2336 1147 0 397770 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 1645564 KiB
Current children cumulated memory: 1415800 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.02 s]
# the end of solver process 21720 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000889 s, system=0.004446 s
Sleeping 2 seconds
[startup+3610.02 s]
# the end of solver process 21722 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3569 s, system=31.1361 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.02
CPU time (s): 3600.13
CPU user time (s): 3569
CPU system time (s): 31.1361
CPU usage (%): 99.726
Max. virtual memory (cumulated for all children) (KiB): 1645564
Max. memory (cumulated for all children) (KiB): 1415800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569
system time used= 31.1361
maximum resident set size= 1413240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162940
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 341
involuntary context switches= 8016
# summary of solver processes directly reported to runsolver:
# pid: 21720,21722
# total CPU time (s): 3600.13
# total CPU user time (s): 3569
# total CPU system time (s): 31.1361
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3439 second user time and 38.425 second system time
The end
Begin job on nodeC008 at 2025-06-29 10:30:58
IDJOB=4507228
IDBENCH=158331
IDSOLVER=3349
FILE ID=nodeC008/4507228-1751185858
RUNJOBID= nodeC008-1751182246-21365
SLURM_JOB_ID= 9587557
Free space on /tmp= 433040 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K177.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507228-1751185858/watcher-4507228-1751185858 -o /tmp/evaluation-result-4507228-1751185858/solver-4507228-1751185858 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751182246-21365 --watchdog 3760 run-dec.sh HOME/instance-4507228-1751185858.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4b187363ec0683eba575f162bd763393
RANDOM SEED=72166492
nodeC008 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.225
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.198
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.208
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.142
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.210
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3591.629
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.247
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.086
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129218168 kB
MemAvailable: 128862680 kB
Buffers: 3280 kB
Cached: 454472 kB
SwapCached: 0 kB
Active: 1359456 kB
Inactive: 241192 kB
Active(anon): 1160852 kB
Inactive(anon): 0 kB
Active(file): 198604 kB
Inactive(file): 241192 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16628 kB
Writeback: 36 kB
AnonPages: 1145388 kB
Mapped: 108060 kB
Shmem: 17956 kB
KReclaimable: 85100 kB
Slab: 163772 kB
SReclaimable: 85100 kB
SUnreclaim: 78672 kB
KernelStack: 4000 kB
PageTables: 5176 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 1503172 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149352 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1021952 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: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC008 at 2025-06-29 11:31:09