0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.29/0.37 c #variables 21063 #constraints 21419
113.26/113.62 c #Conflicts: 1000 | #Constraints: 22418
113.26/113.62 c #Conflicts: 2000 | #Constraints: 23418
113.26/113.62 c INPROCESSING
113.26/113.62 c GARBAGE COLLECT
113.26/113.62 c #Conflicts: 3000 | #Constraints: 22760
113.26/113.62 c #Conflicts: 4000 | #Constraints: 23760
113.26/113.62 c INPROCESSING
113.26/113.62 c GARBAGE COLLECT
113.26/113.62 c #Conflicts: 5000 | #Constraints: 23275
113.26/113.62 c #Conflicts: 6000 | #Constraints: 24275
113.26/113.62 c INPROCESSING
113.26/113.62 c GARBAGE COLLECT
113.26/113.62 c #Conflicts: 7000 | #Constraints: 23368
113.26/113.62 c #Conflicts: 8000 | #Constraints: 24368
113.26/113.62 c #Conflicts: 9000 | #Constraints: 25368
113.26/113.62 c #Conflicts: 10000 | #Constraints: 26368
113.26/113.62 c #Conflicts: 11000 | #Constraints: 27368
113.26/113.62 c #Conflicts: 12000 | #Constraints: 28368
113.26/113.62 c INPROCESSING
113.26/113.62 c GARBAGE COLLECT
113.26/113.62 c #Conflicts: 13000 | #Constraints: 25376
113.26/113.62 c #Conflicts: 14000 | #Constraints: 26376
113.26/113.62 c #Conflicts: 15000 | #Constraints: 27376
113.26/113.62 c #Conflicts: 16000 | #Constraints: 28376
113.26/113.62 c INPROCESSING
113.26/113.62 c GARBAGE COLLECT
113.26/113.62 c #Conflicts: 17000 | #Constraints: 25577
113.26/113.63 c #Conflicts: 18000 | #Constraints: 26577
113.26/113.63 c #Conflicts: 19000 | #Constraints: 27577
113.26/113.63 c #Conflicts: 20000 | #Constraints: 28577
113.26/113.63 c #Conflicts: 21000 | #Constraints: 29577
113.26/113.63 c #Conflicts: 22000 | #Constraints: 30577
113.26/113.63 c #Conflicts: 23000 | #Constraints: 31577
113.26/113.63 c #Conflicts: 24000 | #Constraints: 32577
113.26/113.63 c #Conflicts: 25000 | #Constraints: 33577
113.26/113.63 c INPROCESSING
113.26/113.63 c GARBAGE COLLECT
113.26/113.63 c #Conflicts: 26000 | #Constraints: 28145
113.26/113.63 c #Conflicts: 27000 | #Constraints: 29145
113.26/113.63 c #Conflicts: 28000 | #Constraints: 30145
113.26/113.63 c #Conflicts: 29000 | #Constraints: 31145
113.26/113.63 c #Conflicts: 30000 | #Constraints: 32145
113.26/113.63 c INPROCESSING
113.26/113.63 c GARBAGE COLLECT
113.26/113.63 c #Conflicts: 31000 | #Constraints: 27981
113.26/113.63 c #Conflicts: 32000 | #Constraints: 28981
113.26/113.63 c #Conflicts: 33000 | #Constraints: 29981
113.26/113.63 c #Conflicts: 34000 | #Constraints: 30981
113.26/113.63 c #Conflicts: 35000 | #Constraints: 31981
113.26/113.63 c #Conflicts: 36000 | #Constraints: 32981
113.26/113.63 c #Conflicts: 37000 | #Constraints: 33981
113.26/113.63 c #Conflicts: 38000 | #Constraints: 34981
113.26/113.63 c #Conflicts: 39000 | #Constraints: 35981
113.26/113.63 c #Conflicts: 40000 | #Constraints: 36981
113.26/113.63 c #Conflicts: 41000 | #Constraints: 37981
113.26/113.63 c #Conflicts: 42000 | #Constraints: 38981
113.26/113.63 c #Conflicts: 43000 | #Constraints: 39981
113.26/113.63 c INPROCESSING
113.26/113.63 c GARBAGE COLLECT
113.26/113.63 c #Conflicts: 44000 | #Constraints: 31768
113.26/113.63 c #Conflicts: 45000 | #Constraints: 32768
113.26/113.63 c #Conflicts: 46000 | #Constraints: 33768
113.26/113.63 c #Conflicts: 47000 | #Constraints: 34768
113.26/113.63 c #Conflicts: 48000 | #Constraints: 35768
113.26/113.63 c #Conflicts: 49000 | #Constraints: 36768
113.26/113.63 c INPROCESSING
113.26/113.63 c GARBAGE COLLECT
113.26/113.63 c #Conflicts: 50000 | #Constraints: 30848
113.26/113.63 c #Conflicts: 51000 | #Constraints: 31848
113.26/113.63 c #Conflicts: 52000 | #Constraints: 32848
113.26/113.63 c #Conflicts: 53000 | #Constraints: 33848
113.26/113.63 c #Conflicts: 54000 | #Constraints: 34848
113.26/113.63 c #Conflicts: 55000 | #Constraints: 35848
113.26/113.63 c #Conflicts: 56000 | #Constraints: 36848
113.26/113.63 c #Conflicts: 57000 | #Constraints: 37848
113.26/113.63 c #Conflicts: 58000 | #Constraints: 38848
113.26/113.63 c #Conflicts: 59000 | #Constraints: 39848
113.26/113.63 c #Conflicts: 60000 | #Constraints: 40848
113.26/113.63 c #Conflicts: 61000 | #Constraints: 41848
113.26/113.63 c #Conflicts: 62000 | #Constraints: 42848
113.26/113.63 c #Conflicts: 63000 | #Constraints: 43848
113.26/113.63 c #Conflicts: 64000 | #Constraints: 44848
113.26/113.63 c #Conflicts: 65000 | #Constraints: 45848
113.26/113.63 c INPROCESSING
113.26/113.63 c GARBAGE COLLECT
113.26/113.63 c #Conflicts: 66000 | #Constraints: 34918
113.26/113.63 c #Conflicts: 67000 | #Constraints: 35918
113.26/113.63 c #Conflicts: 68000 | #Constraints: 36918
113.26/113.63 c #Conflicts: 69000 | #Constraints: 37918
113.26/113.63 c #Conflicts: 70000 | #Constraints: 38918
113.26/113.63 c #Conflicts: 71000 | #Constraints: 39918
113.26/113.63 c #Conflicts: 72000 | #Constraints: 40918
113.26/113.63 c INPROCESSING
113.26/113.63 c GARBAGE COLLECT
237.63/238.37 c #Conflicts: 73000 | #Constraints: 33574
237.63/238.37 c #Conflicts: 74000 | #Constraints: 34574
237.63/238.37 c #Conflicts: 75000 | #Constraints: 35574
237.63/238.37 c #Conflicts: 76000 | #Constraints: 36574
237.63/238.37 c #Conflicts: 77000 | #Constraints: 37574
237.63/238.37 c #Conflicts: 78000 | #Constraints: 38574
237.63/238.37 c #Conflicts: 79000 | #Constraints: 39574
237.63/238.37 c #Conflicts: 80000 | #Constraints: 40574
237.63/238.37 c #Conflicts: 81000 | #Constraints: 41574
237.63/238.37 c #Conflicts: 82000 | #Constraints: 42574
237.63/238.37 c #Conflicts: 83000 | #Constraints: 43574
237.63/238.37 c #Conflicts: 84000 | #Constraints: 44574
237.63/238.37 c #Conflicts: 85000 | #Constraints: 45574
237.63/238.37 c #Conflicts: 86000 | #Constraints: 46574
237.63/238.37 c #Conflicts: 87000 | #Constraints: 47574
237.63/238.37 c #Conflicts: 88000 | #Constraints: 48574
237.63/238.37 c #Conflicts: 89000 | #Constraints: 49574
237.63/238.37 c #Conflicts: 90000 | #Constraints: 50574
237.63/238.37 c #Conflicts: 91000 | #Constraints: 51574
237.63/238.37 c INPROCESSING
237.63/238.37 c GARBAGE COLLECT
237.63/238.37 c #Conflicts: 92000 | #Constraints: 37786
237.63/238.37 c #Conflicts: 93000 | #Constraints: 38786
237.63/238.37 c #Conflicts: 94000 | #Constraints: 39786
237.63/238.37 c #Conflicts: 95000 | #Constraints: 40786
237.63/238.37 c #Conflicts: 96000 | #Constraints: 41786
237.63/238.37 c #Conflicts: 97000 | #Constraints: 42786
237.63/238.37 c #Conflicts: 98000 | #Constraints: 43786
237.63/238.37 c #Conflicts: 99000 | #Constraints: 44786
237.63/238.37 c #Conflicts: 100000 | #Constraints: 45786
237.63/238.37 c INPROCESSING
237.63/238.37 c GARBAGE COLLECT
237.63/238.37 c #Conflicts: 101000 | #Constraints: 37082
237.63/238.37 c #Conflicts: 102000 | #Constraints: 38082
237.63/238.37 c #Conflicts: 103000 | #Constraints: 39082
237.63/238.37 c #Conflicts: 104000 | #Constraints: 40082
237.63/238.37 c #Conflicts: 105000 | #Constraints: 41082
237.63/238.37 c #Conflicts: 106000 | #Constraints: 42082
237.63/238.37 c #Conflicts: 107000 | #Constraints: 43082
237.63/238.37 c #Conflicts: 108000 | #Constraints: 44082
237.63/238.37 c #Conflicts: 109000 | #Constraints: 45082
237.63/238.37 c #Conflicts: 110000 | #Constraints: 46082
237.63/238.37 c #Conflicts: 111000 | #Constraints: 47082
237.63/238.37 c #Conflicts: 112000 | #Constraints: 48082
237.63/238.37 c #Conflicts: 113000 | #Constraints: 49082
237.63/238.37 c #Conflicts: 114000 | #Constraints: 50082
237.63/238.37 c #Conflicts: 115000 | #Constraints: 51082
237.63/238.37 c #Conflicts: 116000 | #Constraints: 52082
237.63/238.37 c #Conflicts: 117000 | #Constraints: 53082
237.63/238.37 c #Conflicts: 118000 | #Constraints: 54082
237.63/238.37 c #Conflicts: 119000 | #Constraints: 55082
237.63/238.37 c #Conflicts: 120000 | #Constraints: 56082
237.63/238.37 c #Conflicts: 121000 | #Constraints: 57082
237.63/238.37 c INPROCESSING
237.63/238.37 c GARBAGE COLLECT
237.63/238.37 c #Conflicts: 122000 | #Constraints: 40475
237.63/238.37 c #Conflicts: 123000 | #Constraints: 41475
237.63/238.37 c #Conflicts: 124000 | #Constraints: 42475
237.63/238.37 c #Conflicts: 125000 | #Constraints: 43475
237.63/238.37 c #Conflicts: 126000 | #Constraints: 44475
237.63/238.37 c #Conflicts: 127000 | #Constraints: 45475
237.63/238.37 c #Conflicts: 128000 | #Constraints: 46475
237.63/238.37 c #Conflicts: 129000 | #Constraints: 47475
237.63/238.37 c #Conflicts: 130000 | #Constraints: 48475
237.63/238.37 c #Conflicts: 131000 | #Constraints: 49475
237.63/238.37 c #Conflicts: 132000 | #Constraints: 50475
237.63/238.37 c INPROCESSING
237.63/238.37 c GARBAGE COLLECT
237.63/238.37 c #Conflicts: 133000 | #Constraints: 40471
237.63/238.37 c #Conflicts: 134000 | #Constraints: 41471
237.63/238.37 c #Conflicts: 135000 | #Constraints: 42471
237.63/238.37 c #Conflicts: 136000 | #Constraints: 43471
237.63/238.37 c #Conflicts: 137000 | #Constraints: 44471
237.63/238.37 c #Conflicts: 138000 | #Constraints: 45471
237.63/238.37 c #Conflicts: 139000 | #Constraints: 46471
237.63/238.37 c #Conflicts: 140000 | #Constraints: 47471
237.63/238.37 c #Conflicts: 141000 | #Constraints: 48471
237.63/238.37 c #Conflicts: 142000 | #Constraints: 49471
237.63/238.37 c #Conflicts: 143000 | #Constraints: 50471
237.63/238.37 c #Conflicts: 144000 | #Constraints: 51471
237.63/238.37 c #Conflicts: 145000 | #Constraints: 52471
237.63/238.37 c #Conflicts: 146000 | #Constraints: 53471
237.63/238.37 c #Conflicts: 147000 | #Constraints: 54471
237.63/238.37 c #Conflicts: 148000 | #Constraints: 55471
237.63/238.37 c #Conflicts: 149000 | #Constraints: 56471
350.42/351.46 c #Conflicts: 150000 | #Constraints: 57471
350.42/351.46 c #Conflicts: 151000 | #Constraints: 58471
350.42/351.46 c #Conflicts: 152000 | #Constraints: 59471
350.42/351.46 c #Conflicts: 153000 | #Constraints: 60471
350.42/351.46 c #Conflicts: 154000 | #Constraints: 61471
350.42/351.46 c #Conflicts: 155000 | #Constraints: 62471
350.42/351.46 c #Conflicts: 156000 | #Constraints: 63471
350.42/351.46 c INPROCESSING
350.42/351.46 c GARBAGE COLLECT
350.42/351.46 c #Conflicts: 157000 | #Constraints: 43186
350.42/351.46 c #Conflicts: 158000 | #Constraints: 44186
350.42/351.46 c #Conflicts: 159000 | #Constraints: 45186
350.42/351.46 c #Conflicts: 160000 | #Constraints: 46186
350.42/351.46 c #Conflicts: 161000 | #Constraints: 47186
350.42/351.46 c #Conflicts: 162000 | #Constraints: 48186
350.42/351.46 c #Conflicts: 163000 | #Constraints: 49186
350.42/351.46 c #Conflicts: 164000 | #Constraints: 50186
350.42/351.46 c #Conflicts: 165000 | #Constraints: 51186
350.42/351.46 c #Conflicts: 166000 | #Constraints: 52186
350.42/351.46 c #Conflicts: 167000 | #Constraints: 53186
350.42/351.46 c #Conflicts: 168000 | #Constraints: 54186
350.42/351.46 c INPROCESSING
350.42/351.46 c GARBAGE COLLECT
350.42/351.46 c #Conflicts: 169000 | #Constraints: 43300
350.42/351.46 c #Conflicts: 170000 | #Constraints: 44300
350.42/351.46 c #Conflicts: 171000 | #Constraints: 45300
350.42/351.46 c #Conflicts: 172000 | #Constraints: 46300
350.42/351.46 c #Conflicts: 173000 | #Constraints: 47300
350.42/351.46 c #Conflicts: 174000 | #Constraints: 48300
350.42/351.46 c #Conflicts: 175000 | #Constraints: 49300
350.42/351.46 c #Conflicts: 176000 | #Constraints: 50300
350.42/351.46 c #Conflicts: 177000 | #Constraints: 51300
350.42/351.46 c #Conflicts: 178000 | #Constraints: 52300
350.42/351.46 c #Conflicts: 179000 | #Constraints: 53300
350.42/351.46 c #Conflicts: 180000 | #Constraints: 54300
350.42/351.46 c #Conflicts: 181000 | #Constraints: 55300
350.42/351.46 c #Conflicts: 182000 | #Constraints: 56300
350.42/351.46 c #Conflicts: 183000 | #Constraints: 57300
350.42/351.46 c #Conflicts: 184000 | #Constraints: 58300
350.42/351.46 c #Conflicts: 185000 | #Constraints: 59300
350.42/351.46 c #Conflicts: 186000 | #Constraints: 60300
350.42/351.46 c #Conflicts: 187000 | #Constraints: 61300
350.42/351.46 c #Conflicts: 188000 | #Constraints: 62300
350.42/351.46 c #Conflicts: 189000 | #Constraints: 63300
350.42/351.46 c #Conflicts: 190000 | #Constraints: 64300
350.42/351.46 c #Conflicts: 191000 | #Constraints: 65300
350.42/351.46 c #Conflicts: 192000 | #Constraints: 66300
350.42/351.46 c #Conflicts: 193000 | #Constraints: 67300
350.42/351.46 c #Conflicts: 194000 | #Constraints: 68300
350.42/351.46 c #Conflicts: 195000 | #Constraints: 69300
350.42/351.46 c #Conflicts: 196000 | #Constraints: 70300
350.42/351.46 c INPROCESSING
350.42/351.46 c GARBAGE COLLECT
350.42/351.46 c #Conflicts: 197000 | #Constraints: 47589
350.42/351.46 c #Conflicts: 198000 | #Constraints: 48589
350.42/351.46 c #Conflicts: 199000 | #Constraints: 49589
350.42/351.46 c #Conflicts: 200000 | #Constraints: 50589
350.42/351.46 c #Conflicts: 201000 | #Constraints: 51589
350.42/351.46 c #Conflicts: 202000 | #Constraints: 52589
350.42/351.46 c #Conflicts: 203000 | #Constraints: 53589
350.42/351.46 c #Conflicts: 204000 | #Constraints: 54589
350.42/351.46 c #Conflicts: 205000 | #Constraints: 55589
350.42/351.46 c #Conflicts: 206000 | #Constraints: 56589
350.42/351.46 c #Conflicts: 207000 | #Constraints: 57589
350.42/351.46 c #Conflicts: 208000 | #Constraints: 58589
350.42/351.46 c #Conflicts: 209000 | #Constraints: 59589
350.42/351.46 c INPROCESSING
350.42/351.46 c GARBAGE COLLECT
350.42/351.46 c #Conflicts: 210000 | #Constraints: 46490
350.42/351.46 c #Conflicts: 211000 | #Constraints: 47490
350.42/351.46 c #Conflicts: 212000 | #Constraints: 48490
350.42/351.46 c #Conflicts: 213000 | #Constraints: 49490
350.42/351.46 c #Conflicts: 214000 | #Constraints: 50490
350.42/351.46 c #Conflicts: 215000 | #Constraints: 51490
350.42/351.46 c #Conflicts: 216000 | #Constraints: 52490
350.42/351.46 c #Conflicts: 217000 | #Constraints: 53490
350.42/351.46 c #Conflicts: 218000 | #Constraints: 54490
350.42/351.46 c #Conflicts: 219000 | #Constraints: 55490
350.42/351.46 c #Conflicts: 220000 | #Constraints: 56490
350.42/351.46 c #Conflicts: 221000 | #Constraints: 57490
350.42/351.46 c #Conflicts: 222000 | #Constraints: 58490
350.42/351.46 c #Conflicts: 223000 | #Constraints: 59490
350.42/351.46 c #Conflicts: 224000 | #Constraints: 60490
350.42/351.46 c #Conflicts: 225000 | #Constraints: 61490
417.62/418.89 c #Conflicts: 226000 | #Constraints: 62490
417.62/418.89 c #Conflicts: 227000 | #Constraints: 63490
417.62/418.89 c #Conflicts: 228000 | #Constraints: 64490
417.62/418.89 c #Conflicts: 229000 | #Constraints: 65490
417.62/418.89 c #Conflicts: 230000 | #Constraints: 66490
417.62/418.89 c #Conflicts: 231000 | #Constraints: 67490
417.62/418.89 c #Conflicts: 232000 | #Constraints: 68490
417.62/418.89 c #Conflicts: 233000 | #Constraints: 69490
417.62/418.89 c #Conflicts: 234000 | #Constraints: 70490
417.62/418.89 c #Conflicts: 235000 | #Constraints: 71490
417.62/418.89 c #Conflicts: 236000 | #Constraints: 72490
417.62/418.89 c #Conflicts: 237000 | #Constraints: 73490
417.62/418.89 c #Conflicts: 238000 | #Constraints: 74490
417.62/418.89 c #Conflicts: 239000 | #Constraints: 75490
417.62/418.89 c #Conflicts: 240000 | #Constraints: 76490
417.62/418.89 c INPROCESSING
417.62/418.89 c GARBAGE COLLECT
417.62/418.89 c rational objective 177
559.51/561.11 c #Conflicts: 241000 | #Constraints: 50773
559.51/561.11 c #Conflicts: 242000 | #Constraints: 51773
559.51/561.11 c #Conflicts: 243000 | #Constraints: 52773
559.51/561.11 c #Conflicts: 244000 | #Constraints: 53773
559.51/561.11 c #Conflicts: 245000 | #Constraints: 54773
559.51/561.11 c #Conflicts: 246000 | #Constraints: 55773
559.51/561.11 c #Conflicts: 247000 | #Constraints: 56773
559.51/561.11 c #Conflicts: 248000 | #Constraints: 57773
559.51/561.11 c #Conflicts: 249000 | #Constraints: 58773
559.51/561.11 c #Conflicts: 250000 | #Constraints: 59773
559.51/561.11 c #Conflicts: 251000 | #Constraints: 60773
559.51/561.11 c #Conflicts: 252000 | #Constraints: 61773
559.51/561.11 c #Conflicts: 253000 | #Constraints: 62773
559.51/561.11 c #Conflicts: 254000 | #Constraints: 63773
559.51/561.11 c INPROCESSING
559.51/561.11 c GARBAGE COLLECT
559.51/561.11 c #Conflicts: 255000 | #Constraints: 49206
559.51/561.11 c #Conflicts: 256000 | #Constraints: 50206
559.51/561.11 c #Conflicts: 257000 | #Constraints: 51206
559.51/561.11 c #Conflicts: 258000 | #Constraints: 52206
559.51/561.11 c #Conflicts: 259000 | #Constraints: 53206
559.51/561.11 c #Conflicts: 260000 | #Constraints: 54207
559.51/561.11 c #Conflicts: 261000 | #Constraints: 55207
559.51/561.11 c #Conflicts: 262000 | #Constraints: 56207
559.51/561.11 c #Conflicts: 263000 | #Constraints: 57207
559.51/561.11 c #Conflicts: 264000 | #Constraints: 58207
559.51/561.11 c #Conflicts: 265000 | #Constraints: 59207
559.51/561.11 c #Conflicts: 266000 | #Constraints: 60207
559.51/561.11 c #Conflicts: 267000 | #Constraints: 61207
559.51/561.11 c #Conflicts: 268000 | #Constraints: 62207
559.51/561.11 c #Conflicts: 269000 | #Constraints: 63207
559.51/561.11 c #Conflicts: 270000 | #Constraints: 64207
559.51/561.11 c #Conflicts: 271000 | #Constraints: 65207
559.51/561.11 c #Conflicts: 272000 | #Constraints: 66207
559.51/561.11 c #Conflicts: 273000 | #Constraints: 67207
559.51/561.11 c #Conflicts: 274000 | #Constraints: 68207
559.51/561.11 c #Conflicts: 275000 | #Constraints: 69207
559.51/561.11 c #Conflicts: 276000 | #Constraints: 70207
559.51/561.11 c #Conflicts: 277000 | #Constraints: 71207
559.51/561.11 c #Conflicts: 278000 | #Constraints: 72207
559.51/561.11 c #Conflicts: 279000 | #Constraints: 73207
559.51/561.11 c #Conflicts: 280000 | #Constraints: 74207
559.51/561.11 c #Conflicts: 281000 | #Constraints: 75207
559.51/561.11 c #Conflicts: 282000 | #Constraints: 76207
559.51/561.11 c #Conflicts: 283000 | #Constraints: 77207
559.51/561.11 c #Conflicts: 284000 | #Constraints: 78207
559.51/561.11 c #Conflicts: 285000 | #Constraints: 79207
559.51/561.11 c #Conflicts: 286000 | #Constraints: 80207
559.51/561.11 c #Conflicts: 287000 | #Constraints: 81207
559.51/561.11 c #Conflicts: 288000 | #Constraints: 82207
559.51/561.11 c INPROCESSING
559.51/561.11 c GARBAGE COLLECT
559.51/561.11 c #Conflicts: 289000 | #Constraints: 53545
559.51/561.11 c #Conflicts: 290000 | #Constraints: 54545
559.51/561.11 c #Conflicts: 291000 | #Constraints: 55545
559.51/561.11 c #Conflicts: 292000 | #Constraints: 56545
559.51/561.11 c #Conflicts: 293000 | #Constraints: 57545
559.51/561.11 c #Conflicts: 294000 | #Constraints: 58545
559.51/561.11 c #Conflicts: 295000 | #Constraints: 59545
559.51/561.11 c #Conflicts: 296000 | #Constraints: 60545
559.51/561.11 c #Conflicts: 297000 | #Constraints: 61545
559.51/561.11 c #Conflicts: 298000 | #Constraints: 62545
559.51/561.11 c #Conflicts: 299000 | #Constraints: 63545
559.51/561.11 c #Conflicts: 300000 | #Constraints: 64545
559.51/561.11 c #Conflicts: 301000 | #Constraints: 65545
559.51/561.11 c #Conflicts: 302000 | #Constraints: 66545
559.51/561.11 c #Conflicts: 303000 | #Constraints: 67545
559.51/561.11 c INPROCESSING
559.51/561.11 c GARBAGE COLLECT
559.51/561.11 c #Conflicts: 304000 | #Constraints: 51788
559.51/561.11 c #Conflicts: 305000 | #Constraints: 52788
559.51/561.11 c #Conflicts: 306000 | #Constraints: 53788
559.51/561.11 c #Conflicts: 307000 | #Constraints: 54788
559.51/561.11 c #Conflicts: 308000 | #Constraints: 55788
559.51/561.11 c #Conflicts: 309000 | #Constraints: 56788
559.51/561.11 c #Conflicts: 310000 | #Constraints: 57788
559.51/561.11 c #Conflicts: 311000 | #Constraints: 58788
559.51/561.11 c #Conflicts: 312000 | #Constraints: 59788
559.51/561.11 c #Conflicts: 313000 | #Constraints: 60788
559.51/561.11 c #Conflicts: 314000 | #Constraints: 61788
559.51/561.11 c #Conflicts: 315000 | #Constraints: 62788
559.51/561.11 c #Conflicts: 316000 | #Constraints: 63788
559.51/561.11 c #Conflicts: 317000 | #Constraints: 64788
716.51/718.65 c #Conflicts: 318000 | #Constraints: 65788
716.51/718.65 c #Conflicts: 319000 | #Constraints: 66788
716.51/718.65 c #Conflicts: 320000 | #Constraints: 67788
716.51/718.65 c #Conflicts: 321000 | #Constraints: 68788
716.51/718.65 c #Conflicts: 322000 | #Constraints: 69788
716.51/718.65 c #Conflicts: 323000 | #Constraints: 70788
716.51/718.65 c #Conflicts: 324000 | #Constraints: 71788
716.51/718.65 c #Conflicts: 325000 | #Constraints: 72788
716.51/718.65 c #Conflicts: 326000 | #Constraints: 73788
716.51/718.65 c #Conflicts: 327000 | #Constraints: 74788
716.51/718.65 c #Conflicts: 328000 | #Constraints: 75788
716.51/718.65 c #Conflicts: 329000 | #Constraints: 76788
716.51/718.65 c #Conflicts: 330000 | #Constraints: 77788
716.51/718.65 c #Conflicts: 331000 | #Constraints: 78788
716.51/718.65 c #Conflicts: 332000 | #Constraints: 79788
716.51/718.65 c #Conflicts: 333000 | #Constraints: 80788
716.51/718.65 c #Conflicts: 334000 | #Constraints: 81788
716.51/718.65 c #Conflicts: 335000 | #Constraints: 82788
716.51/718.65 c #Conflicts: 336000 | #Constraints: 83788
716.51/718.65 c #Conflicts: 337000 | #Constraints: 84788
716.51/718.65 c #Conflicts: 338000 | #Constraints: 85788
716.51/718.65 c #Conflicts: 339000 | #Constraints: 86788
716.51/718.65 c #Conflicts: 340000 | #Constraints: 87788
716.51/718.65 c INPROCESSING
716.51/718.65 c GARBAGE COLLECT
716.51/718.65 c #Conflicts: 341000 | #Constraints: 56128
716.51/718.65 c #Conflicts: 342000 | #Constraints: 57128
716.51/718.65 c #Conflicts: 343000 | #Constraints: 58128
716.51/718.65 c #Conflicts: 344000 | #Constraints: 59128
716.51/718.65 c #Conflicts: 345000 | #Constraints: 60128
716.51/718.65 c #Conflicts: 346000 | #Constraints: 61128
716.51/718.65 c #Conflicts: 347000 | #Constraints: 62128
716.51/718.65 c #Conflicts: 348000 | #Constraints: 63128
716.51/718.65 c #Conflicts: 349000 | #Constraints: 64128
716.51/718.65 c #Conflicts: 350000 | #Constraints: 65128
716.51/718.65 c #Conflicts: 351000 | #Constraints: 66128
716.51/718.65 c #Conflicts: 352000 | #Constraints: 67128
716.51/718.65 c #Conflicts: 353000 | #Constraints: 68128
716.51/718.65 c #Conflicts: 354000 | #Constraints: 69128
716.51/718.65 c #Conflicts: 355000 | #Constraints: 70128
716.51/718.65 c #Conflicts: 356000 | #Constraints: 71128
716.51/718.65 c #Conflicts: 357000 | #Constraints: 72128
716.51/718.65 c INPROCESSING
716.51/718.65 c GARBAGE COLLECT
716.51/718.65 c #Conflicts: 358000 | #Constraints: 54624
716.51/718.65 c #Conflicts: 359000 | #Constraints: 55624
716.51/718.65 c #Conflicts: 360000 | #Constraints: 56624
716.51/718.65 c #Conflicts: 361000 | #Constraints: 57624
716.51/718.65 c #Conflicts: 362000 | #Constraints: 58624
716.51/718.65 c #Conflicts: 363000 | #Constraints: 59624
716.51/718.65 c #Conflicts: 364000 | #Constraints: 60624
716.51/718.65 c #Conflicts: 365000 | #Constraints: 61624
716.51/718.65 c #Conflicts: 366000 | #Constraints: 62624
716.51/718.65 c #Conflicts: 367000 | #Constraints: 63624
716.51/718.65 c #Conflicts: 368000 | #Constraints: 64624
716.51/718.65 c #Conflicts: 369000 | #Constraints: 65624
716.51/718.65 c #Conflicts: 370000 | #Constraints: 66624
716.51/718.65 c #Conflicts: 371000 | #Constraints: 67624
716.51/718.65 c #Conflicts: 372000 | #Constraints: 68624
716.51/718.65 c #Conflicts: 373000 | #Constraints: 69624
716.51/718.65 c #Conflicts: 374000 | #Constraints: 70624
716.51/718.65 c #Conflicts: 375000 | #Constraints: 71624
716.51/718.65 c #Conflicts: 376000 | #Constraints: 72624
716.51/718.65 c #Conflicts: 377000 | #Constraints: 73624
716.51/718.65 c #Conflicts: 378000 | #Constraints: 74624
716.51/718.65 c #Conflicts: 379000 | #Constraints: 75624
716.51/718.65 c #Conflicts: 380000 | #Constraints: 76624
716.51/718.65 c #Conflicts: 381000 | #Constraints: 77624
716.51/718.65 c #Conflicts: 382000 | #Constraints: 78624
716.51/718.65 c #Conflicts: 383000 | #Constraints: 79624
716.51/718.65 c #Conflicts: 384000 | #Constraints: 80624
716.51/718.65 c #Conflicts: 385000 | #Constraints: 81624
716.51/718.65 c #Conflicts: 386000 | #Constraints: 82624
716.51/718.65 c #Conflicts: 387000 | #Constraints: 83624
716.51/718.65 c #Conflicts: 388000 | #Constraints: 84624
716.51/718.65 c #Conflicts: 389000 | #Constraints: 85624
716.51/718.65 c #Conflicts: 390000 | #Constraints: 86624
716.51/718.65 c #Conflicts: 391000 | #Constraints: 87624
716.51/718.65 c #Conflicts: 392000 | #Constraints: 88624
716.51/718.65 c #Conflicts: 393000 | #Constraints: 89624
716.51/718.65 c #Conflicts: 394000 | #Constraints: 90624
716.51/718.65 c #Conflicts: 395000 | #Constraints: 91624
1004.23/1007.21 c #Conflicts: 396000 | #Constraints: 92624
1004.23/1007.21 c #Conflicts: 397000 | #Constraints: 93624
1004.23/1007.21 c INPROCESSING
1004.23/1007.21 c GARBAGE COLLECT
1004.23/1007.21 c #Conflicts: 398000 | #Constraints: 59332
1004.23/1007.21 c #Conflicts: 399000 | #Constraints: 60332
1004.23/1007.21 c #Conflicts: 400000 | #Constraints: 61332
1004.23/1007.21 c #Conflicts: 401000 | #Constraints: 62332
1004.23/1007.21 c #Conflicts: 402000 | #Constraints: 63332
1004.23/1007.21 c #Conflicts: 403000 | #Constraints: 64332
1004.23/1007.21 c #Conflicts: 404000 | #Constraints: 65332
1004.23/1007.21 c #Conflicts: 405000 | #Constraints: 66332
1004.23/1007.21 c #Conflicts: 406000 | #Constraints: 67332
1004.23/1007.21 c #Conflicts: 407000 | #Constraints: 68332
1004.23/1007.21 c #Conflicts: 408000 | #Constraints: 69332
1004.23/1007.21 c #Conflicts: 409000 | #Constraints: 70332
1004.23/1007.21 c #Conflicts: 410000 | #Constraints: 71332
1004.23/1007.21 c #Conflicts: 411000 | #Constraints: 72332
1004.23/1007.21 c #Conflicts: 412000 | #Constraints: 73332
1004.23/1007.21 c #Conflicts: 413000 | #Constraints: 74332
1004.23/1007.21 c #Conflicts: 414000 | #Constraints: 75332
1004.23/1007.21 c #Conflicts: 415000 | #Constraints: 76332
1004.23/1007.21 c INPROCESSING
1004.23/1007.21 c GARBAGE COLLECT
1004.23/1007.21 c #Conflicts: 416000 | #Constraints: 57482
1004.23/1007.21 c #Conflicts: 417000 | #Constraints: 58482
1004.23/1007.21 c #Conflicts: 418000 | #Constraints: 59482
1004.23/1007.21 c #Conflicts: 419000 | #Constraints: 60482
1004.23/1007.21 c #Conflicts: 420000 | #Constraints: 61483
1004.23/1007.21 c #Conflicts: 421000 | #Constraints: 62483
1004.23/1007.21 c #Conflicts: 422000 | #Constraints: 63483
1004.23/1007.21 c #Conflicts: 423000 | #Constraints: 64483
1004.23/1007.21 c #Conflicts: 424000 | #Constraints: 65483
1004.23/1007.21 c #Conflicts: 425000 | #Constraints: 66483
1004.23/1007.21 c #Conflicts: 426000 | #Constraints: 67483
1004.23/1007.21 c #Conflicts: 427000 | #Constraints: 68483
1004.23/1007.21 c #Conflicts: 428000 | #Constraints: 69483
1004.23/1007.21 c #Conflicts: 429000 | #Constraints: 70483
1004.23/1007.21 c #Conflicts: 430000 | #Constraints: 71483
1004.23/1007.21 c #Conflicts: 431000 | #Constraints: 72483
1004.23/1007.21 c #Conflicts: 432000 | #Constraints: 73483
1004.23/1007.21 c #Conflicts: 433000 | #Constraints: 74483
1004.23/1007.21 c #Conflicts: 434000 | #Constraints: 75483
1004.23/1007.21 c #Conflicts: 435000 | #Constraints: 76483
1004.23/1007.21 c #Conflicts: 436000 | #Constraints: 77483
1004.23/1007.21 c #Conflicts: 437000 | #Constraints: 78483
1004.23/1007.21 c #Conflicts: 438000 | #Constraints: 79483
1004.23/1007.21 c #Conflicts: 439000 | #Constraints: 80483
1004.23/1007.21 c #Conflicts: 440000 | #Constraints: 81483
1004.23/1007.21 c #Conflicts: 441000 | #Constraints: 82483
1004.23/1007.21 c #Conflicts: 442000 | #Constraints: 83483
1004.23/1007.21 c #Conflicts: 443000 | #Constraints: 84483
1004.23/1007.21 c #Conflicts: 444000 | #Constraints: 85483
1004.23/1007.21 c #Conflicts: 445000 | #Constraints: 86483
1004.23/1007.21 c #Conflicts: 446000 | #Constraints: 87483
1004.23/1007.21 c #Conflicts: 447000 | #Constraints: 88483
1004.23/1007.21 c #Conflicts: 448000 | #Constraints: 89483
1004.23/1007.21 c #Conflicts: 449000 | #Constraints: 90483
1004.23/1007.21 c #Conflicts: 450000 | #Constraints: 91483
1004.23/1007.21 c #Conflicts: 451000 | #Constraints: 92483
1004.23/1007.21 c #Conflicts: 452000 | #Constraints: 93483
1004.23/1007.21 c #Conflicts: 453000 | #Constraints: 94483
1004.23/1007.21 c #Conflicts: 454000 | #Constraints: 95483
1004.23/1007.21 c #Conflicts: 455000 | #Constraints: 96483
1004.23/1007.21 c #Conflicts: 456000 | #Constraints: 97483
1004.23/1007.21 c #Conflicts: 457000 | #Constraints: 98483
1004.23/1007.21 c #Conflicts: 458000 | #Constraints: 99483
1004.23/1007.21 c #Conflicts: 459000 | #Constraints: 100483
1004.23/1007.21 c INPROCESSING
1004.23/1007.21 c GARBAGE COLLECT
1004.23/1007.21 c #Conflicts: 460000 | #Constraints: 62885
1004.23/1007.21 c #Conflicts: 461000 | #Constraints: 63885
1004.23/1007.21 c #Conflicts: 462000 | #Constraints: 64885
1004.23/1007.21 c #Conflicts: 463000 | #Constraints: 65885
1004.23/1007.21 c #Conflicts: 464000 | #Constraints: 66885
1004.23/1007.21 c #Conflicts: 465000 | #Constraints: 67885
1004.23/1007.21 c #Conflicts: 466000 | #Constraints: 68885
1004.23/1007.21 c #Conflicts: 467000 | #Constraints: 69885
1004.23/1007.21 c #Conflicts: 468000 | #Constraints: 70885
1004.23/1007.21 c #Conflicts: 469000 | #Constraints: 71885
1004.23/1007.21 c #Conflicts: 470000 | #Constraints: 72885
1004.23/1007.21 c #Conflicts: 471000 | #Constraints: 73885
1004.23/1007.21 c #Conflicts: 472000 | #Constraints: 74885
1188.59/1192.17 c #Conflicts: 473000 | #Constraints: 75885
1188.59/1192.17 c #Conflicts: 474000 | #Constraints: 76885
1188.59/1192.17 c #Conflicts: 475000 | #Constraints: 77885
1188.59/1192.17 c #Conflicts: 476000 | #Constraints: 78885
1188.59/1192.17 c #Conflicts: 477000 | #Constraints: 79885
1188.59/1192.17 c #Conflicts: 478000 | #Constraints: 80885
1188.59/1192.17 c INPROCESSING
1188.59/1192.17 c GARBAGE COLLECT
1188.59/1192.17 c #Conflicts: 479000 | #Constraints: 59780
1188.59/1192.17 c #Conflicts: 480000 | #Constraints: 60780
1188.59/1192.17 c #Conflicts: 481000 | #Constraints: 61780
1188.59/1192.17 c #Conflicts: 482000 | #Constraints: 62780
1188.59/1192.17 c #Conflicts: 483000 | #Constraints: 63780
1188.59/1192.17 c #Conflicts: 484000 | #Constraints: 64780
1188.59/1192.17 c #Conflicts: 485000 | #Constraints: 65780
1188.59/1192.17 c #Conflicts: 486000 | #Constraints: 66780
1188.59/1192.17 c #Conflicts: 487000 | #Constraints: 67780
1188.59/1192.17 c #Conflicts: 488000 | #Constraints: 68780
1188.59/1192.17 c #Conflicts: 489000 | #Constraints: 69780
1188.59/1192.17 c #Conflicts: 490000 | #Constraints: 70780
1188.59/1192.17 c #Conflicts: 491000 | #Constraints: 71780
1188.59/1192.17 c #Conflicts: 492000 | #Constraints: 72780
1188.59/1192.17 c #Conflicts: 493000 | #Constraints: 73780
1188.59/1192.17 c #Conflicts: 494000 | #Constraints: 74780
1188.59/1192.17 c #Conflicts: 495000 | #Constraints: 75780
1188.59/1192.17 c #Conflicts: 496000 | #Constraints: 76780
1188.59/1192.17 c #Conflicts: 497000 | #Constraints: 77780
1188.59/1192.17 c #Conflicts: 498000 | #Constraints: 78780
1188.59/1192.17 c #Conflicts: 499000 | #Constraints: 79780
1188.59/1192.17 c #Conflicts: 500000 | #Constraints: 80780
1188.59/1192.17 c #Conflicts: 501000 | #Constraints: 81780
1188.59/1192.17 c #Conflicts: 502000 | #Constraints: 82780
1188.59/1192.17 c #Conflicts: 503000 | #Constraints: 83780
1188.59/1192.17 c #Conflicts: 504000 | #Constraints: 84780
1188.59/1192.17 c #Conflicts: 505000 | #Constraints: 85780
1188.59/1192.17 c #Conflicts: 506000 | #Constraints: 86780
1188.59/1192.17 c #Conflicts: 507000 | #Constraints: 87780
1188.59/1192.17 c #Conflicts: 508000 | #Constraints: 88780
1188.59/1192.17 c #Conflicts: 509000 | #Constraints: 89780
1188.59/1192.17 c #Conflicts: 510000 | #Constraints: 90780
1188.59/1192.17 c #Conflicts: 511000 | #Constraints: 91780
1188.59/1192.17 c #Conflicts: 512000 | #Constraints: 92780
1188.59/1192.17 c #Conflicts: 513000 | #Constraints: 93780
1188.59/1192.17 c #Conflicts: 514000 | #Constraints: 94780
1188.59/1192.17 c #Conflicts: 515000 | #Constraints: 95780
1188.59/1192.17 c #Conflicts: 516000 | #Constraints: 96780
1188.59/1192.17 c #Conflicts: 517000 | #Constraints: 97780
1188.59/1192.17 c #Conflicts: 518000 | #Constraints: 98780
1188.59/1192.17 c #Conflicts: 519000 | #Constraints: 99780
1188.59/1192.17 c #Conflicts: 520000 | #Constraints: 100780
1188.59/1192.17 c #Conflicts: 521000 | #Constraints: 101780
1188.59/1192.17 c #Conflicts: 522000 | #Constraints: 102780
1188.59/1192.17 c #Conflicts: 523000 | #Constraints: 103780
1188.59/1192.17 c #Conflicts: 524000 | #Constraints: 104780
1188.59/1192.17 c #Conflicts: 525000 | #Constraints: 105780
1188.59/1192.17 c INPROCESSING
1188.59/1192.17 c GARBAGE COLLECT
1188.59/1192.17 c #Conflicts: 526000 | #Constraints: 65770
1188.59/1192.17 c #Conflicts: 527000 | #Constraints: 66770
1188.59/1192.17 c #Conflicts: 528000 | #Constraints: 67770
1188.59/1192.17 c #Conflicts: 529000 | #Constraints: 68770
1188.59/1192.17 c #Conflicts: 530000 | #Constraints: 69770
1188.59/1192.17 c #Conflicts: 531000 | #Constraints: 70770
1188.59/1192.17 c #Conflicts: 532000 | #Constraints: 71770
1188.59/1192.17 c #Conflicts: 533000 | #Constraints: 72770
1188.59/1192.17 c #Conflicts: 534000 | #Constraints: 73770
1188.59/1192.17 c #Conflicts: 535000 | #Constraints: 74770
1188.59/1192.17 c #Conflicts: 536000 | #Constraints: 75770
1188.59/1192.17 c #Conflicts: 537000 | #Constraints: 76770
1188.59/1192.17 c #Conflicts: 538000 | #Constraints: 77770
1188.59/1192.17 c #Conflicts: 539000 | #Constraints: 78770
1188.59/1192.17 c #Conflicts: 540000 | #Constraints: 79770
1188.59/1192.17 c #Conflicts: 541000 | #Constraints: 80770
1188.59/1192.17 c #Conflicts: 542000 | #Constraints: 81770
1188.59/1192.17 c #Conflicts: 543000 | #Constraints: 82770
1188.59/1192.17 c #Conflicts: 544000 | #Constraints: 83770
1188.59/1192.17 c #Conflicts: 545000 | #Constraints: 84770
1188.59/1192.17 c INPROCESSING
1188.59/1192.17 c GARBAGE COLLECT
1188.59/1192.17 c #Conflicts: 546000 | #Constraints: 62073
1188.59/1192.17 c #Conflicts: 547000 | #Constraints: 63073
1188.59/1192.17 c #Conflicts: 548000 | #Constraints: 64073
1188.59/1192.17 c #Conflicts: 549000 | #Constraints: 65073
1362.14/1366.27 c #Conflicts: 550000 | #Constraints: 66073
1362.14/1366.27 c #Conflicts: 551000 | #Constraints: 67073
1362.14/1366.27 c #Conflicts: 552000 | #Constraints: 68073
1362.14/1366.27 c #Conflicts: 553000 | #Constraints: 69073
1362.14/1366.27 c #Conflicts: 554000 | #Constraints: 70073
1362.14/1366.27 c #Conflicts: 555000 | #Constraints: 71073
1362.14/1366.27 c #Conflicts: 556000 | #Constraints: 72073
1362.14/1366.27 c #Conflicts: 557000 | #Constraints: 73073
1362.14/1366.27 c #Conflicts: 558000 | #Constraints: 74073
1362.14/1366.27 c #Conflicts: 559000 | #Constraints: 75073
1362.14/1366.27 c #Conflicts: 560000 | #Constraints: 76073
1362.14/1366.27 c #Conflicts: 561000 | #Constraints: 77073
1362.14/1366.27 c #Conflicts: 562000 | #Constraints: 78073
1362.14/1366.27 c #Conflicts: 563000 | #Constraints: 79073
1362.14/1366.27 c #Conflicts: 564000 | #Constraints: 80073
1362.14/1366.27 c #Conflicts: 565000 | #Constraints: 81073
1362.14/1366.27 c #Conflicts: 566000 | #Constraints: 82073
1362.14/1366.27 c #Conflicts: 567000 | #Constraints: 83073
1362.14/1366.27 c #Conflicts: 568000 | #Constraints: 84073
1362.14/1366.27 c #Conflicts: 569000 | #Constraints: 85073
1362.14/1366.27 c #Conflicts: 570000 | #Constraints: 86073
1362.14/1366.27 c #Conflicts: 571000 | #Constraints: 87073
1362.14/1366.27 c #Conflicts: 572000 | #Constraints: 88073
1362.14/1366.27 c #Conflicts: 573000 | #Constraints: 89073
1362.14/1366.27 c #Conflicts: 574000 | #Constraints: 90073
1362.14/1366.27 c #Conflicts: 575000 | #Constraints: 91073
1362.14/1366.27 c #Conflicts: 576000 | #Constraints: 92073
1362.14/1366.27 c #Conflicts: 577000 | #Constraints: 93073
1362.14/1366.27 c #Conflicts: 578000 | #Constraints: 94073
1362.14/1366.27 c #Conflicts: 579000 | #Constraints: 95073
1362.14/1366.27 c #Conflicts: 580000 | #Constraints: 96073
1362.14/1366.27 c #Conflicts: 581000 | #Constraints: 97073
1362.14/1366.27 c #Conflicts: 582000 | #Constraints: 98073
1362.14/1366.27 c #Conflicts: 583000 | #Constraints: 99073
1362.14/1366.27 c #Conflicts: 584000 | #Constraints: 100073
1362.14/1366.27 c #Conflicts: 585000 | #Constraints: 101073
1362.14/1366.27 c #Conflicts: 586000 | #Constraints: 102073
1362.14/1366.27 c #Conflicts: 587000 | #Constraints: 103073
1362.14/1366.27 c #Conflicts: 588000 | #Constraints: 104073
1362.14/1366.27 c #Conflicts: 589000 | #Constraints: 105073
1362.14/1366.27 c #Conflicts: 590000 | #Constraints: 106073
1362.14/1366.27 c #Conflicts: 591000 | #Constraints: 107073
1362.14/1366.27 c #Conflicts: 592000 | #Constraints: 108073
1362.14/1366.27 c #Conflicts: 593000 | #Constraints: 109073
1362.14/1366.27 c #Conflicts: 594000 | #Constraints: 110073
1362.14/1366.27 c #Conflicts: 595000 | #Constraints: 111073
1362.14/1366.27 c INPROCESSING
1362.14/1366.27 c GARBAGE COLLECT
1362.14/1366.27 c #Conflicts: 596000 | #Constraints: 68281
1362.14/1366.27 c #Conflicts: 597000 | #Constraints: 69281
1362.14/1366.27 c #Conflicts: 598000 | #Constraints: 70281
1362.14/1366.27 c #Conflicts: 599000 | #Constraints: 71281
1362.14/1366.27 c #Conflicts: 600000 | #Constraints: 72281
1362.14/1366.27 c #Conflicts: 601000 | #Constraints: 73281
1362.14/1366.27 c #Conflicts: 602000 | #Constraints: 74281
1362.14/1366.27 c #Conflicts: 603000 | #Constraints: 75281
1362.14/1366.27 c #Conflicts: 604000 | #Constraints: 76281
1362.14/1366.27 c #Conflicts: 605000 | #Constraints: 77281
1362.14/1366.27 c #Conflicts: 606000 | #Constraints: 78281
1362.14/1366.27 c #Conflicts: 607000 | #Constraints: 79281
1362.14/1366.27 c #Conflicts: 608000 | #Constraints: 80281
1362.14/1366.27 c #Conflicts: 609000 | #Constraints: 81281
1362.14/1366.27 c #Conflicts: 610000 | #Constraints: 82281
1362.14/1366.27 c #Conflicts: 611000 | #Constraints: 83281
1362.14/1366.27 c #Conflicts: 612000 | #Constraints: 84281
1362.14/1366.27 c #Conflicts: 613000 | #Constraints: 85281
1362.14/1366.27 c #Conflicts: 614000 | #Constraints: 86281
1362.14/1366.27 c #Conflicts: 615000 | #Constraints: 87281
1362.14/1366.27 c #Conflicts: 616000 | #Constraints: 88281
1362.14/1366.27 c #Conflicts: 617000 | #Constraints: 89281
1362.14/1366.27 c INPROCESSING
1362.14/1366.27 c GARBAGE COLLECT
1362.14/1366.27 c #Conflicts: 618000 | #Constraints: 65466
1362.14/1366.27 c #Conflicts: 619000 | #Constraints: 66466
1362.14/1366.27 c #Conflicts: 620000 | #Constraints: 67466
1362.14/1366.27 c #Conflicts: 621000 | #Constraints: 68466
1362.14/1366.27 c #Conflicts: 622000 | #Constraints: 69466
1362.14/1366.27 c #Conflicts: 623000 | #Constraints: 70466
1362.14/1366.27 c #Conflicts: 624000 | #Constraints: 71466
1362.14/1366.27 c #Conflicts: 625000 | #Constraints: 72466
1362.14/1366.27 c #Conflicts: 626000 | #Constraints: 73466
1524.82/1529.45 c #Conflicts: 627000 | #Constraints: 74466
1524.82/1529.45 c #Conflicts: 628000 | #Constraints: 75466
1524.82/1529.45 c #Conflicts: 629000 | #Constraints: 76466
1524.82/1529.45 c #Conflicts: 630000 | #Constraints: 77466
1524.82/1529.45 c #Conflicts: 631000 | #Constraints: 78466
1524.82/1529.45 c #Conflicts: 632000 | #Constraints: 79466
1524.82/1529.45 c #Conflicts: 633000 | #Constraints: 80466
1524.82/1529.45 c #Conflicts: 634000 | #Constraints: 81466
1524.82/1529.45 c #Conflicts: 635000 | #Constraints: 82466
1524.82/1529.45 c #Conflicts: 636000 | #Constraints: 83466
1524.82/1529.45 c #Conflicts: 637000 | #Constraints: 84466
1524.82/1529.45 c #Conflicts: 638000 | #Constraints: 85466
1524.82/1529.45 c #Conflicts: 639000 | #Constraints: 86466
1524.82/1529.45 c #Conflicts: 640000 | #Constraints: 87466
1524.82/1529.45 c #Conflicts: 641000 | #Constraints: 88466
1524.82/1529.45 c #Conflicts: 642000 | #Constraints: 89466
1524.82/1529.45 c #Conflicts: 643000 | #Constraints: 90466
1524.82/1529.45 c #Conflicts: 644000 | #Constraints: 91466
1524.82/1529.45 c #Conflicts: 645000 | #Constraints: 92466
1524.82/1529.45 c #Conflicts: 646000 | #Constraints: 93466
1524.82/1529.45 c #Conflicts: 647000 | #Constraints: 94466
1524.82/1529.45 c #Conflicts: 648000 | #Constraints: 95466
1524.82/1529.45 c #Conflicts: 649000 | #Constraints: 96466
1524.82/1529.45 c #Conflicts: 650000 | #Constraints: 97466
1524.82/1529.45 c #Conflicts: 651000 | #Constraints: 98466
1524.82/1529.45 c #Conflicts: 652000 | #Constraints: 99466
1524.82/1529.45 c #Conflicts: 653000 | #Constraints: 100466
1524.82/1529.45 c #Conflicts: 654000 | #Constraints: 101466
1524.82/1529.45 c #Conflicts: 655000 | #Constraints: 102466
1524.82/1529.45 c #Conflicts: 656000 | #Constraints: 103466
1524.82/1529.45 c #Conflicts: 657000 | #Constraints: 104466
1524.82/1529.45 c #Conflicts: 658000 | #Constraints: 105466
1524.82/1529.45 c #Conflicts: 659000 | #Constraints: 106466
1524.82/1529.45 c #Conflicts: 660000 | #Constraints: 107466
1524.82/1529.45 c #Conflicts: 661000 | #Constraints: 108466
1524.82/1529.45 c #Conflicts: 662000 | #Constraints: 109466
1524.82/1529.45 c #Conflicts: 663000 | #Constraints: 110466
1524.82/1529.45 c #Conflicts: 664000 | #Constraints: 111466
1524.82/1529.45 c #Conflicts: 665000 | #Constraints: 112466
1524.82/1529.45 c #Conflicts: 666000 | #Constraints: 113466
1524.82/1529.45 c #Conflicts: 667000 | #Constraints: 114466
1524.82/1529.45 c #Conflicts: 668000 | #Constraints: 115466
1524.82/1529.45 c #Conflicts: 669000 | #Constraints: 116466
1524.82/1529.45 c INPROCESSING
1524.82/1529.45 c GARBAGE COLLECT
1524.82/1529.45 c #Conflicts: 670000 | #Constraints: 70946
1524.82/1529.45 c #Conflicts: 671000 | #Constraints: 71946
1524.82/1529.45 c #Conflicts: 672000 | #Constraints: 72946
1524.82/1529.45 c #Conflicts: 673000 | #Constraints: 73946
1524.82/1529.45 c #Conflicts: 674000 | #Constraints: 74946
1524.82/1529.45 c #Conflicts: 675000 | #Constraints: 75946
1524.82/1529.45 c #Conflicts: 676000 | #Constraints: 76946
1524.82/1529.45 c #Conflicts: 677000 | #Constraints: 77946
1524.82/1529.45 c #Conflicts: 678000 | #Constraints: 78946
1524.82/1529.45 c #Conflicts: 679000 | #Constraints: 79946
1524.82/1529.45 c #Conflicts: 680000 | #Constraints: 80946
1524.82/1529.45 c #Conflicts: 681000 | #Constraints: 81946
1524.82/1529.45 c #Conflicts: 682000 | #Constraints: 82946
1524.82/1529.45 c #Conflicts: 683000 | #Constraints: 83946
1524.82/1529.45 c #Conflicts: 684000 | #Constraints: 84946
1524.82/1529.45 c #Conflicts: 685000 | #Constraints: 85946
1524.82/1529.45 c #Conflicts: 686000 | #Constraints: 86946
1524.82/1529.45 c #Conflicts: 687000 | #Constraints: 87946
1524.82/1529.45 c #Conflicts: 688000 | #Constraints: 88946
1524.82/1529.45 c #Conflicts: 689000 | #Constraints: 89946
1524.82/1529.45 c #Conflicts: 690000 | #Constraints: 90946
1524.82/1529.45 c #Conflicts: 691000 | #Constraints: 91946
1524.82/1529.45 c #Conflicts: 692000 | #Constraints: 92946
1524.82/1529.45 c #Conflicts: 693000 | #Constraints: 93946
1524.82/1529.45 c INPROCESSING
1524.82/1529.45 c GARBAGE COLLECT
1524.82/1529.45 c #Conflicts: 694000 | #Constraints: 68696
1524.82/1529.45 c #Conflicts: 695000 | #Constraints: 69696
1524.82/1529.45 c #Conflicts: 696000 | #Constraints: 70696
1524.82/1529.45 c #Conflicts: 697000 | #Constraints: 71696
1524.82/1529.45 c #Conflicts: 698000 | #Constraints: 72696
1524.82/1529.45 c #Conflicts: 699000 | #Constraints: 73696
1524.82/1529.45 c #Conflicts: 700000 | #Constraints: 74696
1524.82/1529.45 c #Conflicts: 701000 | #Constraints: 75696
1524.82/1529.45 c #Conflicts: 702000 | #Constraints: 76696
1524.82/1529.45 c #Conflicts: 703000 | #Constraints: 77696
1524.82/1529.45 c #Conflicts: 704000 | #Constraints: 78696
1672.58/1677.62 c #Conflicts: 705000 | #Constraints: 79696
1672.58/1677.62 c #Conflicts: 706000 | #Constraints: 80696
1672.58/1677.62 c #Conflicts: 707000 | #Constraints: 81696
1672.58/1677.62 c #Conflicts: 708000 | #Constraints: 82696
1672.58/1677.62 c #Conflicts: 709000 | #Constraints: 83696
1672.58/1677.62 c #Conflicts: 710000 | #Constraints: 84696
1672.58/1677.62 c #Conflicts: 711000 | #Constraints: 85696
1672.58/1677.62 c #Conflicts: 712000 | #Constraints: 86696
1672.58/1677.62 c #Conflicts: 713000 | #Constraints: 87696
1672.58/1677.62 c #Conflicts: 714000 | #Constraints: 88696
1672.58/1677.62 c #Conflicts: 715000 | #Constraints: 89696
1672.58/1677.62 c #Conflicts: 716000 | #Constraints: 90696
1672.58/1677.62 c #Conflicts: 717000 | #Constraints: 91696
1672.58/1677.62 c #Conflicts: 718000 | #Constraints: 92696
1672.58/1677.62 c #Conflicts: 719000 | #Constraints: 93696
1672.58/1677.62 c #Conflicts: 720000 | #Constraints: 94696
1672.58/1677.62 c #Conflicts: 721000 | #Constraints: 95696
1672.58/1677.62 c #Conflicts: 722000 | #Constraints: 96696
1672.58/1677.62 c #Conflicts: 723000 | #Constraints: 97696
1672.58/1677.62 c #Conflicts: 724000 | #Constraints: 98696
1672.58/1677.62 c #Conflicts: 725000 | #Constraints: 99696
1672.58/1677.62 c #Conflicts: 726000 | #Constraints: 100696
1672.58/1677.62 c #Conflicts: 727000 | #Constraints: 101696
1672.58/1677.62 c #Conflicts: 728000 | #Constraints: 102696
1672.58/1677.62 c #Conflicts: 729000 | #Constraints: 103696
1672.58/1677.62 c #Conflicts: 730000 | #Constraints: 104696
1672.58/1677.62 c #Conflicts: 731000 | #Constraints: 105696
1672.58/1677.62 c #Conflicts: 732000 | #Constraints: 106696
1672.58/1677.62 c #Conflicts: 733000 | #Constraints: 107696
1672.58/1677.62 c #Conflicts: 734000 | #Constraints: 108696
1672.58/1677.62 c #Conflicts: 735000 | #Constraints: 109696
1672.58/1677.62 c #Conflicts: 736000 | #Constraints: 110696
1672.58/1677.62 c #Conflicts: 737000 | #Constraints: 111696
1672.58/1677.62 c #Conflicts: 738000 | #Constraints: 112696
1672.58/1677.62 c #Conflicts: 739000 | #Constraints: 113696
1672.58/1677.62 c #Conflicts: 740000 | #Constraints: 114696
1672.58/1677.62 c #Conflicts: 741000 | #Constraints: 115696
1672.58/1677.62 c #Conflicts: 742000 | #Constraints: 116696
1672.58/1677.62 c #Conflicts: 743000 | #Constraints: 117696
1672.58/1677.62 c #Conflicts: 744000 | #Constraints: 118696
1672.58/1677.62 c #Conflicts: 745000 | #Constraints: 119696
1672.58/1677.62 c #Conflicts: 746000 | #Constraints: 120696
1672.58/1677.62 c #Conflicts: 747000 | #Constraints: 121696
1672.58/1677.62 c #Conflicts: 748000 | #Constraints: 122696
1672.58/1677.62 c INPROCESSING
1672.58/1677.62 c GARBAGE COLLECT
1672.58/1677.62 c rational objective 177
1736.69/1741.98 c #Conflicts: 749000 | #Constraints: 73962
1736.69/1741.98 c #Conflicts: 750000 | #Constraints: 74962
1736.69/1741.98 c #Conflicts: 751000 | #Constraints: 75962
1736.69/1741.98 c #Conflicts: 752000 | #Constraints: 76962
1736.69/1741.98 c #Conflicts: 753000 | #Constraints: 77962
1736.69/1741.98 c #Conflicts: 754000 | #Constraints: 78962
1736.69/1741.98 c #Conflicts: 755000 | #Constraints: 79962
1736.69/1741.98 c #Conflicts: 756000 | #Constraints: 80962
1736.69/1741.98 c #Conflicts: 757000 | #Constraints: 81962
1736.69/1741.98 c #Conflicts: 758000 | #Constraints: 82962
1736.69/1741.98 c #Conflicts: 759000 | #Constraints: 83962
1736.69/1741.98 c #Conflicts: 760000 | #Constraints: 84962
1736.69/1741.98 c #Conflicts: 761000 | #Constraints: 85962
1736.69/1741.98 c #Conflicts: 762000 | #Constraints: 86962
1736.69/1741.98 c #Conflicts: 763000 | #Constraints: 87962
1736.69/1741.98 c #Conflicts: 764000 | #Constraints: 88962
1736.69/1741.98 c #Conflicts: 765000 | #Constraints: 89962
1736.69/1741.98 c #Conflicts: 766000 | #Constraints: 90962
1736.69/1741.98 c #Conflicts: 767000 | #Constraints: 91962
1736.69/1741.98 c #Conflicts: 768000 | #Constraints: 92962
1736.69/1741.98 c #Conflicts: 769000 | #Constraints: 93962
1736.69/1741.98 c #Conflicts: 770000 | #Constraints: 94962
1736.69/1741.98 c #Conflicts: 771000 | #Constraints: 95962
1736.69/1741.98 c #Conflicts: 772000 | #Constraints: 96962
1736.69/1741.98 c #Conflicts: 773000 | #Constraints: 97962
1736.69/1741.98 c INPROCESSING
1736.69/1741.98 c GARBAGE COLLECT
1736.69/1741.98 c rational objective 177
1889.03/1894.70 c #Conflicts: 774000 | #Constraints: 71136
1889.03/1894.70 c #Conflicts: 775000 | #Constraints: 72136
1889.03/1894.70 c #Conflicts: 776000 | #Constraints: 73136
1889.03/1894.70 c #Conflicts: 777000 | #Constraints: 74136
1889.03/1894.70 c #Conflicts: 778000 | #Constraints: 75136
1889.03/1894.70 c #Conflicts: 779000 | #Constraints: 76136
1889.03/1894.70 c #Conflicts: 780000 | #Constraints: 77136
1889.03/1894.70 c #Conflicts: 781000 | #Constraints: 78136
1889.03/1894.70 c #Conflicts: 782000 | #Constraints: 79136
1889.03/1894.70 c #Conflicts: 783000 | #Constraints: 80136
1889.03/1894.70 c #Conflicts: 784000 | #Constraints: 81136
1889.03/1894.70 c #Conflicts: 785000 | #Constraints: 82136
1889.03/1894.70 c #Conflicts: 786000 | #Constraints: 83136
1889.03/1894.70 c #Conflicts: 787000 | #Constraints: 84136
1889.03/1894.70 c #Conflicts: 788000 | #Constraints: 85136
1889.03/1894.70 c #Conflicts: 789000 | #Constraints: 86136
1889.03/1894.70 c #Conflicts: 790000 | #Constraints: 87136
1889.03/1894.70 c #Conflicts: 791000 | #Constraints: 88136
1889.03/1894.70 c #Conflicts: 792000 | #Constraints: 89136
1889.03/1894.70 c #Conflicts: 793000 | #Constraints: 90136
1889.03/1894.70 c #Conflicts: 794000 | #Constraints: 91136
1889.03/1894.70 c #Conflicts: 795000 | #Constraints: 92136
1889.03/1894.70 c #Conflicts: 796000 | #Constraints: 93136
1889.03/1894.70 c #Conflicts: 797000 | #Constraints: 94136
1889.03/1894.70 c #Conflicts: 798000 | #Constraints: 95136
1889.03/1894.70 c #Conflicts: 799000 | #Constraints: 96136
1889.03/1894.70 c #Conflicts: 800000 | #Constraints: 97136
1889.03/1894.70 c #Conflicts: 801000 | #Constraints: 98136
1889.03/1894.70 c #Conflicts: 802000 | #Constraints: 99136
1889.03/1894.70 c #Conflicts: 803000 | #Constraints: 100136
1889.03/1894.70 c #Conflicts: 804000 | #Constraints: 101136
1889.03/1894.70 c #Conflicts: 805000 | #Constraints: 102136
1889.03/1894.70 c #Conflicts: 806000 | #Constraints: 103136
1889.03/1894.70 c #Conflicts: 807000 | #Constraints: 104136
1889.03/1894.70 c #Conflicts: 808000 | #Constraints: 105136
1889.03/1894.70 c #Conflicts: 809000 | #Constraints: 106136
1889.03/1894.70 c #Conflicts: 810000 | #Constraints: 107136
1889.03/1894.70 c #Conflicts: 811000 | #Constraints: 108136
1889.03/1894.70 c #Conflicts: 812000 | #Constraints: 109136
1889.03/1894.70 c #Conflicts: 813000 | #Constraints: 110136
1889.03/1894.70 c #Conflicts: 814000 | #Constraints: 111136
1889.03/1894.70 c #Conflicts: 815000 | #Constraints: 112136
1889.03/1894.70 c #Conflicts: 816000 | #Constraints: 113136
1889.03/1894.70 c #Conflicts: 817000 | #Constraints: 114136
1889.03/1894.70 c #Conflicts: 818000 | #Constraints: 115136
1889.03/1894.70 c #Conflicts: 819000 | #Constraints: 116136
1889.03/1894.70 c #Conflicts: 820000 | #Constraints: 117136
1889.03/1894.70 c #Conflicts: 821000 | #Constraints: 118136
1889.03/1894.70 c #Conflicts: 822000 | #Constraints: 119136
1889.03/1894.70 c #Conflicts: 823000 | #Constraints: 120136
1889.03/1894.70 c #Conflicts: 824000 | #Constraints: 121136
1889.03/1894.70 c #Conflicts: 825000 | #Constraints: 122136
1889.03/1894.70 c #Conflicts: 826000 | #Constraints: 123136
1889.03/1894.70 c #Conflicts: 827000 | #Constraints: 124136
1889.03/1894.70 c #Conflicts: 828000 | #Constraints: 125136
1889.03/1894.70 c #Conflicts: 829000 | #Constraints: 126136
1889.03/1894.70 c #Conflicts: 830000 | #Constraints: 127136
1889.03/1894.70 c #Conflicts: 831000 | #Constraints: 128136
1889.03/1894.70 c #Conflicts: 832000 | #Constraints: 129136
1889.03/1894.70 c INPROCESSING
1889.03/1894.70 c GARBAGE COLLECT
1889.03/1894.70 c rational objective 177
2053.72/2059.87 c #Conflicts: 833000 | #Constraints: 77671
2053.72/2059.87 c #Conflicts: 834000 | #Constraints: 78671
2053.72/2059.87 c #Conflicts: 835000 | #Constraints: 79671
2053.72/2059.87 c #Conflicts: 836000 | #Constraints: 80671
2053.72/2059.87 c #Conflicts: 837000 | #Constraints: 81671
2053.72/2059.87 c #Conflicts: 838000 | #Constraints: 82671
2053.72/2059.87 c #Conflicts: 839000 | #Constraints: 83671
2053.72/2059.87 c #Conflicts: 840000 | #Constraints: 84671
2053.72/2059.87 c #Conflicts: 841000 | #Constraints: 85671
2053.72/2059.87 c #Conflicts: 842000 | #Constraints: 86671
2053.72/2059.87 c #Conflicts: 843000 | #Constraints: 87671
2053.72/2059.87 c #Conflicts: 844000 | #Constraints: 88671
2053.72/2059.87 c #Conflicts: 845000 | #Constraints: 89671
2053.72/2059.87 c #Conflicts: 846000 | #Constraints: 90671
2053.72/2059.87 c #Conflicts: 847000 | #Constraints: 91671
2053.72/2059.87 c #Conflicts: 848000 | #Constraints: 92671
2053.72/2059.87 c #Conflicts: 849000 | #Constraints: 93671
2053.72/2059.87 c #Conflicts: 850000 | #Constraints: 94671
2053.72/2059.87 c #Conflicts: 851000 | #Constraints: 95671
2053.72/2059.87 c #Conflicts: 852000 | #Constraints: 96671
2053.72/2059.87 c #Conflicts: 853000 | #Constraints: 97671
2053.72/2059.87 c #Conflicts: 854000 | #Constraints: 98671
2053.72/2059.87 c #Conflicts: 855000 | #Constraints: 99671
2053.72/2059.87 c #Conflicts: 856000 | #Constraints: 100671
2053.72/2059.87 c #Conflicts: 857000 | #Constraints: 101671
2053.72/2059.87 c #Conflicts: 858000 | #Constraints: 102671
2053.72/2059.87 c INPROCESSING
2053.72/2059.87 c GARBAGE COLLECT
2053.72/2059.87 c #Conflicts: 859000 | #Constraints: 74592
2053.72/2059.87 c #Conflicts: 860000 | #Constraints: 75592
2053.72/2059.87 c #Conflicts: 861000 | #Constraints: 76592
2053.72/2059.87 c #Conflicts: 862000 | #Constraints: 77592
2053.72/2059.87 c #Conflicts: 863000 | #Constraints: 78592
2053.72/2059.87 c #Conflicts: 864000 | #Constraints: 79592
2053.72/2059.87 c #Conflicts: 865000 | #Constraints: 80592
2053.72/2059.87 c #Conflicts: 866000 | #Constraints: 81592
2053.72/2059.87 c #Conflicts: 867000 | #Constraints: 82592
2053.72/2059.87 c #Conflicts: 868000 | #Constraints: 83592
2053.72/2059.87 c #Conflicts: 869000 | #Constraints: 84592
2053.72/2059.87 c #Conflicts: 870000 | #Constraints: 85592
2053.72/2059.87 c #Conflicts: 871000 | #Constraints: 86592
2053.72/2059.87 c #Conflicts: 872000 | #Constraints: 87592
2053.72/2059.87 c #Conflicts: 873000 | #Constraints: 88592
2053.72/2059.87 c #Conflicts: 874000 | #Constraints: 89592
2053.72/2059.87 c #Conflicts: 875000 | #Constraints: 90592
2053.72/2059.87 c #Conflicts: 876000 | #Constraints: 91592
2053.72/2059.87 c #Conflicts: 877000 | #Constraints: 92592
2053.72/2059.87 c #Conflicts: 878000 | #Constraints: 93592
2053.72/2059.87 c #Conflicts: 879000 | #Constraints: 94592
2053.72/2059.87 c #Conflicts: 880000 | #Constraints: 95592
2053.72/2059.87 c #Conflicts: 881000 | #Constraints: 96592
2053.72/2059.87 c #Conflicts: 882000 | #Constraints: 97592
2053.72/2059.87 c #Conflicts: 883000 | #Constraints: 98592
2053.72/2059.87 c #Conflicts: 884000 | #Constraints: 99592
2053.72/2059.87 c #Conflicts: 885000 | #Constraints: 100592
2053.72/2059.87 c #Conflicts: 886000 | #Constraints: 101592
2053.72/2059.87 c #Conflicts: 887000 | #Constraints: 102592
2053.72/2059.87 c #Conflicts: 888000 | #Constraints: 103592
2053.72/2059.87 c #Conflicts: 889000 | #Constraints: 104592
2053.72/2059.87 c #Conflicts: 890000 | #Constraints: 105592
2053.72/2059.87 c #Conflicts: 891000 | #Constraints: 106592
2053.72/2059.87 c #Conflicts: 892000 | #Constraints: 107592
2053.72/2059.87 c #Conflicts: 893000 | #Constraints: 108592
2053.72/2059.87 c #Conflicts: 894000 | #Constraints: 109592
2053.72/2059.87 c #Conflicts: 895000 | #Constraints: 110592
2053.72/2059.87 c #Conflicts: 896000 | #Constraints: 111592
2053.72/2059.87 c #Conflicts: 897000 | #Constraints: 112592
2053.72/2059.87 c #Conflicts: 898000 | #Constraints: 113592
2053.72/2059.87 c #Conflicts: 899000 | #Constraints: 114592
2053.72/2059.87 c #Conflicts: 900000 | #Constraints: 115592
2053.72/2059.87 c #Conflicts: 901000 | #Constraints: 116592
2053.72/2059.87 c #Conflicts: 902000 | #Constraints: 117592
2053.72/2059.87 c #Conflicts: 903000 | #Constraints: 118592
2053.72/2059.87 c #Conflicts: 904000 | #Constraints: 119592
2053.72/2059.87 c #Conflicts: 905000 | #Constraints: 120592
2053.72/2059.87 c #Conflicts: 906000 | #Constraints: 121592
2053.72/2059.87 c #Conflicts: 907000 | #Constraints: 122592
2053.72/2059.87 c #Conflicts: 908000 | #Constraints: 123592
2053.72/2059.87 c #Conflicts: 909000 | #Constraints: 124592
2053.72/2059.87 c #Conflicts: 910000 | #Constraints: 125592
2053.72/2059.87 c #Conflicts: 911000 | #Constraints: 126592
2115.66/2121.97 c #Conflicts: 912000 | #Constraints: 127592
2115.66/2121.97 c #Conflicts: 913000 | #Constraints: 128592
2115.66/2121.97 c #Conflicts: 914000 | #Constraints: 129592
2115.66/2121.97 c #Conflicts: 915000 | #Constraints: 130592
2115.66/2121.97 c #Conflicts: 916000 | #Constraints: 131592
2115.66/2121.97 c #Conflicts: 917000 | #Constraints: 132592
2115.66/2121.97 c #Conflicts: 918000 | #Constraints: 133592
2115.66/2121.97 c #Conflicts: 919000 | #Constraints: 134592
2115.66/2121.97 c #Conflicts: 920000 | #Constraints: 135592
2115.66/2121.97 c INPROCESSING
2115.66/2121.97 c GARBAGE COLLECT
2115.66/2121.97 c rational objective 177
2343.76/2350.61 c #Conflicts: 921000 | #Constraints: 80945
2343.76/2350.61 c #Conflicts: 922000 | #Constraints: 81945
2343.76/2350.61 c #Conflicts: 923000 | #Constraints: 82945
2343.76/2350.61 c #Conflicts: 924000 | #Constraints: 83945
2343.76/2350.61 c #Conflicts: 925000 | #Constraints: 84945
2343.76/2350.61 c #Conflicts: 926000 | #Constraints: 85945
2343.76/2350.61 c #Conflicts: 927000 | #Constraints: 86945
2343.76/2350.61 c #Conflicts: 928000 | #Constraints: 87945
2343.76/2350.61 c #Conflicts: 929000 | #Constraints: 88945
2343.76/2350.61 c #Conflicts: 930000 | #Constraints: 89945
2343.76/2350.61 c #Conflicts: 931000 | #Constraints: 90945
2343.76/2350.61 c #Conflicts: 932000 | #Constraints: 91945
2343.76/2350.61 c #Conflicts: 933000 | #Constraints: 92945
2343.76/2350.61 c #Conflicts: 934000 | #Constraints: 93946
2343.76/2350.61 c #Conflicts: 935000 | #Constraints: 94946
2343.76/2350.61 c #Conflicts: 936000 | #Constraints: 95946
2343.76/2350.61 c #Conflicts: 937000 | #Constraints: 96946
2343.76/2350.61 c #Conflicts: 938000 | #Constraints: 97946
2343.76/2350.61 c #Conflicts: 939000 | #Constraints: 98946
2343.76/2350.61 c #Conflicts: 940000 | #Constraints: 99946
2343.76/2350.61 c #Conflicts: 941000 | #Constraints: 100946
2343.76/2350.61 c #Conflicts: 942000 | #Constraints: 101946
2343.76/2350.61 c #Conflicts: 943000 | #Constraints: 102946
2343.76/2350.61 c #Conflicts: 944000 | #Constraints: 103946
2343.76/2350.61 c #Conflicts: 945000 | #Constraints: 104946
2343.76/2350.61 c #Conflicts: 946000 | #Constraints: 105946
2343.76/2350.61 c #Conflicts: 947000 | #Constraints: 106946
2343.76/2350.61 c INPROCESSING
2343.76/2350.61 c GARBAGE COLLECT
2343.76/2350.61 c #Conflicts: 948000 | #Constraints: 77438
2343.76/2350.61 c #Conflicts: 949000 | #Constraints: 78438
2343.76/2350.61 c #Conflicts: 950000 | #Constraints: 79438
2343.76/2350.61 c #Conflicts: 951000 | #Constraints: 80438
2343.76/2350.61 c #Conflicts: 952000 | #Constraints: 81438
2343.76/2350.61 c #Conflicts: 953000 | #Constraints: 82438
2343.76/2350.61 c #Conflicts: 954000 | #Constraints: 83438
2343.76/2350.61 c #Conflicts: 955000 | #Constraints: 84438
2343.76/2350.61 c #Conflicts: 956000 | #Constraints: 85438
2343.76/2350.61 c #Conflicts: 957000 | #Constraints: 86438
2343.76/2350.61 c #Conflicts: 958000 | #Constraints: 87438
2343.76/2350.61 c #Conflicts: 959000 | #Constraints: 88438
2343.76/2350.61 c #Conflicts: 960000 | #Constraints: 89438
2343.76/2350.61 c #Conflicts: 961000 | #Constraints: 90438
2343.76/2350.61 c #Conflicts: 962000 | #Constraints: 91438
2343.76/2350.61 c #Conflicts: 963000 | #Constraints: 92438
2343.76/2350.61 c #Conflicts: 964000 | #Constraints: 93438
2343.76/2350.61 c #Conflicts: 965000 | #Constraints: 94438
2343.76/2350.61 c #Conflicts: 966000 | #Constraints: 95438
2343.76/2350.61 c #Conflicts: 967000 | #Constraints: 96438
2343.76/2350.61 c #Conflicts: 968000 | #Constraints: 97438
2343.76/2350.61 c #Conflicts: 969000 | #Constraints: 98438
2343.76/2350.61 c #Conflicts: 970000 | #Constraints: 99438
2343.76/2350.61 c #Conflicts: 971000 | #Constraints: 100438
2343.76/2350.61 c #Conflicts: 972000 | #Constraints: 101438
2343.76/2350.61 c #Conflicts: 973000 | #Constraints: 102438
2343.76/2350.61 c #Conflicts: 974000 | #Constraints: 103438
2343.76/2350.61 c #Conflicts: 975000 | #Constraints: 104438
2343.76/2350.61 c #Conflicts: 976000 | #Constraints: 105438
2343.76/2350.61 c #Conflicts: 977000 | #Constraints: 106438
2343.76/2350.61 c #Conflicts: 978000 | #Constraints: 107438
2343.76/2350.61 c #Conflicts: 979000 | #Constraints: 108438
2343.76/2350.61 c #Conflicts: 980000 | #Constraints: 109438
2343.76/2350.61 c #Conflicts: 981000 | #Constraints: 110438
2343.76/2350.61 c #Conflicts: 982000 | #Constraints: 111438
2343.76/2350.61 c #Conflicts: 983000 | #Constraints: 112438
2343.76/2350.61 c #Conflicts: 984000 | #Constraints: 113438
2343.76/2350.61 c #Conflicts: 985000 | #Constraints: 114438
2343.76/2350.61 c #Conflicts: 986000 | #Constraints: 115438
2343.76/2350.61 c #Conflicts: 987000 | #Constraints: 116438
2343.76/2350.61 c #Conflicts: 988000 | #Constraints: 117438
2343.76/2350.61 c #Conflicts: 989000 | #Constraints: 118438
2343.76/2350.61 c #Conflicts: 990000 | #Constraints: 119438
2343.76/2350.61 c #Conflicts: 991000 | #Constraints: 120438
2343.76/2350.61 c #Conflicts: 992000 | #Constraints: 121438
2343.76/2350.61 c #Conflicts: 993000 | #Constraints: 122438
2343.76/2350.61 c #Conflicts: 994000 | #Constraints: 123438
2343.76/2350.61 c #Conflicts: 995000 | #Constraints: 124438
2343.76/2350.61 c #Conflicts: 996000 | #Constraints: 125438
2343.76/2350.61 c #Conflicts: 997000 | #Constraints: 126438
2343.76/2350.61 c #Conflicts: 998000 | #Constraints: 127438
2343.76/2350.61 c #Conflicts: 999000 | #Constraints: 128438
2601.40/2608.96 c #Conflicts: 1000000 | #Constraints: 129438
2601.40/2608.96 c #Conflicts: 1001000 | #Constraints: 130438
2601.40/2608.96 c #Conflicts: 1002000 | #Constraints: 131438
2601.40/2608.96 c #Conflicts: 1003000 | #Constraints: 132438
2601.40/2608.96 c #Conflicts: 1004000 | #Constraints: 133438
2601.40/2608.96 c #Conflicts: 1005000 | #Constraints: 134438
2601.40/2608.96 c #Conflicts: 1006000 | #Constraints: 135438
2601.40/2608.96 c #Conflicts: 1007000 | #Constraints: 136438
2601.40/2608.96 c #Conflicts: 1008000 | #Constraints: 137438
2601.40/2608.96 c #Conflicts: 1009000 | #Constraints: 138438
2601.40/2608.96 c #Conflicts: 1010000 | #Constraints: 139438
2601.40/2608.96 c #Conflicts: 1011000 | #Constraints: 140438
2601.40/2608.96 c #Conflicts: 1012000 | #Constraints: 141438
2601.40/2608.96 c INPROCESSING
2601.40/2608.96 c GARBAGE COLLECT
2601.40/2608.96 c #Conflicts: 1013000 | #Constraints: 83723
2601.40/2608.96 c #Conflicts: 1014000 | #Constraints: 84723
2601.40/2608.96 c #Conflicts: 1015000 | #Constraints: 85723
2601.40/2608.96 c #Conflicts: 1016000 | #Constraints: 86723
2601.40/2608.96 c #Conflicts: 1017000 | #Constraints: 87723
2601.40/2608.96 c #Conflicts: 1018000 | #Constraints: 88723
2601.40/2608.96 c #Conflicts: 1019000 | #Constraints: 89723
2601.40/2608.96 c #Conflicts: 1020000 | #Constraints: 90723
2601.40/2608.96 c #Conflicts: 1021000 | #Constraints: 91723
2601.40/2608.96 c #Conflicts: 1022000 | #Constraints: 92723
2601.40/2608.96 c #Conflicts: 1023000 | #Constraints: 93723
2601.40/2608.96 c #Conflicts: 1024000 | #Constraints: 94723
2601.40/2608.96 c #Conflicts: 1025000 | #Constraints: 95723
2601.40/2608.96 c #Conflicts: 1026000 | #Constraints: 96723
2601.40/2608.96 c #Conflicts: 1027000 | #Constraints: 97723
2601.40/2608.96 c #Conflicts: 1028000 | #Constraints: 98723
2601.40/2608.96 c #Conflicts: 1029000 | #Constraints: 99723
2601.40/2608.96 c #Conflicts: 1030000 | #Constraints: 100723
2601.40/2608.96 c #Conflicts: 1031000 | #Constraints: 101723
2601.40/2608.96 c #Conflicts: 1032000 | #Constraints: 102723
2601.40/2608.96 c #Conflicts: 1033000 | #Constraints: 103723
2601.40/2608.96 c #Conflicts: 1034000 | #Constraints: 104723
2601.40/2608.96 c #Conflicts: 1035000 | #Constraints: 105723
2601.40/2608.96 c #Conflicts: 1036000 | #Constraints: 106723
2601.40/2608.96 c #Conflicts: 1037000 | #Constraints: 107723
2601.40/2608.96 c #Conflicts: 1038000 | #Constraints: 108723
2601.40/2608.96 c #Conflicts: 1039000 | #Constraints: 109723
2601.40/2608.96 c #Conflicts: 1040000 | #Constraints: 110723
2601.40/2608.96 c INPROCESSING
2601.40/2608.96 c GARBAGE COLLECT
2601.40/2608.96 c #Conflicts: 1041000 | #Constraints: 79163
2601.40/2608.96 c #Conflicts: 1042000 | #Constraints: 80163
2601.40/2608.96 c #Conflicts: 1043000 | #Constraints: 81163
2601.40/2608.96 c #Conflicts: 1044000 | #Constraints: 82163
2601.40/2608.96 c #Conflicts: 1045000 | #Constraints: 83163
2601.40/2608.96 c #Conflicts: 1046000 | #Constraints: 84163
2601.40/2608.96 c #Conflicts: 1047000 | #Constraints: 85163
2601.40/2608.96 c #Conflicts: 1048000 | #Constraints: 86163
2601.40/2608.96 c #Conflicts: 1049000 | #Constraints: 87163
2601.40/2608.96 c #Conflicts: 1050000 | #Constraints: 88163
2601.40/2608.96 c #Conflicts: 1051000 | #Constraints: 89163
2601.40/2608.96 c #Conflicts: 1052000 | #Constraints: 90163
2601.40/2608.96 c #Conflicts: 1053000 | #Constraints: 91163
2601.40/2608.96 c #Conflicts: 1054000 | #Constraints: 92163
2601.40/2608.96 c #Conflicts: 1055000 | #Constraints: 93163
2601.40/2608.96 c #Conflicts: 1056000 | #Constraints: 94163
2601.40/2608.96 c #Conflicts: 1057000 | #Constraints: 95163
2601.40/2608.96 c #Conflicts: 1058000 | #Constraints: 96163
2601.40/2608.96 c #Conflicts: 1059000 | #Constraints: 97163
2601.40/2608.96 c #Conflicts: 1060000 | #Constraints: 98163
2601.40/2608.96 c #Conflicts: 1061000 | #Constraints: 99163
2601.40/2608.96 c #Conflicts: 1062000 | #Constraints: 100163
2601.40/2608.96 c #Conflicts: 1063000 | #Constraints: 101163
2601.40/2608.96 c #Conflicts: 1064000 | #Constraints: 102163
2601.40/2608.96 c #Conflicts: 1065000 | #Constraints: 103163
2601.40/2608.96 c #Conflicts: 1066000 | #Constraints: 104163
2601.40/2608.96 c #Conflicts: 1067000 | #Constraints: 105163
2601.40/2608.96 c #Conflicts: 1068000 | #Constraints: 106163
2601.40/2608.96 c #Conflicts: 1069000 | #Constraints: 107163
2601.40/2608.96 c #Conflicts: 1070000 | #Constraints: 108163
2601.40/2608.96 c #Conflicts: 1071000 | #Constraints: 109163
2601.40/2608.96 c #Conflicts: 1072000 | #Constraints: 110163
2601.40/2608.96 c #Conflicts: 1073000 | #Constraints: 111163
2601.40/2608.96 c #Conflicts: 1074000 | #Constraints: 112163
2601.40/2608.96 c #Conflicts: 1075000 | #Constraints: 113163
2601.40/2608.96 c #Conflicts: 1076000 | #Constraints: 114163
3100.23/3109.04 c #Conflicts: 1077000 | #Constraints: 115163
3100.23/3109.04 c #Conflicts: 1078000 | #Constraints: 116163
3100.23/3109.04 c #Conflicts: 1079000 | #Constraints: 117163
3100.23/3109.04 c #Conflicts: 1080000 | #Constraints: 118163
3100.23/3109.04 c #Conflicts: 1081000 | #Constraints: 119163
3100.23/3109.04 c #Conflicts: 1082000 | #Constraints: 120163
3100.23/3109.04 c #Conflicts: 1083000 | #Constraints: 121163
3100.23/3109.04 c #Conflicts: 1084000 | #Constraints: 122163
3100.23/3109.04 c #Conflicts: 1085000 | #Constraints: 123163
3100.23/3109.04 c #Conflicts: 1086000 | #Constraints: 124163
3100.23/3109.04 c #Conflicts: 1087000 | #Constraints: 125163
3100.23/3109.04 c #Conflicts: 1088000 | #Constraints: 126163
3100.23/3109.04 c #Conflicts: 1089000 | #Constraints: 127163
3100.23/3109.04 c #Conflicts: 1090000 | #Constraints: 128163
3100.23/3109.04 c #Conflicts: 1091000 | #Constraints: 129163
3100.23/3109.04 c #Conflicts: 1092000 | #Constraints: 130163
3100.23/3109.04 c #Conflicts: 1093000 | #Constraints: 131163
3100.23/3109.04 c #Conflicts: 1094000 | #Constraints: 132163
3100.23/3109.04 c #Conflicts: 1095000 | #Constraints: 133163
3100.23/3109.04 c #Conflicts: 1096000 | #Constraints: 134163
3100.23/3109.04 c #Conflicts: 1097000 | #Constraints: 135163
3100.23/3109.04 c #Conflicts: 1098000 | #Constraints: 136163
3100.23/3109.04 c #Conflicts: 1099000 | #Constraints: 137163
3100.23/3109.04 c #Conflicts: 1100000 | #Constraints: 138163
3100.23/3109.04 c #Conflicts: 1101000 | #Constraints: 139163
3100.23/3109.04 c #Conflicts: 1102000 | #Constraints: 140163
3100.23/3109.04 c #Conflicts: 1103000 | #Constraints: 141163
3100.23/3109.04 c #Conflicts: 1104000 | #Constraints: 142163
3100.23/3109.04 c #Conflicts: 1105000 | #Constraints: 143163
3100.23/3109.04 c #Conflicts: 1106000 | #Constraints: 144163
3100.23/3109.04 c #Conflicts: 1107000 | #Constraints: 145163
3100.23/3109.04 c #Conflicts: 1108000 | #Constraints: 146163
3100.23/3109.04 c INPROCESSING
3100.23/3109.04 c GARBAGE COLLECT
3100.23/3109.04 c #Conflicts: 1109000 | #Constraints: 86018
3100.23/3109.04 c #Conflicts: 1110000 | #Constraints: 87018
3100.23/3109.04 c #Conflicts: 1111000 | #Constraints: 88018
3100.23/3109.04 c #Conflicts: 1112000 | #Constraints: 89018
3100.23/3109.04 c #Conflicts: 1113000 | #Constraints: 90018
3100.23/3109.04 c #Conflicts: 1114000 | #Constraints: 91018
3100.23/3109.04 c #Conflicts: 1115000 | #Constraints: 92018
3100.23/3109.04 c #Conflicts: 1116000 | #Constraints: 93018
3100.23/3109.04 c #Conflicts: 1117000 | #Constraints: 94018
3100.23/3109.04 c #Conflicts: 1118000 | #Constraints: 95018
3100.23/3109.04 c #Conflicts: 1119000 | #Constraints: 96018
3100.23/3109.04 c #Conflicts: 1120000 | #Constraints: 97018
3100.23/3109.04 c #Conflicts: 1121000 | #Constraints: 98018
3100.23/3109.04 c #Conflicts: 1122000 | #Constraints: 99018
3100.23/3109.04 c #Conflicts: 1123000 | #Constraints: 100018
3100.23/3109.04 c #Conflicts: 1124000 | #Constraints: 101018
3100.23/3109.04 c #Conflicts: 1125000 | #Constraints: 102019
3100.23/3109.04 c #Conflicts: 1126000 | #Constraints: 103019
3100.23/3109.04 c #Conflicts: 1127000 | #Constraints: 104019
3100.23/3109.04 c #Conflicts: 1128000 | #Constraints: 105019
3100.23/3109.04 c #Conflicts: 1129000 | #Constraints: 106019
3100.23/3109.04 c #Conflicts: 1130000 | #Constraints: 107019
3100.23/3109.04 c #Conflicts: 1131000 | #Constraints: 108019
3100.23/3109.04 c #Conflicts: 1132000 | #Constraints: 109019
3100.23/3109.04 c #Conflicts: 1133000 | #Constraints: 110019
3100.23/3109.04 c #Conflicts: 1134000 | #Constraints: 111019
3100.23/3109.04 c #Conflicts: 1135000 | #Constraints: 112019
3100.23/3109.04 c #Conflicts: 1136000 | #Constraints: 113019
3100.23/3109.04 c #Conflicts: 1137000 | #Constraints: 114019
3100.23/3109.04 c #Conflicts: 1138000 | #Constraints: 115019
3100.23/3109.04 c INPROCESSING
3100.23/3109.04 c GARBAGE COLLECT
3100.23/3109.04 c #Conflicts: 1139000 | #Constraints: 80559
3100.23/3109.04 c #Conflicts: 1140000 | #Constraints: 81559
3100.23/3109.04 c #Conflicts: 1141000 | #Constraints: 82559
3100.23/3109.04 c #Conflicts: 1142000 | #Constraints: 83559
3100.23/3109.04 c #Conflicts: 1143000 | #Constraints: 84559
3100.23/3109.04 c #Conflicts: 1144000 | #Constraints: 85559
3100.23/3109.04 c #Conflicts: 1145000 | #Constraints: 86559
3100.23/3109.04 c #Conflicts: 1146000 | #Constraints: 87559
3100.23/3109.04 c #Conflicts: 1147000 | #Constraints: 88559
3100.23/3109.04 c #Conflicts: 1148000 | #Constraints: 89559
3100.23/3109.04 c #Conflicts: 1149000 | #Constraints: 90559
3100.23/3109.04 c #Conflicts: 1150000 | #Constraints: 91559
3100.23/3109.04 c #Conflicts: 1151000 | #Constraints: 92559
3100.23/3109.04 c #Conflicts: 1152000 | #Constraints: 93559
3100.23/3109.04 c #Conflicts: 1153000 | #Constraints: 94559
3100.23/3109.04 c #Conflicts: 1154000 | #Constraints: 95559
3311.16/3320.50 c #Conflicts: 1155000 | #Constraints: 96559
3311.16/3320.50 c #Conflicts: 1156000 | #Constraints: 97559
3311.16/3320.50 c #Conflicts: 1157000 | #Constraints: 98559
3311.16/3320.50 c #Conflicts: 1158000 | #Constraints: 99559
3311.16/3320.50 c #Conflicts: 1159000 | #Constraints: 100559
3311.16/3320.50 c #Conflicts: 1160000 | #Constraints: 101559
3311.16/3320.50 c #Conflicts: 1161000 | #Constraints: 102559
3311.16/3320.50 c #Conflicts: 1162000 | #Constraints: 103559
3311.16/3320.50 c #Conflicts: 1163000 | #Constraints: 104559
3311.16/3320.50 c #Conflicts: 1164000 | #Constraints: 105559
3311.16/3320.50 c #Conflicts: 1165000 | #Constraints: 106559
3311.16/3320.50 c #Conflicts: 1166000 | #Constraints: 107559
3311.16/3320.50 c #Conflicts: 1167000 | #Constraints: 108559
3311.16/3320.50 c #Conflicts: 1168000 | #Constraints: 109559
3311.16/3320.50 c #Conflicts: 1169000 | #Constraints: 110559
3311.16/3320.50 c #Conflicts: 1170000 | #Constraints: 111559
3311.16/3320.50 c #Conflicts: 1171000 | #Constraints: 112559
3311.16/3320.50 c #Conflicts: 1172000 | #Constraints: 113559
3311.16/3320.50 c #Conflicts: 1173000 | #Constraints: 114559
3311.16/3320.51 c #Conflicts: 1174000 | #Constraints: 115559
3311.16/3320.51 c #Conflicts: 1175000 | #Constraints: 116559
3311.16/3320.51 c #Conflicts: 1176000 | #Constraints: 117559
3311.16/3320.51 c #Conflicts: 1177000 | #Constraints: 118559
3311.16/3320.51 c #Conflicts: 1178000 | #Constraints: 119559
3311.16/3320.51 c #Conflicts: 1179000 | #Constraints: 120559
3311.16/3320.51 c #Conflicts: 1180000 | #Constraints: 121559
3311.16/3320.51 c #Conflicts: 1181000 | #Constraints: 122559
3311.16/3320.51 c #Conflicts: 1182000 | #Constraints: 123559
3311.16/3320.51 c #Conflicts: 1183000 | #Constraints: 124559
3311.16/3320.51 c #Conflicts: 1184000 | #Constraints: 125559
3311.16/3320.51 c #Conflicts: 1185000 | #Constraints: 126559
3311.16/3320.51 c #Conflicts: 1186000 | #Constraints: 127559
3311.16/3320.51 c #Conflicts: 1187000 | #Constraints: 128559
3311.16/3320.51 c #Conflicts: 1188000 | #Constraints: 129559
3311.16/3320.51 c #Conflicts: 1189000 | #Constraints: 130559
3311.16/3320.51 c #Conflicts: 1190000 | #Constraints: 131559
3311.16/3320.51 c #Conflicts: 1191000 | #Constraints: 132559
3311.16/3320.51 c #Conflicts: 1192000 | #Constraints: 133559
3311.16/3320.51 c #Conflicts: 1193000 | #Constraints: 134559
3311.16/3320.51 c #Conflicts: 1194000 | #Constraints: 135559
3311.16/3320.51 c #Conflicts: 1195000 | #Constraints: 136559
3311.16/3320.51 c #Conflicts: 1196000 | #Constraints: 137559
3311.16/3320.51 c #Conflicts: 1197000 | #Constraints: 138559
3311.16/3320.51 c #Conflicts: 1198000 | #Constraints: 139559
3311.16/3320.51 c #Conflicts: 1199000 | #Constraints: 140559
3311.16/3320.51 c #Conflicts: 1200000 | #Constraints: 141559
3311.16/3320.51 c #Conflicts: 1201000 | #Constraints: 142559
3311.16/3320.51 c #Conflicts: 1202000 | #Constraints: 143559
3311.16/3320.51 c #Conflicts: 1203000 | #Constraints: 144559
3311.16/3320.51 c #Conflicts: 1204000 | #Constraints: 145559
3311.16/3320.51 c #Conflicts: 1205000 | #Constraints: 146559
3311.16/3320.51 c #Conflicts: 1206000 | #Constraints: 147559
3311.16/3320.51 c #Conflicts: 1207000 | #Constraints: 148559
3311.16/3320.51 c #Conflicts: 1208000 | #Constraints: 149559
3311.16/3320.51 c #Conflicts: 1209000 | #Constraints: 150559
3311.16/3320.51 c INPROCESSING
3311.16/3320.51 c GARBAGE COLLECT
3311.16/3320.51 c #Conflicts: 1210000 | #Constraints: 88221
3311.16/3320.51 c #Conflicts: 1211000 | #Constraints: 89221
3311.16/3320.51 c #Conflicts: 1212000 | #Constraints: 90221
3311.16/3320.51 c #Conflicts: 1213000 | #Constraints: 91221
3311.16/3320.51 c #Conflicts: 1214000 | #Constraints: 92221
3311.16/3320.51 c #Conflicts: 1215000 | #Constraints: 93221
3311.16/3320.51 c #Conflicts: 1216000 | #Constraints: 94221
3311.16/3320.51 c #Conflicts: 1217000 | #Constraints: 95221
3311.16/3320.51 c #Conflicts: 1218000 | #Constraints: 96221
3311.16/3320.51 c #Conflicts: 1219000 | #Constraints: 97221
3311.16/3320.51 c #Conflicts: 1220000 | #Constraints: 98221
3311.16/3320.51 c #Conflicts: 1221000 | #Constraints: 99221
3311.16/3320.51 c #Conflicts: 1222000 | #Constraints: 100221
3311.16/3320.51 c #Conflicts: 1223000 | #Constraints: 101221
3311.16/3320.51 c #Conflicts: 1224000 | #Constraints: 102221
3311.16/3320.51 c #Conflicts: 1225000 | #Constraints: 103221
3311.16/3320.51 c #Conflicts: 1226000 | #Constraints: 104221
3311.16/3320.51 c #Conflicts: 1227000 | #Constraints: 105221
3311.16/3320.51 c #Conflicts: 1228000 | #Constraints: 106221
3311.16/3320.51 c #Conflicts: 1229000 | #Constraints: 107221
3311.16/3320.51 c #Conflicts: 1230000 | #Constraints: 108221
3311.16/3320.51 c #Conflicts: 1231000 | #Constraints: 109221
3311.16/3320.51 c #Conflicts: 1232000 | #Constraints: 110221
3523.29/3533.20 c #Conflicts: 1233000 | #Constraints: 111221
3523.29/3533.20 c #Conflicts: 1234000 | #Constraints: 112221
3523.29/3533.20 c #Conflicts: 1235000 | #Constraints: 113221
3523.29/3533.20 c #Conflicts: 1236000 | #Constraints: 114221
3523.29/3533.20 c #Conflicts: 1237000 | #Constraints: 115221
3523.29/3533.20 c #Conflicts: 1238000 | #Constraints: 116221
3523.29/3533.20 c #Conflicts: 1239000 | #Constraints: 117221
3523.29/3533.20 c #Conflicts: 1240000 | #Constraints: 118221
3523.29/3533.20 c INPROCESSING
3523.29/3533.20 c GARBAGE COLLECT
3523.29/3533.20 c #Conflicts: 1241000 | #Constraints: 83183
3523.29/3533.20 c #Conflicts: 1242000 | #Constraints: 84183
3523.29/3533.20 c #Conflicts: 1243000 | #Constraints: 85183
3523.29/3533.20 c #Conflicts: 1244000 | #Constraints: 86183
3523.29/3533.20 c #Conflicts: 1245000 | #Constraints: 87183
3523.29/3533.20 c #Conflicts: 1246000 | #Constraints: 88183
3523.29/3533.20 c #Conflicts: 1247000 | #Constraints: 89183
3523.29/3533.20 c #Conflicts: 1248000 | #Constraints: 90183
3523.29/3533.20 c #Conflicts: 1249000 | #Constraints: 91183
3523.29/3533.20 c #Conflicts: 1250000 | #Constraints: 92183
3523.29/3533.20 c #Conflicts: 1251000 | #Constraints: 93183
3523.29/3533.20 c #Conflicts: 1252000 | #Constraints: 94183
3523.29/3533.20 c #Conflicts: 1253000 | #Constraints: 95183
3523.29/3533.20 c #Conflicts: 1254000 | #Constraints: 96183
3523.29/3533.20 c #Conflicts: 1255000 | #Constraints: 97183
3523.29/3533.20 c #Conflicts: 1256000 | #Constraints: 98183
3523.29/3533.20 c #Conflicts: 1257000 | #Constraints: 99183
3523.29/3533.20 c #Conflicts: 1258000 | #Constraints: 100183
3523.29/3533.20 c #Conflicts: 1259000 | #Constraints: 101183
3523.29/3533.20 c #Conflicts: 1260000 | #Constraints: 102183
3523.29/3533.20 c #Conflicts: 1261000 | #Constraints: 103183
3523.29/3533.20 c #Conflicts: 1262000 | #Constraints: 104183
3523.29/3533.20 c #Conflicts: 1263000 | #Constraints: 105183
3523.29/3533.20 c #Conflicts: 1264000 | #Constraints: 106183
3523.29/3533.20 c #Conflicts: 1265000 | #Constraints: 107183
3523.29/3533.20 c #Conflicts: 1266000 | #Constraints: 108183
3523.29/3533.20 c #Conflicts: 1267000 | #Constraints: 109183
3523.29/3533.20 c #Conflicts: 1268000 | #Constraints: 110183
3523.29/3533.20 c #Conflicts: 1269000 | #Constraints: 111183
3523.29/3533.20 c #Conflicts: 1270000 | #Constraints: 112183
3523.29/3533.20 c #Conflicts: 1271000 | #Constraints: 113183
3523.29/3533.20 c #Conflicts: 1272000 | #Constraints: 114183
3523.29/3533.20 c #Conflicts: 1273000 | #Constraints: 115183
3523.29/3533.20 c #Conflicts: 1274000 | #Constraints: 116183
3523.29/3533.20 c #Conflicts: 1275000 | #Constraints: 117183
3523.29/3533.20 c #Conflicts: 1276000 | #Constraints: 118183
3523.29/3533.20 c #Conflicts: 1277000 | #Constraints: 119183
3523.29/3533.20 c #Conflicts: 1278000 | #Constraints: 120183
3523.29/3533.20 c #Conflicts: 1279000 | #Constraints: 121183
3523.29/3533.20 c #Conflicts: 1280000 | #Constraints: 122183
3523.29/3533.20 c #Conflicts: 1281000 | #Constraints: 123183
3523.29/3533.20 c #Conflicts: 1282000 | #Constraints: 124183
3523.29/3533.20 c #Conflicts: 1283000 | #Constraints: 125183
3523.29/3533.20 c #Conflicts: 1284000 | #Constraints: 126183
3523.29/3533.20 c #Conflicts: 1285000 | #Constraints: 127183
3523.29/3533.20 c #Conflicts: 1286000 | #Constraints: 128183
3523.29/3533.20 c #Conflicts: 1287000 | #Constraints: 129183
3523.29/3533.20 c #Conflicts: 1288000 | #Constraints: 130183
3523.29/3533.20 c #Conflicts: 1289000 | #Constraints: 131183
3523.29/3533.20 c #Conflicts: 1290000 | #Constraints: 132183
3523.29/3533.20 c #Conflicts: 1291000 | #Constraints: 133183
3523.29/3533.20 c #Conflicts: 1292000 | #Constraints: 134183
3523.29/3533.20 c #Conflicts: 1293000 | #Constraints: 135183
3523.29/3533.20 c #Conflicts: 1294000 | #Constraints: 136183
3523.29/3533.20 c #Conflicts: 1295000 | #Constraints: 137183
3523.29/3533.20 c #Conflicts: 1296000 | #Constraints: 138183
3523.29/3533.20 c #Conflicts: 1297000 | #Constraints: 139183
3523.29/3533.20 c #Conflicts: 1298000 | #Constraints: 140183
3523.29/3533.20 c #Conflicts: 1299000 | #Constraints: 141183
3523.29/3533.20 c #Conflicts: 1300000 | #Constraints: 142183
3523.29/3533.20 c #Conflicts: 1301000 | #Constraints: 143183
3523.29/3533.20 c #Conflicts: 1302000 | #Constraints: 144183
3523.29/3533.20 c #Conflicts: 1303000 | #Constraints: 145183
3523.29/3533.20 c #Conflicts: 1304000 | #Constraints: 146183
3523.29/3533.20 c #Conflicts: 1305000 | #Constraints: 147183
3523.29/3533.20 c #Conflicts: 1306000 | #Constraints: 148183
3523.29/3533.20 c #Conflicts: 1307000 | #Constraints: 149183
3523.29/3533.20 c #Conflicts: 1308000 | #Constraints: 150183
3523.29/3533.20 c #Conflicts: 1309000 | #Constraints: 151183
3523.29/3533.20 c #Conflicts: 1310000 | #Constraints: 152183
3600.00/3610.11 c #Conflicts: 1311000 | #Constraints: 153183
3600.00/3610.11 c #Conflicts: 1312000 | #Constraints: 154183
3600.00/3610.11 c #Conflicts: 1313000 | #Constraints: 155183
3600.00/3610.11 c #Conflicts: 1314000 | #Constraints: 156183
3600.00/3610.11 c #Conflicts: 1315000 | #Constraints: 157183
3600.00/3610.11 c INPROCESSING
3600.00/3610.11 c GARBAGE COLLECT
3600.00/3610.11 c #Conflicts: 1316000 | #Constraints: 91861
3600.00/3610.11 c #Conflicts: 1317000 | #Constraints: 92861
3600.00/3610.11 c #Conflicts: 1318000 | #Constraints: 93861
3600.00/3610.11 c #Conflicts: 1319000 | #Constraints: 94861
3600.00/3610.11 c #Conflicts: 1320000 | #Constraints: 95861
3600.00/3610.11 c #Conflicts: 1321000 | #Constraints: 96861
3600.00/3610.11 c #Conflicts: 1322000 | #Constraints: 97861
3600.00/3610.11 c #Conflicts: 1323000 | #Constraints: 98861
3600.00/3610.11 c #Conflicts: 1324000 | #Constraints: 99861
3600.00/3610.11 c #Conflicts: 1325000 | #Constraints: 100861
3600.00/3610.11 c #Conflicts: 1326000 | #Constraints: 101861
3600.00/3610.11 c #Conflicts: 1327000 | #Constraints: 102861
3600.00/3610.11 c #Conflicts: 1328000 | #Constraints: 103861
3600.00/3610.11 c #Conflicts: 1329000 | #Constraints: 104861
3600.00/3610.11 c #Conflicts: 1330000 | #Constraints: 105861
3600.00/3610.11 c #Conflicts: 1331000 | #Constraints: 106861
3600.00/3610.11 c #Conflicts: 1332000 | #Constraints: 107861
3600.00/3610.11 c #Conflicts: 1333000 | #Constraints: 108861
3600.00/3610.11 c #Conflicts: 1334000 | #Constraints: 109861
3600.00/3610.11 c #Conflicts: 1335000 | #Constraints: 110861
3600.00/3610.11 c #Conflicts: 1336000 | #Constraints: 111861
3600.00/3610.11 c #Conflicts: 1337000 | #Constraints: 112861
3600.00/3610.11 c #Conflicts: 1338000 | #Constraints: 113861
3600.00/3610.11 c cpu time 3568.94 s
3600.00/3610.11 c deterministic time 242124823240 2.42e+11
3600.00/3610.11 c optimization time 54.8312 s
3600.00/3610.11 c total solve time 3513.84 s
3600.00/3610.11 c core-guided solve time 0 s
3600.00/3610.11 c propagation time 1826.32 s
3600.00/3610.11 c conflict analysis time 1255.39 s
3600.00/3610.11 c propagations 1362688571
3600.00/3610.11 c resolve steps 81523722
3600.00/3610.11 c decisions 33787609
3600.00/3610.11 c conflicts 1338531
3600.00/3610.11 c restarts 2557
3600.00/3610.11 c inprocessing phases 48
3600.00/3610.11 c garbage collections 48 ,( 100.00 )
3600.00/3610.11 c input clauses 21242 ,( 99.17 )
3600.00/3610.11 c input cardinalities 177 ,( 0.83 )
3600.00/3610.11 c input general constraints 0 ,( 0.00 )
3600.00/3610.11 c input average constraint length 6.43
3600.00/3610.11 c input average constraint degree 1.97
3600.00/3610.11 c learned clauses 972921 ,( 72.69 )
3600.00/3610.11 c learned cardinalities 46561 ,( 3.48 )
3600.00/3610.11 c learned general constraints 319059 ,( 23.84 )
3600.00/3610.11 c learned average constraint length 783.89
3600.00/3610.11 c learned average constraint degree 22830835.86
3600.00/3610.11 c watched CF 32, 64, 128, Arb: 81148 , 0 , 0 , 0
3600.00/3610.11 c counting CF 32, 64, 128, Arb: 237911 , 0 , 0 , 0
3600.00/3610.11 c watched constraints 81148 ,( 25.43 )
3600.00/3610.11 c counting constraints 237911 ,( 74.57 )
3600.00/3610.11 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1272930832 , 723326110 , 2585991110 ,( 89670910 , 2496320200 )
3600.00/3610.11 c gcd simplifications 776
3600.00/3610.11 c detected cardinalities 7087
3600.00/3610.11 c weakened non-implied lits 366651126
3600.00/3610.11 c weakened non-implying lits 215826
3600.00/3610.11 c original variables 21063
3600.00/3610.11 c clausal propagations 634755627
3600.00/3610.11 c cardinality propagations 498650602
3600.00/3610.11 c watched propagations 4515288
3600.00/3610.11 c counting propagations 211823046
3600.00/3610.11 c watch lookups 77616011863
3600.00/3610.11 c watch backjump lookups 0
3600.00/3610.11 c watch checks 35923643664
3600.00/3610.11 c propagation checks 121047298505
3600.00/3610.11 c constraint additions 4743289223
3600.00/3610.11 c trail pops 1397795378
3600.00/3610.11 c formula constraints 21419
3600.00/3610.11 c learned constraints 1338525
3600.00/3610.11 c bound constraints 0
3600.00/3610.11 c core-guided constraints 0
3600.00/3610.11 c encountered formula constraints 51717462
3600.00/3610.11 c encountered learned constraints 31144486
3600.00/3610.11 c encountered bound constraints 0
3600.00/3610.11 c encountered core-guided constraints 0
3600.00/3610.11 c LP total time 464.452 s
3600.00/3610.11 c LP solve time 448.64 s
3600.00/3610.11 c LP constraints added 22455
3600.00/3610.11 c LP constraints removed 594
3600.00/3610.11 c LP pivots internal 134283
3600.00/3610.11 c LP pivots root 174143
3600.00/3610.11 c LP calls 19
3600.00/3610.11 c LP optimalities 7
3600.00/3610.11 c LP no pivot count 0
3600.00/3610.11 c LP infeasibilities 5
3600.00/3610.11 c LP valid Farkas constraints 5
3600.00/3610.11 c LP learned Farkas constraints 5
3600.00/3610.11 c LP basis resets 0
3600.00/3610.11 c LP cycling count 0
3600.00/3610.11 c LP singular count 0
3600.00/3610.11 c LP no primal count 0
3600.00/3610.11 c LP no farkas count 0
3600.00/3610.11 c LP other issue count 0
3600.00/3610.11 c LP Gomory cuts 6
3600.00/3610.11 c LP learned cuts 1030
3600.00/3610.11 c LP deleted cuts 594
3600.00/3610.11 c LP encountered Gomory constraints 0
3600.00/3610.11 c LP encountered Farkas constraints 296
3600.00/3610.11 c LP encountered learned Farkas constraints 4
3600.00/3610.11 c CG auxiliary variables introduced 0
3600.00/3610.11 c CG solutions found 0
3600.00/3610.11 c CG cores constructed 0
3600.00/3610.11 c CG core cardinality constraints returned 0
3600.00/3610.11 c CG unit cores 0
3600.00/3610.11 c CG single cores 0
3600.00/3610.11 c CG blocks removed during cardinality reduction 0
3600.00/3610.11 c CG first core best 0
3600.00/3610.11 c CG decision core best 0
3600.00/3610.11 c CG core reduction tie 0
3600.00/3610.11 c CG core degree average 0.00
3600.00/3610.11 c CG core slack average 0.00
3600.00/3610.11 c CG core upper bound improvements 0
3600.00/3610.11 c STR number of successful calls 0
3600.00/3610.11 c STR number of unsuccessful calls 0
3600.00/3610.11 c STR number of inconclusive calls 0
3600.00/3610.11 c STR number of successful attempts 0
3600.00/3610.11 c STR number of unsuccessful attempts 0
3600.00/3610.11 c STR number of inconclusive attempts 0
3600.00/3610.11 c STR average degree increase per successful call inf
3600.00/3610.11 c STR average degree increase per successful attempt inf
3600.00/3610.11 c STR total number of conflicts for successful attempts 0
3600.00/3610.11 c STR total number of conflicts for unsuccessful attempts 0
3600.00/3610.11 c STR total number of conflicts for inconclusive attempts 0
3600.00/3610.11 c STR average number of conflicts per successful attempt inf
3600.00/3610.11 c STR average number of conflicts per unsuccessful attempt inf
3600.00/3610.11 c STR average number of conflicts per inconclusive attempt inf
3600.00/3610.11 c AVG.sumWPerc 66.21
3600.00/3610.11 c bigint constraints 0
3600.00/3610.11 s UNKNOWN
3600.00/3610.11 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: 63794 MiB (61023 MiB free)
memory of node 1: 64507 MiB (64011 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507230-1751176271/watcher-4507230-1751176271 -o /tmp/evaluation-result-4507230-1751176271/solver-4507230-1751176271 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751169047-20704 --watchdog 3760 run-dec-ls.sh HOME/instance-4507230-1751176271.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=21448, runsolver pid=21445
Current StackSize limit: 8192 KiB
[startup+0.10007 s]*
/proc/loadavg: 4.19 4.31 4.25 5/249 21458
/proc/meminfo: memFree=128027012/131382112 swapFree=33010684/33010684
[pid=21448] ppid=21445 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21448/stat : 21448 (run-dec-ls.sh) S 21445 21448 20691 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33305977 4292608 736 18446744073709551615 94528080642048 94528081536581 140729155086960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94528081775632 94528081823376 94528099938304 140729155090791 140729155090917 140729155090917 140729155096519 0
/proc/21448/statm: 1048 736 672 219 0 110 0
[pid=21450] ppid=21448 vsize=63524 memory=18420 CPUtime=0.09 cores=5,7
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20691 0 -1 4194304 2367 0 0 0 6 3 0 0 20 0 1 0 33305978 65048576 4605 18446744073709551615 4227072 8923433 140723513659856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37007360 140723513661856 140723513661992 140723513661992 140723513667562 0
/proc/21450/statm: 15881 4605 1952 1147 0 3308 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 67716 KiB
Current children cumulated memory: 21364 KiB
[startup+0.212754 s]*
/proc/loadavg: 4.19 4.31 4.25 4/251 21464
/proc/meminfo: memFree=128014612/131382112 swapFree=33010684/33010684
[pid=21448] ppid=21445 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21448/stat : 21448 (run-dec-ls.sh) S 21445 21448 20691 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33305977 4292608 736 18446744073709551615 94528080642048 94528081536581 140729155086960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94528081775632 94528081823376 94528099938304 140729155090791 140729155090917 140729155090917 140729155096519 0
/proc/21448/statm: 1048 736 672 219 0 110 0
[pid=21450] ppid=21448 vsize=67896 memory=22464 CPUtime=0.2 cores=5,7
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20691 0 -1 4194304 3462 0 0 0 14 6 0 0 20 0 1 0 33305978 69525504 5616 18446744073709551615 4227072 8923433 140723513659856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37007360 140723513661856 140723513661992 140723513661992 140723513667562 0
/proc/21450/statm: 16974 5616 1952 1147 0 4401 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 72088 KiB
Current children cumulated memory: 25408 KiB
[startup+0.313037 s]*
/proc/loadavg: 4.19 4.31 4.25 4/249 21465
/proc/meminfo: memFree=128007052/131382112 swapFree=33010684/33010684
[pid=21448] ppid=21445 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21448/stat : 21448 (run-dec-ls.sh) S 21445 21448 20691 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33305977 4292608 736 18446744073709551615 94528080642048 94528081536581 140729155086960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94528081775632 94528081823376 94528099938304 140729155090791 140729155090917 140729155090917 140729155096519 0
/proc/21448/statm: 1048 736 672 219 0 110 0
[pid=21450] ppid=21448 vsize=85980 memory=39980 CPUtime=0.29 cores=5,7
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20691 0 -1 4194304 7443 0 0 0 22 7 0 0 20 0 1 0 33305978 88043520 9995 18446744073709551615 4227072 8923433 140723513659856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37007360 140723513661856 140723513661992 140723513661992 140723513667562 0
/proc/21450/statm: 21495 9995 2240 1147 0 8922 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 90172 KiB
Current children cumulated memory: 42924 KiB
[startup+0.700371 s]
/proc/loadavg: 4.19 4.31 4.25 4/248 21481
/proc/meminfo: memFree=127991112/131382112 swapFree=33010684/33010684
[pid=21448] ppid=21445 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21448/stat : 21448 (run-dec-ls.sh) S 21445 21448 20691 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33305977 4292608 736 18446744073709551615 94528080642048 94528081536581 140729155086960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94528081775632 94528081823376 94528099938304 140729155090791 140729155090917 140729155090917 140729155096519 0
/proc/21448/statm: 1048 736 672 219 0 110 0
[pid=21450] ppid=21448 vsize=116448 memory=62428 CPUtime=0.65 cores=5,7
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20691 0 -1 4194304 12818 0 0 0 55 10 0 0 20 0 1 0 33305978 119242752 15607 18446744073709551615 4227072 8923433 140723513659856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37007360 140723513661856 140723513661992 140723513661992 140723513667562 0
/proc/21450/statm: 29112 15607 2240 1147 0 16539 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 120640 KiB
Current children cumulated memory: 65372 KiB
[startup+1.50039 s]
/proc/loadavg: 4.19 4.31 4.25 5/254 21496
/proc/meminfo: memFree=127970952/131382112 swapFree=33010684/33010684
[pid=21448] ppid=21445 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21448/stat : 21448 (run-dec-ls.sh) S 21445 21448 20691 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33305977 4292608 736 18446744073709551615 94528080642048 94528081536581 140729155086960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94528081775632 94528081823376 94528099938304 140729155090791 140729155090917 140729155090917 140729155096519 0
/proc/21448/statm: 1048 736 672 219 0 110 0
[pid=21450] ppid=21448 vsize=116776 memory=63580 CPUtime=1.45 cores=5,7
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20691 0 -1 4194304 13101 0 0 0 134 11 0 0 20 0 1 0 33305978 119578624 15895 18446744073709551615 4227072 8923433 140723513659856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37007360 140723513661856 140723513661992 140723513661992 140723513667562 0
/proc/21450/statm: 29194 15895 2272 1147 0 16621 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 120968 KiB
Current children cumulated memory: 66524 KiB
[startup+3.11304 s]
/proc/loadavg: 4.10 4.29 4.25 5/254 21542
/proc/meminfo: memFree=129222276/131382112 swapFree=33010684/33010684
[pid=21448] ppid=21445 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21448/stat : 21448 (run-dec-ls.sh) S 21445 21448 20691 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33305977 4292608 736 18446744073709551615 94528080642048 94528081536581 140729155086960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94528081775632 94528081823376 94528099938304 140729155090791 140729155090917 140729155090917 140729155096519 0
/proc/21448/statm: 1048 736 672 219 0 110 0
[pid=21450] ppid=21448 vsize=116776 memory=63708 CPUtime=3.06 cores=5,7
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20691 0 -1 4194304 13126 0 0 0 295 11 0 0 20 0 1 0 33305978 119578624 15927 18446744073709551615 4227072 8923433 140723513659856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37007360 140723513661856 140723513661992 140723513661992 140723513667562 0
/proc/21450/statm: 29194 15927 2272 1147 0 16621 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 120968 KiB
Current children cumulated memory: 66652 KiB
[startup+6.30035 s]
/proc/loadavg: 4.10 4.29 4.25 5/254 21542
/proc/meminfo: memFree=129205852/131382112 swapFree=33010684/33010684
[pid=21448] ppid=21445 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21448/stat : 21448 (run-dec-ls.sh) S 21445 21448 20691 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33305977 4292608 736 18446744073709551615 94528080642048 94528081536581 140729155086960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94528081775632 94528081823376 94528099938304 140729155090791 140729155090917 140729155090917 140729155096519 0
/proc/21448/statm: 1048 736 672 219 0 110 0
[pid=21450] ppid=21448 vsize=127752 memory=77616 CPUtime=6.24 cores=5,7
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20691 0 -1 4194304 15520 0 0 0 605 19 0 0 20 0 1 0 33305978 130818048 19404 18446744073709551615 4227072 8923433 140723513659856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37007360 140723513661856 140723513661992 140723513661992 140723513667562 0
/proc/21450/statm: 31938 19404 2336 1147 0 19365 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 131944 KiB
Current children cumulated memory: 80560 KiB
[startup+12.7004 s]
/proc/loadavg: 4.16 4.29 4.25 5/254 21542
/proc/meminfo: memFree=129191992/131382112 swapFree=33010684/33010684
[pid=21448] ppid=21445 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21448/stat : 21448 (run-dec-ls.sh) S 21445 21448 20691 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33305977 4292608 736 18446744073709551615 94528080642048 94528081536581 140729155086960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94528081775632 94528081823376 94528099938304 140729155090791 140729155090917 140729155090917 140729155096519 0
/proc/21448/statm: 1048 736 672 219 0 110 0
[pid=21450] ppid=21448 vsize=133636 memory=83504 CPUtime=12.62 cores=5,7
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20691 0 -1 4194304 16997 0 0 0 1228 34 0 0 20 0 1 0 33305978 136843264 20876 18446744073709551615 4227072 8923433 140723513659856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37007360 140723513661856 140723513661992 140723513661992 140723513667562 0
/proc/21450/statm: 33409 20876 2336 1147 0 20836 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 137828 KiB
Current children cumulated memory: 86448 KiB
[startup+25.5004 s]
/proc/loadavg: 4.14 4.28 4.25 5/254 21542
/proc/meminfo: memFree=129159768/131382112 swapFree=33010684/33010684
[pid=21448] ppid=21445 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21448/stat : 21448 (run-dec-ls.sh) S 21445 21448 20691 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33305977 4292608 736 18446744073709551615 94528080642048 94528081536581 140729155086960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94528081775632 94528081823376 94528099938304 140729155090791 140729155090917 140729155090917 140729155096519 0
/proc/21448/statm: 1048 736 672 219 0 110 0
[pid=21450] ppid=21448 vsize=158060 memory=101652 CPUtime=25.39 cores=5,7
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20691 0 -1 4194304 21033 0 0 0 2473 66 0 0 20 0 1 0 33305978 161853440 25413 18446744073709551615 4227072 8923433 140723513659856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37007360 140723513661856 140723513661992 140723513661992 140723513667562 0
/proc/21450/statm: 39515 25413 2336 1147 0 26942 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 162252 KiB
Current children cumulated memory: 104596 KiB
[startup+51.1129 s]
/proc/loadavg: 4.15 4.27 4.25 5/254 21543
/proc/meminfo: memFree=129073580/131382112 swapFree=33010684/33010684
[pid=21448] ppid=21445 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21448/stat : 21448 (run-dec-ls.sh) S 21445 21448 20691 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33305977 4292608 736 18446744073709551615 94528080642048 94528081536581 140729155086960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94528081775632 94528081823376 94528099938304 140729155090791 140729155090917 140729155090917 140729155096519 0
/proc/21448/statm: 1048 736 672 219 0 110 0
[pid=21450] ppid=21448 vsize=183992 memory=128464 CPUtime=50.93 cores=5,7
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20691 0 -1 4194304 25763 0 0 0 4971 122 0 0 20 0 1 0 33305978 188407808 32116 18446744073709551615 4227072 8923433 140723513659856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37007360 140723513661856 140723513661992 140723513661992 140723513667562 0
/proc/21450/statm: 45998 32116 2336 1147 0 33425 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 188184 KiB
Current children cumulated memory: 131408 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.24 4.23 5/254 21545
/proc/meminfo: memFree=128902720/131382112 swapFree=33010684/33010684
[pid=21448] ppid=21445 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21448/stat : 21448 (run-dec-ls.sh) S 21445 21448 20691 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33305977 4292608 736 18446744073709551615 94528080642048 94528081536581 140729155086960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94528081775632 94528081823376 94528099938304 140729155090791 140729155090917 140729155090917 140729155096519 0
/proc/21448/statm: 1048 736 672 219 0 110 0
[pid=21450] ppid=21448 vsize=244756 memory=185496 CPUtime=101.99 cores=5,7
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20691 0 -1 4194304 36437 0 0 0 9984 215 0 0 20 0 1 0 33305978 250630144 46374 18446744073709551615 4227072 8923433 140723513659856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37007360 140723513661856 140723513661992 140723513661992 140723513667562 0
/proc/21450/statm: 61189 46374 2336 1147 0 48616 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 248948 KiB
Current children cumulated memory: 188440 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.23 4.23 5/254 21547
/proc/meminfo: memFree=128802640/131382112 swapFree=33010684/33010684
[pid=21448] ppid=21445 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21448/stat : 21448 (run-dec-ls.sh) S 21445 21448 20691 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33305977 4292608 736 18446744073709551615 94528080642048 94528081536581 140729155086960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94528081775632 94528081823376 94528099938304 140729155090791 140729155090917 140729155090917 140729155096519 0
/proc/21448/statm: 1048 736 672 219 0 110 0
[pid=21450] ppid=21448 vsize=257780 memory=206380 CPUtime=161.82 cores=5,7
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20691 0 -1 4194304 39614 0 0 0 15868 314 0 0 20 0 1 0 33305978 263966720 51595 18446744073709551615 4227072 8923433 140723513659856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37007360 140723513661856 140723513661992 140723513661992 140723513667562 0
/proc/21450/statm: 64445 51595 2336 1147 0 51872 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 261972 KiB
Current children cumulated memory: 209324 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.20 4.22 5/254 21549
/proc/meminfo: memFree=128661692/131382112 swapFree=33010684/33010684
[pid=21448] ppid=21445 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21448/stat : 21448 (run-dec-ls.sh) S 21445 21448 20691 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33305977 4292608 736 18446744073709551615 94528080642048 94528081536581 140729155086960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94528081775632 94528081823376 94528099938304 140729155090791 140729155090917 140729155090917 140729155096519 0
/proc/21448/statm: 1048 736 672 219 0 110 0
[pid=21450] ppid=21448 vsize=298008 memory=221024 CPUtime=221.67 cores=5,7
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20691 0 -1 4194304 42258 0 0 0 21733 434 0 0 20 0 1 0 33305978 305160192 55256 18446744073709551615 4227072 8923433 140723513659856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37007360 140723513661856 140723513661992 140723513661992 140723513667562 0
/proc/21450/statm: 74502 55256 2336 1147 0 61929 0
################
# More data... #
################
/proc/21450/statm: 407719 348656 2336 1147 0 395146 0
Current children cumulated CPU time: 3093.54 s
Current children cumulated vsize: 1635068 KiB
Current children cumulated memory: 1397568 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.14 4.16 5/253 21746
/proc/meminfo: memFree=126820404/131382112 swapFree=33010684/33010684
[pid=21448] ppid=21445 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21448/stat : 21448 (run-dec-ls.sh) S 21445 21448 20691 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33305977 4292608 736 18446744073709551615 94528080642048 94528081536581 140729155086960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94528081775632 94528081823376 94528099938304 140729155090791 140729155090917 140729155090917 140729155096519 0
/proc/21448/statm: 1048 736 672 219 0 110 0
[pid=21450] ppid=21448 vsize=1630876 memory=1394624 CPUtime=3153.38 cores=5,7
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20691 0 -1 4194304 159980 0 0 0 312584 2754 0 0 20 0 1 0 33305978 1670017024 348656 18446744073709551615 4227072 8923433 140723513659856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37007360 140723513661856 140723513661992 140723513661992 140723513667562 0
/proc/21450/statm: 407719 348656 2336 1147 0 395146 0
Current children cumulated CPU time: 3153.38 s
Current children cumulated vsize: 1635068 KiB
Current children cumulated memory: 1397568 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.14 4.16 5/253 21748
/proc/meminfo: memFree=126788080/131382112 swapFree=33010684/33010684
[pid=21448] ppid=21445 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21448/stat : 21448 (run-dec-ls.sh) S 21445 21448 20691 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33305977 4292608 736 18446744073709551615 94528080642048 94528081536581 140729155086960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94528081775632 94528081823376 94528099938304 140729155090791 140729155090917 140729155090917 140729155096519 0
/proc/21448/statm: 1048 736 672 219 0 110 0
[pid=21450] ppid=21448 vsize=1631164 memory=1394880 CPUtime=3213.22 cores=5,7
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20691 0 -1 4194304 160395 0 0 0 318521 2801 0 0 20 0 1 0 33305978 1670311936 348720 18446744073709551615 4227072 8923433 140723513659856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37007360 140723513661856 140723513661992 140723513661992 140723513667562 0
/proc/21450/statm: 407791 348720 2336 1147 0 395218 0
Current children cumulated CPU time: 3213.22 s
Current children cumulated vsize: 1635356 KiB
Current children cumulated memory: 1397824 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.15 5/253 21750
/proc/meminfo: memFree=126747372/131382112 swapFree=33010684/33010684
[pid=21448] ppid=21445 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21448/stat : 21448 (run-dec-ls.sh) S 21445 21448 20691 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33305977 4292608 736 18446744073709551615 94528080642048 94528081536581 140729155086960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94528081775632 94528081823376 94528099938304 140729155090791 140729155090917 140729155090917 140729155096519 0
/proc/21448/statm: 1048 736 672 219 0 110 0
[pid=21450] ppid=21448 vsize=1641140 memory=1403712 CPUtime=3273.06 cores=5,7
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20691 0 -1 4194304 162648 0 0 0 324464 2842 0 0 20 0 1 0 33305978 1680527360 350928 18446744073709551615 4227072 8923433 140723513659856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37007360 140723513661856 140723513661992 140723513661992 140723513667562 0
/proc/21450/statm: 410285 350928 2336 1147 0 397712 0
Current children cumulated CPU time: 3273.06 s
Current children cumulated vsize: 1645332 KiB
Current children cumulated memory: 1406656 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.12 4.15 5/253 21752
/proc/meminfo: memFree=126726508/131382112 swapFree=33010684/33010684
[pid=21448] ppid=21445 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21448/stat : 21448 (run-dec-ls.sh) S 21445 21448 20691 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33305977 4292608 736 18446744073709551615 94528080642048 94528081536581 140729155086960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94528081775632 94528081823376 94528099938304 140729155090791 140729155090917 140729155090917 140729155096519 0
/proc/21448/statm: 1048 736 672 219 0 110 0
[pid=21450] ppid=21448 vsize=1641140 memory=1403712 CPUtime=3332.91 cores=5,7
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20691 0 -1 4194304 162648 0 0 0 330401 2890 0 0 20 0 1 0 33305978 1680527360 350928 18446744073709551615 4227072 8923433 140723513659856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37007360 140723513661856 140723513661992 140723513661992 140723513667562 0
/proc/21450/statm: 410285 350928 2336 1147 0 397712 0
Current children cumulated CPU time: 3332.91 s
Current children cumulated vsize: 1645332 KiB
Current children cumulated memory: 1406656 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.12 4.15 5/254 21757
/proc/meminfo: memFree=126743864/131382112 swapFree=33010684/33010684
[pid=21448] ppid=21445 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21448/stat : 21448 (run-dec-ls.sh) S 21445 21448 20691 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33305977 4292608 736 18446744073709551615 94528080642048 94528081536581 140729155086960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94528081775632 94528081823376 94528099938304 140729155090791 140729155090917 140729155090917 140729155096519 0
/proc/21448/statm: 1048 736 672 219 0 110 0
[pid=21450] ppid=21448 vsize=1641140 memory=1403712 CPUtime=3392.75 cores=5,7
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20691 0 -1 4194304 162648 0 0 0 336308 2967 0 0 20 0 1 0 33305978 1680527360 350928 18446744073709551615 4227072 8923433 140723513659856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37007360 140723513661856 140723513661992 140723513661992 140723513667562 0
/proc/21450/statm: 410285 350928 2336 1147 0 397712 0
Current children cumulated CPU time: 3392.75 s
Current children cumulated vsize: 1645332 KiB
Current children cumulated memory: 1406656 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.15 5/254 21763
/proc/meminfo: memFree=126730032/131382112 swapFree=33010684/33010684
[pid=21448] ppid=21445 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21448/stat : 21448 (run-dec-ls.sh) S 21445 21448 20691 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33305977 4292608 736 18446744073709551615 94528080642048 94528081536581 140729155086960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94528081775632 94528081823376 94528099938304 140729155090791 140729155090917 140729155090917 140729155096519 0
/proc/21448/statm: 1048 736 672 219 0 110 0
[pid=21450] ppid=21448 vsize=1641140 memory=1403840 CPUtime=3452.58 cores=5,7
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20691 0 -1 4194304 162660 0 0 0 342249 3009 0 0 20 0 1 0 33305978 1680527360 350960 18446744073709551615 4227072 8923433 140723513659856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37007360 140723513661856 140723513661992 140723513661992 140723513667562 0
/proc/21450/statm: 410285 350960 2336 1147 0 397712 0
Current children cumulated CPU time: 3452.58 s
Current children cumulated vsize: 1645332 KiB
Current children cumulated memory: 1406784 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.15 5/255 21766
/proc/meminfo: memFree=126709456/131382112 swapFree=33010684/33010684
[pid=21448] ppid=21445 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21448/stat : 21448 (run-dec-ls.sh) S 21445 21448 20691 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33305977 4292608 736 18446744073709551615 94528080642048 94528081536581 140729155086960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94528081775632 94528081823376 94528099938304 140729155090791 140729155090917 140729155090917 140729155096519 0
/proc/21448/statm: 1048 736 672 219 0 110 0
[pid=21450] ppid=21448 vsize=1645208 memory=1407296 CPUtime=3512.42 cores=5,7
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20691 0 -1 4194304 163880 0 0 0 348198 3044 0 0 20 0 1 0 33305978 1684692992 351824 18446744073709551615 4227072 8923433 140723513659856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37007360 140723513661856 140723513661992 140723513661992 140723513667562 0
/proc/21450/statm: 411302 351824 2336 1147 0 398729 0
Current children cumulated CPU time: 3512.42 s
Current children cumulated vsize: 1649400 KiB
Current children cumulated memory: 1410240 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.14 4.15 5/255 21768
/proc/meminfo: memFree=126685328/131382112 swapFree=33010684/33010684
[pid=21448] ppid=21445 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21448/stat : 21448 (run-dec-ls.sh) S 21445 21448 20691 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33305977 4292608 736 18446744073709551615 94528080642048 94528081536581 140729155086960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94528081775632 94528081823376 94528099938304 140729155090791 140729155090917 140729155090917 140729155096519 0
/proc/21448/statm: 1048 736 672 219 0 110 0
[pid=21450] ppid=21448 vsize=1652812 memory=1414208 CPUtime=3572.27 cores=5,7
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20691 0 -1 4194304 165621 0 0 0 354142 3085 0 0 20 0 1 0 33305978 1692479488 353552 18446744073709551615 4227072 8923433 140723513659856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37007360 140723513661856 140723513661992 140723513661992 140723513667562 0
/proc/21450/statm: 413203 353552 2336 1147 0 400630 0
Current children cumulated CPU time: 3572.27 s
Current children cumulated vsize: 1657004 KiB
Current children cumulated memory: 1417152 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.16 4.14 4.15 5/255 21770
/proc/meminfo: memFree=126685888/131382112 swapFree=33010684/33010684
[pid=21448] ppid=21445 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21448/stat : 21448 (run-dec-ls.sh) S 21445 21448 20691 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33305977 4292608 736 18446744073709551615 94528080642048 94528081536581 140729155086960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94528081775632 94528081823376 94528099938304 140729155090791 140729155090917 140729155090917 140729155096519 0
/proc/21448/statm: 1048 736 672 219 0 110 0
[pid=21450] ppid=21448 vsize=1652812 memory=1414208 CPUtime=3600 cores=5,7
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20691 0 -1 4194304 165621 0 0 0 356893 3107 0 0 20 0 1 0 33305978 1692479488 353552 18446744073709551615 4227072 8923433 140723513659856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37007360 140723513661856 140723513661992 140723513661992 140723513667562 0
/proc/21450/statm: 413203 353552 2336 1147 0 400630 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1657004 KiB
Current children cumulated memory: 1417152 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.12 s]
# the end of solver process 21448 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.003031 s, system=0.001526 s
[startup+3610.13 s]
# the end of solver process 21450 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3568.95 s, system=31.0842 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.16 4.14 4.15 5/255 21770
/proc/meminfo: memFree=126685888/131382112 swapFree=33010684/33010684
[pid=21448] ppid=21445 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21448/stat : 21448 (run-dec-ls.sh) S 21445 21448 20691 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33305977 4292608 736 18446744073709551615 94528080642048 94528081536581 140729155086960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94528081775632 94528081823376 94528099938304 140729155090791 140729155090917 140729155090917 140729155096519 0
/proc/21448/statm: 1048 736 672 219 0 110 0
[pid=21450] ppid=21448 vsize=1652812 memory=1414208 CPUtime=3600 cores=5,7
/proc/21450/stat : 21450 (roundingsat) R 21448 21448 20691 0 -1 4194304 165621 0 0 0 356893 3107 0 0 20 0 1 0 33305978 1692479488 353552 18446744073709551615 4227072 8923433 140723513659856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37007360 140723513661856 140723513661992 140723513661992 140723513667562 0
/proc/21450/statm: 413203 353552 2336 1147 0 400630 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1657004 KiB
Current children cumulated memory: 1417152 KiB
Child status: 2
Real time (s): 3610.13
CPU time (s): 3600.03
CPU user time (s): 3568.95
CPU system time (s): 31.0842
CPU usage (%): 99.7203
Max. virtual memory (cumulated for all children) (KiB): 1657004
Max. memory (cumulated for all children) (KiB): 1417152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.95
system time used= 31.0842
maximum resident set size= 1414464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165854
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= 308
involuntary context switches= 2781
# summary of solver processes directly reported to runsolver:
# pid: 21448,21450
# total CPU time (s): 3600.03
# total CPU user time (s): 3568.95
# total CPU system time (s): 31.0842
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7537 second user time and 38.8773 second system time
The end
Begin job on nodeC001 at 2025-06-29 07:51:11
IDJOB=4507230
IDBENCH=158331
IDSOLVER=3353
FILE ID=nodeC001/4507230-1751176271
RUNJOBID= nodeC001-1751169047-20704
SLURM_JOB_ID= 9587516
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K177.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507230-1751176271/watcher-4507230-1751176271 -o /tmp/evaluation-result-4507230-1751176271/solver-4507230-1751176271 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751169047-20704 --watchdog 3760 run-dec-ls.sh HOME/instance-4507230-1751176271.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4b187363ec0683eba575f162bd763393
RANDOM SEED=1235387061
nodeC001 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 : 3659.499
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.49
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 : 3660.418
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.49
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.695
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.49
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.523
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.49
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 : 3662.459
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.49
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 : 3492.469
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.49
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.407
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.49
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.168
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.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 127435364 kB
MemAvailable: 127091056 kB
Buffers: 3280 kB
Cached: 467028 kB
SwapCached: 0 kB
Active: 3097920 kB
Inactive: 222084 kB
Active(anon): 2867660 kB
Inactive(anon): 0 kB
Active(file): 230260 kB
Inactive(file): 222084 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8816 kB
Writeback: 4 kB
AnonPages: 2841440 kB
Mapped: 116112 kB
Shmem: 17960 kB
KReclaimable: 85564 kB
Slab: 166052 kB
SReclaimable: 85564 kB
SUnreclaim: 80488 kB
KernelStack: 4044 kB
PageTables: 9240 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 3811276 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1716224 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: 195400 kB
DirectMap2M: 9144320 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC001 at 2025-06-29 08:51:21