0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.28/0.39 c #variables 23086 #constraints 23476
101.87/102.23 c #Conflicts: 1000 | #Constraints: 24475
101.87/102.23 c #Conflicts: 2000 | #Constraints: 25475
101.87/102.23 c INPROCESSING
101.87/102.23 c GARBAGE COLLECT
101.87/102.23 c #Conflicts: 3000 | #Constraints: 24740
101.87/102.23 c #Conflicts: 4000 | #Constraints: 25740
101.87/102.23 c INPROCESSING
101.87/102.23 c GARBAGE COLLECT
101.87/102.23 c #Conflicts: 5000 | #Constraints: 25246
101.87/102.23 c #Conflicts: 6000 | #Constraints: 26246
101.87/102.23 c INPROCESSING
101.87/102.23 c GARBAGE COLLECT
101.87/102.23 c #Conflicts: 7000 | #Constraints: 25454
101.87/102.23 c #Conflicts: 8000 | #Constraints: 26454
101.87/102.23 c #Conflicts: 9000 | #Constraints: 27454
101.87/102.23 c #Conflicts: 10000 | #Constraints: 28454
101.87/102.23 c #Conflicts: 11000 | #Constraints: 29454
101.87/102.23 c #Conflicts: 12000 | #Constraints: 30454
101.87/102.23 c INPROCESSING
101.87/102.23 c GARBAGE COLLECT
101.87/102.23 c #Conflicts: 13000 | #Constraints: 27416
101.87/102.23 c #Conflicts: 14000 | #Constraints: 28416
101.87/102.23 c #Conflicts: 15000 | #Constraints: 29416
101.87/102.23 c #Conflicts: 16000 | #Constraints: 30416
101.87/102.23 c INPROCESSING
101.87/102.23 c GARBAGE COLLECT
101.87/102.23 c #Conflicts: 17000 | #Constraints: 28220
101.87/102.23 c #Conflicts: 18000 | #Constraints: 29220
101.87/102.23 c #Conflicts: 19000 | #Constraints: 30220
101.87/102.23 c #Conflicts: 20000 | #Constraints: 31220
101.87/102.23 c #Conflicts: 21000 | #Constraints: 32220
101.87/102.23 c #Conflicts: 22000 | #Constraints: 33220
101.87/102.23 c #Conflicts: 23000 | #Constraints: 34220
101.87/102.23 c #Conflicts: 24000 | #Constraints: 35220
101.87/102.23 c #Conflicts: 25000 | #Constraints: 36220
101.87/102.23 c INPROCESSING
101.87/102.23 c GARBAGE COLLECT
101.87/102.23 c #Conflicts: 26000 | #Constraints: 30441
101.87/102.23 c #Conflicts: 27000 | #Constraints: 31441
101.87/102.23 c #Conflicts: 28000 | #Constraints: 32441
101.87/102.23 c #Conflicts: 29000 | #Constraints: 33441
101.87/102.23 c #Conflicts: 30000 | #Constraints: 34441
101.87/102.23 c INPROCESSING
101.87/102.23 c GARBAGE COLLECT
101.87/102.23 c #Conflicts: 31000 | #Constraints: 30659
101.87/102.23 c #Conflicts: 32000 | #Constraints: 31659
101.87/102.23 c #Conflicts: 33000 | #Constraints: 32659
101.87/102.23 c #Conflicts: 34000 | #Constraints: 33659
101.87/102.23 c #Conflicts: 35000 | #Constraints: 34659
101.87/102.23 c #Conflicts: 36000 | #Constraints: 35659
101.87/102.23 c #Conflicts: 37000 | #Constraints: 36659
101.87/102.23 c #Conflicts: 38000 | #Constraints: 37659
101.87/102.23 c #Conflicts: 39000 | #Constraints: 38659
101.87/102.23 c #Conflicts: 40000 | #Constraints: 39659
101.87/102.23 c #Conflicts: 41000 | #Constraints: 40659
101.87/102.23 c #Conflicts: 42000 | #Constraints: 41659
101.87/102.23 c #Conflicts: 43000 | #Constraints: 42659
101.87/102.23 c INPROCESSING
101.87/102.23 c GARBAGE COLLECT
101.87/102.23 c #Conflicts: 44000 | #Constraints: 33943
101.87/102.23 c #Conflicts: 45000 | #Constraints: 34943
101.87/102.23 c #Conflicts: 46000 | #Constraints: 35943
101.87/102.23 c #Conflicts: 47000 | #Constraints: 36943
101.87/102.23 c #Conflicts: 48000 | #Constraints: 37943
101.87/102.23 c #Conflicts: 49000 | #Constraints: 38943
101.87/102.23 c #Conflicts: 50000 | #Constraints: 39943
101.87/102.23 c #Conflicts: 51000 | #Constraints: 40943
101.87/102.23 c #Conflicts: 52000 | #Constraints: 41943
101.87/102.23 c #Conflicts: 53000 | #Constraints: 42943
101.87/102.23 c #Conflicts: 54000 | #Constraints: 43943
101.87/102.23 c #Conflicts: 55000 | #Constraints: 44943
101.87/102.23 c #Conflicts: 56000 | #Constraints: 45943
101.87/102.23 c #Conflicts: 57000 | #Constraints: 46943
101.87/102.23 c INPROCESSING
101.87/102.23 c GARBAGE COLLECT
101.87/102.23 c #Conflicts: 58000 | #Constraints: 36109
101.87/102.23 c #Conflicts: 59000 | #Constraints: 37109
101.87/102.23 c #Conflicts: 60000 | #Constraints: 38109
101.87/102.23 c #Conflicts: 61000 | #Constraints: 39109
101.87/102.23 c #Conflicts: 62000 | #Constraints: 40109
101.87/102.23 c #Conflicts: 63000 | #Constraints: 41109
101.87/102.23 c #Conflicts: 64000 | #Constraints: 42109
101.87/102.23 c #Conflicts: 65000 | #Constraints: 43109
101.87/102.23 c INPROCESSING
101.87/102.23 c GARBAGE COLLECT
101.87/102.23 c #Conflicts: 66000 | #Constraints: 37012
101.87/102.23 c #Conflicts: 67000 | #Constraints: 38012
101.87/102.23 c #Conflicts: 68000 | #Constraints: 39012
101.87/102.23 c #Conflicts: 69000 | #Constraints: 40012
101.87/102.23 c #Conflicts: 70000 | #Constraints: 41012
101.87/102.23 c #Conflicts: 71000 | #Constraints: 42012
101.87/102.23 c #Conflicts: 72000 | #Constraints: 43012
101.87/102.23 c #Conflicts: 73000 | #Constraints: 44012
231.84/232.54 c #Conflicts: 74000 | #Constraints: 45012
231.84/232.54 c #Conflicts: 75000 | #Constraints: 46012
231.84/232.54 c #Conflicts: 76000 | #Constraints: 47012
231.84/232.54 c #Conflicts: 77000 | #Constraints: 48012
231.84/232.54 c #Conflicts: 78000 | #Constraints: 49012
231.84/232.54 c #Conflicts: 79000 | #Constraints: 50012
231.84/232.54 c #Conflicts: 80000 | #Constraints: 51012
231.84/232.54 c #Conflicts: 81000 | #Constraints: 52012
231.84/232.54 c #Conflicts: 82000 | #Constraints: 53012
231.84/232.54 c INPROCESSING
231.84/232.54 c GARBAGE COLLECT
231.84/232.54 c #Conflicts: 83000 | #Constraints: 39358
231.84/232.54 c #Conflicts: 84000 | #Constraints: 40358
231.84/232.54 c #Conflicts: 85000 | #Constraints: 41358
231.84/232.54 c #Conflicts: 86000 | #Constraints: 42358
231.84/232.54 c #Conflicts: 87000 | #Constraints: 43358
231.84/232.54 c #Conflicts: 88000 | #Constraints: 44358
231.84/232.54 c #Conflicts: 89000 | #Constraints: 45358
231.84/232.54 c #Conflicts: 90000 | #Constraints: 46358
231.84/232.54 c #Conflicts: 91000 | #Constraints: 47358
231.84/232.54 c #Conflicts: 92000 | #Constraints: 48358
231.84/232.54 c #Conflicts: 93000 | #Constraints: 49358
231.84/232.54 c #Conflicts: 94000 | #Constraints: 50358
231.84/232.54 c #Conflicts: 95000 | #Constraints: 51358
231.84/232.54 c #Conflicts: 96000 | #Constraints: 52358
231.84/232.54 c #Conflicts: 97000 | #Constraints: 53358
231.84/232.54 c #Conflicts: 98000 | #Constraints: 54358
231.84/232.54 c #Conflicts: 99000 | #Constraints: 55358
231.84/232.54 c #Conflicts: 100000 | #Constraints: 56358
231.84/232.54 c #Conflicts: 101000 | #Constraints: 57359
231.84/232.54 c #Conflicts: 102000 | #Constraints: 58359
231.84/232.54 c INPROCESSING
231.84/232.54 c GARBAGE COLLECT
231.84/232.54 c #Conflicts: 103000 | #Constraints: 42363
231.84/232.54 c #Conflicts: 104000 | #Constraints: 43363
231.84/232.54 c #Conflicts: 105000 | #Constraints: 44363
231.84/232.54 c #Conflicts: 106000 | #Constraints: 45363
231.84/232.54 c #Conflicts: 107000 | #Constraints: 46363
231.84/232.54 c #Conflicts: 108000 | #Constraints: 47363
231.84/232.54 c #Conflicts: 109000 | #Constraints: 48363
231.84/232.54 c #Conflicts: 110000 | #Constraints: 49363
231.84/232.54 c #Conflicts: 111000 | #Constraints: 50363
231.84/232.54 c #Conflicts: 112000 | #Constraints: 51363
231.84/232.54 c #Conflicts: 113000 | #Constraints: 52363
231.84/232.54 c #Conflicts: 114000 | #Constraints: 53363
231.84/232.54 c #Conflicts: 115000 | #Constraints: 54363
231.84/232.54 c #Conflicts: 116000 | #Constraints: 55363
231.84/232.54 c #Conflicts: 117000 | #Constraints: 56363
231.84/232.54 c #Conflicts: 118000 | #Constraints: 57363
231.84/232.54 c #Conflicts: 119000 | #Constraints: 58363
231.84/232.54 c #Conflicts: 120000 | #Constraints: 59363
231.84/232.54 c #Conflicts: 121000 | #Constraints: 60363
231.84/232.54 c #Conflicts: 122000 | #Constraints: 61363
231.84/232.54 c #Conflicts: 123000 | #Constraints: 62363
231.84/232.54 c INPROCESSING
231.84/232.54 c GARBAGE COLLECT
231.84/232.54 c #Conflicts: 124000 | #Constraints: 44254
231.84/232.54 c #Conflicts: 125000 | #Constraints: 45254
231.84/232.54 c #Conflicts: 126000 | #Constraints: 46254
231.84/232.54 c #Conflicts: 127000 | #Constraints: 47254
231.84/232.54 c #Conflicts: 128000 | #Constraints: 48254
231.84/232.54 c #Conflicts: 129000 | #Constraints: 49254
231.84/232.54 c #Conflicts: 130000 | #Constraints: 50254
231.84/232.54 c #Conflicts: 131000 | #Constraints: 51254
231.84/232.54 c #Conflicts: 132000 | #Constraints: 52254
231.84/232.54 c #Conflicts: 133000 | #Constraints: 53254
231.84/232.54 c #Conflicts: 134000 | #Constraints: 54254
231.84/232.54 c #Conflicts: 135000 | #Constraints: 55254
231.84/232.54 c #Conflicts: 136000 | #Constraints: 56254
231.84/232.54 c #Conflicts: 137000 | #Constraints: 57254
231.84/232.54 c #Conflicts: 138000 | #Constraints: 58254
231.84/232.54 c #Conflicts: 139000 | #Constraints: 59254
231.84/232.54 c #Conflicts: 140000 | #Constraints: 60254
231.84/232.54 c #Conflicts: 141000 | #Constraints: 61254
231.84/232.54 c #Conflicts: 142000 | #Constraints: 62254
231.84/232.54 c #Conflicts: 143000 | #Constraints: 63254
231.84/232.54 c #Conflicts: 144000 | #Constraints: 64254
231.84/232.54 c #Conflicts: 145000 | #Constraints: 65254
231.84/232.54 c #Conflicts: 146000 | #Constraints: 66254
231.84/232.54 c #Conflicts: 147000 | #Constraints: 67254
231.84/232.54 c INPROCESSING
231.84/232.54 c GARBAGE COLLECT
231.84/232.54 c #Conflicts: 148000 | #Constraints: 47067
231.84/232.54 c #Conflicts: 149000 | #Constraints: 48067
375.75/376.85 c #Conflicts: 150000 | #Constraints: 49067
375.75/376.85 c #Conflicts: 151000 | #Constraints: 50067
375.75/376.85 c #Conflicts: 152000 | #Constraints: 51067
375.75/376.85 c #Conflicts: 153000 | #Constraints: 52067
375.75/376.85 c #Conflicts: 154000 | #Constraints: 53067
375.75/376.85 c #Conflicts: 155000 | #Constraints: 54067
375.75/376.85 c #Conflicts: 156000 | #Constraints: 55067
375.75/376.85 c #Conflicts: 157000 | #Constraints: 56067
375.75/376.85 c #Conflicts: 158000 | #Constraints: 57067
375.75/376.85 c #Conflicts: 159000 | #Constraints: 58067
375.75/376.85 c #Conflicts: 160000 | #Constraints: 59067
375.75/376.85 c #Conflicts: 161000 | #Constraints: 60067
375.75/376.85 c #Conflicts: 162000 | #Constraints: 61067
375.75/376.85 c #Conflicts: 163000 | #Constraints: 62067
375.75/376.85 c #Conflicts: 164000 | #Constraints: 63067
375.75/376.85 c #Conflicts: 165000 | #Constraints: 64067
375.75/376.85 c #Conflicts: 166000 | #Constraints: 65067
375.75/376.85 c #Conflicts: 167000 | #Constraints: 66067
375.75/376.85 c #Conflicts: 168000 | #Constraints: 67067
375.75/376.85 c #Conflicts: 169000 | #Constraints: 68067
375.75/376.85 c #Conflicts: 170000 | #Constraints: 69067
375.75/376.85 c #Conflicts: 171000 | #Constraints: 70067
375.75/376.85 c #Conflicts: 172000 | #Constraints: 71067
375.75/376.85 c INPROCESSING
375.75/376.85 c GARBAGE COLLECT
375.75/376.85 c #Conflicts: 173000 | #Constraints: 48801
375.75/376.85 c #Conflicts: 174000 | #Constraints: 49801
375.75/376.85 c #Conflicts: 175000 | #Constraints: 50801
375.75/376.85 c #Conflicts: 176000 | #Constraints: 51801
375.75/376.85 c #Conflicts: 177000 | #Constraints: 52801
375.75/376.85 c #Conflicts: 178000 | #Constraints: 53801
375.75/376.85 c #Conflicts: 179000 | #Constraints: 54801
375.75/376.85 c #Conflicts: 180000 | #Constraints: 55801
375.75/376.85 c #Conflicts: 181000 | #Constraints: 56801
375.75/376.85 c #Conflicts: 182000 | #Constraints: 57801
375.75/376.85 c #Conflicts: 183000 | #Constraints: 58801
375.75/376.85 c #Conflicts: 184000 | #Constraints: 59801
375.75/376.85 c #Conflicts: 185000 | #Constraints: 60801
375.75/376.85 c #Conflicts: 186000 | #Constraints: 61801
375.75/376.85 c #Conflicts: 187000 | #Constraints: 62801
375.75/376.85 c #Conflicts: 188000 | #Constraints: 63801
375.75/376.85 c #Conflicts: 189000 | #Constraints: 64801
375.75/376.85 c #Conflicts: 190000 | #Constraints: 65801
375.75/376.85 c #Conflicts: 191000 | #Constraints: 66801
375.75/376.85 c #Conflicts: 192000 | #Constraints: 67801
375.75/376.85 c #Conflicts: 193000 | #Constraints: 68801
375.75/376.85 c #Conflicts: 194000 | #Constraints: 69801
375.75/376.85 c #Conflicts: 195000 | #Constraints: 70801
375.75/376.85 c #Conflicts: 196000 | #Constraints: 71801
375.75/376.85 c #Conflicts: 197000 | #Constraints: 72801
375.75/376.85 c #Conflicts: 198000 | #Constraints: 73801
375.75/376.85 c #Conflicts: 199000 | #Constraints: 74801
375.75/376.85 c #Conflicts: 200000 | #Constraints: 75801
375.75/376.85 c INPROCESSING
375.75/376.85 c GARBAGE COLLECT
375.75/376.85 c #Conflicts: 201000 | #Constraints: 51384
375.75/376.85 c #Conflicts: 202000 | #Constraints: 52384
375.75/376.85 c #Conflicts: 203000 | #Constraints: 53384
375.75/376.85 c #Conflicts: 204000 | #Constraints: 54384
375.75/376.85 c #Conflicts: 205000 | #Constraints: 55384
375.75/376.85 c #Conflicts: 206000 | #Constraints: 56384
375.75/376.85 c #Conflicts: 207000 | #Constraints: 57384
375.75/376.85 c #Conflicts: 208000 | #Constraints: 58384
375.75/376.85 c #Conflicts: 209000 | #Constraints: 59384
375.75/376.85 c #Conflicts: 210000 | #Constraints: 60384
375.75/376.85 c #Conflicts: 211000 | #Constraints: 61384
375.75/376.85 c #Conflicts: 212000 | #Constraints: 62384
375.75/376.85 c #Conflicts: 213000 | #Constraints: 63384
375.75/376.85 c #Conflicts: 214000 | #Constraints: 64384
375.75/376.85 c #Conflicts: 215000 | #Constraints: 65384
375.75/376.85 c #Conflicts: 216000 | #Constraints: 66384
375.75/376.85 c #Conflicts: 217000 | #Constraints: 67384
375.75/376.85 c #Conflicts: 218000 | #Constraints: 68384
375.75/376.85 c #Conflicts: 219000 | #Constraints: 69384
375.75/376.85 c #Conflicts: 220000 | #Constraints: 70384
375.75/376.85 c #Conflicts: 221000 | #Constraints: 71384
375.75/376.85 c #Conflicts: 222000 | #Constraints: 72384
375.75/376.85 c #Conflicts: 223000 | #Constraints: 73384
375.75/376.85 c #Conflicts: 224000 | #Constraints: 74384
375.75/376.85 c #Conflicts: 225000 | #Constraints: 75385
375.75/376.85 c #Conflicts: 226000 | #Constraints: 76385
375.75/376.85 c #Conflicts: 227000 | #Constraints: 77385
547.51/549.07 c #Conflicts: 228000 | #Constraints: 78385
547.51/549.07 c #Conflicts: 229000 | #Constraints: 79385
547.51/549.07 c INPROCESSING
547.51/549.07 c GARBAGE COLLECT
547.51/549.07 c #Conflicts: 230000 | #Constraints: 52958
547.51/549.07 c #Conflicts: 231000 | #Constraints: 53958
547.51/549.07 c #Conflicts: 232000 | #Constraints: 54958
547.51/549.07 c #Conflicts: 233000 | #Constraints: 55958
547.51/549.07 c #Conflicts: 234000 | #Constraints: 56958
547.51/549.07 c #Conflicts: 235000 | #Constraints: 57958
547.51/549.07 c #Conflicts: 236000 | #Constraints: 58958
547.51/549.07 c #Conflicts: 237000 | #Constraints: 59958
547.51/549.07 c #Conflicts: 238000 | #Constraints: 60958
547.51/549.07 c #Conflicts: 239000 | #Constraints: 61958
547.51/549.07 c #Conflicts: 240000 | #Constraints: 62958
547.51/549.07 c #Conflicts: 241000 | #Constraints: 63958
547.51/549.07 c #Conflicts: 242000 | #Constraints: 64958
547.51/549.07 c #Conflicts: 243000 | #Constraints: 65958
547.51/549.07 c #Conflicts: 244000 | #Constraints: 66958
547.51/549.07 c #Conflicts: 245000 | #Constraints: 67958
547.51/549.07 c #Conflicts: 246000 | #Constraints: 68958
547.51/549.07 c #Conflicts: 247000 | #Constraints: 69958
547.51/549.07 c #Conflicts: 248000 | #Constraints: 70958
547.51/549.07 c #Conflicts: 249000 | #Constraints: 71958
547.51/549.07 c #Conflicts: 250000 | #Constraints: 72958
547.51/549.07 c #Conflicts: 251000 | #Constraints: 73958
547.51/549.07 c #Conflicts: 252000 | #Constraints: 74958
547.51/549.07 c #Conflicts: 253000 | #Constraints: 75958
547.51/549.07 c #Conflicts: 254000 | #Constraints: 76958
547.51/549.07 c #Conflicts: 255000 | #Constraints: 77958
547.51/549.07 c #Conflicts: 256000 | #Constraints: 78958
547.51/549.07 c #Conflicts: 257000 | #Constraints: 79958
547.51/549.07 c #Conflicts: 258000 | #Constraints: 80958
547.51/549.07 c #Conflicts: 259000 | #Constraints: 81958
547.51/549.07 c #Conflicts: 260000 | #Constraints: 82958
547.51/549.07 c #Conflicts: 261000 | #Constraints: 83958
547.51/549.07 c INPROCESSING
547.51/549.07 c GARBAGE COLLECT
547.51/549.07 c #Conflicts: 262000 | #Constraints: 55505
547.51/549.07 c #Conflicts: 263000 | #Constraints: 56505
547.51/549.07 c #Conflicts: 264000 | #Constraints: 57505
547.51/549.07 c #Conflicts: 265000 | #Constraints: 58505
547.51/549.07 c #Conflicts: 266000 | #Constraints: 59505
547.51/549.07 c #Conflicts: 267000 | #Constraints: 60505
547.51/549.07 c #Conflicts: 268000 | #Constraints: 61505
547.51/549.07 c #Conflicts: 269000 | #Constraints: 62505
547.51/549.07 c #Conflicts: 270000 | #Constraints: 63505
547.51/549.07 c #Conflicts: 271000 | #Constraints: 64505
547.51/549.07 c #Conflicts: 272000 | #Constraints: 65505
547.51/549.07 c #Conflicts: 273000 | #Constraints: 66505
547.51/549.07 c #Conflicts: 274000 | #Constraints: 67505
547.51/549.07 c #Conflicts: 275000 | #Constraints: 68505
547.51/549.07 c #Conflicts: 276000 | #Constraints: 69505
547.51/549.07 c #Conflicts: 277000 | #Constraints: 70505
547.51/549.07 c #Conflicts: 278000 | #Constraints: 71505
547.51/549.07 c #Conflicts: 279000 | #Constraints: 72505
547.51/549.07 c #Conflicts: 280000 | #Constraints: 73505
547.51/549.07 c #Conflicts: 281000 | #Constraints: 74505
547.51/549.07 c #Conflicts: 282000 | #Constraints: 75505
547.51/549.07 c #Conflicts: 283000 | #Constraints: 76505
547.51/549.07 c #Conflicts: 284000 | #Constraints: 77505
547.51/549.07 c #Conflicts: 285000 | #Constraints: 78505
547.51/549.07 c #Conflicts: 286000 | #Constraints: 79505
547.51/549.07 c #Conflicts: 287000 | #Constraints: 80505
547.51/549.07 c #Conflicts: 288000 | #Constraints: 81505
547.51/549.07 c #Conflicts: 289000 | #Constraints: 82505
547.51/549.07 c #Conflicts: 290000 | #Constraints: 83505
547.51/549.07 c #Conflicts: 291000 | #Constraints: 84505
547.51/549.07 c #Conflicts: 292000 | #Constraints: 85505
547.51/549.07 c #Conflicts: 293000 | #Constraints: 86505
547.51/549.07 c #Conflicts: 294000 | #Constraints: 87505
547.51/549.07 c INPROCESSING
547.51/549.07 c GARBAGE COLLECT
547.51/549.07 c #Conflicts: 295000 | #Constraints: 57097
547.51/549.07 c #Conflicts: 296000 | #Constraints: 58097
547.51/549.07 c #Conflicts: 297000 | #Constraints: 59097
547.51/549.07 c #Conflicts: 298000 | #Constraints: 60097
547.51/549.07 c #Conflicts: 299000 | #Constraints: 61097
547.51/549.07 c #Conflicts: 300000 | #Constraints: 62097
547.51/549.07 c #Conflicts: 301000 | #Constraints: 63097
547.51/549.07 c #Conflicts: 302000 | #Constraints: 64097
547.51/549.07 c #Conflicts: 303000 | #Constraints: 65097
547.51/549.07 c #Conflicts: 304000 | #Constraints: 66097
714.58/716.51 c #Conflicts: 305000 | #Constraints: 67097
714.58/716.51 c #Conflicts: 306000 | #Constraints: 68097
714.58/716.51 c #Conflicts: 307000 | #Constraints: 69097
714.58/716.51 c #Conflicts: 308000 | #Constraints: 70097
714.58/716.51 c #Conflicts: 309000 | #Constraints: 71097
714.58/716.51 c #Conflicts: 310000 | #Constraints: 72097
714.58/716.51 c #Conflicts: 311000 | #Constraints: 73097
714.58/716.51 c #Conflicts: 312000 | #Constraints: 74097
714.58/716.51 c #Conflicts: 313000 | #Constraints: 75097
714.58/716.51 c #Conflicts: 314000 | #Constraints: 76097
714.58/716.51 c #Conflicts: 315000 | #Constraints: 77097
714.58/716.51 c #Conflicts: 316000 | #Constraints: 78097
714.58/716.51 c #Conflicts: 317000 | #Constraints: 79097
714.58/716.51 c #Conflicts: 318000 | #Constraints: 80097
714.58/716.51 c #Conflicts: 319000 | #Constraints: 81097
714.58/716.51 c #Conflicts: 320000 | #Constraints: 82097
714.58/716.51 c #Conflicts: 321000 | #Constraints: 83097
714.58/716.51 c #Conflicts: 322000 | #Constraints: 84097
714.58/716.51 c #Conflicts: 323000 | #Constraints: 85097
714.58/716.51 c #Conflicts: 324000 | #Constraints: 86097
714.58/716.51 c #Conflicts: 325000 | #Constraints: 87097
714.58/716.51 c #Conflicts: 326000 | #Constraints: 88097
714.58/716.51 c #Conflicts: 327000 | #Constraints: 89097
714.58/716.51 c #Conflicts: 328000 | #Constraints: 90097
714.58/716.51 c #Conflicts: 329000 | #Constraints: 91097
714.58/716.51 c #Conflicts: 330000 | #Constraints: 92097
714.58/716.51 c INPROCESSING
714.58/716.51 c GARBAGE COLLECT
714.58/716.51 c #Conflicts: 331000 | #Constraints: 59678
714.58/716.51 c #Conflicts: 332000 | #Constraints: 60678
714.58/716.51 c #Conflicts: 333000 | #Constraints: 61678
714.58/716.51 c #Conflicts: 334000 | #Constraints: 62678
714.58/716.51 c #Conflicts: 335000 | #Constraints: 63678
714.58/716.51 c #Conflicts: 336000 | #Constraints: 64678
714.58/716.51 c #Conflicts: 337000 | #Constraints: 65678
714.58/716.51 c #Conflicts: 338000 | #Constraints: 66678
714.58/716.51 c #Conflicts: 339000 | #Constraints: 67678
714.58/716.51 c #Conflicts: 340000 | #Constraints: 68678
714.58/716.51 c #Conflicts: 341000 | #Constraints: 69678
714.58/716.51 c #Conflicts: 342000 | #Constraints: 70678
714.58/716.51 c #Conflicts: 343000 | #Constraints: 71678
714.58/716.51 c #Conflicts: 344000 | #Constraints: 72678
714.58/716.51 c #Conflicts: 345000 | #Constraints: 73678
714.58/716.51 c #Conflicts: 346000 | #Constraints: 74678
714.58/716.51 c #Conflicts: 347000 | #Constraints: 75678
714.58/716.51 c #Conflicts: 348000 | #Constraints: 76678
714.58/716.51 c #Conflicts: 349000 | #Constraints: 77678
714.58/716.51 c #Conflicts: 350000 | #Constraints: 78678
714.58/716.51 c #Conflicts: 351000 | #Constraints: 79678
714.58/716.51 c #Conflicts: 352000 | #Constraints: 80678
714.58/716.51 c #Conflicts: 353000 | #Constraints: 81678
714.58/716.51 c #Conflicts: 354000 | #Constraints: 82678
714.58/716.51 c #Conflicts: 355000 | #Constraints: 83678
714.58/716.51 c #Conflicts: 356000 | #Constraints: 84678
714.58/716.51 c #Conflicts: 357000 | #Constraints: 85678
714.58/716.51 c #Conflicts: 358000 | #Constraints: 86678
714.58/716.51 c #Conflicts: 359000 | #Constraints: 87678
714.58/716.51 c #Conflicts: 360000 | #Constraints: 88678
714.58/716.51 c #Conflicts: 361000 | #Constraints: 89678
714.58/716.51 c #Conflicts: 362000 | #Constraints: 90678
714.58/716.51 c #Conflicts: 363000 | #Constraints: 91678
714.58/716.51 c #Conflicts: 364000 | #Constraints: 92678
714.58/716.51 c #Conflicts: 365000 | #Constraints: 93678
714.58/716.51 c #Conflicts: 366000 | #Constraints: 94678
714.58/716.51 c #Conflicts: 367000 | #Constraints: 95678
714.58/716.51 c INPROCESSING
714.58/716.51 c GARBAGE COLLECT
714.58/716.51 c #Conflicts: 368000 | #Constraints: 61520
714.58/716.51 c #Conflicts: 369000 | #Constraints: 62520
714.58/716.51 c #Conflicts: 370000 | #Constraints: 63520
714.58/716.51 c #Conflicts: 371000 | #Constraints: 64520
714.58/716.51 c #Conflicts: 372000 | #Constraints: 65520
714.58/716.51 c #Conflicts: 373000 | #Constraints: 66520
714.58/716.51 c #Conflicts: 374000 | #Constraints: 67520
714.58/716.51 c #Conflicts: 375000 | #Constraints: 68520
714.58/716.51 c #Conflicts: 376000 | #Constraints: 69520
714.58/716.51 c #Conflicts: 377000 | #Constraints: 70520
714.58/716.51 c #Conflicts: 378000 | #Constraints: 71520
714.58/716.51 c #Conflicts: 379000 | #Constraints: 72520
714.58/716.51 c #Conflicts: 380000 | #Constraints: 73520
714.58/716.51 c #Conflicts: 381000 | #Constraints: 74520
865.48/867.87 c #Conflicts: 382000 | #Constraints: 75520
865.48/867.87 c #Conflicts: 383000 | #Constraints: 76520
865.48/867.87 c #Conflicts: 384000 | #Constraints: 77520
865.48/867.87 c #Conflicts: 385000 | #Constraints: 78520
865.48/867.87 c #Conflicts: 386000 | #Constraints: 79520
865.48/867.87 c #Conflicts: 387000 | #Constraints: 80520
865.48/867.87 c #Conflicts: 388000 | #Constraints: 81520
865.48/867.87 c #Conflicts: 389000 | #Constraints: 82520
865.48/867.87 c #Conflicts: 390000 | #Constraints: 83520
865.48/867.87 c #Conflicts: 391000 | #Constraints: 84520
865.48/867.87 c #Conflicts: 392000 | #Constraints: 85520
865.48/867.87 c #Conflicts: 393000 | #Constraints: 86520
865.48/867.87 c #Conflicts: 394000 | #Constraints: 87520
865.48/867.87 c #Conflicts: 395000 | #Constraints: 88520
865.48/867.87 c #Conflicts: 396000 | #Constraints: 89520
865.48/867.87 c #Conflicts: 397000 | #Constraints: 90520
865.48/867.87 c #Conflicts: 398000 | #Constraints: 91520
865.48/867.87 c #Conflicts: 399000 | #Constraints: 92520
865.48/867.87 c #Conflicts: 400000 | #Constraints: 93520
865.48/867.87 c #Conflicts: 401000 | #Constraints: 94520
865.48/867.87 c #Conflicts: 402000 | #Constraints: 95520
865.48/867.87 c #Conflicts: 403000 | #Constraints: 96520
865.48/867.87 c #Conflicts: 404000 | #Constraints: 97520
865.48/867.87 c #Conflicts: 405000 | #Constraints: 98520
865.48/867.87 c #Conflicts: 406000 | #Constraints: 99520
865.48/867.87 c #Conflicts: 407000 | #Constraints: 100520
865.48/867.87 c INPROCESSING
865.48/867.87 c GARBAGE COLLECT
865.48/867.87 c #Conflicts: 408000 | #Constraints: 64255
865.48/867.87 c #Conflicts: 409000 | #Constraints: 65255
865.48/867.87 c #Conflicts: 410000 | #Constraints: 66255
865.48/867.87 c #Conflicts: 411000 | #Constraints: 67255
865.48/867.87 c #Conflicts: 412000 | #Constraints: 68255
865.48/867.87 c #Conflicts: 413000 | #Constraints: 69255
865.48/867.87 c #Conflicts: 414000 | #Constraints: 70255
865.48/867.87 c #Conflicts: 415000 | #Constraints: 71255
865.48/867.87 c #Conflicts: 416000 | #Constraints: 72255
865.48/867.87 c #Conflicts: 417000 | #Constraints: 73255
865.48/867.87 c #Conflicts: 418000 | #Constraints: 74255
865.48/867.87 c #Conflicts: 419000 | #Constraints: 75255
865.48/867.87 c #Conflicts: 420000 | #Constraints: 76255
865.48/867.87 c #Conflicts: 421000 | #Constraints: 77255
865.48/867.87 c #Conflicts: 422000 | #Constraints: 78255
865.48/867.87 c #Conflicts: 423000 | #Constraints: 79255
865.48/867.87 c #Conflicts: 424000 | #Constraints: 80255
865.48/867.87 c #Conflicts: 425000 | #Constraints: 81255
865.48/867.87 c #Conflicts: 426000 | #Constraints: 82255
865.48/867.87 c #Conflicts: 427000 | #Constraints: 83255
865.48/867.87 c #Conflicts: 428000 | #Constraints: 84255
865.48/867.87 c #Conflicts: 429000 | #Constraints: 85255
865.48/867.87 c #Conflicts: 430000 | #Constraints: 86255
865.48/867.87 c #Conflicts: 431000 | #Constraints: 87255
865.48/867.87 c #Conflicts: 432000 | #Constraints: 88255
865.48/867.87 c #Conflicts: 433000 | #Constraints: 89255
865.48/867.87 c #Conflicts: 434000 | #Constraints: 90255
865.48/867.87 c #Conflicts: 435000 | #Constraints: 91255
865.48/867.87 c #Conflicts: 436000 | #Constraints: 92255
865.48/867.87 c #Conflicts: 437000 | #Constraints: 93255
865.48/867.87 c #Conflicts: 438000 | #Constraints: 94255
865.48/867.87 c #Conflicts: 439000 | #Constraints: 95255
865.48/867.87 c #Conflicts: 440000 | #Constraints: 96255
865.48/867.87 c #Conflicts: 441000 | #Constraints: 97255
865.48/867.87 c #Conflicts: 442000 | #Constraints: 98255
865.48/867.87 c #Conflicts: 443000 | #Constraints: 99255
865.48/867.87 c #Conflicts: 444000 | #Constraints: 100255
865.48/867.87 c #Conflicts: 445000 | #Constraints: 101255
865.48/867.87 c #Conflicts: 446000 | #Constraints: 102255
865.48/867.87 c #Conflicts: 447000 | #Constraints: 103255
865.48/867.87 c #Conflicts: 448000 | #Constraints: 104255
865.48/867.87 c INPROCESSING
865.48/867.87 c GARBAGE COLLECT
865.48/867.87 c #Conflicts: 449000 | #Constraints: 65728
865.48/867.87 c #Conflicts: 450000 | #Constraints: 66728
865.48/867.87 c #Conflicts: 451000 | #Constraints: 67728
865.48/867.87 c #Conflicts: 452000 | #Constraints: 68728
865.48/867.87 c #Conflicts: 453000 | #Constraints: 69728
865.48/867.87 c #Conflicts: 454000 | #Constraints: 70728
865.48/867.87 c #Conflicts: 455000 | #Constraints: 71728
865.48/867.87 c #Conflicts: 456000 | #Constraints: 72728
865.48/867.87 c #Conflicts: 457000 | #Constraints: 73728
865.48/867.87 c #Conflicts: 458000 | #Constraints: 74728
865.48/867.87 c #Conflicts: 459000 | #Constraints: 75728
1099.58/1102.53 c #Conflicts: 460000 | #Constraints: 76728
1099.58/1102.53 c #Conflicts: 461000 | #Constraints: 77728
1099.58/1102.53 c #Conflicts: 462000 | #Constraints: 78728
1099.58/1102.53 c #Conflicts: 463000 | #Constraints: 79728
1099.58/1102.53 c #Conflicts: 464000 | #Constraints: 80728
1099.58/1102.53 c #Conflicts: 465000 | #Constraints: 81728
1099.58/1102.53 c #Conflicts: 466000 | #Constraints: 82728
1099.58/1102.53 c #Conflicts: 467000 | #Constraints: 83728
1099.58/1102.53 c #Conflicts: 468000 | #Constraints: 84728
1099.58/1102.53 c #Conflicts: 469000 | #Constraints: 85728
1099.58/1102.53 c #Conflicts: 470000 | #Constraints: 86728
1099.58/1102.53 c #Conflicts: 471000 | #Constraints: 87728
1099.58/1102.53 c #Conflicts: 472000 | #Constraints: 88728
1099.58/1102.53 c #Conflicts: 473000 | #Constraints: 89728
1099.58/1102.53 c #Conflicts: 474000 | #Constraints: 90728
1099.58/1102.53 c #Conflicts: 475000 | #Constraints: 91728
1099.58/1102.53 c #Conflicts: 476000 | #Constraints: 92728
1099.58/1102.53 c #Conflicts: 477000 | #Constraints: 93728
1099.58/1102.53 c #Conflicts: 478000 | #Constraints: 94728
1099.58/1102.53 c #Conflicts: 479000 | #Constraints: 95728
1099.58/1102.53 c #Conflicts: 480000 | #Constraints: 96728
1099.58/1102.53 c #Conflicts: 481000 | #Constraints: 97728
1099.58/1102.53 c #Conflicts: 482000 | #Constraints: 98728
1099.58/1102.53 c #Conflicts: 483000 | #Constraints: 99728
1099.58/1102.53 c #Conflicts: 484000 | #Constraints: 100728
1099.58/1102.53 c #Conflicts: 485000 | #Constraints: 101728
1099.58/1102.53 c #Conflicts: 486000 | #Constraints: 102728
1099.58/1102.53 c #Conflicts: 487000 | #Constraints: 103728
1099.58/1102.53 c #Conflicts: 488000 | #Constraints: 104728
1099.58/1102.53 c #Conflicts: 489000 | #Constraints: 105728
1099.58/1102.53 c #Conflicts: 490000 | #Constraints: 106728
1099.58/1102.53 c #Conflicts: 491000 | #Constraints: 107728
1099.58/1102.53 c #Conflicts: 492000 | #Constraints: 108728
1099.58/1102.53 c INPROCESSING
1099.58/1102.53 c GARBAGE COLLECT
1099.58/1102.53 c #Conflicts: 493000 | #Constraints: 68272
1099.58/1102.53 c #Conflicts: 494000 | #Constraints: 69272
1099.58/1102.53 c #Conflicts: 495000 | #Constraints: 70272
1099.58/1102.53 c #Conflicts: 496000 | #Constraints: 71272
1099.58/1102.53 c #Conflicts: 497000 | #Constraints: 72272
1099.58/1102.53 c #Conflicts: 498000 | #Constraints: 73272
1099.58/1102.53 c #Conflicts: 499000 | #Constraints: 74272
1099.58/1102.53 c #Conflicts: 500000 | #Constraints: 75272
1099.58/1102.53 c #Conflicts: 501000 | #Constraints: 76272
1099.58/1102.53 c #Conflicts: 502000 | #Constraints: 77272
1099.58/1102.53 c #Conflicts: 503000 | #Constraints: 78272
1099.58/1102.53 c #Conflicts: 504000 | #Constraints: 79272
1099.58/1102.53 c #Conflicts: 505000 | #Constraints: 80272
1099.58/1102.53 c #Conflicts: 506000 | #Constraints: 81272
1099.58/1102.53 c #Conflicts: 507000 | #Constraints: 82272
1099.58/1102.53 c #Conflicts: 508000 | #Constraints: 83272
1099.58/1102.53 c #Conflicts: 509000 | #Constraints: 84272
1099.58/1102.53 c #Conflicts: 510000 | #Constraints: 85272
1099.58/1102.53 c #Conflicts: 511000 | #Constraints: 86272
1099.58/1102.53 c #Conflicts: 512000 | #Constraints: 87272
1099.58/1102.53 c #Conflicts: 513000 | #Constraints: 88272
1099.58/1102.53 c #Conflicts: 514000 | #Constraints: 89272
1099.58/1102.53 c #Conflicts: 515000 | #Constraints: 90272
1099.58/1102.53 c #Conflicts: 516000 | #Constraints: 91272
1099.58/1102.53 c #Conflicts: 517000 | #Constraints: 92272
1099.58/1102.53 c #Conflicts: 518000 | #Constraints: 93272
1099.58/1102.53 c #Conflicts: 519000 | #Constraints: 94272
1099.58/1102.53 c #Conflicts: 520000 | #Constraints: 95272
1099.58/1102.53 c #Conflicts: 521000 | #Constraints: 96272
1099.58/1102.53 c #Conflicts: 522000 | #Constraints: 97272
1099.58/1102.53 c #Conflicts: 523000 | #Constraints: 98272
1099.58/1102.53 c #Conflicts: 524000 | #Constraints: 99272
1099.58/1102.53 c #Conflicts: 525000 | #Constraints: 100272
1099.58/1102.53 c #Conflicts: 526000 | #Constraints: 101272
1099.58/1102.53 c #Conflicts: 527000 | #Constraints: 102272
1099.58/1102.53 c #Conflicts: 528000 | #Constraints: 103272
1099.58/1102.53 c #Conflicts: 529000 | #Constraints: 104272
1099.58/1102.53 c #Conflicts: 530000 | #Constraints: 105272
1099.58/1102.53 c #Conflicts: 531000 | #Constraints: 106272
1099.58/1102.53 c #Conflicts: 532000 | #Constraints: 107272
1099.58/1102.53 c #Conflicts: 533000 | #Constraints: 108272
1099.58/1102.53 c #Conflicts: 534000 | #Constraints: 109272
1099.58/1102.53 c #Conflicts: 535000 | #Constraints: 110272
1099.58/1102.53 c #Conflicts: 536000 | #Constraints: 111272
1099.58/1102.53 c #Conflicts: 537000 | #Constraints: 112272
1105.27/1108.24 c INPROCESSING
1105.27/1108.24 c GARBAGE COLLECT
1105.27/1108.24 c rational objective 194
1240.52/1243.86 c #Conflicts: 538000 | #Constraints: 69683
1240.52/1243.86 c #Conflicts: 539000 | #Constraints: 70683
1240.52/1243.86 c #Conflicts: 540000 | #Constraints: 71683
1240.52/1243.86 c #Conflicts: 541000 | #Constraints: 72683
1240.52/1243.86 c #Conflicts: 542000 | #Constraints: 73683
1240.52/1243.86 c #Conflicts: 543000 | #Constraints: 74683
1240.52/1243.86 c #Conflicts: 544000 | #Constraints: 75683
1240.52/1243.86 c #Conflicts: 545000 | #Constraints: 76683
1240.52/1243.86 c #Conflicts: 546000 | #Constraints: 77683
1240.52/1243.86 c #Conflicts: 547000 | #Constraints: 78683
1240.52/1243.86 c #Conflicts: 548000 | #Constraints: 79683
1240.52/1243.86 c #Conflicts: 549000 | #Constraints: 80683
1240.52/1243.86 c #Conflicts: 550000 | #Constraints: 81683
1240.52/1243.86 c #Conflicts: 551000 | #Constraints: 82683
1240.52/1243.86 c #Conflicts: 552000 | #Constraints: 83683
1240.52/1243.86 c #Conflicts: 553000 | #Constraints: 84683
1240.52/1243.86 c #Conflicts: 554000 | #Constraints: 85683
1240.52/1243.86 c #Conflicts: 555000 | #Constraints: 86683
1240.52/1243.86 c #Conflicts: 556000 | #Constraints: 87683
1240.52/1243.86 c #Conflicts: 557000 | #Constraints: 88683
1240.52/1243.86 c #Conflicts: 558000 | #Constraints: 89683
1240.52/1243.86 c #Conflicts: 559000 | #Constraints: 90683
1240.52/1243.86 c #Conflicts: 560000 | #Constraints: 91683
1240.52/1243.86 c #Conflicts: 561000 | #Constraints: 92683
1240.52/1243.86 c #Conflicts: 562000 | #Constraints: 93683
1240.52/1243.86 c #Conflicts: 563000 | #Constraints: 94683
1240.52/1243.86 c #Conflicts: 564000 | #Constraints: 95683
1240.52/1243.86 c #Conflicts: 565000 | #Constraints: 96683
1240.52/1243.86 c #Conflicts: 566000 | #Constraints: 97683
1240.52/1243.86 c #Conflicts: 567000 | #Constraints: 98683
1240.52/1243.86 c #Conflicts: 568000 | #Constraints: 99683
1240.52/1243.86 c #Conflicts: 569000 | #Constraints: 100683
1240.52/1243.86 c #Conflicts: 570000 | #Constraints: 101683
1240.52/1243.86 c #Conflicts: 571000 | #Constraints: 102683
1240.52/1243.86 c #Conflicts: 572000 | #Constraints: 103683
1240.52/1243.86 c #Conflicts: 573000 | #Constraints: 104683
1240.52/1243.86 c #Conflicts: 574000 | #Constraints: 105683
1240.52/1243.86 c #Conflicts: 575000 | #Constraints: 106683
1240.52/1243.86 c #Conflicts: 576000 | #Constraints: 107683
1240.52/1243.86 c #Conflicts: 577000 | #Constraints: 108683
1240.52/1243.86 c #Conflicts: 578000 | #Constraints: 109683
1240.52/1243.86 c #Conflicts: 579000 | #Constraints: 110683
1240.52/1243.86 c #Conflicts: 580000 | #Constraints: 111683
1240.52/1243.86 c #Conflicts: 581000 | #Constraints: 112683
1240.52/1243.86 c #Conflicts: 582000 | #Constraints: 113683
1240.52/1243.86 c #Conflicts: 583000 | #Constraints: 114683
1240.52/1243.86 c #Conflicts: 584000 | #Constraints: 115683
1240.52/1243.86 c #Conflicts: 585000 | #Constraints: 116683
1240.52/1243.86 c INPROCESSING
1240.52/1243.86 c GARBAGE COLLECT
1240.52/1243.86 c rational objective 194
1428.83/1432.61 c #Conflicts: 586000 | #Constraints: 72278
1428.83/1432.61 c #Conflicts: 587000 | #Constraints: 73278
1428.83/1432.61 c #Conflicts: 588000 | #Constraints: 74278
1428.83/1432.61 c #Conflicts: 589000 | #Constraints: 75278
1428.83/1432.61 c #Conflicts: 590000 | #Constraints: 76278
1428.83/1432.61 c #Conflicts: 591000 | #Constraints: 77278
1428.83/1432.61 c #Conflicts: 592000 | #Constraints: 78278
1428.83/1432.61 c #Conflicts: 593000 | #Constraints: 79278
1428.83/1432.61 c #Conflicts: 594000 | #Constraints: 80278
1428.83/1432.61 c #Conflicts: 595000 | #Constraints: 81278
1428.83/1432.61 c #Conflicts: 596000 | #Constraints: 82278
1428.83/1432.61 c #Conflicts: 597000 | #Constraints: 83278
1428.83/1432.61 c #Conflicts: 598000 | #Constraints: 84278
1428.83/1432.61 c #Conflicts: 599000 | #Constraints: 85278
1428.83/1432.61 c #Conflicts: 600000 | #Constraints: 86278
1428.83/1432.61 c #Conflicts: 601000 | #Constraints: 87278
1428.83/1432.61 c #Conflicts: 602000 | #Constraints: 88278
1428.83/1432.61 c #Conflicts: 603000 | #Constraints: 89278
1428.83/1432.61 c #Conflicts: 604000 | #Constraints: 90278
1428.83/1432.61 c #Conflicts: 605000 | #Constraints: 91278
1428.83/1432.61 c #Conflicts: 606000 | #Constraints: 92278
1428.83/1432.61 c #Conflicts: 607000 | #Constraints: 93278
1428.83/1432.61 c #Conflicts: 608000 | #Constraints: 94278
1428.83/1432.61 c #Conflicts: 609000 | #Constraints: 95278
1428.83/1432.61 c #Conflicts: 610000 | #Constraints: 96278
1428.83/1432.61 c #Conflicts: 611000 | #Constraints: 97278
1428.83/1432.61 c #Conflicts: 612000 | #Constraints: 98278
1428.83/1432.61 c #Conflicts: 613000 | #Constraints: 99278
1428.83/1432.61 c #Conflicts: 614000 | #Constraints: 100278
1428.83/1432.61 c #Conflicts: 615000 | #Constraints: 101278
1428.83/1432.61 c #Conflicts: 616000 | #Constraints: 102278
1428.83/1432.61 c #Conflicts: 617000 | #Constraints: 103278
1428.83/1432.61 c #Conflicts: 618000 | #Constraints: 104278
1428.83/1432.61 c #Conflicts: 619000 | #Constraints: 105278
1428.83/1432.61 c #Conflicts: 620000 | #Constraints: 106278
1428.83/1432.61 c #Conflicts: 621000 | #Constraints: 107278
1428.83/1432.61 c #Conflicts: 622000 | #Constraints: 108278
1428.83/1432.61 c #Conflicts: 623000 | #Constraints: 109278
1428.83/1432.61 c #Conflicts: 624000 | #Constraints: 110278
1428.83/1432.61 c #Conflicts: 625000 | #Constraints: 111278
1428.83/1432.61 c #Conflicts: 626000 | #Constraints: 112278
1428.83/1432.61 c #Conflicts: 627000 | #Constraints: 113278
1428.83/1432.61 c #Conflicts: 628000 | #Constraints: 114278
1428.83/1432.61 c #Conflicts: 629000 | #Constraints: 115278
1428.83/1432.61 c #Conflicts: 630000 | #Constraints: 116278
1428.83/1432.61 c #Conflicts: 631000 | #Constraints: 117278
1428.83/1432.61 c #Conflicts: 632000 | #Constraints: 118278
1428.83/1432.61 c #Conflicts: 633000 | #Constraints: 119278
1428.83/1432.61 c #Conflicts: 634000 | #Constraints: 120278
1428.83/1432.61 c INPROCESSING
1428.83/1432.61 c GARBAGE COLLECT
1428.83/1432.61 c #Conflicts: 635000 | #Constraints: 73869
1428.83/1432.61 c #Conflicts: 636000 | #Constraints: 74869
1428.83/1432.61 c #Conflicts: 637000 | #Constraints: 75869
1428.83/1432.61 c #Conflicts: 638000 | #Constraints: 76869
1428.83/1432.61 c #Conflicts: 639000 | #Constraints: 77869
1428.83/1432.61 c #Conflicts: 640000 | #Constraints: 78869
1428.83/1432.61 c #Conflicts: 641000 | #Constraints: 79869
1428.83/1432.61 c #Conflicts: 642000 | #Constraints: 80869
1428.83/1432.61 c #Conflicts: 643000 | #Constraints: 81869
1428.83/1432.61 c #Conflicts: 644000 | #Constraints: 82869
1428.83/1432.61 c #Conflicts: 645000 | #Constraints: 83869
1428.83/1432.61 c #Conflicts: 646000 | #Constraints: 84869
1428.83/1432.61 c #Conflicts: 647000 | #Constraints: 85869
1428.83/1432.61 c #Conflicts: 648000 | #Constraints: 86869
1428.83/1432.61 c #Conflicts: 649000 | #Constraints: 87869
1428.83/1432.61 c #Conflicts: 650000 | #Constraints: 88869
1428.83/1432.61 c #Conflicts: 651000 | #Constraints: 89869
1428.83/1432.61 c #Conflicts: 652000 | #Constraints: 90869
1428.83/1432.61 c #Conflicts: 653000 | #Constraints: 91869
1428.83/1432.61 c #Conflicts: 654000 | #Constraints: 92869
1428.83/1432.61 c #Conflicts: 655000 | #Constraints: 93869
1428.83/1432.61 c #Conflicts: 656000 | #Constraints: 94869
1428.83/1432.61 c #Conflicts: 657000 | #Constraints: 95869
1428.83/1432.61 c #Conflicts: 658000 | #Constraints: 96869
1428.83/1432.61 c #Conflicts: 659000 | #Constraints: 97869
1428.83/1432.61 c #Conflicts: 660000 | #Constraints: 98869
1428.83/1432.61 c #Conflicts: 661000 | #Constraints: 99869
1428.83/1432.61 c #Conflicts: 662000 | #Constraints: 100869
1428.83/1432.61 c #Conflicts: 663000 | #Constraints: 101869
1428.83/1432.61 c #Conflicts: 664000 | #Constraints: 102869
1536.13/1540.22 c #Conflicts: 665000 | #Constraints: 103869
1536.13/1540.22 c #Conflicts: 666000 | #Constraints: 104869
1536.13/1540.22 c #Conflicts: 667000 | #Constraints: 105869
1536.13/1540.22 c #Conflicts: 668000 | #Constraints: 106869
1536.13/1540.22 c #Conflicts: 669000 | #Constraints: 107869
1536.13/1540.22 c #Conflicts: 670000 | #Constraints: 108869
1536.13/1540.22 c #Conflicts: 671000 | #Constraints: 109869
1536.13/1540.22 c #Conflicts: 672000 | #Constraints: 110869
1536.13/1540.22 c #Conflicts: 673000 | #Constraints: 111869
1536.13/1540.22 c #Conflicts: 674000 | #Constraints: 112869
1536.13/1540.22 c #Conflicts: 675000 | #Constraints: 113869
1536.13/1540.22 c #Conflicts: 676000 | #Constraints: 114869
1536.13/1540.22 c #Conflicts: 677000 | #Constraints: 115869
1536.13/1540.22 c #Conflicts: 678000 | #Constraints: 116869
1536.13/1540.22 c #Conflicts: 679000 | #Constraints: 117869
1536.13/1540.22 c #Conflicts: 680000 | #Constraints: 118869
1536.13/1540.22 c #Conflicts: 681000 | #Constraints: 119869
1536.13/1540.22 c #Conflicts: 682000 | #Constraints: 120869
1536.13/1540.22 c #Conflicts: 683000 | #Constraints: 121869
1536.13/1540.22 c #Conflicts: 684000 | #Constraints: 122869
1536.13/1540.22 c #Conflicts: 685000 | #Constraints: 123869
1536.13/1540.22 c #Conflicts: 686000 | #Constraints: 124869
1536.13/1540.22 c INPROCESSING
1536.13/1540.22 c GARBAGE COLLECT
1536.13/1540.22 c rational objective 194
1732.36/1737.07 c #Conflicts: 687000 | #Constraints: 76500
1732.36/1737.07 c #Conflicts: 688000 | #Constraints: 77500
1732.36/1737.07 c #Conflicts: 689000 | #Constraints: 78500
1732.36/1737.07 c #Conflicts: 690000 | #Constraints: 79500
1732.36/1737.07 c #Conflicts: 691000 | #Constraints: 80500
1732.36/1737.07 c #Conflicts: 692000 | #Constraints: 81500
1732.36/1737.07 c #Conflicts: 693000 | #Constraints: 82500
1732.36/1737.07 c #Conflicts: 694000 | #Constraints: 83500
1732.36/1737.07 c #Conflicts: 695000 | #Constraints: 84500
1732.36/1737.07 c #Conflicts: 696000 | #Constraints: 85500
1732.36/1737.07 c #Conflicts: 697000 | #Constraints: 86500
1732.36/1737.07 c #Conflicts: 698000 | #Constraints: 87500
1732.36/1737.07 c #Conflicts: 699000 | #Constraints: 88500
1732.36/1737.07 c #Conflicts: 700000 | #Constraints: 89500
1732.36/1737.07 c #Conflicts: 701000 | #Constraints: 90500
1732.36/1737.07 c #Conflicts: 702000 | #Constraints: 91500
1732.36/1737.07 c #Conflicts: 703000 | #Constraints: 92500
1732.36/1737.07 c #Conflicts: 704000 | #Constraints: 93500
1732.36/1737.07 c #Conflicts: 705000 | #Constraints: 94500
1732.36/1737.07 c #Conflicts: 706000 | #Constraints: 95500
1732.36/1737.07 c #Conflicts: 707000 | #Constraints: 96500
1732.36/1737.07 c #Conflicts: 708000 | #Constraints: 97500
1732.36/1737.07 c #Conflicts: 709000 | #Constraints: 98500
1732.36/1737.07 c #Conflicts: 710000 | #Constraints: 99500
1732.36/1737.07 c #Conflicts: 711000 | #Constraints: 100500
1732.36/1737.07 c #Conflicts: 712000 | #Constraints: 101500
1732.36/1737.07 c #Conflicts: 713000 | #Constraints: 102500
1732.36/1737.07 c #Conflicts: 714000 | #Constraints: 103500
1732.36/1737.07 c #Conflicts: 715000 | #Constraints: 104500
1732.36/1737.07 c #Conflicts: 716000 | #Constraints: 105500
1732.36/1737.07 c #Conflicts: 717000 | #Constraints: 106500
1732.36/1737.07 c #Conflicts: 718000 | #Constraints: 107500
1732.36/1737.07 c #Conflicts: 719000 | #Constraints: 108500
1732.36/1737.07 c #Conflicts: 720000 | #Constraints: 109500
1732.36/1737.07 c #Conflicts: 721000 | #Constraints: 110500
1732.36/1737.07 c #Conflicts: 722000 | #Constraints: 111500
1732.36/1737.07 c #Conflicts: 723000 | #Constraints: 112500
1732.36/1737.07 c #Conflicts: 724000 | #Constraints: 113500
1732.36/1737.07 c #Conflicts: 725000 | #Constraints: 114500
1732.36/1737.07 c #Conflicts: 726000 | #Constraints: 115500
1732.36/1737.07 c #Conflicts: 727000 | #Constraints: 116500
1732.36/1737.07 c #Conflicts: 728000 | #Constraints: 117500
1732.36/1737.07 c #Conflicts: 729000 | #Constraints: 118500
1732.36/1737.07 c #Conflicts: 730000 | #Constraints: 119500
1732.36/1737.07 c #Conflicts: 731000 | #Constraints: 120500
1732.36/1737.07 c #Conflicts: 732000 | #Constraints: 121500
1732.36/1737.07 c #Conflicts: 733000 | #Constraints: 122500
1732.36/1737.07 c #Conflicts: 734000 | #Constraints: 123500
1732.36/1737.07 c #Conflicts: 735000 | #Constraints: 124500
1732.36/1737.07 c #Conflicts: 736000 | #Constraints: 125500
1732.36/1737.07 c #Conflicts: 737000 | #Constraints: 126500
1732.36/1737.07 c #Conflicts: 738000 | #Constraints: 127500
1732.36/1737.07 c #Conflicts: 739000 | #Constraints: 128500
1732.36/1737.07 c INPROCESSING
1732.36/1737.07 c GARBAGE COLLECT
1732.36/1737.07 c #Conflicts: 740000 | #Constraints: 78238
1732.36/1737.07 c #Conflicts: 741000 | #Constraints: 79238
1732.36/1737.07 c #Conflicts: 742000 | #Constraints: 80238
1732.36/1737.07 c #Conflicts: 743000 | #Constraints: 81238
1732.36/1737.07 c #Conflicts: 744000 | #Constraints: 82238
1732.36/1737.07 c #Conflicts: 745000 | #Constraints: 83238
1732.36/1737.07 c #Conflicts: 746000 | #Constraints: 84238
1732.36/1737.07 c #Conflicts: 747000 | #Constraints: 85238
1732.36/1737.07 c #Conflicts: 748000 | #Constraints: 86238
1732.36/1737.07 c #Conflicts: 749000 | #Constraints: 87238
1732.36/1737.07 c #Conflicts: 750000 | #Constraints: 88238
1732.36/1737.07 c #Conflicts: 751000 | #Constraints: 89238
1732.36/1737.07 c #Conflicts: 752000 | #Constraints: 90238
1732.36/1737.07 c #Conflicts: 753000 | #Constraints: 91238
1732.36/1737.07 c #Conflicts: 754000 | #Constraints: 92238
1732.36/1737.07 c #Conflicts: 755000 | #Constraints: 93238
1732.36/1737.07 c #Conflicts: 756000 | #Constraints: 94238
1732.36/1737.07 c #Conflicts: 757000 | #Constraints: 95238
1732.36/1737.07 c #Conflicts: 758000 | #Constraints: 96238
1732.36/1737.07 c #Conflicts: 759000 | #Constraints: 97238
1732.36/1737.07 c #Conflicts: 760000 | #Constraints: 98238
1732.36/1737.07 c #Conflicts: 761000 | #Constraints: 99238
1732.36/1737.07 c #Conflicts: 762000 | #Constraints: 100238
1732.36/1737.07 c #Conflicts: 763000 | #Constraints: 101238
1732.36/1737.07 c #Conflicts: 764000 | #Constraints: 102238
1732.36/1737.07 c #Conflicts: 765000 | #Constraints: 103238
1915.55/1920.71 c #Conflicts: 766000 | #Constraints: 104238
1915.55/1920.71 c #Conflicts: 767000 | #Constraints: 105238
1915.55/1920.71 c #Conflicts: 768000 | #Constraints: 106238
1915.55/1920.71 c INPROCESSING
1915.55/1920.71 c GARBAGE COLLECT
1915.55/1920.71 c #Conflicts: 769000 | #Constraints: 75053
1915.55/1920.71 c #Conflicts: 770000 | #Constraints: 76053
1915.55/1920.71 c #Conflicts: 771000 | #Constraints: 77053
1915.55/1920.71 c #Conflicts: 772000 | #Constraints: 78053
1915.55/1920.71 c #Conflicts: 773000 | #Constraints: 79053
1915.55/1920.71 c #Conflicts: 774000 | #Constraints: 80053
1915.55/1920.71 c #Conflicts: 775000 | #Constraints: 81053
1915.55/1920.71 c #Conflicts: 776000 | #Constraints: 82053
1915.55/1920.71 c #Conflicts: 777000 | #Constraints: 83053
1915.55/1920.71 c #Conflicts: 778000 | #Constraints: 84053
1915.55/1920.71 c #Conflicts: 779000 | #Constraints: 85053
1915.55/1920.71 c #Conflicts: 780000 | #Constraints: 86053
1915.55/1920.71 c #Conflicts: 781000 | #Constraints: 87053
1915.55/1920.71 c #Conflicts: 782000 | #Constraints: 88053
1915.55/1920.71 c #Conflicts: 783000 | #Constraints: 89053
1915.55/1920.71 c #Conflicts: 784000 | #Constraints: 90053
1915.55/1920.71 c #Conflicts: 785000 | #Constraints: 91053
1915.55/1920.71 c #Conflicts: 786000 | #Constraints: 92053
1915.55/1920.71 c #Conflicts: 787000 | #Constraints: 93053
1915.55/1920.71 c #Conflicts: 788000 | #Constraints: 94053
1915.55/1920.71 c #Conflicts: 789000 | #Constraints: 95053
1915.55/1920.71 c #Conflicts: 790000 | #Constraints: 96053
1915.55/1920.71 c #Conflicts: 791000 | #Constraints: 97053
1915.55/1920.71 c #Conflicts: 792000 | #Constraints: 98053
1915.55/1920.71 c #Conflicts: 793000 | #Constraints: 99053
1915.55/1920.71 c #Conflicts: 794000 | #Constraints: 100053
1915.55/1920.71 c #Conflicts: 795000 | #Constraints: 101053
1915.55/1920.71 c #Conflicts: 796000 | #Constraints: 102053
1915.55/1920.71 c #Conflicts: 797000 | #Constraints: 103053
1915.55/1920.71 c #Conflicts: 798000 | #Constraints: 104053
1915.55/1920.71 c #Conflicts: 799000 | #Constraints: 105053
1915.55/1920.71 c #Conflicts: 800000 | #Constraints: 106053
1915.55/1920.71 c #Conflicts: 801000 | #Constraints: 107053
1915.55/1920.71 c #Conflicts: 802000 | #Constraints: 108053
1915.55/1920.71 c #Conflicts: 803000 | #Constraints: 109053
1915.55/1920.71 c #Conflicts: 804000 | #Constraints: 110053
1915.55/1920.71 c #Conflicts: 805000 | #Constraints: 111053
1915.55/1920.71 c #Conflicts: 806000 | #Constraints: 112053
1915.55/1920.71 c #Conflicts: 807000 | #Constraints: 113053
1915.55/1920.71 c #Conflicts: 808000 | #Constraints: 114053
1915.55/1920.71 c #Conflicts: 809000 | #Constraints: 115053
1915.55/1920.71 c #Conflicts: 810000 | #Constraints: 116053
1915.55/1920.71 c #Conflicts: 811000 | #Constraints: 117053
1915.55/1920.71 c #Conflicts: 812000 | #Constraints: 118053
1915.55/1920.71 c #Conflicts: 813000 | #Constraints: 119053
1915.55/1920.71 c #Conflicts: 814000 | #Constraints: 120053
1915.55/1920.71 c #Conflicts: 815000 | #Constraints: 121053
1915.55/1920.71 c #Conflicts: 816000 | #Constraints: 122053
1915.55/1920.71 c #Conflicts: 817000 | #Constraints: 123053
1915.55/1920.71 c #Conflicts: 818000 | #Constraints: 124053
1915.55/1920.71 c #Conflicts: 819000 | #Constraints: 125053
1915.55/1920.71 c #Conflicts: 820000 | #Constraints: 126053
1915.55/1920.71 c #Conflicts: 821000 | #Constraints: 127053
1915.55/1920.71 c #Conflicts: 822000 | #Constraints: 128053
1915.55/1920.71 c #Conflicts: 823000 | #Constraints: 129053
1915.55/1920.71 c #Conflicts: 824000 | #Constraints: 130053
1915.55/1920.71 c INPROCESSING
1915.55/1920.71 c GARBAGE COLLECT
1915.55/1920.71 c #Conflicts: 825000 | #Constraints: 78843
1915.55/1920.71 c #Conflicts: 826000 | #Constraints: 79843
1915.55/1920.71 c #Conflicts: 827000 | #Constraints: 80843
1915.55/1920.71 c #Conflicts: 828000 | #Constraints: 81843
1915.55/1920.71 c #Conflicts: 829000 | #Constraints: 82843
1915.55/1920.71 c #Conflicts: 830000 | #Constraints: 83843
1915.55/1920.71 c #Conflicts: 831000 | #Constraints: 84843
1915.55/1920.71 c #Conflicts: 832000 | #Constraints: 85843
1915.55/1920.71 c #Conflicts: 833000 | #Constraints: 86843
1915.55/1920.71 c #Conflicts: 834000 | #Constraints: 87843
1915.55/1920.71 c #Conflicts: 835000 | #Constraints: 88843
1915.55/1920.71 c #Conflicts: 836000 | #Constraints: 89843
1915.55/1920.71 c #Conflicts: 837000 | #Constraints: 90843
1915.55/1920.71 c #Conflicts: 838000 | #Constraints: 91843
1915.55/1920.71 c #Conflicts: 839000 | #Constraints: 92843
1915.55/1920.71 c #Conflicts: 840000 | #Constraints: 93843
1915.55/1920.71 c #Conflicts: 841000 | #Constraints: 94843
1915.55/1920.71 c #Conflicts: 842000 | #Constraints: 95843
2103.29/2108.99 c #Conflicts: 843000 | #Constraints: 96843
2103.29/2108.99 c #Conflicts: 844000 | #Constraints: 97843
2103.29/2108.99 c #Conflicts: 845000 | #Constraints: 98843
2103.29/2108.99 c #Conflicts: 846000 | #Constraints: 99843
2103.29/2108.99 c #Conflicts: 847000 | #Constraints: 100843
2103.29/2108.99 c #Conflicts: 848000 | #Constraints: 101843
2103.29/2108.99 c #Conflicts: 849000 | #Constraints: 102843
2103.29/2108.99 c #Conflicts: 850000 | #Constraints: 103843
2103.29/2108.99 c #Conflicts: 851000 | #Constraints: 104843
2103.29/2108.99 c #Conflicts: 852000 | #Constraints: 105843
2103.29/2108.99 c #Conflicts: 853000 | #Constraints: 106843
2103.29/2108.99 c #Conflicts: 854000 | #Constraints: 107843
2103.29/2108.99 c INPROCESSING
2103.29/2108.99 c GARBAGE COLLECT
2103.29/2108.99 c #Conflicts: 855000 | #Constraints: 77873
2103.29/2108.99 c #Conflicts: 856000 | #Constraints: 78873
2103.29/2108.99 c #Conflicts: 857000 | #Constraints: 79873
2103.29/2108.99 c #Conflicts: 858000 | #Constraints: 80873
2103.29/2108.99 c #Conflicts: 859000 | #Constraints: 81873
2103.29/2108.99 c #Conflicts: 860000 | #Constraints: 82873
2103.29/2108.99 c #Conflicts: 861000 | #Constraints: 83873
2103.29/2108.99 c #Conflicts: 862000 | #Constraints: 84873
2103.29/2108.99 c #Conflicts: 863000 | #Constraints: 85873
2103.29/2108.99 c #Conflicts: 864000 | #Constraints: 86873
2103.29/2108.99 c #Conflicts: 865000 | #Constraints: 87873
2103.29/2108.99 c #Conflicts: 866000 | #Constraints: 88873
2103.29/2108.99 c #Conflicts: 867000 | #Constraints: 89873
2103.29/2108.99 c #Conflicts: 868000 | #Constraints: 90873
2103.29/2108.99 c #Conflicts: 869000 | #Constraints: 91873
2103.29/2108.99 c #Conflicts: 870000 | #Constraints: 92873
2103.29/2108.99 c #Conflicts: 871000 | #Constraints: 93873
2103.29/2108.99 c #Conflicts: 872000 | #Constraints: 94873
2103.29/2108.99 c #Conflicts: 873000 | #Constraints: 95873
2103.29/2108.99 c #Conflicts: 874000 | #Constraints: 96873
2103.29/2108.99 c #Conflicts: 875000 | #Constraints: 97873
2103.29/2108.99 c #Conflicts: 876000 | #Constraints: 98873
2103.29/2108.99 c #Conflicts: 877000 | #Constraints: 99873
2103.29/2108.99 c #Conflicts: 878000 | #Constraints: 100873
2103.29/2108.99 c #Conflicts: 879000 | #Constraints: 101873
2103.29/2108.99 c #Conflicts: 880000 | #Constraints: 102873
2103.29/2108.99 c #Conflicts: 881000 | #Constraints: 103873
2103.29/2108.99 c #Conflicts: 882000 | #Constraints: 104873
2103.29/2108.99 c #Conflicts: 883000 | #Constraints: 105873
2103.29/2108.99 c #Conflicts: 884000 | #Constraints: 106873
2103.29/2108.99 c #Conflicts: 885000 | #Constraints: 107873
2103.29/2108.99 c #Conflicts: 886000 | #Constraints: 108873
2103.29/2108.99 c #Conflicts: 887000 | #Constraints: 109873
2103.29/2108.99 c #Conflicts: 888000 | #Constraints: 110873
2103.29/2108.99 c #Conflicts: 889000 | #Constraints: 111873
2103.29/2108.99 c #Conflicts: 890000 | #Constraints: 112873
2103.29/2108.99 c #Conflicts: 891000 | #Constraints: 113873
2103.29/2108.99 c #Conflicts: 892000 | #Constraints: 114873
2103.29/2108.99 c #Conflicts: 893000 | #Constraints: 115873
2103.29/2108.99 c #Conflicts: 894000 | #Constraints: 116873
2103.29/2108.99 c #Conflicts: 895000 | #Constraints: 117873
2103.29/2108.99 c #Conflicts: 896000 | #Constraints: 118873
2103.29/2108.99 c #Conflicts: 897000 | #Constraints: 119873
2103.29/2108.99 c #Conflicts: 898000 | #Constraints: 120873
2103.29/2108.99 c #Conflicts: 899000 | #Constraints: 121873
2103.29/2108.99 c #Conflicts: 900000 | #Constraints: 122873
2103.29/2108.99 c #Conflicts: 901000 | #Constraints: 123873
2103.29/2108.99 c #Conflicts: 902000 | #Constraints: 124873
2103.29/2108.99 c #Conflicts: 903000 | #Constraints: 125873
2103.29/2108.99 c #Conflicts: 904000 | #Constraints: 126873
2103.29/2108.99 c #Conflicts: 905000 | #Constraints: 127873
2103.29/2108.99 c #Conflicts: 906000 | #Constraints: 128873
2103.29/2108.99 c #Conflicts: 907000 | #Constraints: 129873
2103.29/2108.99 c #Conflicts: 908000 | #Constraints: 130873
2103.29/2108.99 c #Conflicts: 909000 | #Constraints: 131873
2103.29/2108.99 c #Conflicts: 910000 | #Constraints: 132873
2103.29/2108.99 c #Conflicts: 911000 | #Constraints: 133873
2103.29/2108.99 c #Conflicts: 912000 | #Constraints: 134873
2103.29/2108.99 c #Conflicts: 913000 | #Constraints: 135873
2103.29/2108.99 c #Conflicts: 914000 | #Constraints: 136873
2103.29/2108.99 c INPROCESSING
2103.29/2108.99 c GARBAGE COLLECT
2103.29/2108.99 c rational objective 194
2195.17/2201.09 c #Conflicts: 915000 | #Constraints: 82721
2195.17/2201.09 c #Conflicts: 916000 | #Constraints: 83721
2195.17/2201.09 c #Conflicts: 917000 | #Constraints: 84721
2195.17/2201.09 c #Conflicts: 918000 | #Constraints: 85721
2195.17/2201.09 c #Conflicts: 919000 | #Constraints: 86721
2195.17/2201.09 c #Conflicts: 920000 | #Constraints: 87721
2195.17/2201.09 c #Conflicts: 921000 | #Constraints: 88721
2195.17/2201.09 c #Conflicts: 922000 | #Constraints: 89721
2195.17/2201.09 c #Conflicts: 923000 | #Constraints: 90721
2195.17/2201.09 c #Conflicts: 924000 | #Constraints: 91721
2195.17/2201.09 c #Conflicts: 925000 | #Constraints: 92721
2195.17/2201.09 c #Conflicts: 926000 | #Constraints: 93721
2195.17/2201.09 c #Conflicts: 927000 | #Constraints: 94721
2195.17/2201.09 c #Conflicts: 928000 | #Constraints: 95721
2195.17/2201.09 c #Conflicts: 929000 | #Constraints: 96721
2195.17/2201.09 c #Conflicts: 930000 | #Constraints: 97721
2195.17/2201.09 c #Conflicts: 931000 | #Constraints: 98721
2195.17/2201.09 c #Conflicts: 932000 | #Constraints: 99721
2195.17/2201.09 c #Conflicts: 933000 | #Constraints: 100721
2195.17/2201.09 c #Conflicts: 934000 | #Constraints: 101721
2195.17/2201.09 c #Conflicts: 935000 | #Constraints: 102721
2195.17/2201.09 c #Conflicts: 936000 | #Constraints: 103721
2195.17/2201.09 c #Conflicts: 937000 | #Constraints: 104721
2195.17/2201.09 c #Conflicts: 938000 | #Constraints: 105721
2195.17/2201.09 c #Conflicts: 939000 | #Constraints: 106721
2195.17/2201.09 c #Conflicts: 940000 | #Constraints: 107721
2195.17/2201.09 c #Conflicts: 941000 | #Constraints: 108721
2195.17/2201.09 c #Conflicts: 942000 | #Constraints: 109721
2195.17/2201.09 c #Conflicts: 943000 | #Constraints: 110721
2195.17/2201.09 c #Conflicts: 944000 | #Constraints: 111721
2195.17/2201.09 c #Conflicts: 945000 | #Constraints: 112721
2195.17/2201.09 c INPROCESSING
2195.17/2201.09 c GARBAGE COLLECT
2195.17/2201.09 c rational objective 194
2568.02/2574.81 c #Conflicts: 946000 | #Constraints: 81685
2568.02/2574.81 c #Conflicts: 947000 | #Constraints: 82685
2568.02/2574.81 c #Conflicts: 948000 | #Constraints: 83685
2568.02/2574.81 c #Conflicts: 949000 | #Constraints: 84685
2568.02/2574.81 c #Conflicts: 950000 | #Constraints: 85685
2568.02/2574.81 c #Conflicts: 951000 | #Constraints: 86685
2568.02/2574.81 c #Conflicts: 952000 | #Constraints: 87685
2568.02/2574.81 c #Conflicts: 953000 | #Constraints: 88685
2568.02/2574.81 c #Conflicts: 954000 | #Constraints: 89685
2568.02/2574.81 c #Conflicts: 955000 | #Constraints: 90685
2568.02/2574.81 c #Conflicts: 956000 | #Constraints: 91685
2568.02/2574.81 c #Conflicts: 957000 | #Constraints: 92685
2568.02/2574.81 c #Conflicts: 958000 | #Constraints: 93685
2568.02/2574.81 c #Conflicts: 959000 | #Constraints: 94685
2568.02/2574.81 c #Conflicts: 960000 | #Constraints: 95685
2568.02/2574.81 c #Conflicts: 961000 | #Constraints: 96685
2568.02/2574.81 c #Conflicts: 962000 | #Constraints: 97685
2568.02/2574.81 c #Conflicts: 963000 | #Constraints: 98685
2568.02/2574.81 c #Conflicts: 964000 | #Constraints: 99685
2568.02/2574.81 c #Conflicts: 965000 | #Constraints: 100685
2568.02/2574.81 c #Conflicts: 966000 | #Constraints: 101685
2568.02/2574.81 c #Conflicts: 967000 | #Constraints: 102685
2568.02/2574.81 c #Conflicts: 968000 | #Constraints: 103685
2568.02/2574.81 c #Conflicts: 969000 | #Constraints: 104685
2568.02/2574.81 c #Conflicts: 970000 | #Constraints: 105685
2568.02/2574.81 c #Conflicts: 971000 | #Constraints: 106685
2568.02/2574.81 c #Conflicts: 972000 | #Constraints: 107685
2568.02/2574.81 c #Conflicts: 973000 | #Constraints: 108685
2568.02/2574.81 c #Conflicts: 974000 | #Constraints: 109685
2568.02/2574.81 c #Conflicts: 975000 | #Constraints: 110685
2568.02/2574.81 c #Conflicts: 976000 | #Constraints: 111685
2568.02/2574.81 c #Conflicts: 977000 | #Constraints: 112685
2568.02/2574.81 c #Conflicts: 978000 | #Constraints: 113685
2568.02/2574.81 c #Conflicts: 979000 | #Constraints: 114685
2568.02/2574.81 c #Conflicts: 980000 | #Constraints: 115685
2568.02/2574.81 c #Conflicts: 981000 | #Constraints: 116685
2568.02/2574.81 c #Conflicts: 982000 | #Constraints: 117685
2568.02/2574.81 c #Conflicts: 983000 | #Constraints: 118685
2568.02/2574.81 c #Conflicts: 984000 | #Constraints: 119685
2568.02/2574.81 c #Conflicts: 985000 | #Constraints: 120685
2568.02/2574.81 c #Conflicts: 986000 | #Constraints: 121685
2568.02/2574.81 c #Conflicts: 987000 | #Constraints: 122685
2568.02/2574.81 c #Conflicts: 988000 | #Constraints: 123685
2568.02/2574.81 c #Conflicts: 989000 | #Constraints: 124685
2568.02/2574.81 c #Conflicts: 990000 | #Constraints: 125685
2568.02/2574.81 c #Conflicts: 991000 | #Constraints: 126685
2568.02/2574.81 c #Conflicts: 992000 | #Constraints: 127685
2568.02/2574.81 c #Conflicts: 993000 | #Constraints: 128685
2568.02/2574.81 c #Conflicts: 994000 | #Constraints: 129685
2568.02/2574.81 c #Conflicts: 995000 | #Constraints: 130685
2568.02/2574.81 c #Conflicts: 996000 | #Constraints: 131685
2568.02/2574.81 c #Conflicts: 997000 | #Constraints: 132685
2568.02/2574.81 c #Conflicts: 998000 | #Constraints: 133685
2568.02/2574.81 c #Conflicts: 999000 | #Constraints: 134685
2568.02/2574.81 c #Conflicts: 1000000 | #Constraints: 135685
2568.02/2574.81 c #Conflicts: 1001000 | #Constraints: 136685
2568.02/2574.81 c #Conflicts: 1002000 | #Constraints: 137685
2568.02/2574.81 c #Conflicts: 1003000 | #Constraints: 138685
2568.02/2574.81 c #Conflicts: 1004000 | #Constraints: 139685
2568.02/2574.81 c #Conflicts: 1005000 | #Constraints: 140685
2568.02/2574.81 c #Conflicts: 1006000 | #Constraints: 141685
2568.02/2574.81 c #Conflicts: 1007000 | #Constraints: 142685
2568.02/2574.81 c #Conflicts: 1008000 | #Constraints: 143685
2568.02/2574.81 c INPROCESSING
2568.02/2574.81 c GARBAGE COLLECT
2568.02/2574.81 c #Conflicts: 1009000 | #Constraints: 85929
2568.02/2574.81 c #Conflicts: 1010000 | #Constraints: 86929
2568.02/2574.81 c #Conflicts: 1011000 | #Constraints: 87929
2568.02/2574.81 c #Conflicts: 1012000 | #Constraints: 88929
2568.02/2574.81 c #Conflicts: 1013000 | #Constraints: 89929
2568.02/2574.81 c #Conflicts: 1014000 | #Constraints: 90929
2568.02/2574.81 c #Conflicts: 1015000 | #Constraints: 91929
2568.02/2574.81 c #Conflicts: 1016000 | #Constraints: 92929
2568.02/2574.81 c #Conflicts: 1017000 | #Constraints: 93929
2568.02/2574.81 c #Conflicts: 1018000 | #Constraints: 94929
2568.02/2574.81 c #Conflicts: 1019000 | #Constraints: 95929
2568.02/2574.81 c #Conflicts: 1020000 | #Constraints: 96929
2568.02/2574.81 c #Conflicts: 1021000 | #Constraints: 97929
2568.02/2574.81 c #Conflicts: 1022000 | #Constraints: 98929
2568.02/2574.81 c #Conflicts: 1023000 | #Constraints: 99929
2568.02/2574.81 c #Conflicts: 1024000 | #Constraints: 100929
2812.40/2819.88 c #Conflicts: 1025000 | #Constraints: 101929
2812.40/2819.88 c #Conflicts: 1026000 | #Constraints: 102929
2812.40/2819.88 c #Conflicts: 1027000 | #Constraints: 103929
2812.40/2819.88 c #Conflicts: 1028000 | #Constraints: 104929
2812.40/2819.88 c #Conflicts: 1029000 | #Constraints: 105929
2812.40/2819.88 c #Conflicts: 1030000 | #Constraints: 106929
2812.40/2819.88 c #Conflicts: 1031000 | #Constraints: 107929
2812.40/2819.88 c #Conflicts: 1032000 | #Constraints: 108929
2812.40/2819.88 c #Conflicts: 1033000 | #Constraints: 109929
2812.40/2819.88 c #Conflicts: 1034000 | #Constraints: 110929
2812.40/2819.88 c #Conflicts: 1035000 | #Constraints: 111929
2812.40/2819.88 c #Conflicts: 1036000 | #Constraints: 112929
2812.40/2819.88 c #Conflicts: 1037000 | #Constraints: 113929
2812.40/2819.88 c #Conflicts: 1038000 | #Constraints: 114929
2812.40/2819.88 c #Conflicts: 1039000 | #Constraints: 115929
2812.40/2819.88 c #Conflicts: 1040000 | #Constraints: 116929
2812.40/2819.88 c INPROCESSING
2812.40/2819.88 c GARBAGE COLLECT
2812.40/2819.88 c #Conflicts: 1041000 | #Constraints: 83454
2812.40/2819.88 c #Conflicts: 1042000 | #Constraints: 84454
2812.40/2819.88 c #Conflicts: 1043000 | #Constraints: 85454
2812.40/2819.88 c #Conflicts: 1044000 | #Constraints: 86454
2812.40/2819.88 c #Conflicts: 1045000 | #Constraints: 87454
2812.40/2819.88 c #Conflicts: 1046000 | #Constraints: 88454
2812.40/2819.88 c #Conflicts: 1047000 | #Constraints: 89454
2812.40/2819.88 c #Conflicts: 1048000 | #Constraints: 90454
2812.40/2819.88 c #Conflicts: 1049000 | #Constraints: 91454
2812.40/2819.88 c #Conflicts: 1050000 | #Constraints: 92454
2812.40/2819.88 c #Conflicts: 1051000 | #Constraints: 93454
2812.40/2819.88 c #Conflicts: 1052000 | #Constraints: 94454
2812.40/2819.88 c #Conflicts: 1053000 | #Constraints: 95454
2812.40/2819.88 c #Conflicts: 1054000 | #Constraints: 96454
2812.40/2819.88 c #Conflicts: 1055000 | #Constraints: 97454
2812.40/2819.88 c #Conflicts: 1056000 | #Constraints: 98454
2812.40/2819.88 c #Conflicts: 1057000 | #Constraints: 99454
2812.40/2819.88 c #Conflicts: 1058000 | #Constraints: 100454
2812.40/2819.88 c #Conflicts: 1059000 | #Constraints: 101454
2812.40/2819.88 c #Conflicts: 1060000 | #Constraints: 102454
2812.40/2819.88 c #Conflicts: 1061000 | #Constraints: 103454
2812.40/2819.88 c #Conflicts: 1062000 | #Constraints: 104454
2812.40/2819.88 c #Conflicts: 1063000 | #Constraints: 105454
2812.40/2819.88 c #Conflicts: 1064000 | #Constraints: 106454
2812.40/2819.88 c #Conflicts: 1065000 | #Constraints: 107454
2812.40/2819.88 c #Conflicts: 1066000 | #Constraints: 108454
2812.40/2819.88 c #Conflicts: 1067000 | #Constraints: 109454
2812.40/2819.88 c #Conflicts: 1068000 | #Constraints: 110454
2812.40/2819.88 c #Conflicts: 1069000 | #Constraints: 111454
2812.40/2819.88 c #Conflicts: 1070000 | #Constraints: 112454
2812.40/2819.88 c #Conflicts: 1071000 | #Constraints: 113454
2812.40/2819.88 c #Conflicts: 1072000 | #Constraints: 114454
2812.40/2819.88 c #Conflicts: 1073000 | #Constraints: 115454
2812.40/2819.88 c #Conflicts: 1074000 | #Constraints: 116454
2812.40/2819.88 c #Conflicts: 1075000 | #Constraints: 117454
2812.40/2819.88 c #Conflicts: 1076000 | #Constraints: 118454
2812.40/2819.88 c #Conflicts: 1077000 | #Constraints: 119454
2812.40/2819.88 c #Conflicts: 1078000 | #Constraints: 120454
2812.40/2819.88 c #Conflicts: 1079000 | #Constraints: 121454
2812.40/2819.88 c #Conflicts: 1080000 | #Constraints: 122454
2812.40/2819.88 c #Conflicts: 1081000 | #Constraints: 123454
2812.40/2819.88 c #Conflicts: 1082000 | #Constraints: 124454
2812.40/2819.88 c #Conflicts: 1083000 | #Constraints: 125454
2812.40/2819.88 c #Conflicts: 1084000 | #Constraints: 126454
2812.40/2819.88 c #Conflicts: 1085000 | #Constraints: 127454
2812.40/2819.88 c #Conflicts: 1086000 | #Constraints: 128454
2812.40/2819.88 c #Conflicts: 1087000 | #Constraints: 129454
2812.40/2819.88 c #Conflicts: 1088000 | #Constraints: 130454
2812.40/2819.88 c #Conflicts: 1089000 | #Constraints: 131454
2812.40/2819.88 c #Conflicts: 1090000 | #Constraints: 132454
2812.40/2819.88 c #Conflicts: 1091000 | #Constraints: 133454
2812.40/2819.88 c #Conflicts: 1092000 | #Constraints: 134454
2812.40/2819.88 c #Conflicts: 1093000 | #Constraints: 135454
2812.40/2819.88 c #Conflicts: 1094000 | #Constraints: 136454
2812.40/2819.88 c #Conflicts: 1095000 | #Constraints: 137454
2812.40/2819.88 c #Conflicts: 1096000 | #Constraints: 138454
2812.40/2819.88 c #Conflicts: 1097000 | #Constraints: 139454
2812.40/2819.88 c #Conflicts: 1098000 | #Constraints: 140454
2812.40/2819.88 c #Conflicts: 1099000 | #Constraints: 141454
2812.40/2819.88 c #Conflicts: 1100000 | #Constraints: 142454
2812.40/2819.88 c #Conflicts: 1101000 | #Constraints: 143454
2812.40/2819.88 c #Conflicts: 1102000 | #Constraints: 144454
3018.86/3026.89 c #Conflicts: 1103000 | #Constraints: 145454
3018.86/3026.89 c #Conflicts: 1104000 | #Constraints: 146454
3018.86/3026.89 c #Conflicts: 1105000 | #Constraints: 147454
3018.86/3026.89 c #Conflicts: 1106000 | #Constraints: 148454
3018.86/3026.89 c INPROCESSING
3018.86/3026.89 c GARBAGE COLLECT
3018.86/3026.89 c #Conflicts: 1107000 | #Constraints: 88447
3018.86/3026.89 c #Conflicts: 1108000 | #Constraints: 89447
3018.86/3026.89 c #Conflicts: 1109000 | #Constraints: 90447
3018.86/3026.89 c #Conflicts: 1110000 | #Constraints: 91447
3018.86/3026.89 c #Conflicts: 1111000 | #Constraints: 92447
3018.86/3026.89 c #Conflicts: 1112000 | #Constraints: 93447
3018.86/3026.89 c #Conflicts: 1113000 | #Constraints: 94447
3018.86/3026.89 c #Conflicts: 1114000 | #Constraints: 95447
3018.86/3026.89 c #Conflicts: 1115000 | #Constraints: 96447
3018.86/3026.89 c #Conflicts: 1116000 | #Constraints: 97447
3018.86/3026.89 c #Conflicts: 1117000 | #Constraints: 98447
3018.86/3026.89 c #Conflicts: 1118000 | #Constraints: 99447
3018.86/3026.89 c #Conflicts: 1119000 | #Constraints: 100447
3018.86/3026.89 c #Conflicts: 1120000 | #Constraints: 101447
3018.86/3026.89 c #Conflicts: 1121000 | #Constraints: 102447
3018.86/3026.89 c #Conflicts: 1122000 | #Constraints: 103448
3018.86/3026.89 c #Conflicts: 1123000 | #Constraints: 104448
3018.86/3026.89 c #Conflicts: 1124000 | #Constraints: 105448
3018.86/3026.89 c #Conflicts: 1125000 | #Constraints: 106448
3018.86/3026.89 c #Conflicts: 1126000 | #Constraints: 107448
3018.86/3026.89 c #Conflicts: 1127000 | #Constraints: 108448
3018.86/3026.89 c #Conflicts: 1128000 | #Constraints: 109448
3018.86/3026.89 c #Conflicts: 1129000 | #Constraints: 110448
3018.86/3026.89 c #Conflicts: 1130000 | #Constraints: 111448
3018.86/3026.89 c #Conflicts: 1131000 | #Constraints: 112448
3018.86/3026.89 c #Conflicts: 1132000 | #Constraints: 113448
3018.86/3026.89 c #Conflicts: 1133000 | #Constraints: 114448
3018.86/3026.89 c #Conflicts: 1134000 | #Constraints: 115448
3018.86/3026.89 c #Conflicts: 1135000 | #Constraints: 116448
3018.86/3026.89 c #Conflicts: 1136000 | #Constraints: 117448
3018.86/3026.89 c #Conflicts: 1137000 | #Constraints: 118448
3018.86/3026.89 c #Conflicts: 1138000 | #Constraints: 119448
3018.86/3026.89 c #Conflicts: 1139000 | #Constraints: 120448
3018.86/3026.89 c #Conflicts: 1140000 | #Constraints: 121448
3018.86/3026.89 c INPROCESSING
3018.86/3026.89 c GARBAGE COLLECT
3018.86/3026.89 c #Conflicts: 1141000 | #Constraints: 86513
3018.86/3026.89 c #Conflicts: 1142000 | #Constraints: 87513
3018.86/3026.89 c #Conflicts: 1143000 | #Constraints: 88513
3018.86/3026.89 c #Conflicts: 1144000 | #Constraints: 89513
3018.86/3026.89 c #Conflicts: 1145000 | #Constraints: 90513
3018.86/3026.89 c #Conflicts: 1146000 | #Constraints: 91513
3018.86/3026.89 c #Conflicts: 1147000 | #Constraints: 92513
3018.86/3026.89 c #Conflicts: 1148000 | #Constraints: 93513
3018.86/3026.89 c #Conflicts: 1149000 | #Constraints: 94513
3018.86/3026.89 c #Conflicts: 1150000 | #Constraints: 95513
3018.86/3026.89 c #Conflicts: 1151000 | #Constraints: 96513
3018.86/3026.89 c #Conflicts: 1152000 | #Constraints: 97513
3018.86/3026.89 c #Conflicts: 1153000 | #Constraints: 98513
3018.86/3026.89 c #Conflicts: 1154000 | #Constraints: 99513
3018.86/3026.89 c #Conflicts: 1155000 | #Constraints: 100513
3018.86/3026.89 c #Conflicts: 1156000 | #Constraints: 101513
3018.86/3026.89 c #Conflicts: 1157000 | #Constraints: 102513
3018.86/3026.89 c #Conflicts: 1158000 | #Constraints: 103513
3018.86/3026.89 c #Conflicts: 1159000 | #Constraints: 104513
3018.86/3026.89 c #Conflicts: 1160000 | #Constraints: 105513
3018.86/3026.89 c #Conflicts: 1161000 | #Constraints: 106513
3018.86/3026.89 c #Conflicts: 1162000 | #Constraints: 107513
3018.86/3026.89 c #Conflicts: 1163000 | #Constraints: 108513
3018.86/3026.89 c #Conflicts: 1164000 | #Constraints: 109513
3018.86/3026.89 c #Conflicts: 1165000 | #Constraints: 110513
3018.86/3026.89 c #Conflicts: 1166000 | #Constraints: 111513
3018.86/3026.89 c #Conflicts: 1167000 | #Constraints: 112513
3018.86/3026.89 c #Conflicts: 1168000 | #Constraints: 113513
3018.86/3026.89 c #Conflicts: 1169000 | #Constraints: 114513
3018.86/3026.89 c #Conflicts: 1170000 | #Constraints: 115513
3018.86/3026.89 c #Conflicts: 1171000 | #Constraints: 116513
3018.86/3026.89 c #Conflicts: 1172000 | #Constraints: 117513
3018.86/3026.89 c #Conflicts: 1173000 | #Constraints: 118513
3018.86/3026.89 c #Conflicts: 1174000 | #Constraints: 119513
3018.86/3026.89 c #Conflicts: 1175000 | #Constraints: 120513
3018.86/3026.89 c #Conflicts: 1176000 | #Constraints: 121513
3018.86/3026.89 c #Conflicts: 1177000 | #Constraints: 122513
3018.86/3026.89 c #Conflicts: 1178000 | #Constraints: 123513
3018.86/3026.89 c #Conflicts: 1179000 | #Constraints: 124513
3198.18/3206.69 c #Conflicts: 1180000 | #Constraints: 125513
3198.18/3206.69 c #Conflicts: 1181000 | #Constraints: 126513
3198.18/3206.69 c #Conflicts: 1182000 | #Constraints: 127513
3198.18/3206.69 c #Conflicts: 1183000 | #Constraints: 128513
3198.18/3206.69 c #Conflicts: 1184000 | #Constraints: 129513
3198.18/3206.69 c #Conflicts: 1185000 | #Constraints: 130513
3198.18/3206.69 c #Conflicts: 1186000 | #Constraints: 131513
3198.18/3206.69 c #Conflicts: 1187000 | #Constraints: 132513
3198.18/3206.69 c #Conflicts: 1188000 | #Constraints: 133513
3198.18/3206.69 c #Conflicts: 1189000 | #Constraints: 134513
3198.18/3206.69 c #Conflicts: 1190000 | #Constraints: 135513
3198.18/3206.69 c #Conflicts: 1191000 | #Constraints: 136513
3198.18/3206.69 c #Conflicts: 1192000 | #Constraints: 137513
3198.18/3206.69 c #Conflicts: 1193000 | #Constraints: 138513
3198.18/3206.69 c #Conflicts: 1194000 | #Constraints: 139513
3198.18/3206.69 c #Conflicts: 1195000 | #Constraints: 140513
3198.18/3206.69 c #Conflicts: 1196000 | #Constraints: 141513
3198.18/3206.69 c #Conflicts: 1197000 | #Constraints: 142513
3198.18/3206.69 c #Conflicts: 1198000 | #Constraints: 143513
3198.18/3206.69 c #Conflicts: 1199000 | #Constraints: 144513
3198.18/3206.69 c #Conflicts: 1200000 | #Constraints: 145513
3198.18/3206.69 c #Conflicts: 1201000 | #Constraints: 146513
3198.18/3206.69 c #Conflicts: 1202000 | #Constraints: 147513
3198.18/3206.69 c #Conflicts: 1203000 | #Constraints: 148513
3198.18/3206.69 c #Conflicts: 1204000 | #Constraints: 149513
3198.18/3206.69 c #Conflicts: 1205000 | #Constraints: 150513
3198.18/3206.69 c #Conflicts: 1206000 | #Constraints: 151513
3198.18/3206.69 c #Conflicts: 1207000 | #Constraints: 152513
3198.18/3206.69 c #Conflicts: 1208000 | #Constraints: 153513
3198.18/3206.69 c #Conflicts: 1209000 | #Constraints: 154513
3198.18/3206.69 c INPROCESSING
3198.18/3206.69 c GARBAGE COLLECT
3198.18/3206.69 c rational objective 194
3397.65/3406.62 c #Conflicts: 1210000 | #Constraints: 91637
3397.65/3406.62 c #Conflicts: 1211000 | #Constraints: 92637
3397.65/3406.62 c #Conflicts: 1212000 | #Constraints: 93637
3397.65/3406.62 c #Conflicts: 1213000 | #Constraints: 94637
3397.65/3406.62 c #Conflicts: 1214000 | #Constraints: 95637
3397.65/3406.62 c #Conflicts: 1215000 | #Constraints: 96637
3397.65/3406.62 c #Conflicts: 1216000 | #Constraints: 97637
3397.65/3406.62 c #Conflicts: 1217000 | #Constraints: 98637
3397.65/3406.62 c #Conflicts: 1218000 | #Constraints: 99637
3397.65/3406.62 c #Conflicts: 1219000 | #Constraints: 100637
3397.65/3406.62 c #Conflicts: 1220000 | #Constraints: 101637
3397.65/3406.62 c #Conflicts: 1221000 | #Constraints: 102637
3397.65/3406.62 c #Conflicts: 1222000 | #Constraints: 103637
3397.65/3406.62 c #Conflicts: 1223000 | #Constraints: 104637
3397.65/3406.62 c #Conflicts: 1224000 | #Constraints: 105637
3397.65/3406.62 c #Conflicts: 1225000 | #Constraints: 106637
3397.65/3406.62 c #Conflicts: 1226000 | #Constraints: 107637
3397.65/3406.62 c #Conflicts: 1227000 | #Constraints: 108637
3397.65/3406.62 c #Conflicts: 1228000 | #Constraints: 109637
3397.65/3406.62 c #Conflicts: 1229000 | #Constraints: 110637
3397.65/3406.62 c #Conflicts: 1230000 | #Constraints: 111637
3397.65/3406.62 c #Conflicts: 1231000 | #Constraints: 112637
3397.65/3406.62 c #Conflicts: 1232000 | #Constraints: 113637
3397.65/3406.62 c #Conflicts: 1233000 | #Constraints: 114637
3397.65/3406.62 c #Conflicts: 1234000 | #Constraints: 115637
3397.65/3406.62 c #Conflicts: 1235000 | #Constraints: 116637
3397.65/3406.62 c #Conflicts: 1236000 | #Constraints: 117637
3397.65/3406.62 c #Conflicts: 1237000 | #Constraints: 118637
3397.65/3406.62 c #Conflicts: 1238000 | #Constraints: 119637
3397.65/3406.62 c #Conflicts: 1239000 | #Constraints: 120637
3397.65/3406.62 c #Conflicts: 1240000 | #Constraints: 121637
3397.65/3406.62 c #Conflicts: 1241000 | #Constraints: 122637
3397.65/3406.62 c #Conflicts: 1242000 | #Constraints: 123637
3397.65/3406.62 c #Conflicts: 1243000 | #Constraints: 124637
3397.65/3406.62 c #Conflicts: 1244000 | #Constraints: 125637
3397.65/3406.62 c INPROCESSING
3397.65/3406.62 c GARBAGE COLLECT
3397.65/3406.62 c #Conflicts: 1245000 | #Constraints: 89781
3397.65/3406.62 c #Conflicts: 1246000 | #Constraints: 90781
3397.65/3406.62 c #Conflicts: 1247000 | #Constraints: 91781
3397.65/3406.62 c #Conflicts: 1248000 | #Constraints: 92781
3397.65/3406.62 c #Conflicts: 1249000 | #Constraints: 93781
3397.65/3406.62 c #Conflicts: 1250000 | #Constraints: 94781
3397.65/3406.62 c #Conflicts: 1251000 | #Constraints: 95781
3397.65/3406.62 c #Conflicts: 1252000 | #Constraints: 96781
3397.65/3406.62 c #Conflicts: 1253000 | #Constraints: 97781
3397.65/3406.62 c #Conflicts: 1254000 | #Constraints: 98781
3397.65/3406.62 c #Conflicts: 1255000 | #Constraints: 99781
3397.65/3406.62 c #Conflicts: 1256000 | #Constraints: 100781
3397.65/3406.62 c #Conflicts: 1257000 | #Constraints: 101781
3397.65/3406.62 c #Conflicts: 1258000 | #Constraints: 102781
3397.65/3406.62 c #Conflicts: 1259000 | #Constraints: 103781
3397.65/3406.62 c #Conflicts: 1260000 | #Constraints: 104781
3397.65/3406.62 c #Conflicts: 1261000 | #Constraints: 105781
3397.65/3406.62 c #Conflicts: 1262000 | #Constraints: 106781
3397.65/3406.62 c #Conflicts: 1263000 | #Constraints: 107781
3397.65/3406.62 c #Conflicts: 1264000 | #Constraints: 108781
3397.65/3406.62 c #Conflicts: 1265000 | #Constraints: 109781
3397.65/3406.62 c #Conflicts: 1266000 | #Constraints: 110781
3397.65/3406.62 c #Conflicts: 1267000 | #Constraints: 111781
3397.65/3406.62 c #Conflicts: 1268000 | #Constraints: 112781
3397.65/3406.62 c #Conflicts: 1269000 | #Constraints: 113781
3397.65/3406.62 c #Conflicts: 1270000 | #Constraints: 114781
3397.65/3406.62 c #Conflicts: 1271000 | #Constraints: 115781
3397.65/3406.62 c #Conflicts: 1272000 | #Constraints: 116781
3397.65/3406.62 c #Conflicts: 1273000 | #Constraints: 117781
3397.65/3406.62 c #Conflicts: 1274000 | #Constraints: 118781
3397.65/3406.62 c #Conflicts: 1275000 | #Constraints: 119781
3397.65/3406.62 c #Conflicts: 1276000 | #Constraints: 120781
3397.65/3406.62 c #Conflicts: 1277000 | #Constraints: 121781
3397.65/3406.62 c #Conflicts: 1278000 | #Constraints: 122781
3397.65/3406.62 c #Conflicts: 1279000 | #Constraints: 123781
3397.65/3406.62 c #Conflicts: 1280000 | #Constraints: 124781
3397.65/3406.62 c #Conflicts: 1281000 | #Constraints: 125781
3397.65/3406.62 c #Conflicts: 1282000 | #Constraints: 126781
3397.65/3406.62 c #Conflicts: 1283000 | #Constraints: 127781
3397.65/3406.62 c #Conflicts: 1284000 | #Constraints: 128781
3397.65/3406.62 c #Conflicts: 1285000 | #Constraints: 129781
3397.65/3406.62 c #Conflicts: 1286000 | #Constraints: 130781
3397.65/3406.62 c #Conflicts: 1287000 | #Constraints: 131781
3397.65/3406.62 c #Conflicts: 1288000 | #Constraints: 132781
3600.07/3609.60 c #Conflicts: 1289000 | #Constraints: 133781
3600.07/3609.60 c #Conflicts: 1290000 | #Constraints: 134781
3600.07/3609.60 c #Conflicts: 1291000 | #Constraints: 135781
3600.07/3609.60 c #Conflicts: 1292000 | #Constraints: 136781
3600.07/3609.60 c #Conflicts: 1293000 | #Constraints: 137781
3600.07/3609.60 c #Conflicts: 1294000 | #Constraints: 138781
3600.07/3609.60 c #Conflicts: 1295000 | #Constraints: 139781
3600.07/3609.60 c #Conflicts: 1296000 | #Constraints: 140781
3600.07/3609.60 c #Conflicts: 1297000 | #Constraints: 141781
3600.07/3609.60 c #Conflicts: 1298000 | #Constraints: 142781
3600.07/3609.60 c #Conflicts: 1299000 | #Constraints: 143781
3600.07/3609.60 c #Conflicts: 1300000 | #Constraints: 144781
3600.07/3609.60 c #Conflicts: 1301000 | #Constraints: 145781
3600.07/3609.60 c #Conflicts: 1302000 | #Constraints: 146781
3600.07/3609.60 c #Conflicts: 1303000 | #Constraints: 147781
3600.07/3609.60 c #Conflicts: 1304000 | #Constraints: 148781
3600.07/3609.60 c #Conflicts: 1305000 | #Constraints: 149781
3600.07/3609.60 c #Conflicts: 1306000 | #Constraints: 150781
3600.07/3609.60 c #Conflicts: 1307000 | #Constraints: 151781
3600.07/3609.60 c #Conflicts: 1308000 | #Constraints: 152781
3600.07/3609.60 c #Conflicts: 1309000 | #Constraints: 153781
3600.07/3609.60 c #Conflicts: 1310000 | #Constraints: 154781
3600.07/3609.60 c #Conflicts: 1311000 | #Constraints: 155781
3600.07/3609.60 c #Conflicts: 1312000 | #Constraints: 156781
3600.07/3609.60 c #Conflicts: 1313000 | #Constraints: 157781
3600.07/3609.60 c #Conflicts: 1314000 | #Constraints: 158781
3600.07/3609.60 c #Conflicts: 1315000 | #Constraints: 159781
3600.07/3609.60 c #Conflicts: 1316000 | #Constraints: 160781
3600.07/3609.60 c INPROCESSING
3600.07/3609.60 c GARBAGE COLLECT
3600.07/3609.60 c #Conflicts: 1317000 | #Constraints: 94940
3600.07/3609.60 c #Conflicts: 1318000 | #Constraints: 95940
3600.07/3609.60 c #Conflicts: 1319000 | #Constraints: 96940
3600.07/3609.60 c #Conflicts: 1320000 | #Constraints: 97940
3600.07/3609.60 c #Conflicts: 1321000 | #Constraints: 98940
3600.07/3609.60 c #Conflicts: 1322000 | #Constraints: 99940
3600.07/3609.60 c #Conflicts: 1323000 | #Constraints: 100940
3600.07/3609.60 c #Conflicts: 1324000 | #Constraints: 101940
3600.07/3609.60 c #Conflicts: 1325000 | #Constraints: 102940
3600.07/3609.60 c #Conflicts: 1326000 | #Constraints: 103940
3600.07/3609.60 c #Conflicts: 1327000 | #Constraints: 104940
3600.07/3609.60 c #Conflicts: 1328000 | #Constraints: 105940
3600.07/3609.60 c #Conflicts: 1329000 | #Constraints: 106940
3600.07/3609.60 c #Conflicts: 1330000 | #Constraints: 107940
3600.07/3609.60 c #Conflicts: 1331000 | #Constraints: 108940
3600.07/3609.60 c #Conflicts: 1332000 | #Constraints: 109940
3600.07/3609.60 c #Conflicts: 1333000 | #Constraints: 110940
3600.07/3609.60 c #Conflicts: 1334000 | #Constraints: 111940
3600.07/3609.60 c #Conflicts: 1335000 | #Constraints: 112940
3600.07/3609.60 c #Conflicts: 1336000 | #Constraints: 113940
3600.07/3609.60 c #Conflicts: 1337000 | #Constraints: 114940
3600.07/3609.60 c #Conflicts: 1338000 | #Constraints: 115940
3600.07/3609.60 c #Conflicts: 1339000 | #Constraints: 116940
3600.07/3609.60 c #Conflicts: 1340000 | #Constraints: 117940
3600.07/3609.60 c #Conflicts: 1341000 | #Constraints: 118940
3600.07/3609.60 c #Conflicts: 1342000 | #Constraints: 119940
3600.07/3609.60 c #Conflicts: 1343000 | #Constraints: 120940
3600.07/3609.60 c #Conflicts: 1344000 | #Constraints: 121940
3600.07/3609.60 c #Conflicts: 1345000 | #Constraints: 122940
3600.07/3609.60 c #Conflicts: 1346000 | #Constraints: 123940
3600.07/3609.60 c #Conflicts: 1347000 | #Constraints: 124940
3600.07/3609.60 c #Conflicts: 1348000 | #Constraints: 125940
3600.07/3609.60 c #Conflicts: 1349000 | #Constraints: 126940
3600.07/3609.60 c #Conflicts: 1350000 | #Constraints: 127940
3600.07/3609.60 c #Conflicts: 1351000 | #Constraints: 128940
3600.07/3609.60 c cpu time 3565.04 s
3600.07/3609.60 c deterministic time 255979204999 2.56e+11
3600.07/3609.60 c optimization time 94.0561 s
3600.07/3609.60 c total solve time 3470.71 s
3600.07/3609.60 c core-guided solve time 0 s
3600.07/3609.60 c propagation time 1979.99 s
3600.07/3609.60 c conflict analysis time 1212.63 s
3600.07/3609.60 c propagations 1412167036
3600.07/3609.60 c resolve steps 78719856
3600.07/3609.60 c decisions 39036498
3600.07/3609.60 c conflicts 1351585
3600.07/3609.60 c restarts 2557
3600.07/3609.60 c inprocessing phases 41
3600.07/3609.60 c garbage collections 41 ,( 100.00 )
3600.07/3609.60 c input clauses 23282 ,( 99.17 )
3600.07/3609.60 c input cardinalities 194 ,( 0.83 )
3600.07/3609.60 c input general constraints 0 ,( 0.00 )
3600.07/3609.60 c input average constraint length 6.44
3600.07/3609.60 c input average constraint degree 1.97
3600.07/3609.60 c learned clauses 967385 ,( 71.57 )
3600.07/3609.60 c learned cardinalities 48292 ,( 3.57 )
3600.07/3609.60 c learned general constraints 335918 ,( 24.85 )
3600.07/3609.60 c learned average constraint length 792.61
3600.07/3609.60 c learned average constraint degree 17113147.25
3600.07/3609.60 c watched CF 32, 64, 128, Arb: 85024 , 0 , 0 , 0
3600.07/3609.60 c counting CF 32, 64, 128, Arb: 250894 , 0 , 0 , 0
3600.07/3609.60 c watched constraints 85024 ,( 25.31 )
3600.07/3609.60 c counting constraints 250894 ,( 74.69 )
3600.07/3609.60 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1269663421 , 784363474 , 2233018451 ,( 97027830 , 2135990621 )
3600.07/3609.60 c gcd simplifications 777
3600.07/3609.60 c detected cardinalities 7861
3600.07/3609.60 c weakened non-implied lits 368646438
3600.07/3609.60 c weakened non-implying lits 183954
3600.07/3609.60 c original variables 23086
3600.07/3609.60 c clausal propagations 661986294
3600.07/3609.60 c cardinality propagations 509781322
3600.07/3609.60 c watched propagations 4410683
3600.07/3609.60 c counting propagations 222723770
3600.07/3609.60 c watch lookups 77307628136
3600.07/3609.60 c watch backjump lookups 0
3600.07/3609.60 c watch checks 38602291387
3600.07/3609.60 c propagation checks 132385324657
3600.07/3609.60 c constraint additions 4779931710
3600.07/3609.60 c trail pops 1452535602
3600.07/3609.60 c formula constraints 23476
3600.07/3609.60 c learned constraints 1351580
3600.07/3609.60 c bound constraints 0
3600.07/3609.60 c core-guided constraints 0
3600.07/3609.60 c encountered formula constraints 49239088
3600.07/3609.60 c encountered learned constraints 30832100
3600.07/3609.60 c encountered bound constraints 0
3600.07/3609.60 c encountered core-guided constraints 0
3600.07/3609.60 c LP total time 412.748 s
3600.07/3609.60 c LP solve time 392.43 s
3600.07/3609.60 c LP constraints added 24879
3600.07/3609.60 c LP constraints removed 1236
3600.07/3609.60 c LP pivots internal 137847
3600.07/3609.60 c LP pivots root 152125
3600.07/3609.60 c LP calls 20
3600.07/3609.60 c LP optimalities 10
3600.07/3609.60 c LP no pivot count 0
3600.07/3609.60 c LP infeasibilities 4
3600.07/3609.60 c LP valid Farkas constraints 4
3600.07/3609.60 c LP learned Farkas constraints 4
3600.07/3609.60 c LP basis resets 0
3600.07/3609.60 c LP cycling count 0
3600.07/3609.60 c LP singular count 0
3600.07/3609.60 c LP no primal count 0
3600.07/3609.60 c LP no farkas count 0
3600.07/3609.60 c LP other issue count 0
3600.07/3609.60 c LP Gomory cuts 7
3600.07/3609.60 c LP learned cuts 1396
3600.07/3609.60 c LP deleted cuts 1236
3600.07/3609.60 c LP encountered Gomory constraints 15
3600.07/3609.60 c LP encountered Farkas constraints 232
3600.07/3609.60 c LP encountered learned Farkas constraints 2
3600.07/3609.60 c CG auxiliary variables introduced 0
3600.07/3609.60 c CG solutions found 0
3600.07/3609.60 c CG cores constructed 0
3600.07/3609.60 c CG core cardinality constraints returned 0
3600.07/3609.60 c CG unit cores 0
3600.07/3609.60 c CG single cores 0
3600.07/3609.60 c CG blocks removed during cardinality reduction 0
3600.07/3609.60 c CG first core best 0
3600.07/3609.60 c CG decision core best 0
3600.07/3609.60 c CG core reduction tie 0
3600.07/3609.60 c CG core degree average 0.00
3600.07/3609.60 c CG core slack average 0.00
3600.07/3609.60 c CG core upper bound improvements 0
3600.07/3609.60 c STR number of successful calls 0
3600.07/3609.60 c STR number of unsuccessful calls 0
3600.07/3609.60 c STR number of inconclusive calls 0
3600.07/3609.60 c STR number of successful attempts 0
3600.07/3609.60 c STR number of unsuccessful attempts 0
3600.07/3609.60 c STR number of inconclusive attempts 0
3600.07/3609.60 c STR average degree increase per successful call inf
3600.07/3609.60 c STR average degree increase per successful attempt inf
3600.07/3609.60 c STR total number of conflicts for successful attempts 0
3600.07/3609.60 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3609.60 c STR total number of conflicts for inconclusive attempts 0
3600.07/3609.60 c STR average number of conflicts per successful attempt inf
3600.07/3609.60 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3609.60 c STR average number of conflicts per inconclusive attempt inf
3600.07/3609.60 c AVG.sumWPerc 66.20
3600.07/3609.60 c bigint constraints 0
3600.07/3609.60 s UNKNOWN
3600.07/3609.60 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (63246 MiB free)
memory of node 1: 64507 MiB (63945 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507156-1751183938/watcher-4507156-1751183938 -o /tmp/evaluation-result-4507156-1751183938/solver-4507156-1751183938 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751180326-22849 --watchdog 3760 run-dec.sh HOME/instance-4507156-1751183938.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=23268, runsolver pid=23264
Current StackSize limit: 8192 KiB
[startup+0.100077 s]*
/proc/loadavg: 4.11 4.11 4.05 5/254 23276
/proc/meminfo: memFree=130219700/131382116 swapFree=33010684/33010684
[pid=23268] ppid=23264 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23268/stat : 23268 (run-dec.sh) S 23264 23268 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073517 4292608 736 18446744073709551615 94677254438912 94677255333445 140728238296800 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94677255572496 94677255620240 94677269299200 140728238303597 140728238303720 140728238303720 140728238309322 0
/proc/23268/statm: 1048 736 672 219 0 110 0
[pid=23270] ppid=23268 vsize=60032 memory=15072 CPUtime=0.08 cores=4,6
/proc/23270/stat : 23270 (roundingsat) R 23268 23268 22838 0 -1 4194304 1557 0 0 0 6 2 0 0 20 0 1 0 34073518 61472768 3768 18446744073709551615 4227072 8923433 140726648811856 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 38658048 140726648818103 140726648818216 140726648818216 140726648823786 0
/proc/23270/statm: 15008 3768 1888 1147 0 2435 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 64224 KiB
Current children cumulated memory: 18016 KiB
[startup+0.221101 s]*
/proc/loadavg: 4.11 4.11 4.05 5/254 23276
/proc/meminfo: memFree=130215920/131382116 swapFree=33010684/33010684
[pid=23268] ppid=23264 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23268/stat : 23268 (run-dec.sh) S 23264 23268 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073517 4292608 736 18446744073709551615 94677254438912 94677255333445 140728238296800 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94677255572496 94677255620240 94677269299200 140728238303597 140728238303720 140728238303720 140728238309322 0
/proc/23268/statm: 1048 736 672 219 0 110 0
[pid=23270] ppid=23268 vsize=61184 memory=15968 CPUtime=0.19 cores=4,6
/proc/23270/stat : 23270 (roundingsat) R 23268 23268 22838 0 -1 4194304 1847 0 0 0 14 5 0 0 20 0 1 0 34073518 62652416 3992 18446744073709551615 4227072 8923433 140726648811856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38658048 140726648818103 140726648818216 140726648818216 140726648823786 0
/proc/23270/statm: 15296 3992 1888 1147 0 2723 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 65376 KiB
Current children cumulated memory: 18912 KiB
[startup+0.313172 s]*
/proc/loadavg: 4.11 4.11 4.05 5/254 23276
/proc/meminfo: memFree=130208364/131382116 swapFree=33010684/33010684
[pid=23268] ppid=23264 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23268/stat : 23268 (run-dec.sh) S 23264 23268 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073517 4292608 736 18446744073709551615 94677254438912 94677255333445 140728238296800 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94677255572496 94677255620240 94677269299200 140728238303597 140728238303720 140728238303720 140728238309322 0
/proc/23268/statm: 1048 736 672 219 0 110 0
[pid=23270] ppid=23268 vsize=74404 memory=30068 CPUtime=0.28 cores=4,6
/proc/23270/stat : 23270 (roundingsat) R 23268 23268 22838 0 -1 4194304 5652 0 0 0 22 6 0 0 20 0 1 0 34073518 76189696 7517 18446744073709551615 4227072 8923433 140726648811856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38658048 140726648818103 140726648818216 140726648818216 140726648823786 0
/proc/23270/statm: 18601 7517 2240 1147 0 6028 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 78596 KiB
Current children cumulated memory: 33012 KiB
[startup+0.700465 s]
/proc/loadavg: 4.11 4.11 4.05 5/254 23276
/proc/meminfo: memFree=130136348/131382116 swapFree=33010684/33010684
[pid=23268] ppid=23264 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23268/stat : 23268 (run-dec.sh) S 23264 23268 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073517 4292608 736 18446744073709551615 94677254438912 94677255333445 140728238296800 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94677255572496 94677255620240 94677269299200 140728238303597 140728238303720 140728238303720 140728238309322 0
/proc/23268/statm: 1048 736 672 219 0 110 0
[pid=23270] ppid=23268 vsize=111656 memory=58540 CPUtime=0.65 cores=4,6
/proc/23270/stat : 23270 (roundingsat) R 23268 23268 22838 0 -1 4194304 11600 0 0 0 56 9 0 0 20 0 1 0 34073518 114335744 14635 18446744073709551615 4227072 8923433 140726648811856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38658048 140726648818103 140726648818216 140726648818216 140726648823786 0
/proc/23270/statm: 27914 14635 2240 1147 0 15341 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 115848 KiB
Current children cumulated memory: 61484 KiB
[startup+1.50041 s]
/proc/loadavg: 4.11 4.11 4.05 5/254 23276
/proc/meminfo: memFree=130126520/131382116 swapFree=33010684/33010684
[pid=23268] ppid=23264 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23268/stat : 23268 (run-dec.sh) S 23264 23268 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073517 4292608 736 18446744073709551615 94677254438912 94677255333445 140728238296800 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94677255572496 94677255620240 94677269299200 140728238303597 140728238303720 140728238303720 140728238309322 0
/proc/23268/statm: 1048 736 672 219 0 110 0
[pid=23270] ppid=23268 vsize=112700 memory=60588 CPUtime=1.45 cores=4,6
/proc/23270/stat : 23270 (roundingsat) R 23268 23268 22838 0 -1 4194304 12102 0 0 0 135 10 0 0 20 0 1 0 34073518 115404800 15147 18446744073709551615 4227072 8923433 140726648811856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38658048 140726648818103 140726648818216 140726648818216 140726648823786 0
/proc/23270/statm: 28175 15147 2272 1147 0 15602 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 116892 KiB
Current children cumulated memory: 63532 KiB
[startup+3.11289 s]
/proc/loadavg: 4.11 4.11 4.05 5/254 23276
/proc/meminfo: memFree=130104928/131382116 swapFree=33010684/33010684
[pid=23268] ppid=23264 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23268/stat : 23268 (run-dec.sh) S 23264 23268 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073517 4292608 736 18446744073709551615 94677254438912 94677255333445 140728238296800 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94677255572496 94677255620240 94677269299200 140728238303597 140728238303720 140728238303720 140728238309322 0
/proc/23268/statm: 1048 736 672 219 0 110 0
[pid=23270] ppid=23268 vsize=114832 memory=63404 CPUtime=3.06 cores=4,6
/proc/23270/stat : 23270 (roundingsat) R 23268 23268 22838 0 -1 4194304 12756 0 0 0 291 15 0 0 20 0 1 0 34073518 117587968 15851 18446744073709551615 4227072 8923433 140726648811856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38658048 140726648818103 140726648818216 140726648818216 140726648823786 0
/proc/23270/statm: 28708 15851 2304 1147 0 16135 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 119024 KiB
Current children cumulated memory: 66348 KiB
[startup+6.30039 s]
/proc/loadavg: 4.10 4.11 4.05 5/254 23276
/proc/meminfo: memFree=130077844/131382116 swapFree=33010684/33010684
[pid=23268] ppid=23264 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23268/stat : 23268 (run-dec.sh) S 23264 23268 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073517 4292608 736 18446744073709551615 94677254438912 94677255333445 140728238296800 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94677255572496 94677255620240 94677269299200 140728238303597 140728238303720 140728238303720 140728238309322 0
/proc/23268/statm: 1048 736 672 219 0 110 0
[pid=23270] ppid=23268 vsize=123820 memory=73716 CPUtime=6.24 cores=4,6
/proc/23270/stat : 23270 (roundingsat) R 23268 23268 22838 0 -1 4194304 14784 0 0 0 586 38 0 0 20 0 1 0 34073518 126791680 18429 18446744073709551615 4227072 8923433 140726648811856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38658048 140726648818103 140726648818216 140726648818216 140726648823786 0
/proc/23270/statm: 30955 18429 2336 1147 0 18382 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 128012 KiB
Current children cumulated memory: 76660 KiB
[startup+12.7004 s]
/proc/loadavg: 4.09 4.11 4.05 5/254 23276
/proc/meminfo: memFree=130004268/131382116 swapFree=33010684/33010684
[pid=23268] ppid=23264 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23268/stat : 23268 (run-dec.sh) S 23264 23268 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073517 4292608 736 18446744073709551615 94677254438912 94677255333445 140728238296800 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94677255572496 94677255620240 94677269299200 140728238303597 140728238303720 140728238303720 140728238309322 0
/proc/23268/statm: 1048 736 672 219 0 110 0
[pid=23270] ppid=23268 vsize=143808 memory=94700 CPUtime=12.62 cores=4,6
/proc/23270/stat : 23270 (roundingsat) R 23268 23268 22838 0 -1 4194304 19540 0 0 0 1197 65 0 0 20 0 1 0 34073518 147259392 23675 18446744073709551615 4227072 8923433 140726648811856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38658048 140726648818103 140726648818216 140726648818216 140726648823786 0
/proc/23270/statm: 35952 23675 2336 1147 0 23379 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 148000 KiB
Current children cumulated memory: 97644 KiB
[startup+25.5004 s]
/proc/loadavg: 4.14 4.12 4.06 5/254 23276
/proc/meminfo: memFree=129932132/131382116 swapFree=33010684/33010684
[pid=23268] ppid=23264 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23268/stat : 23268 (run-dec.sh) S 23264 23268 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073517 4292608 736 18446744073709551615 94677254438912 94677255333445 140728238296800 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94677255572496 94677255620240 94677269299200 140728238303597 140728238303720 140728238303720 140728238309322 0
/proc/23268/statm: 1048 736 672 219 0 110 0
[pid=23270] ppid=23268 vsize=148612 memory=99436 CPUtime=25.39 cores=4,6
/proc/23270/stat : 23270 (roundingsat) R 23268 23268 22838 0 -1 4194304 20707 0 0 0 2448 91 0 0 20 0 1 0 34073518 152178688 24859 18446744073709551615 4227072 8923433 140726648811856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38658048 140726648818103 140726648818216 140726648818216 140726648823786 0
/proc/23270/statm: 37153 24859 2336 1147 0 24580 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 152804 KiB
Current children cumulated memory: 102380 KiB
[startup+51.1131 s]
/proc/loadavg: 4.09 4.11 4.06 5/255 23278
/proc/meminfo: memFree=129756632/131382116 swapFree=33010684/33010684
[pid=23268] ppid=23264 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23268/stat : 23268 (run-dec.sh) S 23264 23268 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073517 4292608 736 18446744073709551615 94677254438912 94677255333445 140728238296800 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94677255572496 94677255620240 94677269299200 140728238303597 140728238303720 140728238303720 140728238309322 0
/proc/23268/statm: 1048 736 672 219 0 110 0
[pid=23270] ppid=23268 vsize=189892 memory=138080 CPUtime=50.92 cores=4,6
/proc/23270/stat : 23270 (roundingsat) R 23268 23268 22838 0 -1 4194304 27900 0 0 0 4903 189 0 0 20 0 1 0 34073518 194449408 34520 18446744073709551615 4227072 8923433 140726648811856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38658048 140726648818103 140726648818216 140726648818216 140726648823786 0
/proc/23270/statm: 47473 34520 2336 1147 0 34900 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 194084 KiB
Current children cumulated memory: 141024 KiB
[startup+102.3 s]
/proc/loadavg: 4.52 4.22 4.10 5/255 23279
/proc/meminfo: memFree=129642400/131382116 swapFree=33010684/33010684
[pid=23268] ppid=23264 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23268/stat : 23268 (run-dec.sh) S 23264 23268 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073517 4292608 736 18446744073709551615 94677254438912 94677255333445 140728238296800 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94677255572496 94677255620240 94677269299200 140728238303597 140728238303720 140728238303720 140728238309322 0
/proc/23268/statm: 1048 736 672 219 0 110 0
[pid=23270] ppid=23268 vsize=233212 memory=176940 CPUtime=101.97 cores=4,6
/proc/23270/stat : 23270 (roundingsat) R 23268 23268 22838 0 -1 4194304 34564 0 0 0 9908 289 0 0 20 0 1 0 34073518 238809088 44235 18446744073709551615 4227072 8923433 140726648811856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38658048 140726648818103 140726648818216 140726648818216 140726648823786 0
/proc/23270/statm: 58303 44235 2336 1147 0 45730 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 237404 KiB
Current children cumulated memory: 179884 KiB
[startup+162.3 s]
/proc/loadavg: 4.58 4.31 4.14 5/255 23292
/proc/meminfo: memFree=129436484/131382116 swapFree=33010684/33010684
[pid=23268] ppid=23264 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23268/stat : 23268 (run-dec.sh) S 23264 23268 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073517 4292608 736 18446744073709551615 94677254438912 94677255333445 140728238296800 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94677255572496 94677255620240 94677269299200 140728238303597 140728238303720 140728238303720 140728238309322 0
/proc/23268/statm: 1048 736 672 219 0 110 0
[pid=23270] ppid=23268 vsize=341292 memory=252168 CPUtime=161.82 cores=4,6
/proc/23270/stat : 23270 (roundingsat) R 23268 23268 22838 0 -1 4194304 41614 0 0 0 15801 381 0 0 20 0 1 0 34073518 349483008 63042 18446744073709551615 4227072 8923433 140726648811856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38658048 140726648818103 140726648818216 140726648818216 140726648823786 0
/proc/23270/statm: 85323 63042 2336 1147 0 72750 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 345484 KiB
Current children cumulated memory: 255112 KiB
[startup+222.3 s]
/proc/loadavg: 4.27 4.27 4.13 5/255 23294
/proc/meminfo: memFree=129256400/131382116 swapFree=33010684/33010684
[pid=23268] ppid=23264 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23268/stat : 23268 (run-dec.sh) S 23264 23268 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073517 4292608 736 18446744073709551615 94677254438912 94677255333445 140728238296800 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94677255572496 94677255620240 94677269299200 140728238303597 140728238303720 140728238303720 140728238309322 0
/proc/23268/statm: 1048 736 672 219 0 110 0
[pid=23270] ppid=23268 vsize=361156 memory=274132 CPUtime=221.67 cores=4,6
/proc/23270/stat : 23270 (roundingsat) R 23268 23268 22838 0 -1 4194304 46611 0 0 0 21650 517 0 0 20 0 1 0 34073518 369823744 68533 18446744073709551615 4227072 8923433 140726648811856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38658048 140726648818103 140726648818216 140726648818216 140726648823786 0
/proc/23270/statm: 90289 68533 2336 1147 0 77716 0
Current children cumulated CPU time: 221.67 s
################
# More data... #
################
/proc/23270/statm: 390859 310492 2336 1147 0 378286 0
Current children cumulated CPU time: 3034.31 s
Current children cumulated vsize: 1567628 KiB
Current children cumulated memory: 1244912 KiB
[startup+3102.3 s]
/proc/loadavg: 4.45 4.28 4.18 5/255 23438
/proc/meminfo: memFree=125413448/131382116 swapFree=33010684/33010684
[pid=23268] ppid=23264 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23268/stat : 23268 (run-dec.sh) S 23264 23268 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073517 4292608 736 18446744073709551615 94677254438912 94677255333445 140728238296800 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94677255572496 94677255620240 94677269299200 140728238303597 140728238303720 140728238303720 140728238309322 0
/proc/23268/statm: 1048 736 672 219 0 110 0
[pid=23270] ppid=23268 vsize=1567728 memory=1245552 CPUtime=3094.16 cores=4,6
/proc/23270/stat : 23270 (roundingsat) R 23268 23268 22838 0 -1 4194304 150525 0 0 0 306280 3136 0 0 20 0 1 0 34073518 1605353472 311388 18446744073709551615 4227072 8923433 140726648811856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38658048 140726648818103 140726648818216 140726648818216 140726648823786 0
/proc/23270/statm: 391932 311388 2336 1147 0 379359 0
Current children cumulated CPU time: 3094.16 s
Current children cumulated vsize: 1571920 KiB
Current children cumulated memory: 1248496 KiB
[startup+3162.3 s]
/proc/loadavg: 4.28 4.26 4.18 5/255 23442
/proc/meminfo: memFree=125398876/131382116 swapFree=33010684/33010684
[pid=23268] ppid=23264 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23268/stat : 23268 (run-dec.sh) S 23264 23268 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073517 4292608 736 18446744073709551615 94677254438912 94677255333445 140728238296800 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94677255572496 94677255620240 94677269299200 140728238303597 140728238303720 140728238303720 140728238309322 0
/proc/23268/statm: 1048 736 672 219 0 110 0
[pid=23270] ppid=23268 vsize=1580556 memory=1255536 CPUtime=3154.01 cores=4,6
/proc/23270/stat : 23270 (roundingsat) R 23268 23268 22838 0 -1 4194304 153008 0 0 0 312227 3174 0 0 20 0 1 0 34073518 1618489344 313884 18446744073709551615 4227072 8923433 140726648811856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38658048 140726648818103 140726648818216 140726648818216 140726648823786 0
/proc/23270/statm: 395139 313884 2336 1147 0 382566 0
Current children cumulated CPU time: 3154.01 s
Current children cumulated vsize: 1584748 KiB
Current children cumulated memory: 1258480 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.22 4.17 5/254 23444
/proc/meminfo: memFree=125395552/131382116 swapFree=33010684/33010684
[pid=23268] ppid=23264 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23268/stat : 23268 (run-dec.sh) S 23264 23268 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073517 4292608 736 18446744073709551615 94677254438912 94677255333445 140728238296800 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94677255572496 94677255620240 94677269299200 140728238303597 140728238303720 140728238303720 140728238309322 0
/proc/23268/statm: 1048 736 672 219 0 110 0
[pid=23270] ppid=23268 vsize=1580556 memory=1255536 CPUtime=3213.85 cores=4,6
/proc/23270/stat : 23270 (roundingsat) R 23268 23268 22838 0 -1 4194304 153154 0 0 0 318183 3202 0 0 20 0 1 0 34073518 1618489344 313884 18446744073709551615 4227072 8923433 140726648811856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38658048 140726648818103 140726648818216 140726648818216 140726648823786 0
/proc/23270/statm: 395139 313884 2336 1147 0 382566 0
Current children cumulated CPU time: 3213.85 s
Current children cumulated vsize: 1584748 KiB
Current children cumulated memory: 1258480 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.20 4.16 5/255 23449
/proc/meminfo: memFree=125400680/131382116 swapFree=33010684/33010684
[pid=23268] ppid=23264 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23268/stat : 23268 (run-dec.sh) S 23264 23268 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073517 4292608 736 18446744073709551615 94677254438912 94677255333445 140728238296800 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94677255572496 94677255620240 94677269299200 140728238303597 140728238303720 140728238303720 140728238309322 0
/proc/23268/statm: 1048 736 672 219 0 110 0
[pid=23270] ppid=23268 vsize=1580556 memory=1255536 CPUtime=3273.68 cores=4,6
/proc/23270/stat : 23270 (roundingsat) R 23268 23268 22838 0 -1 4194304 153229 0 0 0 324129 3239 0 0 20 0 1 0 34073518 1618489344 313884 18446744073709551615 4227072 8923433 140726648811856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38658048 140726648818103 140726648818216 140726648818216 140726648823786 0
/proc/23270/statm: 395139 313884 2336 1147 0 382566 0
Current children cumulated CPU time: 3273.68 s
Current children cumulated vsize: 1584748 KiB
Current children cumulated memory: 1258480 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.19 4.16 5/255 23452
/proc/meminfo: memFree=125403212/131382116 swapFree=33010684/33010684
[pid=23268] ppid=23264 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23268/stat : 23268 (run-dec.sh) S 23264 23268 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073517 4292608 736 18446744073709551615 94677254438912 94677255333445 140728238296800 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94677255572496 94677255620240 94677269299200 140728238303597 140728238303720 140728238303720 140728238309322 0
/proc/23268/statm: 1048 736 672 219 0 110 0
[pid=23270] ppid=23268 vsize=1580556 memory=1255536 CPUtime=3333.52 cores=4,6
/proc/23270/stat : 23270 (roundingsat) R 23268 23268 22838 0 -1 4194304 153235 0 0 0 330034 3318 0 0 20 0 1 0 34073518 1618489344 313884 18446744073709551615 4227072 8923433 140726648811856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38658048 140726648818103 140726648818216 140726648818216 140726648823786 0
/proc/23270/statm: 395139 313884 2336 1147 0 382566 0
Current children cumulated CPU time: 3333.52 s
Current children cumulated vsize: 1584748 KiB
Current children cumulated memory: 1258480 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.17 4.16 5/256 23459
/proc/meminfo: memFree=125390792/131382116 swapFree=33010684/33010684
[pid=23268] ppid=23264 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23268/stat : 23268 (run-dec.sh) S 23264 23268 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073517 4292608 736 18446744073709551615 94677254438912 94677255333445 140728238296800 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94677255572496 94677255620240 94677269299200 140728238303597 140728238303720 140728238303720 140728238309322 0
/proc/23268/statm: 1048 736 672 219 0 110 0
[pid=23270] ppid=23268 vsize=1580556 memory=1255536 CPUtime=3393.36 cores=4,6
/proc/23270/stat : 23270 (roundingsat) R 23268 23268 22838 0 -1 4194304 153235 0 0 0 335967 3369 0 0 20 0 1 0 34073518 1618489344 313884 18446744073709551615 4227072 8923433 140726648811856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38658048 140726648818103 140726648818216 140726648818216 140726648823786 0
/proc/23270/statm: 395139 313884 2336 1147 0 382566 0
Current children cumulated CPU time: 3393.36 s
Current children cumulated vsize: 1584748 KiB
Current children cumulated memory: 1258480 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.15 4.15 5/256 23461
/proc/meminfo: memFree=125387496/131382116 swapFree=33010684/33010684
[pid=23268] ppid=23264 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23268/stat : 23268 (run-dec.sh) S 23264 23268 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073517 4292608 736 18446744073709551615 94677254438912 94677255333445 140728238296800 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94677255572496 94677255620240 94677269299200 140728238303597 140728238303720 140728238303720 140728238309322 0
/proc/23268/statm: 1048 736 672 219 0 110 0
[pid=23270] ppid=23268 vsize=1580556 memory=1255536 CPUtime=3453.2 cores=4,6
/proc/23270/stat : 23270 (roundingsat) R 23268 23268 22838 0 -1 4194304 153242 0 0 0 341909 3411 0 0 20 0 1 0 34073518 1618489344 313884 18446744073709551615 4227072 8923433 140726648811856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38658048 140726648818103 140726648818216 140726648818216 140726648823786 0
/proc/23270/statm: 395139 313884 2336 1147 0 382566 0
Current children cumulated CPU time: 3453.2 s
Current children cumulated vsize: 1584748 KiB
Current children cumulated memory: 1258480 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.15 4.15 5/256 23463
/proc/meminfo: memFree=125354424/131382116 swapFree=33010684/33010684
[pid=23268] ppid=23264 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23268/stat : 23268 (run-dec.sh) S 23264 23268 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073517 4292608 736 18446744073709551615 94677254438912 94677255333445 140728238296800 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94677255572496 94677255620240 94677269299200 140728238303597 140728238303720 140728238303720 140728238309322 0
/proc/23268/statm: 1048 736 672 219 0 110 0
[pid=23270] ppid=23268 vsize=1580556 memory=1255664 CPUtime=3513.03 cores=4,6
/proc/23270/stat : 23270 (roundingsat) R 23268 23268 22838 0 -1 4194304 153258 0 0 0 347845 3458 0 0 20 0 1 0 34073518 1618489344 313916 18446744073709551615 4227072 8923433 140726648811856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38658048 140726648818103 140726648818216 140726648818216 140726648823786 0
/proc/23270/statm: 395139 313916 2336 1147 0 382566 0
Current children cumulated CPU time: 3513.03 s
Current children cumulated vsize: 1584748 KiB
Current children cumulated memory: 1258608 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/255 23465
/proc/meminfo: memFree=125334260/131382116 swapFree=33010684/33010684
[pid=23268] ppid=23264 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23268/stat : 23268 (run-dec.sh) S 23264 23268 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073517 4292608 736 18446744073709551615 94677254438912 94677255333445 140728238296800 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94677255572496 94677255620240 94677269299200 140728238303597 140728238303720 140728238303720 140728238309322 0
/proc/23268/statm: 1048 736 672 219 0 110 0
[pid=23270] ppid=23268 vsize=1580556 memory=1255664 CPUtime=3572.85 cores=4,6
/proc/23270/stat : 23270 (roundingsat) R 23268 23268 22838 0 -1 4194304 153374 0 0 0 353789 3496 0 0 20 0 1 0 34073518 1618489344 313916 18446744073709551615 4227072 8923433 140726648811856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38658048 140726648818103 140726648818216 140726648818216 140726648823786 0
/proc/23270/statm: 395139 313916 2336 1147 0 382566 0
Current children cumulated CPU time: 3572.85 s
Current children cumulated vsize: 1584748 KiB
Current children cumulated memory: 1258608 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.11 4.14 4.15 4/252 23467
/proc/meminfo: memFree=126342964/131382116 swapFree=33010684/33010684
[pid=23268] ppid=23264 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23268/stat : 23268 (run-dec.sh) S 23264 23268 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073517 4292608 736 18446744073709551615 94677254438912 94677255333445 140728238296800 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94677255572496 94677255620240 94677269299200 140728238303597 140728238303720 140728238303720 140728238309322 0
/proc/23268/statm: 1048 736 672 219 0 110 0
[pid=23270] ppid=23268 vsize=1580556 memory=1255664 CPUtime=3600.07 cores=4,6
/proc/23270/stat : 23270 (roundingsat) R 23268 23268 22838 0 -1 4194304 153461 0 0 0 356504 3503 0 0 20 0 1 0 34073518 1618489344 313916 18446744073709551615 4227072 8923433 140726648811856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38658048 140726648818103 140726648818216 140726648818216 140726648823786 0
/proc/23270/statm: 395139 313916 2336 1147 0 382566 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1584748 KiB
Current children cumulated memory: 1258608 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.61 s]
# the end of solver process 23268 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002177 s, system=0.003294 s
[startup+3609.62 s]
# the end of solver process 23270 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3565.05 s, system=35.0536 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): 3609.62
CPU time (s): 3600.11
CPU user time (s): 3565.05
CPU system time (s): 35.0536
CPU usage (%): 99.7364
Max. virtual memory (cumulated for all children) (KiB): 1584748
Max. memory (cumulated for all children) (KiB): 1258608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.05
system time used= 35.0536
maximum resident set size= 1255920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153695
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 327
involuntary context switches= 2935
# summary of solver processes directly reported to runsolver:
# pid: 23268,23270
# total CPU time (s): 3600.11
# total CPU user time (s): 3565.05
# total CPU system time (s): 35.0536
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6297 second user time and 37.8424 second system time
The end
Begin job on nodeC011 at 2025-06-29 09:58:58
IDJOB=4507156
IDBENCH=158327
IDSOLVER=3349
FILE ID=nodeC011/4507156-1751183938
RUNJOBID= nodeC011-1751180326-22849
SLURM_JOB_ID= 9587547
Free space on /tmp= 433036 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K194.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507156-1751183938/watcher-4507156-1751183938 -o /tmp/evaluation-result-4507156-1751183938/solver-4507156-1751183938 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751180326-22849 --watchdog 3760 run-dec.sh HOME/instance-4507156-1751183938.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7d29d77727f08087434452962a118642
RANDOM SEED=919027600
nodeC011 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.297
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1396.832
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.388
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.936
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.294
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.197
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.576
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.609
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 130267584 kB
MemAvailable: 129930700 kB
Buffers: 3280 kB
Cached: 474412 kB
SwapCached: 0 kB
Active: 379472 kB
Inactive: 226604 kB
Active(anon): 146344 kB
Inactive(anon): 0 kB
Active(file): 233128 kB
Inactive(file): 226604 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 33360 kB
Writeback: 0 kB
AnonPages: 131548 kB
Mapped: 110492 kB
Shmem: 17960 kB
KReclaimable: 85636 kB
Slab: 165216 kB
SReclaimable: 85636 kB
SUnreclaim: 79580 kB
KernelStack: 4064 kB
PageTables: 3212 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 455600 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149352 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 28672 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: 191304 kB
DirectMap2M: 8099840 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433020 MiB
End job on nodeC011 at 2025-06-29 10:59:08