0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.08/0.16 c #variables 21063 #constraints 21419
98.59/99.00 c #Conflicts: 1000 | #Constraints: 22418
98.59/99.00 c #Conflicts: 2000 | #Constraints: 23418
98.59/99.00 c INPROCESSING
98.59/99.00 c GARBAGE COLLECT
98.59/99.00 c #Conflicts: 3000 | #Constraints: 22760
98.59/99.00 c #Conflicts: 4000 | #Constraints: 23760
98.59/99.00 c INPROCESSING
98.59/99.00 c GARBAGE COLLECT
98.59/99.00 c #Conflicts: 5000 | #Constraints: 23275
98.59/99.00 c #Conflicts: 6000 | #Constraints: 24275
98.59/99.00 c INPROCESSING
98.59/99.00 c GARBAGE COLLECT
98.59/99.00 c #Conflicts: 7000 | #Constraints: 23368
98.59/99.00 c #Conflicts: 8000 | #Constraints: 24368
98.59/99.00 c #Conflicts: 9000 | #Constraints: 25368
98.59/99.00 c #Conflicts: 10000 | #Constraints: 26368
98.59/99.00 c #Conflicts: 11000 | #Constraints: 27368
98.59/99.00 c #Conflicts: 12000 | #Constraints: 28368
98.59/99.00 c INPROCESSING
98.59/99.00 c GARBAGE COLLECT
98.59/99.00 c #Conflicts: 13000 | #Constraints: 25376
98.59/99.00 c #Conflicts: 14000 | #Constraints: 26376
98.59/99.00 c #Conflicts: 15000 | #Constraints: 27376
98.59/99.00 c #Conflicts: 16000 | #Constraints: 28376
98.59/99.00 c INPROCESSING
98.59/99.00 c GARBAGE COLLECT
98.59/99.00 c #Conflicts: 17000 | #Constraints: 25577
98.59/99.00 c #Conflicts: 18000 | #Constraints: 26577
98.59/99.00 c #Conflicts: 19000 | #Constraints: 27577
98.59/99.00 c #Conflicts: 20000 | #Constraints: 28577
98.59/99.00 c #Conflicts: 21000 | #Constraints: 29577
98.59/99.00 c #Conflicts: 22000 | #Constraints: 30577
98.59/99.00 c #Conflicts: 23000 | #Constraints: 31577
98.59/99.00 c #Conflicts: 24000 | #Constraints: 32577
98.59/99.00 c #Conflicts: 25000 | #Constraints: 33577
98.59/99.00 c INPROCESSING
98.59/99.00 c GARBAGE COLLECT
98.59/99.00 c #Conflicts: 26000 | #Constraints: 28145
98.59/99.00 c #Conflicts: 27000 | #Constraints: 29145
98.59/99.00 c #Conflicts: 28000 | #Constraints: 30145
98.59/99.00 c #Conflicts: 29000 | #Constraints: 31145
98.59/99.00 c #Conflicts: 30000 | #Constraints: 32145
98.59/99.00 c INPROCESSING
98.59/99.00 c GARBAGE COLLECT
98.59/99.00 c #Conflicts: 31000 | #Constraints: 27981
98.59/99.00 c #Conflicts: 32000 | #Constraints: 28981
98.59/99.00 c #Conflicts: 33000 | #Constraints: 29981
98.59/99.00 c #Conflicts: 34000 | #Constraints: 30981
98.59/99.00 c #Conflicts: 35000 | #Constraints: 31981
98.59/99.00 c #Conflicts: 36000 | #Constraints: 32981
98.59/99.00 c #Conflicts: 37000 | #Constraints: 33981
98.59/99.00 c #Conflicts: 38000 | #Constraints: 34981
98.59/99.00 c #Conflicts: 39000 | #Constraints: 35981
98.59/99.00 c #Conflicts: 40000 | #Constraints: 36981
98.59/99.00 c #Conflicts: 41000 | #Constraints: 37981
98.59/99.00 c #Conflicts: 42000 | #Constraints: 38981
98.59/99.00 c #Conflicts: 43000 | #Constraints: 39981
98.59/99.00 c INPROCESSING
98.59/99.00 c GARBAGE COLLECT
98.59/99.00 c #Conflicts: 44000 | #Constraints: 31768
98.59/99.00 c #Conflicts: 45000 | #Constraints: 32768
98.59/99.00 c #Conflicts: 46000 | #Constraints: 33768
98.59/99.00 c #Conflicts: 47000 | #Constraints: 34768
98.59/99.00 c #Conflicts: 48000 | #Constraints: 35768
98.59/99.00 c #Conflicts: 49000 | #Constraints: 36768
98.59/99.00 c INPROCESSING
98.59/99.00 c GARBAGE COLLECT
98.59/99.00 c #Conflicts: 50000 | #Constraints: 30848
98.59/99.00 c #Conflicts: 51000 | #Constraints: 31848
98.59/99.00 c #Conflicts: 52000 | #Constraints: 32848
98.59/99.00 c #Conflicts: 53000 | #Constraints: 33848
98.59/99.00 c #Conflicts: 54000 | #Constraints: 34848
98.59/99.00 c #Conflicts: 55000 | #Constraints: 35848
98.59/99.00 c #Conflicts: 56000 | #Constraints: 36848
98.59/99.00 c #Conflicts: 57000 | #Constraints: 37848
98.59/99.00 c #Conflicts: 58000 | #Constraints: 38848
98.59/99.00 c #Conflicts: 59000 | #Constraints: 39848
98.59/99.00 c #Conflicts: 60000 | #Constraints: 40848
98.59/99.00 c #Conflicts: 61000 | #Constraints: 41848
98.59/99.00 c #Conflicts: 62000 | #Constraints: 42848
98.59/99.00 c #Conflicts: 63000 | #Constraints: 43848
98.59/99.00 c #Conflicts: 64000 | #Constraints: 44848
98.59/99.00 c #Conflicts: 65000 | #Constraints: 45848
98.59/99.00 c INPROCESSING
98.59/99.00 c GARBAGE COLLECT
98.59/99.00 c #Conflicts: 66000 | #Constraints: 34918
98.59/99.00 c #Conflicts: 67000 | #Constraints: 35918
98.59/99.00 c #Conflicts: 68000 | #Constraints: 36918
98.59/99.00 c #Conflicts: 69000 | #Constraints: 37918
98.59/99.00 c #Conflicts: 70000 | #Constraints: 38918
98.59/99.00 c #Conflicts: 71000 | #Constraints: 39918
98.59/99.00 c #Conflicts: 72000 | #Constraints: 40918
98.59/99.00 c INPROCESSING
98.59/99.00 c GARBAGE COLLECT
214.24/214.94 c #Conflicts: 73000 | #Constraints: 33574
214.24/214.94 c #Conflicts: 74000 | #Constraints: 34574
214.24/214.94 c #Conflicts: 75000 | #Constraints: 35574
214.24/214.94 c #Conflicts: 76000 | #Constraints: 36574
214.24/214.94 c #Conflicts: 77000 | #Constraints: 37574
214.24/214.94 c #Conflicts: 78000 | #Constraints: 38574
214.24/214.94 c #Conflicts: 79000 | #Constraints: 39574
214.24/214.94 c #Conflicts: 80000 | #Constraints: 40574
214.24/214.94 c #Conflicts: 81000 | #Constraints: 41574
214.24/214.94 c #Conflicts: 82000 | #Constraints: 42574
214.24/214.94 c #Conflicts: 83000 | #Constraints: 43574
214.24/214.94 c #Conflicts: 84000 | #Constraints: 44574
214.24/214.94 c #Conflicts: 85000 | #Constraints: 45574
214.24/214.94 c #Conflicts: 86000 | #Constraints: 46574
214.24/214.94 c #Conflicts: 87000 | #Constraints: 47574
214.24/214.94 c #Conflicts: 88000 | #Constraints: 48574
214.24/214.94 c #Conflicts: 89000 | #Constraints: 49574
214.24/214.94 c #Conflicts: 90000 | #Constraints: 50574
214.24/214.94 c #Conflicts: 91000 | #Constraints: 51574
214.24/214.94 c INPROCESSING
214.24/214.94 c GARBAGE COLLECT
214.24/214.94 c #Conflicts: 92000 | #Constraints: 37786
214.24/214.94 c #Conflicts: 93000 | #Constraints: 38786
214.24/214.94 c #Conflicts: 94000 | #Constraints: 39786
214.24/214.94 c #Conflicts: 95000 | #Constraints: 40786
214.24/214.94 c #Conflicts: 96000 | #Constraints: 41786
214.24/214.94 c #Conflicts: 97000 | #Constraints: 42786
214.24/214.94 c #Conflicts: 98000 | #Constraints: 43786
214.24/214.94 c #Conflicts: 99000 | #Constraints: 44786
214.24/214.94 c #Conflicts: 100000 | #Constraints: 45786
214.24/214.94 c INPROCESSING
214.24/214.94 c GARBAGE COLLECT
214.24/214.94 c #Conflicts: 101000 | #Constraints: 37082
214.24/214.94 c #Conflicts: 102000 | #Constraints: 38082
214.24/214.94 c #Conflicts: 103000 | #Constraints: 39082
214.24/214.94 c #Conflicts: 104000 | #Constraints: 40082
214.24/214.94 c #Conflicts: 105000 | #Constraints: 41082
214.24/214.94 c #Conflicts: 106000 | #Constraints: 42082
214.24/214.94 c #Conflicts: 107000 | #Constraints: 43082
214.24/214.94 c #Conflicts: 108000 | #Constraints: 44082
214.24/214.94 c #Conflicts: 109000 | #Constraints: 45082
214.24/214.94 c #Conflicts: 110000 | #Constraints: 46082
214.24/214.94 c #Conflicts: 111000 | #Constraints: 47082
214.24/214.94 c #Conflicts: 112000 | #Constraints: 48082
214.24/214.94 c #Conflicts: 113000 | #Constraints: 49082
214.24/214.94 c #Conflicts: 114000 | #Constraints: 50082
214.24/214.94 c #Conflicts: 115000 | #Constraints: 51082
214.24/214.94 c #Conflicts: 116000 | #Constraints: 52082
214.24/214.94 c #Conflicts: 117000 | #Constraints: 53082
214.24/214.94 c #Conflicts: 118000 | #Constraints: 54082
214.24/214.94 c #Conflicts: 119000 | #Constraints: 55082
214.24/214.94 c #Conflicts: 120000 | #Constraints: 56082
214.24/214.94 c #Conflicts: 121000 | #Constraints: 57082
214.24/214.94 c INPROCESSING
214.24/214.94 c GARBAGE COLLECT
214.24/214.94 c #Conflicts: 122000 | #Constraints: 40475
214.24/214.94 c #Conflicts: 123000 | #Constraints: 41475
214.24/214.94 c #Conflicts: 124000 | #Constraints: 42475
214.24/214.94 c #Conflicts: 125000 | #Constraints: 43475
214.24/214.94 c #Conflicts: 126000 | #Constraints: 44475
214.24/214.94 c #Conflicts: 127000 | #Constraints: 45475
214.24/214.94 c #Conflicts: 128000 | #Constraints: 46475
214.24/214.94 c #Conflicts: 129000 | #Constraints: 47475
214.24/214.94 c #Conflicts: 130000 | #Constraints: 48475
214.24/214.94 c #Conflicts: 131000 | #Constraints: 49475
214.24/214.94 c #Conflicts: 132000 | #Constraints: 50475
214.24/214.94 c INPROCESSING
214.24/214.94 c GARBAGE COLLECT
214.24/214.94 c #Conflicts: 133000 | #Constraints: 40471
214.24/214.94 c #Conflicts: 134000 | #Constraints: 41471
214.24/214.94 c #Conflicts: 135000 | #Constraints: 42471
214.24/214.94 c #Conflicts: 136000 | #Constraints: 43471
214.24/214.94 c #Conflicts: 137000 | #Constraints: 44471
214.24/214.94 c #Conflicts: 138000 | #Constraints: 45471
214.24/214.94 c #Conflicts: 139000 | #Constraints: 46471
214.24/214.94 c #Conflicts: 140000 | #Constraints: 47471
214.24/214.94 c #Conflicts: 141000 | #Constraints: 48471
214.24/214.94 c #Conflicts: 142000 | #Constraints: 49471
214.24/214.94 c #Conflicts: 143000 | #Constraints: 50471
214.24/214.94 c #Conflicts: 144000 | #Constraints: 51471
214.24/214.94 c #Conflicts: 145000 | #Constraints: 52471
214.24/214.94 c #Conflicts: 146000 | #Constraints: 53471
214.24/214.94 c #Conflicts: 147000 | #Constraints: 54471
214.24/214.94 c #Conflicts: 148000 | #Constraints: 55471
214.24/214.94 c #Conflicts: 149000 | #Constraints: 56471
318.87/319.81 c #Conflicts: 150000 | #Constraints: 57471
318.87/319.81 c #Conflicts: 151000 | #Constraints: 58471
318.87/319.81 c #Conflicts: 152000 | #Constraints: 59471
318.87/319.81 c #Conflicts: 153000 | #Constraints: 60471
318.87/319.81 c #Conflicts: 154000 | #Constraints: 61471
318.87/319.81 c #Conflicts: 155000 | #Constraints: 62471
318.87/319.81 c #Conflicts: 156000 | #Constraints: 63471
318.87/319.81 c INPROCESSING
318.87/319.81 c GARBAGE COLLECT
318.87/319.81 c #Conflicts: 157000 | #Constraints: 43186
318.87/319.81 c #Conflicts: 158000 | #Constraints: 44186
318.87/319.81 c #Conflicts: 159000 | #Constraints: 45186
318.87/319.81 c #Conflicts: 160000 | #Constraints: 46186
318.87/319.81 c #Conflicts: 161000 | #Constraints: 47186
318.87/319.81 c #Conflicts: 162000 | #Constraints: 48186
318.87/319.81 c #Conflicts: 163000 | #Constraints: 49186
318.87/319.81 c #Conflicts: 164000 | #Constraints: 50186
318.87/319.81 c #Conflicts: 165000 | #Constraints: 51186
318.87/319.81 c #Conflicts: 166000 | #Constraints: 52186
318.87/319.81 c #Conflicts: 167000 | #Constraints: 53186
318.87/319.81 c #Conflicts: 168000 | #Constraints: 54186
318.87/319.81 c INPROCESSING
318.87/319.81 c GARBAGE COLLECT
318.87/319.81 c #Conflicts: 169000 | #Constraints: 43300
318.87/319.81 c #Conflicts: 170000 | #Constraints: 44300
318.87/319.81 c #Conflicts: 171000 | #Constraints: 45300
318.87/319.81 c #Conflicts: 172000 | #Constraints: 46300
318.87/319.81 c #Conflicts: 173000 | #Constraints: 47300
318.87/319.81 c #Conflicts: 174000 | #Constraints: 48300
318.87/319.81 c #Conflicts: 175000 | #Constraints: 49300
318.87/319.81 c #Conflicts: 176000 | #Constraints: 50300
318.87/319.81 c #Conflicts: 177000 | #Constraints: 51300
318.87/319.81 c #Conflicts: 178000 | #Constraints: 52300
318.87/319.81 c #Conflicts: 179000 | #Constraints: 53300
318.87/319.81 c #Conflicts: 180000 | #Constraints: 54300
318.87/319.81 c #Conflicts: 181000 | #Constraints: 55300
318.87/319.81 c #Conflicts: 182000 | #Constraints: 56300
318.87/319.81 c #Conflicts: 183000 | #Constraints: 57300
318.87/319.81 c #Conflicts: 184000 | #Constraints: 58300
318.87/319.81 c #Conflicts: 185000 | #Constraints: 59300
318.87/319.81 c #Conflicts: 186000 | #Constraints: 60300
318.87/319.81 c #Conflicts: 187000 | #Constraints: 61300
318.87/319.81 c #Conflicts: 188000 | #Constraints: 62300
318.87/319.81 c #Conflicts: 189000 | #Constraints: 63300
318.87/319.81 c #Conflicts: 190000 | #Constraints: 64300
318.87/319.81 c #Conflicts: 191000 | #Constraints: 65300
318.87/319.81 c #Conflicts: 192000 | #Constraints: 66300
318.87/319.81 c #Conflicts: 193000 | #Constraints: 67300
318.87/319.81 c #Conflicts: 194000 | #Constraints: 68300
318.87/319.81 c #Conflicts: 195000 | #Constraints: 69300
318.87/319.81 c #Conflicts: 196000 | #Constraints: 70300
318.87/319.81 c INPROCESSING
318.87/319.81 c GARBAGE COLLECT
318.87/319.81 c #Conflicts: 197000 | #Constraints: 47589
318.87/319.81 c #Conflicts: 198000 | #Constraints: 48589
318.87/319.81 c #Conflicts: 199000 | #Constraints: 49589
318.87/319.81 c #Conflicts: 200000 | #Constraints: 50589
318.87/319.81 c #Conflicts: 201000 | #Constraints: 51589
318.87/319.81 c #Conflicts: 202000 | #Constraints: 52589
318.87/319.81 c #Conflicts: 203000 | #Constraints: 53589
318.87/319.81 c #Conflicts: 204000 | #Constraints: 54589
318.87/319.81 c #Conflicts: 205000 | #Constraints: 55589
318.87/319.81 c #Conflicts: 206000 | #Constraints: 56589
318.87/319.81 c #Conflicts: 207000 | #Constraints: 57589
318.87/319.81 c #Conflicts: 208000 | #Constraints: 58589
318.87/319.81 c #Conflicts: 209000 | #Constraints: 59589
318.87/319.81 c INPROCESSING
318.87/319.81 c GARBAGE COLLECT
318.87/319.81 c #Conflicts: 210000 | #Constraints: 46490
318.87/319.81 c #Conflicts: 211000 | #Constraints: 47490
318.87/319.81 c #Conflicts: 212000 | #Constraints: 48490
318.87/319.81 c #Conflicts: 213000 | #Constraints: 49490
318.87/319.81 c #Conflicts: 214000 | #Constraints: 50490
318.87/319.81 c #Conflicts: 215000 | #Constraints: 51490
318.87/319.81 c #Conflicts: 216000 | #Constraints: 52490
318.87/319.81 c #Conflicts: 217000 | #Constraints: 53490
318.87/319.81 c #Conflicts: 218000 | #Constraints: 54490
318.87/319.81 c #Conflicts: 219000 | #Constraints: 55490
318.87/319.81 c #Conflicts: 220000 | #Constraints: 56490
318.87/319.81 c #Conflicts: 221000 | #Constraints: 57490
318.87/319.81 c #Conflicts: 222000 | #Constraints: 58490
318.87/319.81 c #Conflicts: 223000 | #Constraints: 59490
318.87/319.81 c #Conflicts: 224000 | #Constraints: 60490
318.87/319.81 c #Conflicts: 225000 | #Constraints: 61490
385.00/386.13 c #Conflicts: 226000 | #Constraints: 62490
385.00/386.13 c #Conflicts: 227000 | #Constraints: 63490
385.00/386.13 c #Conflicts: 228000 | #Constraints: 64490
385.00/386.13 c #Conflicts: 229000 | #Constraints: 65490
385.00/386.13 c #Conflicts: 230000 | #Constraints: 66490
385.00/386.13 c #Conflicts: 231000 | #Constraints: 67490
385.00/386.13 c #Conflicts: 232000 | #Constraints: 68490
385.00/386.13 c #Conflicts: 233000 | #Constraints: 69490
385.00/386.13 c #Conflicts: 234000 | #Constraints: 70490
385.00/386.13 c #Conflicts: 235000 | #Constraints: 71490
385.00/386.13 c #Conflicts: 236000 | #Constraints: 72490
385.00/386.13 c #Conflicts: 237000 | #Constraints: 73490
385.00/386.13 c #Conflicts: 238000 | #Constraints: 74490
385.00/386.13 c #Conflicts: 239000 | #Constraints: 75490
385.00/386.13 c #Conflicts: 240000 | #Constraints: 76490
385.00/386.13 c INPROCESSING
385.00/386.13 c GARBAGE COLLECT
385.00/386.13 c rational objective 177
527.03/528.58 c #Conflicts: 241000 | #Constraints: 50773
527.03/528.58 c #Conflicts: 242000 | #Constraints: 51773
527.03/528.58 c #Conflicts: 243000 | #Constraints: 52773
527.03/528.58 c #Conflicts: 244000 | #Constraints: 53773
527.03/528.58 c #Conflicts: 245000 | #Constraints: 54773
527.03/528.58 c #Conflicts: 246000 | #Constraints: 55773
527.03/528.58 c #Conflicts: 247000 | #Constraints: 56773
527.03/528.58 c #Conflicts: 248000 | #Constraints: 57773
527.03/528.58 c #Conflicts: 249000 | #Constraints: 58773
527.03/528.58 c #Conflicts: 250000 | #Constraints: 59773
527.03/528.58 c #Conflicts: 251000 | #Constraints: 60773
527.03/528.58 c #Conflicts: 252000 | #Constraints: 61773
527.03/528.58 c #Conflicts: 253000 | #Constraints: 62773
527.03/528.58 c #Conflicts: 254000 | #Constraints: 63773
527.03/528.58 c INPROCESSING
527.03/528.58 c GARBAGE COLLECT
527.03/528.58 c #Conflicts: 255000 | #Constraints: 49206
527.03/528.58 c #Conflicts: 256000 | #Constraints: 50206
527.03/528.58 c #Conflicts: 257000 | #Constraints: 51206
527.03/528.58 c #Conflicts: 258000 | #Constraints: 52206
527.03/528.58 c #Conflicts: 259000 | #Constraints: 53206
527.03/528.58 c #Conflicts: 260000 | #Constraints: 54207
527.03/528.58 c #Conflicts: 261000 | #Constraints: 55207
527.03/528.58 c #Conflicts: 262000 | #Constraints: 56207
527.03/528.58 c #Conflicts: 263000 | #Constraints: 57207
527.03/528.58 c #Conflicts: 264000 | #Constraints: 58207
527.03/528.58 c #Conflicts: 265000 | #Constraints: 59207
527.03/528.58 c #Conflicts: 266000 | #Constraints: 60207
527.03/528.58 c #Conflicts: 267000 | #Constraints: 61207
527.03/528.58 c #Conflicts: 268000 | #Constraints: 62207
527.03/528.58 c #Conflicts: 269000 | #Constraints: 63207
527.03/528.58 c #Conflicts: 270000 | #Constraints: 64207
527.03/528.58 c #Conflicts: 271000 | #Constraints: 65207
527.03/528.58 c #Conflicts: 272000 | #Constraints: 66207
527.03/528.58 c #Conflicts: 273000 | #Constraints: 67207
527.03/528.58 c #Conflicts: 274000 | #Constraints: 68207
527.03/528.58 c #Conflicts: 275000 | #Constraints: 69207
527.03/528.58 c #Conflicts: 276000 | #Constraints: 70207
527.03/528.58 c #Conflicts: 277000 | #Constraints: 71207
527.03/528.58 c #Conflicts: 278000 | #Constraints: 72207
527.03/528.58 c #Conflicts: 279000 | #Constraints: 73207
527.03/528.58 c #Conflicts: 280000 | #Constraints: 74207
527.03/528.58 c #Conflicts: 281000 | #Constraints: 75207
527.03/528.58 c #Conflicts: 282000 | #Constraints: 76207
527.03/528.58 c #Conflicts: 283000 | #Constraints: 77207
527.03/528.58 c #Conflicts: 284000 | #Constraints: 78207
527.03/528.58 c #Conflicts: 285000 | #Constraints: 79207
527.03/528.58 c #Conflicts: 286000 | #Constraints: 80207
527.03/528.58 c #Conflicts: 287000 | #Constraints: 81207
527.03/528.58 c #Conflicts: 288000 | #Constraints: 82207
527.03/528.58 c INPROCESSING
527.03/528.58 c GARBAGE COLLECT
527.03/528.58 c #Conflicts: 289000 | #Constraints: 53545
527.03/528.58 c #Conflicts: 290000 | #Constraints: 54545
527.03/528.58 c #Conflicts: 291000 | #Constraints: 55545
527.03/528.58 c #Conflicts: 292000 | #Constraints: 56545
527.03/528.58 c #Conflicts: 293000 | #Constraints: 57545
527.03/528.58 c #Conflicts: 294000 | #Constraints: 58545
527.03/528.58 c #Conflicts: 295000 | #Constraints: 59545
527.03/528.58 c #Conflicts: 296000 | #Constraints: 60545
527.03/528.58 c #Conflicts: 297000 | #Constraints: 61545
527.03/528.58 c #Conflicts: 298000 | #Constraints: 62545
527.03/528.58 c #Conflicts: 299000 | #Constraints: 63545
527.03/528.58 c #Conflicts: 300000 | #Constraints: 64545
527.03/528.58 c #Conflicts: 301000 | #Constraints: 65545
527.03/528.58 c #Conflicts: 302000 | #Constraints: 66545
527.03/528.58 c #Conflicts: 303000 | #Constraints: 67545
527.03/528.58 c INPROCESSING
527.03/528.58 c GARBAGE COLLECT
527.03/528.58 c #Conflicts: 304000 | #Constraints: 51788
527.03/528.58 c #Conflicts: 305000 | #Constraints: 52788
527.03/528.58 c #Conflicts: 306000 | #Constraints: 53788
527.03/528.58 c #Conflicts: 307000 | #Constraints: 54788
527.03/528.58 c #Conflicts: 308000 | #Constraints: 55788
527.03/528.58 c #Conflicts: 309000 | #Constraints: 56788
527.03/528.58 c #Conflicts: 310000 | #Constraints: 57788
527.03/528.58 c #Conflicts: 311000 | #Constraints: 58788
527.03/528.58 c #Conflicts: 312000 | #Constraints: 59788
527.03/528.58 c #Conflicts: 313000 | #Constraints: 60788
527.03/528.58 c #Conflicts: 314000 | #Constraints: 61788
527.03/528.58 c #Conflicts: 315000 | #Constraints: 62788
527.03/528.58 c #Conflicts: 316000 | #Constraints: 63788
527.03/528.58 c #Conflicts: 317000 | #Constraints: 64788
686.50/688.47 c #Conflicts: 318000 | #Constraints: 65788
686.50/688.47 c #Conflicts: 319000 | #Constraints: 66788
686.50/688.47 c #Conflicts: 320000 | #Constraints: 67788
686.50/688.47 c #Conflicts: 321000 | #Constraints: 68788
686.50/688.47 c #Conflicts: 322000 | #Constraints: 69788
686.50/688.47 c #Conflicts: 323000 | #Constraints: 70788
686.50/688.47 c #Conflicts: 324000 | #Constraints: 71788
686.50/688.47 c #Conflicts: 325000 | #Constraints: 72788
686.50/688.47 c #Conflicts: 326000 | #Constraints: 73788
686.50/688.47 c #Conflicts: 327000 | #Constraints: 74788
686.50/688.47 c #Conflicts: 328000 | #Constraints: 75788
686.50/688.47 c #Conflicts: 329000 | #Constraints: 76788
686.50/688.47 c #Conflicts: 330000 | #Constraints: 77788
686.50/688.47 c #Conflicts: 331000 | #Constraints: 78788
686.50/688.47 c #Conflicts: 332000 | #Constraints: 79788
686.50/688.47 c #Conflicts: 333000 | #Constraints: 80788
686.50/688.47 c #Conflicts: 334000 | #Constraints: 81788
686.50/688.47 c #Conflicts: 335000 | #Constraints: 82788
686.50/688.47 c #Conflicts: 336000 | #Constraints: 83788
686.50/688.47 c #Conflicts: 337000 | #Constraints: 84788
686.50/688.47 c #Conflicts: 338000 | #Constraints: 85788
686.50/688.47 c #Conflicts: 339000 | #Constraints: 86788
686.50/688.47 c #Conflicts: 340000 | #Constraints: 87788
686.50/688.47 c INPROCESSING
686.50/688.47 c GARBAGE COLLECT
686.50/688.47 c #Conflicts: 341000 | #Constraints: 56128
686.50/688.47 c #Conflicts: 342000 | #Constraints: 57128
686.50/688.47 c #Conflicts: 343000 | #Constraints: 58128
686.50/688.47 c #Conflicts: 344000 | #Constraints: 59128
686.50/688.47 c #Conflicts: 345000 | #Constraints: 60128
686.50/688.47 c #Conflicts: 346000 | #Constraints: 61128
686.50/688.47 c #Conflicts: 347000 | #Constraints: 62128
686.50/688.47 c #Conflicts: 348000 | #Constraints: 63128
686.50/688.47 c #Conflicts: 349000 | #Constraints: 64128
686.50/688.47 c #Conflicts: 350000 | #Constraints: 65128
686.50/688.47 c #Conflicts: 351000 | #Constraints: 66128
686.50/688.47 c #Conflicts: 352000 | #Constraints: 67128
686.50/688.47 c #Conflicts: 353000 | #Constraints: 68128
686.50/688.47 c #Conflicts: 354000 | #Constraints: 69128
686.50/688.47 c #Conflicts: 355000 | #Constraints: 70128
686.50/688.47 c #Conflicts: 356000 | #Constraints: 71128
686.50/688.47 c #Conflicts: 357000 | #Constraints: 72128
686.50/688.47 c INPROCESSING
686.50/688.47 c GARBAGE COLLECT
686.50/688.47 c #Conflicts: 358000 | #Constraints: 54624
686.50/688.47 c #Conflicts: 359000 | #Constraints: 55624
686.50/688.47 c #Conflicts: 360000 | #Constraints: 56624
686.50/688.47 c #Conflicts: 361000 | #Constraints: 57624
686.50/688.47 c #Conflicts: 362000 | #Constraints: 58624
686.50/688.47 c #Conflicts: 363000 | #Constraints: 59624
686.50/688.47 c #Conflicts: 364000 | #Constraints: 60624
686.50/688.47 c #Conflicts: 365000 | #Constraints: 61624
686.50/688.47 c #Conflicts: 366000 | #Constraints: 62624
686.50/688.47 c #Conflicts: 367000 | #Constraints: 63624
686.50/688.47 c #Conflicts: 368000 | #Constraints: 64624
686.50/688.47 c #Conflicts: 369000 | #Constraints: 65624
686.50/688.47 c #Conflicts: 370000 | #Constraints: 66624
686.50/688.47 c #Conflicts: 371000 | #Constraints: 67624
686.50/688.47 c #Conflicts: 372000 | #Constraints: 68624
686.50/688.47 c #Conflicts: 373000 | #Constraints: 69624
686.50/688.47 c #Conflicts: 374000 | #Constraints: 70624
686.50/688.47 c #Conflicts: 375000 | #Constraints: 71624
686.50/688.47 c #Conflicts: 376000 | #Constraints: 72624
686.50/688.47 c #Conflicts: 377000 | #Constraints: 73624
686.50/688.47 c #Conflicts: 378000 | #Constraints: 74624
686.50/688.47 c #Conflicts: 379000 | #Constraints: 75624
686.50/688.47 c #Conflicts: 380000 | #Constraints: 76624
686.50/688.47 c #Conflicts: 381000 | #Constraints: 77624
686.50/688.47 c #Conflicts: 382000 | #Constraints: 78624
686.50/688.47 c #Conflicts: 383000 | #Constraints: 79624
686.50/688.47 c #Conflicts: 384000 | #Constraints: 80624
686.50/688.47 c #Conflicts: 385000 | #Constraints: 81624
686.50/688.47 c #Conflicts: 386000 | #Constraints: 82624
686.50/688.47 c #Conflicts: 387000 | #Constraints: 83624
686.50/688.47 c #Conflicts: 388000 | #Constraints: 84624
686.50/688.47 c #Conflicts: 389000 | #Constraints: 85624
686.50/688.47 c #Conflicts: 390000 | #Constraints: 86624
686.50/688.47 c #Conflicts: 391000 | #Constraints: 87624
686.50/688.47 c #Conflicts: 392000 | #Constraints: 88624
686.50/688.47 c #Conflicts: 393000 | #Constraints: 89624
686.50/688.47 c #Conflicts: 394000 | #Constraints: 90624
686.50/688.47 c #Conflicts: 395000 | #Constraints: 91624
976.92/979.76 c #Conflicts: 396000 | #Constraints: 92624
976.92/979.76 c #Conflicts: 397000 | #Constraints: 93624
976.92/979.76 c INPROCESSING
976.92/979.76 c GARBAGE COLLECT
976.92/979.76 c #Conflicts: 398000 | #Constraints: 59332
976.92/979.76 c #Conflicts: 399000 | #Constraints: 60332
976.92/979.76 c #Conflicts: 400000 | #Constraints: 61332
976.92/979.76 c #Conflicts: 401000 | #Constraints: 62332
976.92/979.76 c #Conflicts: 402000 | #Constraints: 63332
976.92/979.76 c #Conflicts: 403000 | #Constraints: 64332
976.92/979.76 c #Conflicts: 404000 | #Constraints: 65332
976.92/979.76 c #Conflicts: 405000 | #Constraints: 66332
976.92/979.76 c #Conflicts: 406000 | #Constraints: 67332
976.92/979.76 c #Conflicts: 407000 | #Constraints: 68332
976.92/979.76 c #Conflicts: 408000 | #Constraints: 69332
976.92/979.76 c #Conflicts: 409000 | #Constraints: 70332
976.92/979.76 c #Conflicts: 410000 | #Constraints: 71332
976.92/979.76 c #Conflicts: 411000 | #Constraints: 72332
976.92/979.76 c #Conflicts: 412000 | #Constraints: 73332
976.92/979.76 c #Conflicts: 413000 | #Constraints: 74332
976.92/979.76 c #Conflicts: 414000 | #Constraints: 75332
976.92/979.76 c #Conflicts: 415000 | #Constraints: 76332
976.92/979.76 c INPROCESSING
976.92/979.76 c GARBAGE COLLECT
976.92/979.76 c #Conflicts: 416000 | #Constraints: 57482
976.92/979.76 c #Conflicts: 417000 | #Constraints: 58482
976.92/979.76 c #Conflicts: 418000 | #Constraints: 59482
976.92/979.76 c #Conflicts: 419000 | #Constraints: 60482
976.92/979.76 c #Conflicts: 420000 | #Constraints: 61483
976.92/979.76 c #Conflicts: 421000 | #Constraints: 62483
976.92/979.76 c #Conflicts: 422000 | #Constraints: 63483
976.92/979.76 c #Conflicts: 423000 | #Constraints: 64483
976.92/979.76 c #Conflicts: 424000 | #Constraints: 65483
976.92/979.76 c #Conflicts: 425000 | #Constraints: 66483
976.92/979.76 c #Conflicts: 426000 | #Constraints: 67483
976.92/979.76 c #Conflicts: 427000 | #Constraints: 68483
976.92/979.76 c #Conflicts: 428000 | #Constraints: 69483
976.92/979.76 c #Conflicts: 429000 | #Constraints: 70483
976.92/979.76 c #Conflicts: 430000 | #Constraints: 71483
976.92/979.76 c #Conflicts: 431000 | #Constraints: 72483
976.92/979.76 c #Conflicts: 432000 | #Constraints: 73483
976.92/979.76 c #Conflicts: 433000 | #Constraints: 74483
976.92/979.76 c #Conflicts: 434000 | #Constraints: 75483
976.92/979.76 c #Conflicts: 435000 | #Constraints: 76483
976.92/979.76 c #Conflicts: 436000 | #Constraints: 77483
976.92/979.76 c #Conflicts: 437000 | #Constraints: 78483
976.92/979.76 c #Conflicts: 438000 | #Constraints: 79483
976.92/979.76 c #Conflicts: 439000 | #Constraints: 80483
976.92/979.76 c #Conflicts: 440000 | #Constraints: 81483
976.92/979.76 c #Conflicts: 441000 | #Constraints: 82483
976.92/979.76 c #Conflicts: 442000 | #Constraints: 83483
976.92/979.76 c #Conflicts: 443000 | #Constraints: 84483
976.92/979.76 c #Conflicts: 444000 | #Constraints: 85483
976.92/979.76 c #Conflicts: 445000 | #Constraints: 86483
976.92/979.76 c #Conflicts: 446000 | #Constraints: 87483
976.92/979.76 c #Conflicts: 447000 | #Constraints: 88483
976.92/979.76 c #Conflicts: 448000 | #Constraints: 89483
976.92/979.76 c #Conflicts: 449000 | #Constraints: 90483
976.92/979.76 c #Conflicts: 450000 | #Constraints: 91483
976.92/979.76 c #Conflicts: 451000 | #Constraints: 92483
976.92/979.76 c #Conflicts: 452000 | #Constraints: 93483
976.92/979.76 c #Conflicts: 453000 | #Constraints: 94483
976.92/979.76 c #Conflicts: 454000 | #Constraints: 95483
976.92/979.76 c #Conflicts: 455000 | #Constraints: 96483
976.92/979.76 c #Conflicts: 456000 | #Constraints: 97483
976.92/979.76 c #Conflicts: 457000 | #Constraints: 98483
976.92/979.76 c #Conflicts: 458000 | #Constraints: 99483
976.92/979.76 c #Conflicts: 459000 | #Constraints: 100483
976.92/979.76 c INPROCESSING
976.92/979.76 c GARBAGE COLLECT
976.92/979.76 c #Conflicts: 460000 | #Constraints: 62885
976.92/979.76 c #Conflicts: 461000 | #Constraints: 63885
976.92/979.76 c #Conflicts: 462000 | #Constraints: 64885
976.92/979.76 c #Conflicts: 463000 | #Constraints: 65885
976.92/979.76 c #Conflicts: 464000 | #Constraints: 66885
976.92/979.76 c #Conflicts: 465000 | #Constraints: 67885
976.92/979.76 c #Conflicts: 466000 | #Constraints: 68885
976.92/979.76 c #Conflicts: 467000 | #Constraints: 69885
976.92/979.76 c #Conflicts: 468000 | #Constraints: 70885
976.92/979.76 c #Conflicts: 469000 | #Constraints: 71885
976.92/979.76 c #Conflicts: 470000 | #Constraints: 72885
976.92/979.76 c #Conflicts: 471000 | #Constraints: 73885
976.92/979.76 c #Conflicts: 472000 | #Constraints: 74885
1164.63/1168.01 c #Conflicts: 473000 | #Constraints: 75885
1164.63/1168.01 c #Conflicts: 474000 | #Constraints: 76885
1164.63/1168.01 c #Conflicts: 475000 | #Constraints: 77885
1164.63/1168.01 c #Conflicts: 476000 | #Constraints: 78885
1164.63/1168.01 c #Conflicts: 477000 | #Constraints: 79885
1164.63/1168.01 c #Conflicts: 478000 | #Constraints: 80885
1164.63/1168.01 c INPROCESSING
1164.63/1168.01 c GARBAGE COLLECT
1164.63/1168.01 c #Conflicts: 479000 | #Constraints: 59780
1164.63/1168.01 c #Conflicts: 480000 | #Constraints: 60780
1164.63/1168.01 c #Conflicts: 481000 | #Constraints: 61780
1164.63/1168.01 c #Conflicts: 482000 | #Constraints: 62780
1164.63/1168.01 c #Conflicts: 483000 | #Constraints: 63780
1164.63/1168.01 c #Conflicts: 484000 | #Constraints: 64780
1164.63/1168.01 c #Conflicts: 485000 | #Constraints: 65780
1164.63/1168.01 c #Conflicts: 486000 | #Constraints: 66780
1164.63/1168.01 c #Conflicts: 487000 | #Constraints: 67780
1164.63/1168.01 c #Conflicts: 488000 | #Constraints: 68780
1164.63/1168.01 c #Conflicts: 489000 | #Constraints: 69780
1164.63/1168.01 c #Conflicts: 490000 | #Constraints: 70780
1164.63/1168.01 c #Conflicts: 491000 | #Constraints: 71780
1164.63/1168.01 c #Conflicts: 492000 | #Constraints: 72780
1164.63/1168.01 c #Conflicts: 493000 | #Constraints: 73780
1164.63/1168.01 c #Conflicts: 494000 | #Constraints: 74780
1164.63/1168.01 c #Conflicts: 495000 | #Constraints: 75780
1164.63/1168.01 c #Conflicts: 496000 | #Constraints: 76780
1164.63/1168.01 c #Conflicts: 497000 | #Constraints: 77780
1164.63/1168.01 c #Conflicts: 498000 | #Constraints: 78780
1164.63/1168.01 c #Conflicts: 499000 | #Constraints: 79780
1164.63/1168.01 c #Conflicts: 500000 | #Constraints: 80780
1164.63/1168.01 c #Conflicts: 501000 | #Constraints: 81780
1164.63/1168.01 c #Conflicts: 502000 | #Constraints: 82780
1164.63/1168.01 c #Conflicts: 503000 | #Constraints: 83780
1164.63/1168.01 c #Conflicts: 504000 | #Constraints: 84780
1164.63/1168.01 c #Conflicts: 505000 | #Constraints: 85780
1164.63/1168.01 c #Conflicts: 506000 | #Constraints: 86780
1164.63/1168.01 c #Conflicts: 507000 | #Constraints: 87780
1164.63/1168.01 c #Conflicts: 508000 | #Constraints: 88780
1164.63/1168.01 c #Conflicts: 509000 | #Constraints: 89780
1164.63/1168.01 c #Conflicts: 510000 | #Constraints: 90780
1164.63/1168.01 c #Conflicts: 511000 | #Constraints: 91780
1164.63/1168.01 c #Conflicts: 512000 | #Constraints: 92780
1164.63/1168.01 c #Conflicts: 513000 | #Constraints: 93780
1164.63/1168.01 c #Conflicts: 514000 | #Constraints: 94780
1164.63/1168.01 c #Conflicts: 515000 | #Constraints: 95780
1164.63/1168.01 c #Conflicts: 516000 | #Constraints: 96780
1164.63/1168.01 c #Conflicts: 517000 | #Constraints: 97780
1164.63/1168.01 c #Conflicts: 518000 | #Constraints: 98780
1164.63/1168.01 c #Conflicts: 519000 | #Constraints: 99780
1164.63/1168.01 c #Conflicts: 520000 | #Constraints: 100780
1164.63/1168.01 c #Conflicts: 521000 | #Constraints: 101780
1164.63/1168.01 c #Conflicts: 522000 | #Constraints: 102780
1164.63/1168.01 c #Conflicts: 523000 | #Constraints: 103780
1164.63/1168.01 c #Conflicts: 524000 | #Constraints: 104780
1164.63/1168.01 c #Conflicts: 525000 | #Constraints: 105780
1164.63/1168.01 c INPROCESSING
1164.63/1168.01 c GARBAGE COLLECT
1164.63/1168.01 c #Conflicts: 526000 | #Constraints: 65770
1164.63/1168.01 c #Conflicts: 527000 | #Constraints: 66770
1164.63/1168.01 c #Conflicts: 528000 | #Constraints: 67770
1164.63/1168.01 c #Conflicts: 529000 | #Constraints: 68770
1164.63/1168.01 c #Conflicts: 530000 | #Constraints: 69770
1164.63/1168.01 c #Conflicts: 531000 | #Constraints: 70770
1164.63/1168.01 c #Conflicts: 532000 | #Constraints: 71770
1164.63/1168.01 c #Conflicts: 533000 | #Constraints: 72770
1164.63/1168.01 c #Conflicts: 534000 | #Constraints: 73770
1164.63/1168.01 c #Conflicts: 535000 | #Constraints: 74770
1164.63/1168.01 c #Conflicts: 536000 | #Constraints: 75770
1164.63/1168.01 c #Conflicts: 537000 | #Constraints: 76770
1164.63/1168.01 c #Conflicts: 538000 | #Constraints: 77770
1164.63/1168.01 c #Conflicts: 539000 | #Constraints: 78770
1164.63/1168.01 c #Conflicts: 540000 | #Constraints: 79770
1164.63/1168.01 c #Conflicts: 541000 | #Constraints: 80770
1164.63/1168.01 c #Conflicts: 542000 | #Constraints: 81770
1164.63/1168.01 c #Conflicts: 543000 | #Constraints: 82770
1164.63/1168.01 c #Conflicts: 544000 | #Constraints: 83770
1164.63/1168.01 c #Conflicts: 545000 | #Constraints: 84770
1164.63/1168.01 c INPROCESSING
1164.63/1168.01 c GARBAGE COLLECT
1164.63/1168.01 c #Conflicts: 546000 | #Constraints: 62073
1164.63/1168.01 c #Conflicts: 547000 | #Constraints: 63073
1164.63/1168.01 c #Conflicts: 548000 | #Constraints: 64073
1164.63/1168.01 c #Conflicts: 549000 | #Constraints: 65073
1339.75/1343.60 c #Conflicts: 550000 | #Constraints: 66073
1339.75/1343.60 c #Conflicts: 551000 | #Constraints: 67073
1339.75/1343.60 c #Conflicts: 552000 | #Constraints: 68073
1339.75/1343.60 c #Conflicts: 553000 | #Constraints: 69073
1339.75/1343.60 c #Conflicts: 554000 | #Constraints: 70073
1339.75/1343.60 c #Conflicts: 555000 | #Constraints: 71073
1339.75/1343.60 c #Conflicts: 556000 | #Constraints: 72073
1339.75/1343.60 c #Conflicts: 557000 | #Constraints: 73073
1339.75/1343.60 c #Conflicts: 558000 | #Constraints: 74073
1339.75/1343.60 c #Conflicts: 559000 | #Constraints: 75073
1339.75/1343.60 c #Conflicts: 560000 | #Constraints: 76073
1339.75/1343.60 c #Conflicts: 561000 | #Constraints: 77073
1339.75/1343.60 c #Conflicts: 562000 | #Constraints: 78073
1339.75/1343.60 c #Conflicts: 563000 | #Constraints: 79073
1339.75/1343.60 c #Conflicts: 564000 | #Constraints: 80073
1339.75/1343.60 c #Conflicts: 565000 | #Constraints: 81073
1339.75/1343.60 c #Conflicts: 566000 | #Constraints: 82073
1339.75/1343.60 c #Conflicts: 567000 | #Constraints: 83073
1339.75/1343.60 c #Conflicts: 568000 | #Constraints: 84073
1339.75/1343.60 c #Conflicts: 569000 | #Constraints: 85073
1339.75/1343.60 c #Conflicts: 570000 | #Constraints: 86073
1339.75/1343.60 c #Conflicts: 571000 | #Constraints: 87073
1339.75/1343.60 c #Conflicts: 572000 | #Constraints: 88073
1339.75/1343.60 c #Conflicts: 573000 | #Constraints: 89073
1339.75/1343.60 c #Conflicts: 574000 | #Constraints: 90073
1339.75/1343.60 c #Conflicts: 575000 | #Constraints: 91073
1339.75/1343.60 c #Conflicts: 576000 | #Constraints: 92073
1339.75/1343.60 c #Conflicts: 577000 | #Constraints: 93073
1339.75/1343.60 c #Conflicts: 578000 | #Constraints: 94073
1339.75/1343.60 c #Conflicts: 579000 | #Constraints: 95073
1339.75/1343.60 c #Conflicts: 580000 | #Constraints: 96073
1339.75/1343.60 c #Conflicts: 581000 | #Constraints: 97073
1339.75/1343.60 c #Conflicts: 582000 | #Constraints: 98073
1339.75/1343.60 c #Conflicts: 583000 | #Constraints: 99073
1339.75/1343.60 c #Conflicts: 584000 | #Constraints: 100073
1339.75/1343.60 c #Conflicts: 585000 | #Constraints: 101073
1339.75/1343.60 c #Conflicts: 586000 | #Constraints: 102073
1339.75/1343.60 c #Conflicts: 587000 | #Constraints: 103073
1339.75/1343.60 c #Conflicts: 588000 | #Constraints: 104073
1339.75/1343.60 c #Conflicts: 589000 | #Constraints: 105073
1339.75/1343.60 c #Conflicts: 590000 | #Constraints: 106073
1339.75/1343.60 c #Conflicts: 591000 | #Constraints: 107073
1339.75/1343.60 c #Conflicts: 592000 | #Constraints: 108073
1339.75/1343.60 c #Conflicts: 593000 | #Constraints: 109073
1339.75/1343.60 c #Conflicts: 594000 | #Constraints: 110073
1339.75/1343.60 c #Conflicts: 595000 | #Constraints: 111073
1339.75/1343.60 c INPROCESSING
1339.75/1343.60 c GARBAGE COLLECT
1339.75/1343.60 c #Conflicts: 596000 | #Constraints: 68281
1339.75/1343.60 c #Conflicts: 597000 | #Constraints: 69281
1339.75/1343.60 c #Conflicts: 598000 | #Constraints: 70281
1339.75/1343.60 c #Conflicts: 599000 | #Constraints: 71281
1339.75/1343.60 c #Conflicts: 600000 | #Constraints: 72281
1339.75/1343.60 c #Conflicts: 601000 | #Constraints: 73281
1339.75/1343.60 c #Conflicts: 602000 | #Constraints: 74281
1339.75/1343.60 c #Conflicts: 603000 | #Constraints: 75281
1339.75/1343.60 c #Conflicts: 604000 | #Constraints: 76281
1339.75/1343.60 c #Conflicts: 605000 | #Constraints: 77281
1339.75/1343.60 c #Conflicts: 606000 | #Constraints: 78281
1339.75/1343.60 c #Conflicts: 607000 | #Constraints: 79281
1339.75/1343.60 c #Conflicts: 608000 | #Constraints: 80281
1339.75/1343.60 c #Conflicts: 609000 | #Constraints: 81281
1339.75/1343.60 c #Conflicts: 610000 | #Constraints: 82281
1339.75/1343.60 c #Conflicts: 611000 | #Constraints: 83281
1339.75/1343.60 c #Conflicts: 612000 | #Constraints: 84281
1339.75/1343.60 c #Conflicts: 613000 | #Constraints: 85281
1339.75/1343.60 c #Conflicts: 614000 | #Constraints: 86281
1339.75/1343.60 c #Conflicts: 615000 | #Constraints: 87281
1339.75/1343.60 c #Conflicts: 616000 | #Constraints: 88281
1339.75/1343.60 c #Conflicts: 617000 | #Constraints: 89281
1339.75/1343.60 c INPROCESSING
1339.75/1343.60 c GARBAGE COLLECT
1339.75/1343.60 c #Conflicts: 618000 | #Constraints: 65466
1339.75/1343.60 c #Conflicts: 619000 | #Constraints: 66466
1339.75/1343.60 c #Conflicts: 620000 | #Constraints: 67466
1339.75/1343.60 c #Conflicts: 621000 | #Constraints: 68466
1339.75/1343.60 c #Conflicts: 622000 | #Constraints: 69466
1339.75/1343.60 c #Conflicts: 623000 | #Constraints: 70466
1339.75/1343.60 c #Conflicts: 624000 | #Constraints: 71466
1339.75/1343.60 c #Conflicts: 625000 | #Constraints: 72466
1339.75/1343.60 c #Conflicts: 626000 | #Constraints: 73466
1500.61/1504.95 c #Conflicts: 627000 | #Constraints: 74466
1500.61/1504.95 c #Conflicts: 628000 | #Constraints: 75466
1500.61/1504.95 c #Conflicts: 629000 | #Constraints: 76466
1500.61/1504.95 c #Conflicts: 630000 | #Constraints: 77466
1500.61/1504.95 c #Conflicts: 631000 | #Constraints: 78466
1500.61/1504.95 c #Conflicts: 632000 | #Constraints: 79466
1500.61/1504.95 c #Conflicts: 633000 | #Constraints: 80466
1500.61/1504.95 c #Conflicts: 634000 | #Constraints: 81466
1500.61/1504.95 c #Conflicts: 635000 | #Constraints: 82466
1500.61/1504.95 c #Conflicts: 636000 | #Constraints: 83466
1500.61/1504.95 c #Conflicts: 637000 | #Constraints: 84466
1500.61/1504.95 c #Conflicts: 638000 | #Constraints: 85466
1500.61/1504.95 c #Conflicts: 639000 | #Constraints: 86466
1500.61/1504.95 c #Conflicts: 640000 | #Constraints: 87466
1500.61/1504.95 c #Conflicts: 641000 | #Constraints: 88466
1500.61/1504.95 c #Conflicts: 642000 | #Constraints: 89466
1500.61/1504.95 c #Conflicts: 643000 | #Constraints: 90466
1500.61/1504.95 c #Conflicts: 644000 | #Constraints: 91466
1500.61/1504.95 c #Conflicts: 645000 | #Constraints: 92466
1500.61/1504.95 c #Conflicts: 646000 | #Constraints: 93466
1500.61/1504.95 c #Conflicts: 647000 | #Constraints: 94466
1500.61/1504.95 c #Conflicts: 648000 | #Constraints: 95466
1500.61/1504.95 c #Conflicts: 649000 | #Constraints: 96466
1500.61/1504.95 c #Conflicts: 650000 | #Constraints: 97466
1500.61/1504.95 c #Conflicts: 651000 | #Constraints: 98466
1500.61/1504.95 c #Conflicts: 652000 | #Constraints: 99466
1500.61/1504.95 c #Conflicts: 653000 | #Constraints: 100466
1500.61/1504.95 c #Conflicts: 654000 | #Constraints: 101466
1500.61/1504.95 c #Conflicts: 655000 | #Constraints: 102466
1500.61/1504.95 c #Conflicts: 656000 | #Constraints: 103466
1500.61/1504.95 c #Conflicts: 657000 | #Constraints: 104466
1500.61/1504.95 c #Conflicts: 658000 | #Constraints: 105466
1500.61/1504.95 c #Conflicts: 659000 | #Constraints: 106466
1500.61/1504.95 c #Conflicts: 660000 | #Constraints: 107466
1500.61/1504.95 c #Conflicts: 661000 | #Constraints: 108466
1500.61/1504.95 c #Conflicts: 662000 | #Constraints: 109466
1500.61/1504.95 c #Conflicts: 663000 | #Constraints: 110466
1500.61/1504.95 c #Conflicts: 664000 | #Constraints: 111466
1500.61/1504.95 c #Conflicts: 665000 | #Constraints: 112466
1500.61/1504.95 c #Conflicts: 666000 | #Constraints: 113466
1500.61/1504.95 c #Conflicts: 667000 | #Constraints: 114466
1500.61/1504.95 c #Conflicts: 668000 | #Constraints: 115466
1500.61/1504.95 c #Conflicts: 669000 | #Constraints: 116466
1500.61/1504.95 c INPROCESSING
1500.61/1504.95 c GARBAGE COLLECT
1500.61/1504.95 c #Conflicts: 670000 | #Constraints: 70946
1500.61/1504.95 c #Conflicts: 671000 | #Constraints: 71946
1500.61/1504.95 c #Conflicts: 672000 | #Constraints: 72946
1500.61/1504.95 c #Conflicts: 673000 | #Constraints: 73946
1500.61/1504.95 c #Conflicts: 674000 | #Constraints: 74946
1500.61/1504.95 c #Conflicts: 675000 | #Constraints: 75946
1500.61/1504.95 c #Conflicts: 676000 | #Constraints: 76946
1500.61/1504.95 c #Conflicts: 677000 | #Constraints: 77946
1500.61/1504.95 c #Conflicts: 678000 | #Constraints: 78946
1500.61/1504.95 c #Conflicts: 679000 | #Constraints: 79946
1500.61/1504.95 c #Conflicts: 680000 | #Constraints: 80946
1500.61/1504.95 c #Conflicts: 681000 | #Constraints: 81946
1500.61/1504.95 c #Conflicts: 682000 | #Constraints: 82946
1500.61/1504.95 c #Conflicts: 683000 | #Constraints: 83946
1500.61/1504.95 c #Conflicts: 684000 | #Constraints: 84946
1500.61/1504.95 c #Conflicts: 685000 | #Constraints: 85946
1500.61/1504.95 c #Conflicts: 686000 | #Constraints: 86946
1500.61/1504.95 c #Conflicts: 687000 | #Constraints: 87946
1500.61/1504.95 c #Conflicts: 688000 | #Constraints: 88946
1500.61/1504.95 c #Conflicts: 689000 | #Constraints: 89946
1500.61/1504.95 c #Conflicts: 690000 | #Constraints: 90946
1500.61/1504.95 c #Conflicts: 691000 | #Constraints: 91946
1500.61/1504.95 c #Conflicts: 692000 | #Constraints: 92946
1500.61/1504.95 c #Conflicts: 693000 | #Constraints: 93946
1500.61/1504.95 c INPROCESSING
1500.61/1504.95 c GARBAGE COLLECT
1500.61/1504.95 c #Conflicts: 694000 | #Constraints: 68696
1500.61/1504.95 c #Conflicts: 695000 | #Constraints: 69696
1500.61/1504.95 c #Conflicts: 696000 | #Constraints: 70696
1500.61/1504.95 c #Conflicts: 697000 | #Constraints: 71696
1500.61/1504.95 c #Conflicts: 698000 | #Constraints: 72696
1500.61/1504.95 c #Conflicts: 699000 | #Constraints: 73696
1500.61/1504.95 c #Conflicts: 700000 | #Constraints: 74696
1500.61/1504.95 c #Conflicts: 701000 | #Constraints: 75696
1500.61/1504.95 c #Conflicts: 702000 | #Constraints: 76696
1500.61/1504.95 c #Conflicts: 703000 | #Constraints: 77696
1500.61/1504.95 c #Conflicts: 704000 | #Constraints: 78696
1649.20/1653.91 c #Conflicts: 705000 | #Constraints: 79696
1649.20/1653.91 c #Conflicts: 706000 | #Constraints: 80696
1649.20/1653.91 c #Conflicts: 707000 | #Constraints: 81696
1649.20/1653.91 c #Conflicts: 708000 | #Constraints: 82696
1649.20/1653.91 c #Conflicts: 709000 | #Constraints: 83696
1649.20/1653.91 c #Conflicts: 710000 | #Constraints: 84696
1649.20/1653.91 c #Conflicts: 711000 | #Constraints: 85696
1649.20/1653.91 c #Conflicts: 712000 | #Constraints: 86696
1649.20/1653.91 c #Conflicts: 713000 | #Constraints: 87696
1649.20/1653.91 c #Conflicts: 714000 | #Constraints: 88696
1649.20/1653.91 c #Conflicts: 715000 | #Constraints: 89696
1649.20/1653.91 c #Conflicts: 716000 | #Constraints: 90696
1649.20/1653.91 c #Conflicts: 717000 | #Constraints: 91696
1649.20/1653.91 c #Conflicts: 718000 | #Constraints: 92696
1649.20/1653.91 c #Conflicts: 719000 | #Constraints: 93696
1649.20/1653.91 c #Conflicts: 720000 | #Constraints: 94696
1649.20/1653.91 c #Conflicts: 721000 | #Constraints: 95696
1649.20/1653.91 c #Conflicts: 722000 | #Constraints: 96696
1649.20/1653.91 c #Conflicts: 723000 | #Constraints: 97696
1649.20/1653.91 c #Conflicts: 724000 | #Constraints: 98696
1649.20/1653.91 c #Conflicts: 725000 | #Constraints: 99696
1649.20/1653.91 c #Conflicts: 726000 | #Constraints: 100696
1649.20/1653.91 c #Conflicts: 727000 | #Constraints: 101696
1649.20/1653.91 c #Conflicts: 728000 | #Constraints: 102696
1649.20/1653.91 c #Conflicts: 729000 | #Constraints: 103696
1649.20/1653.91 c #Conflicts: 730000 | #Constraints: 104696
1649.20/1653.91 c #Conflicts: 731000 | #Constraints: 105696
1649.20/1653.91 c #Conflicts: 732000 | #Constraints: 106696
1649.20/1653.91 c #Conflicts: 733000 | #Constraints: 107696
1649.20/1653.91 c #Conflicts: 734000 | #Constraints: 108696
1649.20/1653.91 c #Conflicts: 735000 | #Constraints: 109696
1649.20/1653.91 c #Conflicts: 736000 | #Constraints: 110696
1649.20/1653.91 c #Conflicts: 737000 | #Constraints: 111696
1649.20/1653.91 c #Conflicts: 738000 | #Constraints: 112696
1649.20/1653.91 c #Conflicts: 739000 | #Constraints: 113696
1649.20/1653.91 c #Conflicts: 740000 | #Constraints: 114696
1649.20/1653.91 c #Conflicts: 741000 | #Constraints: 115696
1649.20/1653.91 c #Conflicts: 742000 | #Constraints: 116696
1649.20/1653.91 c #Conflicts: 743000 | #Constraints: 117696
1649.20/1653.91 c #Conflicts: 744000 | #Constraints: 118696
1649.20/1653.91 c #Conflicts: 745000 | #Constraints: 119696
1649.20/1653.91 c #Conflicts: 746000 | #Constraints: 120696
1649.20/1653.91 c #Conflicts: 747000 | #Constraints: 121696
1649.20/1653.91 c #Conflicts: 748000 | #Constraints: 122696
1649.20/1653.91 c INPROCESSING
1649.20/1653.91 c GARBAGE COLLECT
1649.20/1653.91 c rational objective 177
1714.43/1719.31 c #Conflicts: 749000 | #Constraints: 73962
1714.43/1719.31 c #Conflicts: 750000 | #Constraints: 74962
1714.43/1719.31 c #Conflicts: 751000 | #Constraints: 75962
1714.43/1719.31 c #Conflicts: 752000 | #Constraints: 76962
1714.43/1719.31 c #Conflicts: 753000 | #Constraints: 77962
1714.43/1719.31 c #Conflicts: 754000 | #Constraints: 78962
1714.43/1719.31 c #Conflicts: 755000 | #Constraints: 79962
1714.43/1719.31 c #Conflicts: 756000 | #Constraints: 80962
1714.43/1719.31 c #Conflicts: 757000 | #Constraints: 81962
1714.43/1719.31 c #Conflicts: 758000 | #Constraints: 82962
1714.43/1719.31 c #Conflicts: 759000 | #Constraints: 83962
1714.43/1719.31 c #Conflicts: 760000 | #Constraints: 84962
1714.43/1719.31 c #Conflicts: 761000 | #Constraints: 85962
1714.43/1719.31 c #Conflicts: 762000 | #Constraints: 86962
1714.43/1719.31 c #Conflicts: 763000 | #Constraints: 87962
1714.43/1719.31 c #Conflicts: 764000 | #Constraints: 88962
1714.43/1719.31 c #Conflicts: 765000 | #Constraints: 89962
1714.43/1719.31 c #Conflicts: 766000 | #Constraints: 90962
1714.43/1719.31 c #Conflicts: 767000 | #Constraints: 91962
1714.43/1719.31 c #Conflicts: 768000 | #Constraints: 92962
1714.43/1719.31 c #Conflicts: 769000 | #Constraints: 93962
1714.43/1719.31 c #Conflicts: 770000 | #Constraints: 94962
1714.43/1719.31 c #Conflicts: 771000 | #Constraints: 95962
1714.43/1719.31 c #Conflicts: 772000 | #Constraints: 96962
1714.43/1719.31 c #Conflicts: 773000 | #Constraints: 97962
1714.43/1719.31 c INPROCESSING
1714.43/1719.31 c GARBAGE COLLECT
1714.43/1719.31 c rational objective 177
1868.10/1873.49 c #Conflicts: 774000 | #Constraints: 71136
1868.10/1873.49 c #Conflicts: 775000 | #Constraints: 72136
1868.10/1873.49 c #Conflicts: 776000 | #Constraints: 73136
1868.10/1873.49 c #Conflicts: 777000 | #Constraints: 74136
1868.10/1873.49 c #Conflicts: 778000 | #Constraints: 75136
1868.10/1873.49 c #Conflicts: 779000 | #Constraints: 76136
1868.10/1873.49 c #Conflicts: 780000 | #Constraints: 77136
1868.10/1873.49 c #Conflicts: 781000 | #Constraints: 78136
1868.10/1873.49 c #Conflicts: 782000 | #Constraints: 79136
1868.10/1873.49 c #Conflicts: 783000 | #Constraints: 80136
1868.10/1873.49 c #Conflicts: 784000 | #Constraints: 81136
1868.10/1873.49 c #Conflicts: 785000 | #Constraints: 82136
1868.10/1873.49 c #Conflicts: 786000 | #Constraints: 83136
1868.10/1873.49 c #Conflicts: 787000 | #Constraints: 84136
1868.10/1873.49 c #Conflicts: 788000 | #Constraints: 85136
1868.10/1873.49 c #Conflicts: 789000 | #Constraints: 86136
1868.10/1873.49 c #Conflicts: 790000 | #Constraints: 87136
1868.10/1873.49 c #Conflicts: 791000 | #Constraints: 88136
1868.10/1873.49 c #Conflicts: 792000 | #Constraints: 89136
1868.10/1873.49 c #Conflicts: 793000 | #Constraints: 90136
1868.10/1873.49 c #Conflicts: 794000 | #Constraints: 91136
1868.10/1873.49 c #Conflicts: 795000 | #Constraints: 92136
1868.10/1873.49 c #Conflicts: 796000 | #Constraints: 93136
1868.10/1873.49 c #Conflicts: 797000 | #Constraints: 94136
1868.10/1873.49 c #Conflicts: 798000 | #Constraints: 95136
1868.10/1873.49 c #Conflicts: 799000 | #Constraints: 96136
1868.10/1873.49 c #Conflicts: 800000 | #Constraints: 97136
1868.10/1873.49 c #Conflicts: 801000 | #Constraints: 98136
1868.10/1873.49 c #Conflicts: 802000 | #Constraints: 99136
1868.10/1873.49 c #Conflicts: 803000 | #Constraints: 100136
1868.10/1873.49 c #Conflicts: 804000 | #Constraints: 101136
1868.10/1873.49 c #Conflicts: 805000 | #Constraints: 102136
1868.10/1873.49 c #Conflicts: 806000 | #Constraints: 103136
1868.10/1873.49 c #Conflicts: 807000 | #Constraints: 104136
1868.10/1873.49 c #Conflicts: 808000 | #Constraints: 105136
1868.10/1873.49 c #Conflicts: 809000 | #Constraints: 106136
1868.10/1873.49 c #Conflicts: 810000 | #Constraints: 107136
1868.10/1873.49 c #Conflicts: 811000 | #Constraints: 108136
1868.10/1873.49 c #Conflicts: 812000 | #Constraints: 109136
1868.10/1873.49 c #Conflicts: 813000 | #Constraints: 110136
1868.10/1873.49 c #Conflicts: 814000 | #Constraints: 111136
1868.10/1873.49 c #Conflicts: 815000 | #Constraints: 112136
1868.10/1873.49 c #Conflicts: 816000 | #Constraints: 113136
1868.10/1873.49 c #Conflicts: 817000 | #Constraints: 114136
1868.10/1873.49 c #Conflicts: 818000 | #Constraints: 115136
1868.10/1873.49 c #Conflicts: 819000 | #Constraints: 116136
1868.10/1873.49 c #Conflicts: 820000 | #Constraints: 117136
1868.10/1873.49 c #Conflicts: 821000 | #Constraints: 118136
1868.10/1873.49 c #Conflicts: 822000 | #Constraints: 119136
1868.10/1873.49 c #Conflicts: 823000 | #Constraints: 120136
1868.10/1873.49 c #Conflicts: 824000 | #Constraints: 121136
1868.10/1873.49 c #Conflicts: 825000 | #Constraints: 122136
1868.10/1873.49 c #Conflicts: 826000 | #Constraints: 123136
1868.10/1873.49 c #Conflicts: 827000 | #Constraints: 124136
1868.10/1873.49 c #Conflicts: 828000 | #Constraints: 125136
1868.10/1873.49 c #Conflicts: 829000 | #Constraints: 126136
1868.10/1873.49 c #Conflicts: 830000 | #Constraints: 127136
1868.10/1873.49 c #Conflicts: 831000 | #Constraints: 128136
1868.10/1873.49 c #Conflicts: 832000 | #Constraints: 129136
1868.10/1873.49 c INPROCESSING
1868.10/1873.49 c GARBAGE COLLECT
1868.10/1873.49 c rational objective 177
2039.63/2045.49 c #Conflicts: 833000 | #Constraints: 77671
2039.63/2045.49 c #Conflicts: 834000 | #Constraints: 78671
2039.63/2045.49 c #Conflicts: 835000 | #Constraints: 79671
2039.63/2045.49 c #Conflicts: 836000 | #Constraints: 80671
2039.63/2045.49 c #Conflicts: 837000 | #Constraints: 81671
2039.63/2045.49 c #Conflicts: 838000 | #Constraints: 82671
2039.63/2045.49 c #Conflicts: 839000 | #Constraints: 83671
2039.63/2045.49 c #Conflicts: 840000 | #Constraints: 84671
2039.63/2045.49 c #Conflicts: 841000 | #Constraints: 85671
2039.63/2045.49 c #Conflicts: 842000 | #Constraints: 86671
2039.63/2045.49 c #Conflicts: 843000 | #Constraints: 87671
2039.63/2045.49 c #Conflicts: 844000 | #Constraints: 88671
2039.63/2045.49 c #Conflicts: 845000 | #Constraints: 89671
2039.63/2045.49 c #Conflicts: 846000 | #Constraints: 90671
2039.63/2045.49 c #Conflicts: 847000 | #Constraints: 91671
2039.63/2045.49 c #Conflicts: 848000 | #Constraints: 92671
2039.63/2045.49 c #Conflicts: 849000 | #Constraints: 93671
2039.63/2045.49 c #Conflicts: 850000 | #Constraints: 94671
2039.63/2045.49 c #Conflicts: 851000 | #Constraints: 95671
2039.63/2045.49 c #Conflicts: 852000 | #Constraints: 96671
2039.63/2045.49 c #Conflicts: 853000 | #Constraints: 97671
2039.63/2045.49 c #Conflicts: 854000 | #Constraints: 98671
2039.63/2045.49 c #Conflicts: 855000 | #Constraints: 99671
2039.63/2045.49 c #Conflicts: 856000 | #Constraints: 100671
2039.63/2045.49 c #Conflicts: 857000 | #Constraints: 101671
2039.63/2045.49 c #Conflicts: 858000 | #Constraints: 102671
2039.63/2045.49 c INPROCESSING
2039.63/2045.49 c GARBAGE COLLECT
2039.63/2045.49 c #Conflicts: 859000 | #Constraints: 74592
2039.63/2045.49 c #Conflicts: 860000 | #Constraints: 75592
2039.63/2045.49 c #Conflicts: 861000 | #Constraints: 76592
2039.63/2045.49 c #Conflicts: 862000 | #Constraints: 77592
2039.63/2045.49 c #Conflicts: 863000 | #Constraints: 78592
2039.63/2045.49 c #Conflicts: 864000 | #Constraints: 79592
2039.63/2045.49 c #Conflicts: 865000 | #Constraints: 80592
2039.63/2045.49 c #Conflicts: 866000 | #Constraints: 81592
2039.63/2045.49 c #Conflicts: 867000 | #Constraints: 82592
2039.63/2045.49 c #Conflicts: 868000 | #Constraints: 83592
2039.63/2045.49 c #Conflicts: 869000 | #Constraints: 84592
2039.63/2045.49 c #Conflicts: 870000 | #Constraints: 85592
2039.63/2045.49 c #Conflicts: 871000 | #Constraints: 86592
2039.63/2045.49 c #Conflicts: 872000 | #Constraints: 87592
2039.63/2045.49 c #Conflicts: 873000 | #Constraints: 88592
2039.63/2045.49 c #Conflicts: 874000 | #Constraints: 89592
2039.63/2045.49 c #Conflicts: 875000 | #Constraints: 90592
2039.63/2045.49 c #Conflicts: 876000 | #Constraints: 91592
2039.63/2045.49 c #Conflicts: 877000 | #Constraints: 92592
2039.63/2045.49 c #Conflicts: 878000 | #Constraints: 93592
2039.63/2045.49 c #Conflicts: 879000 | #Constraints: 94592
2039.63/2045.49 c #Conflicts: 880000 | #Constraints: 95592
2039.63/2045.49 c #Conflicts: 881000 | #Constraints: 96592
2039.63/2045.49 c #Conflicts: 882000 | #Constraints: 97592
2039.63/2045.49 c #Conflicts: 883000 | #Constraints: 98592
2039.63/2045.49 c #Conflicts: 884000 | #Constraints: 99592
2039.63/2045.49 c #Conflicts: 885000 | #Constraints: 100592
2039.63/2045.49 c #Conflicts: 886000 | #Constraints: 101592
2039.63/2045.49 c #Conflicts: 887000 | #Constraints: 102592
2039.63/2045.49 c #Conflicts: 888000 | #Constraints: 103592
2039.63/2045.49 c #Conflicts: 889000 | #Constraints: 104592
2039.63/2045.49 c #Conflicts: 890000 | #Constraints: 105592
2039.63/2045.49 c #Conflicts: 891000 | #Constraints: 106592
2039.63/2045.49 c #Conflicts: 892000 | #Constraints: 107592
2039.63/2045.49 c #Conflicts: 893000 | #Constraints: 108592
2039.63/2045.49 c #Conflicts: 894000 | #Constraints: 109592
2039.63/2045.49 c #Conflicts: 895000 | #Constraints: 110592
2039.63/2045.49 c #Conflicts: 896000 | #Constraints: 111592
2039.63/2045.49 c #Conflicts: 897000 | #Constraints: 112592
2039.63/2045.49 c #Conflicts: 898000 | #Constraints: 113592
2039.63/2045.49 c #Conflicts: 899000 | #Constraints: 114592
2039.63/2045.49 c #Conflicts: 900000 | #Constraints: 115592
2039.63/2045.49 c #Conflicts: 901000 | #Constraints: 116592
2039.63/2045.49 c #Conflicts: 902000 | #Constraints: 117592
2039.63/2045.49 c #Conflicts: 903000 | #Constraints: 118592
2039.63/2045.49 c #Conflicts: 904000 | #Constraints: 119592
2039.63/2045.49 c #Conflicts: 905000 | #Constraints: 120592
2039.63/2045.49 c #Conflicts: 906000 | #Constraints: 121592
2039.63/2045.49 c #Conflicts: 907000 | #Constraints: 122592
2039.63/2045.49 c #Conflicts: 908000 | #Constraints: 123592
2039.63/2045.49 c #Conflicts: 909000 | #Constraints: 124592
2039.63/2045.49 c #Conflicts: 910000 | #Constraints: 125592
2039.63/2045.49 c #Conflicts: 911000 | #Constraints: 126592
2102.17/2108.13 c #Conflicts: 912000 | #Constraints: 127592
2102.17/2108.13 c #Conflicts: 913000 | #Constraints: 128592
2102.17/2108.13 c #Conflicts: 914000 | #Constraints: 129592
2102.17/2108.13 c #Conflicts: 915000 | #Constraints: 130592
2102.17/2108.13 c #Conflicts: 916000 | #Constraints: 131592
2102.17/2108.13 c #Conflicts: 917000 | #Constraints: 132592
2102.17/2108.13 c #Conflicts: 918000 | #Constraints: 133592
2102.17/2108.13 c #Conflicts: 919000 | #Constraints: 134592
2102.17/2108.13 c #Conflicts: 920000 | #Constraints: 135592
2102.17/2108.13 c INPROCESSING
2102.17/2108.13 c GARBAGE COLLECT
2102.17/2108.13 c rational objective 177
2338.91/2345.57 c #Conflicts: 921000 | #Constraints: 80945
2338.91/2345.57 c #Conflicts: 922000 | #Constraints: 81945
2338.91/2345.57 c #Conflicts: 923000 | #Constraints: 82945
2338.91/2345.57 c #Conflicts: 924000 | #Constraints: 83945
2338.91/2345.57 c #Conflicts: 925000 | #Constraints: 84945
2338.91/2345.57 c #Conflicts: 926000 | #Constraints: 85945
2338.91/2345.57 c #Conflicts: 927000 | #Constraints: 86945
2338.91/2345.57 c #Conflicts: 928000 | #Constraints: 87945
2338.91/2345.57 c #Conflicts: 929000 | #Constraints: 88945
2338.91/2345.57 c #Conflicts: 930000 | #Constraints: 89945
2338.91/2345.57 c #Conflicts: 931000 | #Constraints: 90945
2338.91/2345.57 c #Conflicts: 932000 | #Constraints: 91945
2338.91/2345.57 c #Conflicts: 933000 | #Constraints: 92945
2338.91/2345.57 c #Conflicts: 934000 | #Constraints: 93946
2338.91/2345.57 c #Conflicts: 935000 | #Constraints: 94946
2338.91/2345.57 c #Conflicts: 936000 | #Constraints: 95946
2338.91/2345.57 c #Conflicts: 937000 | #Constraints: 96946
2338.91/2345.57 c #Conflicts: 938000 | #Constraints: 97946
2338.91/2345.57 c #Conflicts: 939000 | #Constraints: 98946
2338.91/2345.57 c #Conflicts: 940000 | #Constraints: 99946
2338.91/2345.57 c #Conflicts: 941000 | #Constraints: 100946
2338.91/2345.57 c #Conflicts: 942000 | #Constraints: 101946
2338.91/2345.57 c #Conflicts: 943000 | #Constraints: 102946
2338.91/2345.57 c #Conflicts: 944000 | #Constraints: 103946
2338.91/2345.57 c #Conflicts: 945000 | #Constraints: 104946
2338.91/2345.57 c #Conflicts: 946000 | #Constraints: 105946
2338.91/2345.57 c #Conflicts: 947000 | #Constraints: 106946
2338.91/2345.57 c INPROCESSING
2338.91/2345.57 c GARBAGE COLLECT
2338.91/2345.57 c #Conflicts: 948000 | #Constraints: 77438
2338.91/2345.57 c #Conflicts: 949000 | #Constraints: 78438
2338.91/2345.57 c #Conflicts: 950000 | #Constraints: 79438
2338.91/2345.57 c #Conflicts: 951000 | #Constraints: 80438
2338.91/2345.57 c #Conflicts: 952000 | #Constraints: 81438
2338.91/2345.57 c #Conflicts: 953000 | #Constraints: 82438
2338.91/2345.57 c #Conflicts: 954000 | #Constraints: 83438
2338.91/2345.57 c #Conflicts: 955000 | #Constraints: 84438
2338.91/2345.57 c #Conflicts: 956000 | #Constraints: 85438
2338.91/2345.57 c #Conflicts: 957000 | #Constraints: 86438
2338.91/2345.57 c #Conflicts: 958000 | #Constraints: 87438
2338.91/2345.57 c #Conflicts: 959000 | #Constraints: 88438
2338.91/2345.57 c #Conflicts: 960000 | #Constraints: 89438
2338.91/2345.57 c #Conflicts: 961000 | #Constraints: 90438
2338.91/2345.57 c #Conflicts: 962000 | #Constraints: 91438
2338.91/2345.57 c #Conflicts: 963000 | #Constraints: 92438
2338.91/2345.57 c #Conflicts: 964000 | #Constraints: 93438
2338.91/2345.57 c #Conflicts: 965000 | #Constraints: 94438
2338.91/2345.57 c #Conflicts: 966000 | #Constraints: 95438
2338.91/2345.57 c #Conflicts: 967000 | #Constraints: 96438
2338.91/2345.57 c #Conflicts: 968000 | #Constraints: 97438
2338.91/2345.57 c #Conflicts: 969000 | #Constraints: 98438
2338.91/2345.57 c #Conflicts: 970000 | #Constraints: 99438
2338.91/2345.57 c #Conflicts: 971000 | #Constraints: 100438
2338.91/2345.57 c #Conflicts: 972000 | #Constraints: 101438
2338.91/2345.57 c #Conflicts: 973000 | #Constraints: 102438
2338.91/2345.57 c #Conflicts: 974000 | #Constraints: 103438
2338.91/2345.57 c #Conflicts: 975000 | #Constraints: 104438
2338.91/2345.57 c #Conflicts: 976000 | #Constraints: 105438
2338.91/2345.57 c #Conflicts: 977000 | #Constraints: 106438
2338.91/2345.57 c #Conflicts: 978000 | #Constraints: 107438
2338.91/2345.57 c #Conflicts: 979000 | #Constraints: 108438
2338.91/2345.57 c #Conflicts: 980000 | #Constraints: 109438
2338.91/2345.57 c #Conflicts: 981000 | #Constraints: 110438
2338.91/2345.57 c #Conflicts: 982000 | #Constraints: 111438
2338.91/2345.57 c #Conflicts: 983000 | #Constraints: 112438
2338.91/2345.57 c #Conflicts: 984000 | #Constraints: 113438
2338.91/2345.57 c #Conflicts: 985000 | #Constraints: 114438
2338.91/2345.57 c #Conflicts: 986000 | #Constraints: 115438
2338.91/2345.57 c #Conflicts: 987000 | #Constraints: 116438
2338.91/2345.57 c #Conflicts: 988000 | #Constraints: 117438
2338.91/2345.57 c #Conflicts: 989000 | #Constraints: 118438
2338.91/2345.57 c #Conflicts: 990000 | #Constraints: 119438
2338.91/2345.57 c #Conflicts: 991000 | #Constraints: 120438
2338.91/2345.57 c #Conflicts: 992000 | #Constraints: 121438
2338.91/2345.57 c #Conflicts: 993000 | #Constraints: 122438
2338.91/2345.57 c #Conflicts: 994000 | #Constraints: 123438
2338.91/2345.57 c #Conflicts: 995000 | #Constraints: 124438
2338.91/2345.57 c #Conflicts: 996000 | #Constraints: 125438
2338.91/2345.57 c #Conflicts: 997000 | #Constraints: 126438
2338.91/2345.57 c #Conflicts: 998000 | #Constraints: 127438
2338.91/2345.57 c #Conflicts: 999000 | #Constraints: 128438
2605.60/2612.92 c #Conflicts: 1000000 | #Constraints: 129438
2605.60/2612.92 c #Conflicts: 1001000 | #Constraints: 130438
2605.60/2612.92 c #Conflicts: 1002000 | #Constraints: 131438
2605.60/2612.92 c #Conflicts: 1003000 | #Constraints: 132438
2605.60/2612.92 c #Conflicts: 1004000 | #Constraints: 133438
2605.60/2612.92 c #Conflicts: 1005000 | #Constraints: 134438
2605.60/2612.92 c #Conflicts: 1006000 | #Constraints: 135438
2605.60/2612.92 c #Conflicts: 1007000 | #Constraints: 136438
2605.60/2612.92 c #Conflicts: 1008000 | #Constraints: 137438
2605.60/2612.92 c #Conflicts: 1009000 | #Constraints: 138438
2605.60/2612.92 c #Conflicts: 1010000 | #Constraints: 139438
2605.60/2612.92 c #Conflicts: 1011000 | #Constraints: 140438
2605.60/2612.92 c #Conflicts: 1012000 | #Constraints: 141438
2605.60/2612.92 c INPROCESSING
2605.60/2612.92 c GARBAGE COLLECT
2605.60/2612.92 c #Conflicts: 1013000 | #Constraints: 83723
2605.60/2612.92 c #Conflicts: 1014000 | #Constraints: 84723
2605.60/2612.92 c #Conflicts: 1015000 | #Constraints: 85723
2605.60/2612.92 c #Conflicts: 1016000 | #Constraints: 86723
2605.60/2612.92 c #Conflicts: 1017000 | #Constraints: 87723
2605.60/2612.92 c #Conflicts: 1018000 | #Constraints: 88723
2605.60/2612.92 c #Conflicts: 1019000 | #Constraints: 89723
2605.60/2612.92 c #Conflicts: 1020000 | #Constraints: 90723
2605.60/2612.92 c #Conflicts: 1021000 | #Constraints: 91723
2605.60/2612.92 c #Conflicts: 1022000 | #Constraints: 92723
2605.60/2612.92 c #Conflicts: 1023000 | #Constraints: 93723
2605.60/2612.92 c #Conflicts: 1024000 | #Constraints: 94723
2605.60/2612.92 c #Conflicts: 1025000 | #Constraints: 95723
2605.60/2612.92 c #Conflicts: 1026000 | #Constraints: 96723
2605.60/2612.92 c #Conflicts: 1027000 | #Constraints: 97723
2605.60/2612.92 c #Conflicts: 1028000 | #Constraints: 98723
2605.60/2612.92 c #Conflicts: 1029000 | #Constraints: 99723
2605.60/2612.92 c #Conflicts: 1030000 | #Constraints: 100723
2605.60/2612.92 c #Conflicts: 1031000 | #Constraints: 101723
2605.60/2612.92 c #Conflicts: 1032000 | #Constraints: 102723
2605.60/2612.92 c #Conflicts: 1033000 | #Constraints: 103723
2605.60/2612.92 c #Conflicts: 1034000 | #Constraints: 104723
2605.60/2612.92 c #Conflicts: 1035000 | #Constraints: 105723
2605.60/2612.92 c #Conflicts: 1036000 | #Constraints: 106723
2605.60/2612.92 c #Conflicts: 1037000 | #Constraints: 107723
2605.60/2612.92 c #Conflicts: 1038000 | #Constraints: 108723
2605.60/2612.92 c #Conflicts: 1039000 | #Constraints: 109723
2605.60/2612.92 c #Conflicts: 1040000 | #Constraints: 110723
2605.60/2612.92 c INPROCESSING
2605.60/2612.92 c GARBAGE COLLECT
2605.60/2612.92 c #Conflicts: 1041000 | #Constraints: 79163
2605.60/2612.92 c #Conflicts: 1042000 | #Constraints: 80163
2605.60/2612.92 c #Conflicts: 1043000 | #Constraints: 81163
2605.60/2612.92 c #Conflicts: 1044000 | #Constraints: 82163
2605.60/2612.92 c #Conflicts: 1045000 | #Constraints: 83163
2605.60/2612.92 c #Conflicts: 1046000 | #Constraints: 84163
2605.60/2612.92 c #Conflicts: 1047000 | #Constraints: 85163
2605.60/2612.92 c #Conflicts: 1048000 | #Constraints: 86163
2605.60/2612.92 c #Conflicts: 1049000 | #Constraints: 87163
2605.60/2612.92 c #Conflicts: 1050000 | #Constraints: 88163
2605.60/2612.92 c #Conflicts: 1051000 | #Constraints: 89163
2605.60/2612.92 c #Conflicts: 1052000 | #Constraints: 90163
2605.60/2612.92 c #Conflicts: 1053000 | #Constraints: 91163
2605.60/2612.92 c #Conflicts: 1054000 | #Constraints: 92163
2605.60/2612.92 c #Conflicts: 1055000 | #Constraints: 93163
2605.60/2612.92 c #Conflicts: 1056000 | #Constraints: 94163
2605.60/2612.92 c #Conflicts: 1057000 | #Constraints: 95163
2605.60/2612.92 c #Conflicts: 1058000 | #Constraints: 96163
2605.60/2612.92 c #Conflicts: 1059000 | #Constraints: 97163
2605.60/2612.92 c #Conflicts: 1060000 | #Constraints: 98163
2605.60/2612.92 c #Conflicts: 1061000 | #Constraints: 99163
2605.60/2612.92 c #Conflicts: 1062000 | #Constraints: 100163
2605.60/2612.92 c #Conflicts: 1063000 | #Constraints: 101163
2605.60/2612.92 c #Conflicts: 1064000 | #Constraints: 102163
2605.60/2612.92 c #Conflicts: 1065000 | #Constraints: 103163
2605.60/2612.92 c #Conflicts: 1066000 | #Constraints: 104163
2605.60/2612.92 c #Conflicts: 1067000 | #Constraints: 105163
2605.60/2612.92 c #Conflicts: 1068000 | #Constraints: 106163
2605.60/2612.92 c #Conflicts: 1069000 | #Constraints: 107163
2605.60/2612.92 c #Conflicts: 1070000 | #Constraints: 108163
2605.60/2612.92 c #Conflicts: 1071000 | #Constraints: 109163
2605.60/2612.92 c #Conflicts: 1072000 | #Constraints: 110163
2605.60/2612.92 c #Conflicts: 1073000 | #Constraints: 111163
2605.60/2612.92 c #Conflicts: 1074000 | #Constraints: 112163
2605.60/2612.92 c #Conflicts: 1075000 | #Constraints: 113163
2605.60/2612.92 c #Conflicts: 1076000 | #Constraints: 114163
3112.08/3120.71 c #Conflicts: 1077000 | #Constraints: 115163
3112.08/3120.71 c #Conflicts: 1078000 | #Constraints: 116163
3112.08/3120.71 c #Conflicts: 1079000 | #Constraints: 117163
3112.08/3120.71 c #Conflicts: 1080000 | #Constraints: 118163
3112.08/3120.71 c #Conflicts: 1081000 | #Constraints: 119163
3112.08/3120.71 c #Conflicts: 1082000 | #Constraints: 120163
3112.08/3120.71 c #Conflicts: 1083000 | #Constraints: 121163
3112.08/3120.71 c #Conflicts: 1084000 | #Constraints: 122163
3112.08/3120.71 c #Conflicts: 1085000 | #Constraints: 123163
3112.08/3120.71 c #Conflicts: 1086000 | #Constraints: 124163
3112.08/3120.71 c #Conflicts: 1087000 | #Constraints: 125163
3112.08/3120.71 c #Conflicts: 1088000 | #Constraints: 126163
3112.08/3120.71 c #Conflicts: 1089000 | #Constraints: 127163
3112.08/3120.71 c #Conflicts: 1090000 | #Constraints: 128163
3112.08/3120.71 c #Conflicts: 1091000 | #Constraints: 129163
3112.08/3120.71 c #Conflicts: 1092000 | #Constraints: 130163
3112.08/3120.71 c #Conflicts: 1093000 | #Constraints: 131163
3112.08/3120.71 c #Conflicts: 1094000 | #Constraints: 132163
3112.08/3120.71 c #Conflicts: 1095000 | #Constraints: 133163
3112.08/3120.71 c #Conflicts: 1096000 | #Constraints: 134163
3112.08/3120.71 c #Conflicts: 1097000 | #Constraints: 135163
3112.08/3120.71 c #Conflicts: 1098000 | #Constraints: 136163
3112.08/3120.71 c #Conflicts: 1099000 | #Constraints: 137163
3112.08/3120.71 c #Conflicts: 1100000 | #Constraints: 138163
3112.08/3120.71 c #Conflicts: 1101000 | #Constraints: 139163
3112.08/3120.71 c #Conflicts: 1102000 | #Constraints: 140163
3112.08/3120.71 c #Conflicts: 1103000 | #Constraints: 141163
3112.08/3120.71 c #Conflicts: 1104000 | #Constraints: 142163
3112.08/3120.71 c #Conflicts: 1105000 | #Constraints: 143163
3112.08/3120.71 c #Conflicts: 1106000 | #Constraints: 144163
3112.08/3120.71 c #Conflicts: 1107000 | #Constraints: 145163
3112.08/3120.71 c #Conflicts: 1108000 | #Constraints: 146163
3112.08/3120.71 c INPROCESSING
3112.08/3120.71 c GARBAGE COLLECT
3112.08/3120.71 c #Conflicts: 1109000 | #Constraints: 86018
3112.08/3120.71 c #Conflicts: 1110000 | #Constraints: 87018
3112.08/3120.71 c #Conflicts: 1111000 | #Constraints: 88018
3112.08/3120.71 c #Conflicts: 1112000 | #Constraints: 89018
3112.08/3120.71 c #Conflicts: 1113000 | #Constraints: 90018
3112.08/3120.71 c #Conflicts: 1114000 | #Constraints: 91018
3112.08/3120.71 c #Conflicts: 1115000 | #Constraints: 92018
3112.08/3120.71 c #Conflicts: 1116000 | #Constraints: 93018
3112.08/3120.71 c #Conflicts: 1117000 | #Constraints: 94018
3112.08/3120.71 c #Conflicts: 1118000 | #Constraints: 95018
3112.08/3120.71 c #Conflicts: 1119000 | #Constraints: 96018
3112.08/3120.71 c #Conflicts: 1120000 | #Constraints: 97018
3112.08/3120.71 c #Conflicts: 1121000 | #Constraints: 98018
3112.08/3120.71 c #Conflicts: 1122000 | #Constraints: 99018
3112.08/3120.71 c #Conflicts: 1123000 | #Constraints: 100018
3112.08/3120.71 c #Conflicts: 1124000 | #Constraints: 101018
3112.08/3120.71 c #Conflicts: 1125000 | #Constraints: 102019
3112.08/3120.71 c #Conflicts: 1126000 | #Constraints: 103019
3112.08/3120.71 c #Conflicts: 1127000 | #Constraints: 104019
3112.08/3120.71 c #Conflicts: 1128000 | #Constraints: 105019
3112.08/3120.71 c #Conflicts: 1129000 | #Constraints: 106019
3112.08/3120.71 c #Conflicts: 1130000 | #Constraints: 107019
3112.08/3120.71 c #Conflicts: 1131000 | #Constraints: 108019
3112.08/3120.71 c #Conflicts: 1132000 | #Constraints: 109019
3112.08/3120.71 c #Conflicts: 1133000 | #Constraints: 110019
3112.08/3120.71 c #Conflicts: 1134000 | #Constraints: 111019
3112.08/3120.71 c #Conflicts: 1135000 | #Constraints: 112019
3112.08/3120.71 c #Conflicts: 1136000 | #Constraints: 113019
3112.08/3120.71 c #Conflicts: 1137000 | #Constraints: 114019
3112.08/3120.71 c #Conflicts: 1138000 | #Constraints: 115019
3112.08/3120.71 c INPROCESSING
3112.08/3120.71 c GARBAGE COLLECT
3112.08/3120.71 c #Conflicts: 1139000 | #Constraints: 80559
3112.08/3120.71 c #Conflicts: 1140000 | #Constraints: 81559
3112.08/3120.71 c #Conflicts: 1141000 | #Constraints: 82559
3112.08/3120.71 c #Conflicts: 1142000 | #Constraints: 83559
3112.08/3120.71 c #Conflicts: 1143000 | #Constraints: 84559
3112.08/3120.71 c #Conflicts: 1144000 | #Constraints: 85559
3112.08/3120.71 c #Conflicts: 1145000 | #Constraints: 86559
3112.08/3120.71 c #Conflicts: 1146000 | #Constraints: 87559
3112.08/3120.71 c #Conflicts: 1147000 | #Constraints: 88559
3112.08/3120.71 c #Conflicts: 1148000 | #Constraints: 89559
3112.08/3120.71 c #Conflicts: 1149000 | #Constraints: 90559
3112.08/3120.71 c #Conflicts: 1150000 | #Constraints: 91559
3112.08/3120.71 c #Conflicts: 1151000 | #Constraints: 92559
3112.08/3120.71 c #Conflicts: 1152000 | #Constraints: 93559
3112.08/3120.71 c #Conflicts: 1153000 | #Constraints: 94559
3112.08/3120.71 c #Conflicts: 1154000 | #Constraints: 95559
3325.52/3334.72 c #Conflicts: 1155000 | #Constraints: 96559
3325.52/3334.72 c #Conflicts: 1156000 | #Constraints: 97559
3325.52/3334.72 c #Conflicts: 1157000 | #Constraints: 98559
3325.52/3334.72 c #Conflicts: 1158000 | #Constraints: 99559
3325.52/3334.72 c #Conflicts: 1159000 | #Constraints: 100559
3325.52/3334.72 c #Conflicts: 1160000 | #Constraints: 101559
3325.52/3334.72 c #Conflicts: 1161000 | #Constraints: 102559
3325.52/3334.72 c #Conflicts: 1162000 | #Constraints: 103559
3325.52/3334.72 c #Conflicts: 1163000 | #Constraints: 104559
3325.52/3334.72 c #Conflicts: 1164000 | #Constraints: 105559
3325.52/3334.72 c #Conflicts: 1165000 | #Constraints: 106559
3325.52/3334.72 c #Conflicts: 1166000 | #Constraints: 107559
3325.52/3334.72 c #Conflicts: 1167000 | #Constraints: 108559
3325.52/3334.72 c #Conflicts: 1168000 | #Constraints: 109559
3325.52/3334.72 c #Conflicts: 1169000 | #Constraints: 110559
3325.52/3334.72 c #Conflicts: 1170000 | #Constraints: 111559
3325.52/3334.72 c #Conflicts: 1171000 | #Constraints: 112559
3325.52/3334.72 c #Conflicts: 1172000 | #Constraints: 113559
3325.52/3334.72 c #Conflicts: 1173000 | #Constraints: 114559
3325.52/3334.72 c #Conflicts: 1174000 | #Constraints: 115559
3325.52/3334.72 c #Conflicts: 1175000 | #Constraints: 116559
3325.52/3334.72 c #Conflicts: 1176000 | #Constraints: 117559
3325.52/3334.72 c #Conflicts: 1177000 | #Constraints: 118559
3325.52/3334.72 c #Conflicts: 1178000 | #Constraints: 119559
3325.52/3334.72 c #Conflicts: 1179000 | #Constraints: 120559
3325.52/3334.72 c #Conflicts: 1180000 | #Constraints: 121559
3325.52/3334.72 c #Conflicts: 1181000 | #Constraints: 122559
3325.52/3334.72 c #Conflicts: 1182000 | #Constraints: 123559
3325.52/3334.72 c #Conflicts: 1183000 | #Constraints: 124559
3325.52/3334.72 c #Conflicts: 1184000 | #Constraints: 125559
3325.52/3334.72 c #Conflicts: 1185000 | #Constraints: 126559
3325.52/3334.72 c #Conflicts: 1186000 | #Constraints: 127559
3325.52/3334.72 c #Conflicts: 1187000 | #Constraints: 128559
3325.52/3334.72 c #Conflicts: 1188000 | #Constraints: 129559
3325.52/3334.72 c #Conflicts: 1189000 | #Constraints: 130559
3325.52/3334.72 c #Conflicts: 1190000 | #Constraints: 131559
3325.52/3334.72 c #Conflicts: 1191000 | #Constraints: 132559
3325.52/3334.72 c #Conflicts: 1192000 | #Constraints: 133559
3325.52/3334.72 c #Conflicts: 1193000 | #Constraints: 134559
3325.52/3334.72 c #Conflicts: 1194000 | #Constraints: 135559
3325.52/3334.72 c #Conflicts: 1195000 | #Constraints: 136559
3325.52/3334.72 c #Conflicts: 1196000 | #Constraints: 137559
3325.52/3334.72 c #Conflicts: 1197000 | #Constraints: 138559
3325.52/3334.72 c #Conflicts: 1198000 | #Constraints: 139559
3325.52/3334.72 c #Conflicts: 1199000 | #Constraints: 140559
3325.52/3334.72 c #Conflicts: 1200000 | #Constraints: 141559
3325.52/3334.72 c #Conflicts: 1201000 | #Constraints: 142559
3325.52/3334.72 c #Conflicts: 1202000 | #Constraints: 143559
3325.52/3334.72 c #Conflicts: 1203000 | #Constraints: 144559
3325.52/3334.72 c #Conflicts: 1204000 | #Constraints: 145559
3325.52/3334.72 c #Conflicts: 1205000 | #Constraints: 146559
3325.52/3334.72 c #Conflicts: 1206000 | #Constraints: 147559
3325.52/3334.72 c #Conflicts: 1207000 | #Constraints: 148559
3325.52/3334.72 c #Conflicts: 1208000 | #Constraints: 149559
3325.52/3334.72 c #Conflicts: 1209000 | #Constraints: 150559
3325.52/3334.72 c INPROCESSING
3325.52/3334.72 c GARBAGE COLLECT
3325.52/3334.72 c #Conflicts: 1210000 | #Constraints: 88221
3325.52/3334.72 c #Conflicts: 1211000 | #Constraints: 89221
3325.52/3334.72 c #Conflicts: 1212000 | #Constraints: 90221
3325.52/3334.72 c #Conflicts: 1213000 | #Constraints: 91221
3325.52/3334.72 c #Conflicts: 1214000 | #Constraints: 92221
3325.52/3334.72 c #Conflicts: 1215000 | #Constraints: 93221
3325.52/3334.72 c #Conflicts: 1216000 | #Constraints: 94221
3325.52/3334.72 c #Conflicts: 1217000 | #Constraints: 95221
3325.52/3334.72 c #Conflicts: 1218000 | #Constraints: 96221
3325.52/3334.72 c #Conflicts: 1219000 | #Constraints: 97221
3325.52/3334.72 c #Conflicts: 1220000 | #Constraints: 98221
3325.52/3334.72 c #Conflicts: 1221000 | #Constraints: 99221
3325.52/3334.72 c #Conflicts: 1222000 | #Constraints: 100221
3325.52/3334.72 c #Conflicts: 1223000 | #Constraints: 101221
3325.52/3334.72 c #Conflicts: 1224000 | #Constraints: 102221
3325.52/3334.72 c #Conflicts: 1225000 | #Constraints: 103221
3325.52/3334.72 c #Conflicts: 1226000 | #Constraints: 104221
3325.52/3334.72 c #Conflicts: 1227000 | #Constraints: 105221
3325.52/3334.72 c #Conflicts: 1228000 | #Constraints: 106221
3325.52/3334.72 c #Conflicts: 1229000 | #Constraints: 107221
3325.52/3334.72 c #Conflicts: 1230000 | #Constraints: 108221
3325.52/3334.72 c #Conflicts: 1231000 | #Constraints: 109221
3325.52/3334.72 c #Conflicts: 1232000 | #Constraints: 110221
3540.74/3550.51 c #Conflicts: 1233000 | #Constraints: 111221
3540.74/3550.51 c #Conflicts: 1234000 | #Constraints: 112221
3540.74/3550.51 c #Conflicts: 1235000 | #Constraints: 113221
3540.74/3550.51 c #Conflicts: 1236000 | #Constraints: 114221
3540.74/3550.51 c #Conflicts: 1237000 | #Constraints: 115221
3540.74/3550.51 c #Conflicts: 1238000 | #Constraints: 116221
3540.74/3550.51 c #Conflicts: 1239000 | #Constraints: 117221
3540.74/3550.51 c #Conflicts: 1240000 | #Constraints: 118221
3540.74/3550.51 c INPROCESSING
3540.74/3550.51 c GARBAGE COLLECT
3540.74/3550.51 c #Conflicts: 1241000 | #Constraints: 83183
3540.74/3550.51 c #Conflicts: 1242000 | #Constraints: 84183
3540.74/3550.51 c #Conflicts: 1243000 | #Constraints: 85183
3540.74/3550.51 c #Conflicts: 1244000 | #Constraints: 86183
3540.74/3550.51 c #Conflicts: 1245000 | #Constraints: 87183
3540.74/3550.51 c #Conflicts: 1246000 | #Constraints: 88183
3540.74/3550.51 c #Conflicts: 1247000 | #Constraints: 89183
3540.74/3550.51 c #Conflicts: 1248000 | #Constraints: 90183
3540.74/3550.51 c #Conflicts: 1249000 | #Constraints: 91183
3540.74/3550.51 c #Conflicts: 1250000 | #Constraints: 92183
3540.74/3550.51 c #Conflicts: 1251000 | #Constraints: 93183
3540.74/3550.51 c #Conflicts: 1252000 | #Constraints: 94183
3540.74/3550.51 c #Conflicts: 1253000 | #Constraints: 95183
3540.74/3550.51 c #Conflicts: 1254000 | #Constraints: 96183
3540.74/3550.51 c #Conflicts: 1255000 | #Constraints: 97183
3540.74/3550.51 c #Conflicts: 1256000 | #Constraints: 98183
3540.74/3550.51 c #Conflicts: 1257000 | #Constraints: 99183
3540.74/3550.51 c #Conflicts: 1258000 | #Constraints: 100183
3540.74/3550.51 c #Conflicts: 1259000 | #Constraints: 101183
3540.74/3550.51 c #Conflicts: 1260000 | #Constraints: 102183
3540.74/3550.51 c #Conflicts: 1261000 | #Constraints: 103183
3540.74/3550.51 c #Conflicts: 1262000 | #Constraints: 104183
3540.74/3550.51 c #Conflicts: 1263000 | #Constraints: 105183
3540.74/3550.51 c #Conflicts: 1264000 | #Constraints: 106183
3540.74/3550.51 c #Conflicts: 1265000 | #Constraints: 107183
3540.74/3550.51 c #Conflicts: 1266000 | #Constraints: 108183
3540.74/3550.51 c #Conflicts: 1267000 | #Constraints: 109183
3540.74/3550.51 c #Conflicts: 1268000 | #Constraints: 110183
3540.74/3550.51 c #Conflicts: 1269000 | #Constraints: 111183
3540.74/3550.51 c #Conflicts: 1270000 | #Constraints: 112183
3540.74/3550.51 c #Conflicts: 1271000 | #Constraints: 113183
3540.74/3550.51 c #Conflicts: 1272000 | #Constraints: 114183
3540.74/3550.51 c #Conflicts: 1273000 | #Constraints: 115183
3540.74/3550.51 c #Conflicts: 1274000 | #Constraints: 116183
3540.74/3550.51 c #Conflicts: 1275000 | #Constraints: 117183
3540.74/3550.51 c #Conflicts: 1276000 | #Constraints: 118183
3540.74/3550.51 c #Conflicts: 1277000 | #Constraints: 119183
3540.74/3550.51 c #Conflicts: 1278000 | #Constraints: 120183
3540.74/3550.51 c #Conflicts: 1279000 | #Constraints: 121183
3540.74/3550.51 c #Conflicts: 1280000 | #Constraints: 122183
3540.74/3550.51 c #Conflicts: 1281000 | #Constraints: 123183
3540.74/3550.51 c #Conflicts: 1282000 | #Constraints: 124183
3540.74/3550.51 c #Conflicts: 1283000 | #Constraints: 125183
3540.74/3550.51 c #Conflicts: 1284000 | #Constraints: 126183
3540.74/3550.51 c #Conflicts: 1285000 | #Constraints: 127183
3540.74/3550.51 c #Conflicts: 1286000 | #Constraints: 128183
3540.74/3550.51 c #Conflicts: 1287000 | #Constraints: 129183
3540.74/3550.51 c #Conflicts: 1288000 | #Constraints: 130183
3540.74/3550.51 c #Conflicts: 1289000 | #Constraints: 131183
3540.74/3550.51 c #Conflicts: 1290000 | #Constraints: 132183
3540.74/3550.51 c #Conflicts: 1291000 | #Constraints: 133183
3540.74/3550.51 c #Conflicts: 1292000 | #Constraints: 134183
3540.74/3550.51 c #Conflicts: 1293000 | #Constraints: 135183
3540.74/3550.51 c #Conflicts: 1294000 | #Constraints: 136183
3540.74/3550.51 c #Conflicts: 1295000 | #Constraints: 137183
3540.74/3550.51 c #Conflicts: 1296000 | #Constraints: 138183
3540.74/3550.51 c #Conflicts: 1297000 | #Constraints: 139183
3540.74/3550.51 c #Conflicts: 1298000 | #Constraints: 140183
3540.74/3550.51 c #Conflicts: 1299000 | #Constraints: 141183
3540.74/3550.51 c #Conflicts: 1300000 | #Constraints: 142183
3540.74/3550.51 c #Conflicts: 1301000 | #Constraints: 143183
3540.74/3550.51 c #Conflicts: 1302000 | #Constraints: 144183
3540.74/3550.51 c #Conflicts: 1303000 | #Constraints: 145183
3540.74/3550.51 c #Conflicts: 1304000 | #Constraints: 146183
3540.74/3550.51 c #Conflicts: 1305000 | #Constraints: 147183
3540.74/3550.51 c #Conflicts: 1306000 | #Constraints: 148183
3540.74/3550.51 c #Conflicts: 1307000 | #Constraints: 149183
3540.74/3550.51 c #Conflicts: 1308000 | #Constraints: 150183
3540.74/3550.51 c #Conflicts: 1309000 | #Constraints: 151183
3540.74/3550.51 c #Conflicts: 1310000 | #Constraints: 152183
3600.08/3610.00 c #Conflicts: 1311000 | #Constraints: 153183
3600.08/3610.00 c #Conflicts: 1312000 | #Constraints: 154183
3600.08/3610.00 c #Conflicts: 1313000 | #Constraints: 155183
3600.08/3610.00 c #Conflicts: 1314000 | #Constraints: 156183
3600.08/3610.00 c #Conflicts: 1315000 | #Constraints: 157183
3600.08/3610.00 c INPROCESSING
3600.08/3610.00 c GARBAGE COLLECT
3600.08/3610.00 c #Conflicts: 1316000 | #Constraints: 91861
3600.08/3610.00 c #Conflicts: 1317000 | #Constraints: 92861
3600.08/3610.00 c #Conflicts: 1318000 | #Constraints: 93861
3600.08/3610.00 c #Conflicts: 1319000 | #Constraints: 94861
3600.08/3610.00 c #Conflicts: 1320000 | #Constraints: 95861
3600.08/3610.00 c #Conflicts: 1321000 | #Constraints: 96861
3600.08/3610.00 c #Conflicts: 1322000 | #Constraints: 97861
3600.08/3610.00 c #Conflicts: 1323000 | #Constraints: 98861
3600.08/3610.00 c #Conflicts: 1324000 | #Constraints: 99861
3600.08/3610.00 c #Conflicts: 1325000 | #Constraints: 100861
3600.08/3610.00 c #Conflicts: 1326000 | #Constraints: 101861
3600.08/3610.00 c #Conflicts: 1327000 | #Constraints: 102861
3600.08/3610.00 c #Conflicts: 1328000 | #Constraints: 103861
3600.08/3610.00 c #Conflicts: 1329000 | #Constraints: 104861
3600.08/3610.00 c #Conflicts: 1330000 | #Constraints: 105861
3600.08/3610.00 c cpu time 3564.53 s
3600.08/3610.00 c deterministic time 240461473747 2.40e+11
3600.08/3610.00 c optimization time 37.234 s
3600.08/3610.00 c total solve time 3527.19 s
3600.08/3610.00 c core-guided solve time 0 s
3600.08/3610.00 c propagation time 1834.71 s
3600.08/3610.00 c conflict analysis time 1314.41 s
3600.08/3610.00 c propagations 1353792767
3600.08/3610.00 c resolve steps 81035252
3600.08/3610.00 c decisions 33562536
3600.08/3610.00 c conflicts 1330360
3600.08/3610.00 c restarts 2556
3600.08/3610.00 c inprocessing phases 48
3600.08/3610.00 c garbage collections 48 ,( 100.00 )
3600.08/3610.00 c input clauses 21242 ,( 99.17 )
3600.08/3610.00 c input cardinalities 177 ,( 0.83 )
3600.08/3610.00 c input general constraints 0 ,( 0.00 )
3600.08/3610.00 c input average constraint length 6.43
3600.08/3610.00 c input average constraint degree 1.97
3600.08/3610.00 c learned clauses 966612 ,( 72.66 )
3600.08/3610.00 c learned cardinalities 46421 ,( 3.49 )
3600.08/3610.00 c learned general constraints 317337 ,( 23.85 )
3600.08/3610.00 c learned average constraint length 785.10
3600.08/3610.00 c learned average constraint degree 22958766.65
3600.08/3610.00 c watched CF 32, 64, 128, Arb: 80741 , 0 , 0 , 0
3600.08/3610.00 c counting CF 32, 64, 128, Arb: 236596 , 0 , 0 , 0
3600.08/3610.00 c watched constraints 80741 ,( 25.44 )
3600.08/3610.00 c counting constraints 236596 ,( 74.56 )
3600.08/3610.00 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1264671257 , 717198688 , 2575866077 ,( 89250257 , 2486615820 )
3600.08/3610.00 c gcd simplifications 774
3600.08/3610.00 c detected cardinalities 7070
3600.08/3610.00 c weakened non-implied lits 364079573
3600.08/3610.00 c weakened non-implying lits 214443
3600.08/3610.00 c original variables 21063
3600.08/3610.00 c clausal propagations 631063313
3600.08/3610.00 c cardinality propagations 495218758
3600.08/3610.00 c watched propagations 4494264
3600.08/3610.00 c counting propagations 210129824
3600.08/3610.00 c watch lookups 77212172836
3600.08/3610.00 c watch backjump lookups 0
3600.08/3610.00 c watch checks 35757082498
3600.08/3610.00 c propagation checks 120000620274
3600.08/3610.00 c constraint additions 4715265843
3600.08/3610.00 c trail pops 1388668566
3600.08/3610.00 c formula constraints 21419
3600.08/3610.00 c learned constraints 1330354
3600.08/3610.00 c bound constraints 0
3600.08/3610.00 c core-guided constraints 0
3600.08/3610.00 c encountered formula constraints 51450223
3600.08/3610.00 c encountered learned constraints 30915084
3600.08/3610.00 c encountered bound constraints 0
3600.08/3610.00 c encountered core-guided constraints 0
3600.08/3610.00 c LP total time 480.196 s
3600.08/3610.00 c LP solve time 447.04 s
3600.08/3610.00 c LP constraints added 22455
3600.08/3610.00 c LP constraints removed 594
3600.08/3610.00 c LP pivots internal 134283
3600.08/3610.00 c LP pivots root 174143
3600.08/3610.00 c LP calls 19
3600.08/3610.00 c LP optimalities 7
3600.08/3610.00 c LP no pivot count 0
3600.08/3610.00 c LP infeasibilities 5
3600.08/3610.00 c LP valid Farkas constraints 5
3600.08/3610.00 c LP learned Farkas constraints 5
3600.08/3610.00 c LP basis resets 0
3600.08/3610.00 c LP cycling count 0
3600.08/3610.00 c LP singular count 0
3600.08/3610.00 c LP no primal count 0
3600.08/3610.00 c LP no farkas count 0
3600.08/3610.00 c LP other issue count 0
3600.08/3610.00 c LP Gomory cuts 6
3600.08/3610.00 c LP learned cuts 1030
3600.08/3610.00 c LP deleted cuts 594
3600.08/3610.00 c LP encountered Gomory constraints 0
3600.08/3610.00 c LP encountered Farkas constraints 296
3600.08/3610.00 c LP encountered learned Farkas constraints 4
3600.08/3610.00 c CG auxiliary variables introduced 0
3600.08/3610.00 c CG solutions found 0
3600.08/3610.00 c CG cores constructed 0
3600.08/3610.00 c CG core cardinality constraints returned 0
3600.08/3610.00 c CG unit cores 0
3600.08/3610.00 c CG single cores 0
3600.08/3610.00 c CG blocks removed during cardinality reduction 0
3600.08/3610.00 c CG first core best 0
3600.08/3610.00 c CG decision core best 0
3600.08/3610.00 c CG core reduction tie 0
3600.08/3610.00 c CG core degree average 0.00
3600.08/3610.00 c CG core slack average 0.00
3600.08/3610.00 c CG core upper bound improvements 0
3600.08/3610.00 c STR number of successful calls 0
3600.08/3610.00 c STR number of unsuccessful calls 0
3600.08/3610.00 c STR number of inconclusive calls 0
3600.08/3610.00 c STR number of successful attempts 0
3600.08/3610.00 c STR number of unsuccessful attempts 0
3600.08/3610.00 c STR number of inconclusive attempts 0
3600.08/3610.00 c STR average degree increase per successful call inf
3600.08/3610.00 c STR average degree increase per successful attempt inf
3600.08/3610.00 c STR total number of conflicts for successful attempts 0
3600.08/3610.00 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3610.00 c STR total number of conflicts for inconclusive attempts 0
3600.08/3610.00 c STR average number of conflicts per successful attempt inf
3600.08/3610.00 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3610.00 c STR average number of conflicts per inconclusive attempt inf
3600.08/3610.00 c AVG.sumWPerc 66.21
3600.08/3610.00 c bigint constraints 0
3600.08/3610.00 s UNKNOWN
3600.08/3610.00 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62872 MiB free)
memory of node 1: 64507 MiB (64056 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507229-1751183146/watcher-4507229-1751183146 -o /tmp/evaluation-result-4507229-1751183146/solver-4507229-1751183146 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751183146-24185 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4507229-1751183146.opb PROOFDIR/proof-4507229-1751183146
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=24235, runsolver pid=24226
[startup+0.100059 s]*
/proc/loadavg: 0.88 1.12 1.86 5/272 24248
/proc/meminfo: memFree=129922524/131250000 swapFree=33010684/33010684
[pid=24235] ppid=24226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/24235/stat : 24235 (run-dec-log.sh) S 24226 24235 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 768 18446744073709551615 94326651293696 94326652188229 140723216239328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94326652427280 94326652475024 94326657798144 140723216247073 140723216247268 140723216247268 140723216252870 0
/proc/24235/statm: 1048 768 704 219 0 110 0
[pid=24238] ppid=24235 vsize=62348 memory=17220 CPUtime=0.08 cores=0,2
/proc/24238/stat : 24238 (roundingsat) R 24235 24235 24175 0 -1 4194304 2174 0 0 0 6 2 0 0 20 0 1 0 33994855 63844352 4305 18446744073709551615 4227072 8923433 140730006596304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19427328 140730006604135 140730006604328 140730006604328 140730006609898 0
/proc/24238/statm: 15587 4305 1920 1147 0 3014 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 66540 KiB
Current children cumulated memory: 20292 KiB
[startup+0.204936 s]*
/proc/loadavg: 0.88 1.12 1.86 5/272 24248
/proc/meminfo: memFree=129881508/131250000 swapFree=33010684/33010684
[pid=24235] ppid=24226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/24235/stat : 24235 (run-dec-log.sh) S 24226 24235 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 768 18446744073709551615 94326651293696 94326652188229 140723216239328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94326652427280 94326652475024 94326657798144 140723216247073 140723216247268 140723216247268 140723216252870 0
/proc/24235/statm: 1048 768 704 219 0 110 0
[pid=24238] ppid=24235 vsize=106304 memory=54924 CPUtime=0.17 cores=0,2
/proc/24238/stat : 24238 (roundingsat) R 24235 24235 24175 0 -1 4194304 9557 0 0 0 14 3 0 0 20 0 1 0 33994855 108855296 13731 18446744073709551615 4227072 8923433 140730006596304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19427328 140730006604135 140730006604328 140730006604328 140730006609898 0
/proc/24238/statm: 26576 13731 2240 1147 0 14003 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 110496 KiB
Current children cumulated memory: 57996 KiB
[startup+0.304702 s]*
/proc/loadavg: 0.88 1.12 1.86 5/272 24248
/proc/meminfo: memFree=129875376/131250000 swapFree=33010684/33010684
[pid=24235] ppid=24226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/24235/stat : 24235 (run-dec-log.sh) S 24226 24235 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 768 18446744073709551615 94326651293696 94326652188229 140723216239328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94326652427280 94326652475024 94326657798144 140723216247073 140723216247268 140723216247268 140723216252870 0
/proc/24235/statm: 1048 768 704 219 0 110 0
[pid=24238] ppid=24235 vsize=109704 memory=56460 CPUtime=0.27 cores=0,2
/proc/24238/stat : 24238 (roundingsat) R 24235 24235 24175 0 -1 4194304 9962 0 0 0 24 3 0 0 20 0 1 0 33994855 112336896 14115 18446744073709551615 4227072 8923433 140730006596304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19427328 140730006604135 140730006604328 140730006604328 140730006609898 0
/proc/24238/statm: 27426 14115 2240 1147 0 14853 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 113896 KiB
Current children cumulated memory: 59532 KiB
[startup+0.700148 s]
/proc/loadavg: 0.88 1.12 1.86 5/272 24248
/proc/meminfo: memFree=129875376/131250000 swapFree=33010684/33010684
[pid=24235] ppid=24226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/24235/stat : 24235 (run-dec-log.sh) S 24226 24235 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 768 18446744073709551615 94326651293696 94326652188229 140723216239328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94326652427280 94326652475024 94326657798144 140723216247073 140723216247268 140723216247268 140723216252870 0
/proc/24235/statm: 1048 768 704 219 0 110 0
[pid=24238] ppid=24235 vsize=111352 memory=59404 CPUtime=0.67 cores=0,2
/proc/24238/stat : 24238 (roundingsat) R 24235 24235 24175 0 -1 4194304 10647 0 0 0 63 4 0 0 20 0 1 0 33994855 114024448 14851 18446744073709551615 4227072 8923433 140730006596304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19427328 140730006604135 140730006604328 140730006604328 140730006609898 0
/proc/24238/statm: 27838 14851 2272 1147 0 15265 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 115544 KiB
Current children cumulated memory: 62476 KiB
[startup+1.50015 s]
/proc/loadavg: 0.88 1.12 1.86 5/272 24248
/proc/meminfo: memFree=129871344/131250000 swapFree=33010684/33010684
[pid=24235] ppid=24226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/24235/stat : 24235 (run-dec-log.sh) S 24226 24235 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 768 18446744073709551615 94326651293696 94326652188229 140723216239328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94326652427280 94326652475024 94326657798144 140723216247073 140723216247268 140723216247268 140723216252870 0
/proc/24235/statm: 1048 768 704 219 0 110 0
[pid=24238] ppid=24235 vsize=113236 memory=61068 CPUtime=1.47 cores=0,2
/proc/24238/stat : 24238 (roundingsat) R 24235 24235 24175 0 -1 4194304 11083 0 0 0 142 5 0 0 20 0 1 0 33994855 115953664 15267 18446744073709551615 4227072 8923433 140730006596304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19427328 140730006604135 140730006604328 140730006604328 140730006609898 0
/proc/24238/statm: 28309 15267 2272 1147 0 15736 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 117428 KiB
Current children cumulated memory: 64140 KiB
[startup+3.10465 s]
/proc/loadavg: 0.88 1.12 1.86 5/272 24248
/proc/meminfo: memFree=129797640/131250000 swapFree=33010684/33010684
[pid=24235] ppid=24226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/24235/stat : 24235 (run-dec-log.sh) S 24226 24235 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 768 18446744073709551615 94326651293696 94326652188229 140723216239328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94326652427280 94326652475024 94326657798144 140723216247073 140723216247268 140723216247268 140723216252870 0
/proc/24235/statm: 1048 768 704 219 0 110 0
[pid=24238] ppid=24235 vsize=119420 memory=68108 CPUtime=3.06 cores=0,2
/proc/24238/stat : 24238 (roundingsat) R 24235 24235 24175 0 -1 4194304 12274 0 0 0 293 13 0 0 20 0 1 0 33994855 122286080 17027 18446744073709551615 4227072 8923433 140730006596304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19427328 140730006604135 140730006604328 140730006604328 140730006609898 0
/proc/24238/statm: 29855 17027 2304 1147 0 17282 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 123612 KiB
Current children cumulated memory: 71180 KiB
[startup+6.30013 s]
/proc/loadavg: 1.13 1.17 1.87 5/272 24248
/proc/meminfo: memFree=129735416/131250000 swapFree=33010684/33010684
[pid=24235] ppid=24226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/24235/stat : 24235 (run-dec-log.sh) S 24226 24235 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 768 18446744073709551615 94326651293696 94326652188229 140723216239328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94326652427280 94326652475024 94326657798144 140723216247073 140723216247268 140723216247268 140723216252870 0
/proc/24235/statm: 1048 768 704 219 0 110 0
[pid=24238] ppid=24235 vsize=125336 memory=75660 CPUtime=6.25 cores=0,2
/proc/24238/stat : 24238 (roundingsat) R 24235 24235 24175 0 -1 4194304 14185 0 0 0 596 29 0 0 20 0 1 0 33994855 128344064 18915 18446744073709551615 4227072 8923433 140730006596304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19427328 140730006604135 140730006604328 140730006604328 140730006609898 0
/proc/24238/statm: 31334 18915 2304 1147 0 18761 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 129528 KiB
Current children cumulated memory: 78732 KiB
[startup+12.7001 s]
/proc/loadavg: 1.36 1.21 1.88 5/272 24248
/proc/meminfo: memFree=129669764/131250000 swapFree=33010684/33010684
[pid=24235] ppid=24226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/24235/stat : 24235 (run-dec-log.sh) S 24226 24235 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 768 18446744073709551615 94326651293696 94326652188229 140723216239328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94326652427280 94326652475024 94326657798144 140723216247073 140723216247268 140723216247268 140723216252870 0
/proc/24235/statm: 1048 768 704 219 0 110 0
[pid=24238] ppid=24235 vsize=149628 memory=93556 CPUtime=12.63 cores=0,2
/proc/24238/stat : 24238 (roundingsat) R 24235 24235 24175 0 -1 4194304 18141 0 0 0 1212 51 0 0 20 0 1 0 33994855 153219072 23389 18446744073709551615 4227072 8923433 140730006596304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19427328 140730006604135 140730006604328 140730006604328 140730006609898 0
/proc/24238/statm: 37407 23389 2304 1147 0 24834 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 153820 KiB
Current children cumulated memory: 96628 KiB
[startup+25.5002 s]
/proc/loadavg: 2.02 1.37 1.92 5/272 24249
/proc/meminfo: memFree=129450480/131250000 swapFree=33010684/33010684
[pid=24235] ppid=24226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/24235/stat : 24235 (run-dec-log.sh) S 24226 24235 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 768 18446744073709551615 94326651293696 94326652188229 140723216239328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94326652427280 94326652475024 94326657798144 140723216247073 140723216247268 140723216247268 140723216252870 0
/proc/24235/statm: 1048 768 704 219 0 110 0
[pid=24238] ppid=24235 vsize=154960 memory=103372 CPUtime=25.39 cores=0,2
/proc/24238/stat : 24238 (roundingsat) R 24235 24235 24175 0 -1 4194304 19584 0 0 0 2466 73 0 0 20 0 1 0 33994855 158679040 25843 18446744073709551615 4227072 8923433 140730006596304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19427328 140730006604135 140730006604328 140730006604328 140730006609898 0
/proc/24238/statm: 38740 25843 2304 1147 0 26167 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 159152 KiB
Current children cumulated memory: 106444 KiB
[startup+51.1051 s]
/proc/loadavg: 2.69 1.58 1.98 5/272 24249
/proc/meminfo: memFree=128952716/131250000 swapFree=33010684/33010684
[pid=24235] ppid=24226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/24235/stat : 24235 (run-dec-log.sh) S 24226 24235 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 768 18446744073709551615 94326651293696 94326652188229 140723216239328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94326652427280 94326652475024 94326657798144 140723216247073 140723216247268 140723216247268 140723216252870 0
/proc/24235/statm: 1048 768 704 219 0 110 0
[pid=24238] ppid=24235 vsize=209296 memory=144028 CPUtime=50.93 cores=0,2
/proc/24238/stat : 24238 (roundingsat) R 24235 24235 24175 0 -1 4194304 26742 0 0 0 4935 158 0 0 20 0 1 0 33994855 214319104 36007 18446744073709551615 4227072 8923433 140730006596304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19427328 140730006604135 140730006604328 140730006604328 140730006609898 0
/proc/24238/statm: 52324 36007 2304 1147 0 39751 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 213488 KiB
Current children cumulated memory: 147100 KiB
[startup+102.3 s]
/proc/loadavg: 3.55 1.99 2.10 5/273 24254
/proc/meminfo: memFree=128275724/131250000 swapFree=33010684/33010684
[pid=24235] ppid=24226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/24235/stat : 24235 (run-dec-log.sh) S 24226 24235 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 768 18446744073709551615 94326651293696 94326652188229 140723216239328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94326652427280 94326652475024 94326657798144 140723216247073 140723216247268 140723216247268 140723216252870 0
/proc/24235/statm: 1048 768 704 219 0 110 0
[pid=24238] ppid=24235 vsize=236256 memory=177836 CPUtime=101.99 cores=0,2
/proc/24238/stat : 24238 (roundingsat) R 24235 24235 24175 0 -1 4194304 33241 0 0 0 9947 252 0 0 20 0 1 0 33994855 241926144 44459 18446744073709551615 4227072 8923433 140730006596304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19427328 140730006604135 140730006604328 140730006604328 140730006609898 0
/proc/24238/statm: 59064 44459 2304 1147 0 46491 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 240448 KiB
Current children cumulated memory: 180908 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 2.37 2.22 5/274 24259
/proc/meminfo: memFree=127508508/131250000 swapFree=33010684/33010684
[pid=24235] ppid=24226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/24235/stat : 24235 (run-dec-log.sh) S 24226 24235 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 768 18446744073709551615 94326651293696 94326652188229 140723216239328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94326652427280 94326652475024 94326657798144 140723216247073 140723216247268 140723216247268 140723216252870 0
/proc/24235/statm: 1048 768 704 219 0 110 0
[pid=24238] ppid=24235 vsize=250884 memory=202384 CPUtime=161.8 cores=0,2
/proc/24238/stat : 24238 (roundingsat) R 24235 24235 24175 0 -1 4194304 37213 0 0 0 15818 362 0 0 20 0 1 0 33994855 256905216 50596 18446744073709551615 4227072 8923433 140730006596304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19427328 140730006604135 140730006604328 140730006604328 140730006609898 0
/proc/24238/statm: 62721 50596 2336 1147 0 50148 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 255076 KiB
Current children cumulated memory: 205456 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 2.69 2.34 5/273 24261
/proc/meminfo: memFree=126778580/131250000 swapFree=33010684/33010684
[pid=24235] ppid=24226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/24235/stat : 24235 (run-dec-log.sh) S 24226 24235 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 768 18446744073709551615 94326651293696 94326652188229 140723216239328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94326652427280 94326652475024 94326657798144 140723216247073 140723216247268 140723216247268 140723216252870 0
/proc/24235/statm: 1048 768 704 219 0 110 0
[pid=24238] ppid=24235 vsize=301740 memory=241444 CPUtime=221.62 cores=0,2
/proc/24238/stat : 24238 (roundingsat) R 24235 24235 24175 0 -1 4194304 43113 0 0 0 21670 492 0 0 20 0 1 0 33994855 308981760 60361 18446744073709551615 4227072 8923433 140730006596304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19427328 140730006604135 140730006604328 140730006604328 140730006609898 0
################
# More data... #
################
/proc/24238/statm: 448982 389130 2336 1147 0 436409 0
Current children cumulated CPU time: 3033.88 s
Current children cumulated vsize: 1800120 KiB
Current children cumulated memory: 1559592 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.16 4.09 5/273 24418
/proc/meminfo: memFree=105444852/131250000 swapFree=33010684/33010684
[pid=24235] ppid=24226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/24235/stat : 24235 (run-dec-log.sh) S 24226 24235 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 768 18446744073709551615 94326651293696 94326652188229 140723216239328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94326652427280 94326652475024 94326657798144 140723216247073 140723216247268 140723216247268 140723216252870 0
/proc/24235/statm: 1048 768 704 219 0 110 0
[pid=24238] ppid=24235 vsize=1795928 memory=1556520 CPUtime=3093.73 cores=0,2
/proc/24238/stat : 24238 (roundingsat) R 24235 24235 24175 0 -1 4194304 199729 0 0 0 306313 3060 0 0 20 0 1 0 33994855 1839030272 389130 18446744073709551615 4227072 8923433 140730006596304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19427328 140730006604135 140730006604328 140730006604328 140730006609898 0
/proc/24238/statm: 448982 389130 2336 1147 0 436409 0
Current children cumulated CPU time: 3093.73 s
Current children cumulated vsize: 1800120 KiB
Current children cumulated memory: 1559592 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.16 4.09 5/273 24423
/proc/meminfo: memFree=104990044/131250000 swapFree=33010684/33010684
[pid=24235] ppid=24226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/24235/stat : 24235 (run-dec-log.sh) S 24226 24235 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 768 18446744073709551615 94326651293696 94326652188229 140723216239328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94326652427280 94326652475024 94326657798144 140723216247073 140723216247268 140723216247268 140723216252870 0
/proc/24235/statm: 1048 768 704 219 0 110 0
[pid=24238] ppid=24235 vsize=1795928 memory=1556520 CPUtime=3153.57 cores=0,2
/proc/24238/stat : 24238 (roundingsat) R 24235 24235 24175 0 -1 4194304 199800 0 0 0 312217 3140 0 0 20 0 1 0 33994855 1839030272 389130 18446744073709551615 4227072 8923433 140730006596304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19427328 140730006604135 140730006604328 140730006604328 140730006609898 0
/proc/24238/statm: 448982 389130 2336 1147 0 436409 0
Current children cumulated CPU time: 3153.57 s
Current children cumulated vsize: 1800120 KiB
Current children cumulated memory: 1559592 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/272 24425
/proc/meminfo: memFree=104575596/131250000 swapFree=33010684/33010684
[pid=24235] ppid=24226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/24235/stat : 24235 (run-dec-log.sh) S 24226 24235 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 768 18446744073709551615 94326651293696 94326652188229 140723216239328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94326652427280 94326652475024 94326657798144 140723216247073 140723216247268 140723216247268 140723216252870 0
/proc/24235/statm: 1048 768 704 219 0 110 0
[pid=24238] ppid=24235 vsize=1795928 memory=1556520 CPUtime=3213.41 cores=0,2
/proc/24238/stat : 24238 (roundingsat) R 24235 24235 24175 0 -1 4194304 199825 0 0 0 318145 3196 0 0 20 0 1 0 33994855 1839030272 389130 18446744073709551615 4227072 8923433 140730006596304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19427328 140730006604135 140730006604328 140730006604328 140730006609898 0
/proc/24238/statm: 448982 389130 2336 1147 0 436409 0
Current children cumulated CPU time: 3213.41 s
Current children cumulated vsize: 1800120 KiB
Current children cumulated memory: 1559592 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.13 4.09 5/272 24427
/proc/meminfo: memFree=104214924/131250000 swapFree=33010684/33010684
[pid=24235] ppid=24226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/24235/stat : 24235 (run-dec-log.sh) S 24226 24235 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 768 18446744073709551615 94326651293696 94326652188229 140723216239328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94326652427280 94326652475024 94326657798144 140723216247073 140723216247268 140723216247268 140723216252870 0
/proc/24235/statm: 1048 768 704 219 0 110 0
[pid=24238] ppid=24235 vsize=1800684 memory=1560744 CPUtime=3273.26 cores=0,2
/proc/24238/stat : 24238 (roundingsat) R 24235 24235 24175 0 -1 4194304 200899 0 0 0 324079 3247 0 0 20 0 1 0 33994855 1843900416 390186 18446744073709551615 4227072 8923433 140730006596304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19427328 140730006604135 140730006604328 140730006604328 140730006609898 0
/proc/24238/statm: 450171 390186 2336 1147 0 437598 0
Current children cumulated CPU time: 3273.26 s
Current children cumulated vsize: 1804876 KiB
Current children cumulated memory: 1563816 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/272 24430
/proc/meminfo: memFree=103822044/131250000 swapFree=33010684/33010684
[pid=24235] ppid=24226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/24235/stat : 24235 (run-dec-log.sh) S 24226 24235 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 768 18446744073709551615 94326651293696 94326652188229 140723216239328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94326652427280 94326652475024 94326657798144 140723216247073 140723216247268 140723216247268 140723216252870 0
/proc/24235/statm: 1048 768 704 219 0 110 0
[pid=24238] ppid=24235 vsize=1806836 memory=1566504 CPUtime=3333.1 cores=0,2
/proc/24238/stat : 24238 (roundingsat) R 24235 24235 24175 0 -1 4194304 202327 0 0 0 330007 3303 0 0 20 0 1 0 33994855 1850200064 391626 18446744073709551615 4227072 8923433 140730006596304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19427328 140730006604135 140730006604328 140730006604328 140730006609898 0
/proc/24238/statm: 451709 391626 2336 1147 0 439136 0
Current children cumulated CPU time: 3333.1 s
Current children cumulated vsize: 1811028 KiB
Current children cumulated memory: 1569576 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/272 24433
/proc/meminfo: memFree=103548932/131250000 swapFree=33010684/33010684
[pid=24235] ppid=24226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/24235/stat : 24235 (run-dec-log.sh) S 24226 24235 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 768 18446744073709551615 94326651293696 94326652188229 140723216239328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94326652427280 94326652475024 94326657798144 140723216247073 140723216247268 140723216247268 140723216252870 0
/proc/24235/statm: 1048 768 704 219 0 110 0
[pid=24238] ppid=24235 vsize=1806836 memory=1566504 CPUtime=3392.94 cores=0,2
/proc/24238/stat : 24238 (roundingsat) R 24235 24235 24175 0 -1 4194304 202327 0 0 0 335905 3389 0 0 20 0 1 0 33994855 1850200064 391626 18446744073709551615 4227072 8923433 140730006596304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19427328 140730006604135 140730006604328 140730006604328 140730006609898 0
/proc/24238/statm: 451709 391626 2336 1147 0 439136 0
Current children cumulated CPU time: 3392.94 s
Current children cumulated vsize: 1811028 KiB
Current children cumulated memory: 1569576 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/271 24435
/proc/meminfo: memFree=103299356/131250000 swapFree=33010684/33010684
[pid=24235] ppid=24226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/24235/stat : 24235 (run-dec-log.sh) S 24226 24235 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 768 18446744073709551615 94326651293696 94326652188229 140723216239328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94326652427280 94326652475024 94326657798144 140723216247073 140723216247268 140723216247268 140723216252870 0
/proc/24235/statm: 1048 768 704 219 0 110 0
[pid=24238] ppid=24235 vsize=1806836 memory=1566504 CPUtime=3452.77 cores=0,2
/proc/24238/stat : 24238 (roundingsat) R 24235 24235 24175 0 -1 4194304 202677 0 0 0 341835 3442 0 0 20 0 1 0 33994855 1850200064 391626 18446744073709551615 4227072 8923433 140730006596304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19427328 140730006604135 140730006604328 140730006604328 140730006609898 0
/proc/24238/statm: 451709 391626 2336 1147 0 439136 0
Current children cumulated CPU time: 3452.77 s
Current children cumulated vsize: 1811028 KiB
Current children cumulated memory: 1569576 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/271 24437
/proc/meminfo: memFree=103123376/131250000 swapFree=33010684/33010684
[pid=24235] ppid=24226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/24235/stat : 24235 (run-dec-log.sh) S 24226 24235 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 768 18446744073709551615 94326651293696 94326652188229 140723216239328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94326652427280 94326652475024 94326657798144 140723216247073 140723216247268 140723216247268 140723216252870 0
/proc/24235/statm: 1048 768 704 219 0 110 0
[pid=24238] ppid=24235 vsize=1808952 memory=1568424 CPUtime=3512.61 cores=0,2
/proc/24238/stat : 24238 (roundingsat) R 24235 24235 24175 0 -1 4194304 203173 0 0 0 347773 3488 0 0 20 0 1 0 33994855 1852366848 392106 18446744073709551615 4227072 8923433 140730006596304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19427328 140730006604135 140730006604328 140730006604328 140730006609898 0
/proc/24238/statm: 452238 392106 2336 1147 0 439665 0
Current children cumulated CPU time: 3512.61 s
Current children cumulated vsize: 1813144 KiB
Current children cumulated memory: 1571496 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/270 24439
/proc/meminfo: memFree=102880284/131250000 swapFree=33010684/33010684
[pid=24235] ppid=24226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/24235/stat : 24235 (run-dec-log.sh) S 24226 24235 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 768 18446744073709551615 94326651293696 94326652188229 140723216239328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94326652427280 94326652475024 94326657798144 140723216247073 140723216247268 140723216247268 140723216252870 0
/proc/24235/statm: 1048 768 704 219 0 110 0
[pid=24238] ppid=24235 vsize=1819232 memory=1577256 CPUtime=3572.46 cores=0,2
/proc/24238/stat : 24238 (roundingsat) R 24235 24235 24175 0 -1 4194304 205369 0 0 0 353701 3545 0 0 20 0 1 0 33994855 1862893568 394314 18446744073709551615 4227072 8923433 140730006596304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19427328 140730006604135 140730006604328 140730006604328 140730006609898 0
/proc/24238/statm: 454808 394314 2336 1147 0 442235 0
Current children cumulated CPU time: 3572.46 s
Current children cumulated vsize: 1823424 KiB
Current children cumulated memory: 1580328 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.11 4.12 4.09 3/260 24457
/proc/meminfo: memFree=104204880/131250000 swapFree=33010684/33010684
[pid=24235] ppid=24226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/24235/stat : 24235 (run-dec-log.sh) S 24226 24235 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 768 18446744073709551615 94326651293696 94326652188229 140723216239328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94326652427280 94326652475024 94326657798144 140723216247073 140723216247268 140723216247268 140723216252870 0
/proc/24235/statm: 1048 768 704 219 0 110 0
[pid=24238] ppid=24235 vsize=1819232 memory=1577896 CPUtime=3600.08 cores=0,2
/proc/24238/stat : 24238 (roundingsat) R 24235 24235 24175 0 -1 4194304 205378 0 0 0 356453 3555 0 0 20 0 1 0 33994855 1862893568 394474 18446744073709551615 4227072 8923433 140730006596304 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19427328 140730006604135 140730006604328 140730006604328 140730006609898 0
/proc/24238/statm: 454808 394474 2336 1147 0 442235 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1823424 KiB
Current children cumulated memory: 1580968 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.01 s]
# the end of solver process 24235 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002283 s
[startup+3610.06 s]
# the end of solver process 24238 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3564.55 s, system=35.5756 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.06
CPU time (s): 3600.12
CPU user time (s): 3564.55
CPU system time (s): 35.5756
CPU usage (%): 99.7247
Max. virtual memory (cumulated for all children) (KiB): 1823424
Max. memory (cumulated for all children) (KiB): 1580968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.55
system time used= 35.5756
maximum resident set size= 1578024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 205604
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11741032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 828
involuntary context switches= 5129
# summary of solver processes directly reported to runsolver:
# pid: 24235,24238
# total CPU time (s): 3600.12
# total CPU user time (s): 3564.55
# total CPU system time (s): 35.5756
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.72698 second user time and 14.9498 second system time
The end
Begin job on nodeC013 at 2025-06-29 09:45:46
IDJOB=4507229
IDBENCH=158331
IDSOLVER=3352
FILE ID=nodeC013/4507229-1751183146
RUNJOBID= nodeC013-1751183146-24185
SLURM_JOB_ID= 9587568
Free space on /tmp= 433056 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K177.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507229-1751183146/watcher-4507229-1751183146 -o /tmp/evaluation-result-4507229-1751183146/solver-4507229-1751183146 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751183146-24185 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4507229-1751183146.opb PROOFDIR/proof-4507229-1751183146
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4b187363ec0683eba575f162bd763393
RANDOM SEED=1585000491
nodeC013 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.840
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.820
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.310
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.852
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.834
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.833
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.445
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3584.902
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129978956 kB
MemAvailable: 129812528 kB
Buffers: 3280 kB
Cached: 637452 kB
SwapCached: 0 kB
Active: 278696 kB
Inactive: 428648 kB
Active(anon): 79896 kB
Inactive(anon): 0 kB
Active(file): 198800 kB
Inactive(file): 428648 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 30780 kB
Writeback: 0 kB
AnonPages: 69964 kB
Mapped: 97964 kB
Shmem: 13284 kB
KReclaimable: 90328 kB
Slab: 175476 kB
SReclaimable: 90328 kB
SUnreclaim: 85148 kB
KernelStack: 4088 kB
PageTables: 2348 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 316108 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150456 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC013 at 2025-06-29 10:45:56