0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.09/0.17 c #variables 23086 #constraints 23476
124.35/124.72 c #Conflicts: 1000 | #Constraints: 24475
124.35/124.72 c #Conflicts: 2000 | #Constraints: 25475
124.35/124.72 c INPROCESSING
124.35/124.72 c GARBAGE COLLECT
124.35/124.72 c #Conflicts: 3000 | #Constraints: 24740
124.35/124.72 c #Conflicts: 4000 | #Constraints: 25740
124.35/124.72 c INPROCESSING
124.35/124.72 c GARBAGE COLLECT
124.35/124.72 c #Conflicts: 5000 | #Constraints: 25246
124.35/124.72 c #Conflicts: 6000 | #Constraints: 26246
124.35/124.72 c INPROCESSING
124.35/124.72 c GARBAGE COLLECT
124.35/124.72 c #Conflicts: 7000 | #Constraints: 25454
124.35/124.72 c #Conflicts: 8000 | #Constraints: 26454
124.35/124.72 c #Conflicts: 9000 | #Constraints: 27454
124.35/124.72 c #Conflicts: 10000 | #Constraints: 28454
124.35/124.72 c #Conflicts: 11000 | #Constraints: 29454
124.35/124.72 c #Conflicts: 12000 | #Constraints: 30454
124.35/124.72 c INPROCESSING
124.35/124.72 c GARBAGE COLLECT
124.35/124.72 c #Conflicts: 13000 | #Constraints: 27416
124.35/124.72 c #Conflicts: 14000 | #Constraints: 28416
124.35/124.72 c #Conflicts: 15000 | #Constraints: 29416
124.35/124.72 c #Conflicts: 16000 | #Constraints: 30416
124.35/124.72 c INPROCESSING
124.35/124.72 c GARBAGE COLLECT
124.35/124.72 c #Conflicts: 17000 | #Constraints: 28220
124.35/124.72 c #Conflicts: 18000 | #Constraints: 29220
124.35/124.72 c #Conflicts: 19000 | #Constraints: 30220
124.35/124.72 c #Conflicts: 20000 | #Constraints: 31220
124.35/124.72 c #Conflicts: 21000 | #Constraints: 32220
124.35/124.72 c #Conflicts: 22000 | #Constraints: 33220
124.35/124.72 c #Conflicts: 23000 | #Constraints: 34220
124.35/124.72 c #Conflicts: 24000 | #Constraints: 35220
124.35/124.72 c #Conflicts: 25000 | #Constraints: 36220
124.35/124.72 c INPROCESSING
124.35/124.72 c GARBAGE COLLECT
124.35/124.72 c #Conflicts: 26000 | #Constraints: 30441
124.35/124.72 c #Conflicts: 27000 | #Constraints: 31441
124.35/124.72 c #Conflicts: 28000 | #Constraints: 32441
124.35/124.72 c #Conflicts: 29000 | #Constraints: 33441
124.35/124.72 c #Conflicts: 30000 | #Constraints: 34441
124.35/124.72 c INPROCESSING
124.35/124.72 c GARBAGE COLLECT
124.35/124.72 c #Conflicts: 31000 | #Constraints: 30659
124.35/124.72 c #Conflicts: 32000 | #Constraints: 31659
124.35/124.72 c #Conflicts: 33000 | #Constraints: 32659
124.35/124.72 c #Conflicts: 34000 | #Constraints: 33659
124.35/124.72 c #Conflicts: 35000 | #Constraints: 34659
124.35/124.72 c #Conflicts: 36000 | #Constraints: 35659
124.35/124.72 c #Conflicts: 37000 | #Constraints: 36659
124.35/124.72 c #Conflicts: 38000 | #Constraints: 37659
124.35/124.72 c #Conflicts: 39000 | #Constraints: 38659
124.35/124.72 c #Conflicts: 40000 | #Constraints: 39659
124.35/124.72 c #Conflicts: 41000 | #Constraints: 40659
124.35/124.72 c #Conflicts: 42000 | #Constraints: 41659
124.35/124.72 c #Conflicts: 43000 | #Constraints: 42659
124.35/124.72 c INPROCESSING
124.35/124.72 c GARBAGE COLLECT
124.35/124.72 c #Conflicts: 44000 | #Constraints: 33943
124.35/124.72 c #Conflicts: 45000 | #Constraints: 34943
124.35/124.72 c #Conflicts: 46000 | #Constraints: 35943
124.35/124.72 c #Conflicts: 47000 | #Constraints: 36943
124.35/124.72 c #Conflicts: 48000 | #Constraints: 37943
124.35/124.72 c #Conflicts: 49000 | #Constraints: 38943
124.35/124.72 c #Conflicts: 50000 | #Constraints: 39943
124.35/124.72 c #Conflicts: 51000 | #Constraints: 40943
124.35/124.72 c #Conflicts: 52000 | #Constraints: 41943
124.35/124.72 c #Conflicts: 53000 | #Constraints: 42943
124.35/124.72 c #Conflicts: 54000 | #Constraints: 43943
124.35/124.72 c #Conflicts: 55000 | #Constraints: 44943
124.35/124.72 c #Conflicts: 56000 | #Constraints: 45943
124.35/124.72 c #Conflicts: 57000 | #Constraints: 46943
124.35/124.72 c INPROCESSING
124.35/124.72 c GARBAGE COLLECT
124.35/124.72 c #Conflicts: 58000 | #Constraints: 36109
124.35/124.72 c #Conflicts: 59000 | #Constraints: 37109
124.35/124.72 c #Conflicts: 60000 | #Constraints: 38109
124.35/124.72 c #Conflicts: 61000 | #Constraints: 39109
124.35/124.72 c #Conflicts: 62000 | #Constraints: 40109
124.35/124.72 c #Conflicts: 63000 | #Constraints: 41109
124.35/124.72 c #Conflicts: 64000 | #Constraints: 42109
124.35/124.72 c #Conflicts: 65000 | #Constraints: 43109
124.35/124.72 c INPROCESSING
124.35/124.72 c GARBAGE COLLECT
124.35/124.72 c #Conflicts: 66000 | #Constraints: 37012
124.35/124.72 c #Conflicts: 67000 | #Constraints: 38012
124.35/124.72 c #Conflicts: 68000 | #Constraints: 39012
124.35/124.72 c #Conflicts: 69000 | #Constraints: 40012
124.35/124.72 c #Conflicts: 70000 | #Constraints: 41012
124.35/124.72 c #Conflicts: 71000 | #Constraints: 42012
124.35/124.72 c #Conflicts: 72000 | #Constraints: 43012
124.35/124.72 c #Conflicts: 73000 | #Constraints: 44012
264.09/264.88 c #Conflicts: 74000 | #Constraints: 45012
264.09/264.88 c #Conflicts: 75000 | #Constraints: 46012
264.09/264.88 c #Conflicts: 76000 | #Constraints: 47012
264.09/264.88 c #Conflicts: 77000 | #Constraints: 48012
264.09/264.88 c #Conflicts: 78000 | #Constraints: 49012
264.09/264.88 c #Conflicts: 79000 | #Constraints: 50012
264.09/264.88 c #Conflicts: 80000 | #Constraints: 51012
264.09/264.88 c #Conflicts: 81000 | #Constraints: 52012
264.09/264.88 c #Conflicts: 82000 | #Constraints: 53012
264.09/264.88 c INPROCESSING
264.09/264.88 c GARBAGE COLLECT
264.09/264.88 c #Conflicts: 83000 | #Constraints: 39358
264.09/264.88 c #Conflicts: 84000 | #Constraints: 40358
264.09/264.88 c #Conflicts: 85000 | #Constraints: 41358
264.09/264.88 c #Conflicts: 86000 | #Constraints: 42358
264.09/264.88 c #Conflicts: 87000 | #Constraints: 43358
264.09/264.88 c #Conflicts: 88000 | #Constraints: 44358
264.09/264.88 c #Conflicts: 89000 | #Constraints: 45358
264.09/264.88 c #Conflicts: 90000 | #Constraints: 46358
264.09/264.88 c #Conflicts: 91000 | #Constraints: 47358
264.09/264.88 c #Conflicts: 92000 | #Constraints: 48358
264.09/264.88 c #Conflicts: 93000 | #Constraints: 49358
264.09/264.88 c #Conflicts: 94000 | #Constraints: 50358
264.09/264.88 c #Conflicts: 95000 | #Constraints: 51358
264.09/264.88 c #Conflicts: 96000 | #Constraints: 52358
264.09/264.88 c #Conflicts: 97000 | #Constraints: 53358
264.09/264.88 c #Conflicts: 98000 | #Constraints: 54358
264.09/264.88 c #Conflicts: 99000 | #Constraints: 55358
264.09/264.88 c #Conflicts: 100000 | #Constraints: 56358
264.09/264.88 c #Conflicts: 101000 | #Constraints: 57359
264.09/264.88 c #Conflicts: 102000 | #Constraints: 58359
264.09/264.88 c INPROCESSING
264.09/264.88 c GARBAGE COLLECT
264.09/264.88 c #Conflicts: 103000 | #Constraints: 42363
264.09/264.88 c #Conflicts: 104000 | #Constraints: 43363
264.09/264.88 c #Conflicts: 105000 | #Constraints: 44363
264.09/264.88 c #Conflicts: 106000 | #Constraints: 45363
264.09/264.88 c #Conflicts: 107000 | #Constraints: 46363
264.09/264.88 c #Conflicts: 108000 | #Constraints: 47363
264.09/264.88 c #Conflicts: 109000 | #Constraints: 48363
264.09/264.88 c #Conflicts: 110000 | #Constraints: 49363
264.09/264.88 c #Conflicts: 111000 | #Constraints: 50363
264.09/264.88 c #Conflicts: 112000 | #Constraints: 51363
264.09/264.88 c #Conflicts: 113000 | #Constraints: 52363
264.09/264.88 c #Conflicts: 114000 | #Constraints: 53363
264.09/264.88 c #Conflicts: 115000 | #Constraints: 54363
264.09/264.88 c #Conflicts: 116000 | #Constraints: 55363
264.09/264.88 c #Conflicts: 117000 | #Constraints: 56363
264.09/264.88 c #Conflicts: 118000 | #Constraints: 57363
264.09/264.88 c #Conflicts: 119000 | #Constraints: 58363
264.09/264.88 c #Conflicts: 120000 | #Constraints: 59363
264.09/264.88 c #Conflicts: 121000 | #Constraints: 60363
264.09/264.88 c #Conflicts: 122000 | #Constraints: 61363
264.09/264.88 c #Conflicts: 123000 | #Constraints: 62363
264.09/264.88 c INPROCESSING
264.09/264.88 c GARBAGE COLLECT
264.09/264.88 c #Conflicts: 124000 | #Constraints: 44254
264.09/264.88 c #Conflicts: 125000 | #Constraints: 45254
264.09/264.88 c #Conflicts: 126000 | #Constraints: 46254
264.09/264.88 c #Conflicts: 127000 | #Constraints: 47254
264.09/264.88 c #Conflicts: 128000 | #Constraints: 48254
264.09/264.88 c #Conflicts: 129000 | #Constraints: 49254
264.09/264.88 c #Conflicts: 130000 | #Constraints: 50254
264.09/264.88 c #Conflicts: 131000 | #Constraints: 51254
264.09/264.88 c #Conflicts: 132000 | #Constraints: 52254
264.09/264.88 c #Conflicts: 133000 | #Constraints: 53254
264.09/264.88 c #Conflicts: 134000 | #Constraints: 54254
264.09/264.88 c #Conflicts: 135000 | #Constraints: 55254
264.09/264.88 c #Conflicts: 136000 | #Constraints: 56254
264.09/264.88 c #Conflicts: 137000 | #Constraints: 57254
264.09/264.88 c #Conflicts: 138000 | #Constraints: 58254
264.09/264.88 c #Conflicts: 139000 | #Constraints: 59254
264.09/264.88 c #Conflicts: 140000 | #Constraints: 60254
264.09/264.88 c #Conflicts: 141000 | #Constraints: 61254
264.09/264.88 c #Conflicts: 142000 | #Constraints: 62254
264.09/264.88 c #Conflicts: 143000 | #Constraints: 63254
264.09/264.88 c #Conflicts: 144000 | #Constraints: 64254
264.09/264.88 c #Conflicts: 145000 | #Constraints: 65254
264.09/264.88 c #Conflicts: 146000 | #Constraints: 66254
264.09/264.88 c #Conflicts: 147000 | #Constraints: 67254
264.09/264.88 c INPROCESSING
264.09/264.88 c GARBAGE COLLECT
264.09/264.88 c #Conflicts: 148000 | #Constraints: 47067
264.09/264.88 c #Conflicts: 149000 | #Constraints: 48067
415.68/416.85 c #Conflicts: 150000 | #Constraints: 49067
415.68/416.85 c #Conflicts: 151000 | #Constraints: 50067
415.68/416.85 c #Conflicts: 152000 | #Constraints: 51067
415.68/416.85 c #Conflicts: 153000 | #Constraints: 52067
415.68/416.85 c #Conflicts: 154000 | #Constraints: 53067
415.68/416.85 c #Conflicts: 155000 | #Constraints: 54067
415.68/416.85 c #Conflicts: 156000 | #Constraints: 55067
415.68/416.85 c #Conflicts: 157000 | #Constraints: 56067
415.68/416.85 c #Conflicts: 158000 | #Constraints: 57067
415.68/416.85 c #Conflicts: 159000 | #Constraints: 58067
415.68/416.85 c #Conflicts: 160000 | #Constraints: 59067
415.68/416.85 c #Conflicts: 161000 | #Constraints: 60067
415.68/416.85 c #Conflicts: 162000 | #Constraints: 61067
415.68/416.85 c #Conflicts: 163000 | #Constraints: 62067
415.68/416.85 c #Conflicts: 164000 | #Constraints: 63067
415.68/416.85 c #Conflicts: 165000 | #Constraints: 64067
415.68/416.85 c #Conflicts: 166000 | #Constraints: 65067
415.68/416.85 c #Conflicts: 167000 | #Constraints: 66067
415.68/416.85 c #Conflicts: 168000 | #Constraints: 67067
415.68/416.85 c #Conflicts: 169000 | #Constraints: 68067
415.68/416.85 c #Conflicts: 170000 | #Constraints: 69067
415.68/416.85 c #Conflicts: 171000 | #Constraints: 70067
415.68/416.85 c #Conflicts: 172000 | #Constraints: 71067
415.68/416.85 c INPROCESSING
415.68/416.85 c GARBAGE COLLECT
415.68/416.85 c #Conflicts: 173000 | #Constraints: 48801
415.68/416.85 c #Conflicts: 174000 | #Constraints: 49801
415.68/416.85 c #Conflicts: 175000 | #Constraints: 50801
415.68/416.85 c #Conflicts: 176000 | #Constraints: 51801
415.68/416.85 c #Conflicts: 177000 | #Constraints: 52801
415.68/416.85 c #Conflicts: 178000 | #Constraints: 53801
415.68/416.85 c #Conflicts: 179000 | #Constraints: 54801
415.68/416.85 c #Conflicts: 180000 | #Constraints: 55801
415.68/416.85 c #Conflicts: 181000 | #Constraints: 56801
415.68/416.85 c #Conflicts: 182000 | #Constraints: 57801
415.68/416.85 c #Conflicts: 183000 | #Constraints: 58801
415.68/416.85 c #Conflicts: 184000 | #Constraints: 59801
415.68/416.85 c #Conflicts: 185000 | #Constraints: 60801
415.68/416.85 c #Conflicts: 186000 | #Constraints: 61801
415.68/416.85 c #Conflicts: 187000 | #Constraints: 62801
415.68/416.85 c #Conflicts: 188000 | #Constraints: 63801
415.68/416.85 c #Conflicts: 189000 | #Constraints: 64801
415.68/416.85 c #Conflicts: 190000 | #Constraints: 65801
415.68/416.85 c #Conflicts: 191000 | #Constraints: 66801
415.68/416.85 c #Conflicts: 192000 | #Constraints: 67801
415.68/416.85 c #Conflicts: 193000 | #Constraints: 68801
415.68/416.85 c #Conflicts: 194000 | #Constraints: 69801
415.68/416.85 c #Conflicts: 195000 | #Constraints: 70801
415.68/416.85 c #Conflicts: 196000 | #Constraints: 71801
415.68/416.85 c #Conflicts: 197000 | #Constraints: 72801
415.68/416.85 c #Conflicts: 198000 | #Constraints: 73801
415.68/416.85 c #Conflicts: 199000 | #Constraints: 74801
415.68/416.85 c #Conflicts: 200000 | #Constraints: 75801
415.68/416.85 c INPROCESSING
415.68/416.85 c GARBAGE COLLECT
415.68/416.85 c #Conflicts: 201000 | #Constraints: 51384
415.68/416.85 c #Conflicts: 202000 | #Constraints: 52384
415.68/416.85 c #Conflicts: 203000 | #Constraints: 53384
415.68/416.85 c #Conflicts: 204000 | #Constraints: 54384
415.68/416.85 c #Conflicts: 205000 | #Constraints: 55384
415.68/416.85 c #Conflicts: 206000 | #Constraints: 56384
415.68/416.85 c #Conflicts: 207000 | #Constraints: 57384
415.68/416.85 c #Conflicts: 208000 | #Constraints: 58384
415.68/416.85 c #Conflicts: 209000 | #Constraints: 59384
415.68/416.85 c #Conflicts: 210000 | #Constraints: 60384
415.68/416.85 c #Conflicts: 211000 | #Constraints: 61384
415.68/416.85 c #Conflicts: 212000 | #Constraints: 62384
415.68/416.85 c #Conflicts: 213000 | #Constraints: 63384
415.68/416.85 c #Conflicts: 214000 | #Constraints: 64384
415.68/416.85 c #Conflicts: 215000 | #Constraints: 65384
415.68/416.85 c #Conflicts: 216000 | #Constraints: 66384
415.68/416.85 c #Conflicts: 217000 | #Constraints: 67384
415.68/416.85 c #Conflicts: 218000 | #Constraints: 68384
415.68/416.85 c #Conflicts: 219000 | #Constraints: 69384
415.68/416.85 c #Conflicts: 220000 | #Constraints: 70384
415.68/416.85 c #Conflicts: 221000 | #Constraints: 71384
415.68/416.85 c #Conflicts: 222000 | #Constraints: 72384
415.68/416.85 c #Conflicts: 223000 | #Constraints: 73384
415.68/416.85 c #Conflicts: 224000 | #Constraints: 74384
415.68/416.85 c #Conflicts: 225000 | #Constraints: 75385
415.68/416.85 c #Conflicts: 226000 | #Constraints: 76385
415.68/416.85 c #Conflicts: 227000 | #Constraints: 77385
596.17/597.83 c #Conflicts: 228000 | #Constraints: 78385
596.17/597.83 c #Conflicts: 229000 | #Constraints: 79385
596.17/597.83 c INPROCESSING
596.17/597.83 c GARBAGE COLLECT
596.17/597.83 c #Conflicts: 230000 | #Constraints: 52958
596.17/597.83 c #Conflicts: 231000 | #Constraints: 53958
596.17/597.83 c #Conflicts: 232000 | #Constraints: 54958
596.17/597.83 c #Conflicts: 233000 | #Constraints: 55958
596.17/597.83 c #Conflicts: 234000 | #Constraints: 56958
596.17/597.83 c #Conflicts: 235000 | #Constraints: 57958
596.17/597.83 c #Conflicts: 236000 | #Constraints: 58958
596.17/597.83 c #Conflicts: 237000 | #Constraints: 59958
596.17/597.83 c #Conflicts: 238000 | #Constraints: 60958
596.17/597.83 c #Conflicts: 239000 | #Constraints: 61958
596.17/597.83 c #Conflicts: 240000 | #Constraints: 62958
596.17/597.83 c #Conflicts: 241000 | #Constraints: 63958
596.17/597.83 c #Conflicts: 242000 | #Constraints: 64958
596.17/597.83 c #Conflicts: 243000 | #Constraints: 65958
596.17/597.83 c #Conflicts: 244000 | #Constraints: 66958
596.17/597.83 c #Conflicts: 245000 | #Constraints: 67958
596.17/597.83 c #Conflicts: 246000 | #Constraints: 68958
596.17/597.83 c #Conflicts: 247000 | #Constraints: 69958
596.17/597.83 c #Conflicts: 248000 | #Constraints: 70958
596.17/597.83 c #Conflicts: 249000 | #Constraints: 71958
596.17/597.83 c #Conflicts: 250000 | #Constraints: 72958
596.17/597.83 c #Conflicts: 251000 | #Constraints: 73958
596.17/597.83 c #Conflicts: 252000 | #Constraints: 74958
596.17/597.83 c #Conflicts: 253000 | #Constraints: 75958
596.17/597.83 c #Conflicts: 254000 | #Constraints: 76958
596.17/597.83 c #Conflicts: 255000 | #Constraints: 77958
596.17/597.83 c #Conflicts: 256000 | #Constraints: 78958
596.17/597.83 c #Conflicts: 257000 | #Constraints: 79958
596.17/597.83 c #Conflicts: 258000 | #Constraints: 80958
596.17/597.83 c #Conflicts: 259000 | #Constraints: 81958
596.17/597.83 c #Conflicts: 260000 | #Constraints: 82958
596.17/597.83 c #Conflicts: 261000 | #Constraints: 83958
596.17/597.83 c INPROCESSING
596.17/597.83 c GARBAGE COLLECT
596.17/597.83 c #Conflicts: 262000 | #Constraints: 55505
596.17/597.83 c #Conflicts: 263000 | #Constraints: 56505
596.17/597.83 c #Conflicts: 264000 | #Constraints: 57505
596.17/597.83 c #Conflicts: 265000 | #Constraints: 58505
596.17/597.83 c #Conflicts: 266000 | #Constraints: 59505
596.17/597.83 c #Conflicts: 267000 | #Constraints: 60505
596.17/597.83 c #Conflicts: 268000 | #Constraints: 61505
596.17/597.83 c #Conflicts: 269000 | #Constraints: 62505
596.17/597.83 c #Conflicts: 270000 | #Constraints: 63505
596.17/597.83 c #Conflicts: 271000 | #Constraints: 64505
596.17/597.83 c #Conflicts: 272000 | #Constraints: 65505
596.17/597.83 c #Conflicts: 273000 | #Constraints: 66505
596.17/597.83 c #Conflicts: 274000 | #Constraints: 67505
596.17/597.83 c #Conflicts: 275000 | #Constraints: 68505
596.17/597.83 c #Conflicts: 276000 | #Constraints: 69505
596.17/597.83 c #Conflicts: 277000 | #Constraints: 70505
596.17/597.83 c #Conflicts: 278000 | #Constraints: 71505
596.17/597.83 c #Conflicts: 279000 | #Constraints: 72505
596.17/597.83 c #Conflicts: 280000 | #Constraints: 73505
596.17/597.83 c #Conflicts: 281000 | #Constraints: 74505
596.17/597.83 c #Conflicts: 282000 | #Constraints: 75505
596.17/597.83 c #Conflicts: 283000 | #Constraints: 76505
596.17/597.83 c #Conflicts: 284000 | #Constraints: 77505
596.17/597.83 c #Conflicts: 285000 | #Constraints: 78505
596.17/597.83 c #Conflicts: 286000 | #Constraints: 79505
596.17/597.83 c #Conflicts: 287000 | #Constraints: 80505
596.17/597.83 c #Conflicts: 288000 | #Constraints: 81505
596.17/597.83 c #Conflicts: 289000 | #Constraints: 82505
596.17/597.83 c #Conflicts: 290000 | #Constraints: 83505
596.17/597.83 c #Conflicts: 291000 | #Constraints: 84505
596.17/597.83 c #Conflicts: 292000 | #Constraints: 85505
596.17/597.83 c #Conflicts: 293000 | #Constraints: 86505
596.17/597.83 c #Conflicts: 294000 | #Constraints: 87505
596.17/597.83 c INPROCESSING
596.17/597.83 c GARBAGE COLLECT
596.17/597.83 c #Conflicts: 295000 | #Constraints: 57097
596.17/597.83 c #Conflicts: 296000 | #Constraints: 58097
596.17/597.83 c #Conflicts: 297000 | #Constraints: 59097
596.17/597.83 c #Conflicts: 298000 | #Constraints: 60097
596.17/597.83 c #Conflicts: 299000 | #Constraints: 61097
596.17/597.83 c #Conflicts: 300000 | #Constraints: 62097
596.17/597.83 c #Conflicts: 301000 | #Constraints: 63097
596.17/597.83 c #Conflicts: 302000 | #Constraints: 64097
596.17/597.83 c #Conflicts: 303000 | #Constraints: 65097
596.17/597.83 c #Conflicts: 304000 | #Constraints: 66097
764.61/766.75 c #Conflicts: 305000 | #Constraints: 67097
764.61/766.75 c #Conflicts: 306000 | #Constraints: 68097
764.61/766.75 c #Conflicts: 307000 | #Constraints: 69097
764.61/766.75 c #Conflicts: 308000 | #Constraints: 70097
764.61/766.75 c #Conflicts: 309000 | #Constraints: 71097
764.61/766.75 c #Conflicts: 310000 | #Constraints: 72097
764.61/766.75 c #Conflicts: 311000 | #Constraints: 73097
764.61/766.75 c #Conflicts: 312000 | #Constraints: 74097
764.61/766.75 c #Conflicts: 313000 | #Constraints: 75097
764.61/766.75 c #Conflicts: 314000 | #Constraints: 76097
764.61/766.75 c #Conflicts: 315000 | #Constraints: 77097
764.61/766.75 c #Conflicts: 316000 | #Constraints: 78097
764.61/766.75 c #Conflicts: 317000 | #Constraints: 79097
764.61/766.75 c #Conflicts: 318000 | #Constraints: 80097
764.61/766.75 c #Conflicts: 319000 | #Constraints: 81097
764.61/766.75 c #Conflicts: 320000 | #Constraints: 82097
764.61/766.75 c #Conflicts: 321000 | #Constraints: 83097
764.61/766.75 c #Conflicts: 322000 | #Constraints: 84097
764.61/766.75 c #Conflicts: 323000 | #Constraints: 85097
764.61/766.75 c #Conflicts: 324000 | #Constraints: 86097
764.61/766.75 c #Conflicts: 325000 | #Constraints: 87097
764.61/766.75 c #Conflicts: 326000 | #Constraints: 88097
764.61/766.75 c #Conflicts: 327000 | #Constraints: 89097
764.61/766.75 c #Conflicts: 328000 | #Constraints: 90097
764.61/766.75 c #Conflicts: 329000 | #Constraints: 91097
764.61/766.75 c #Conflicts: 330000 | #Constraints: 92097
764.61/766.75 c INPROCESSING
764.61/766.75 c GARBAGE COLLECT
764.61/766.75 c #Conflicts: 331000 | #Constraints: 59678
764.61/766.75 c #Conflicts: 332000 | #Constraints: 60678
764.61/766.75 c #Conflicts: 333000 | #Constraints: 61678
764.61/766.75 c #Conflicts: 334000 | #Constraints: 62678
764.61/766.75 c #Conflicts: 335000 | #Constraints: 63678
764.61/766.75 c #Conflicts: 336000 | #Constraints: 64678
764.61/766.75 c #Conflicts: 337000 | #Constraints: 65678
764.61/766.75 c #Conflicts: 338000 | #Constraints: 66678
764.61/766.75 c #Conflicts: 339000 | #Constraints: 67678
764.61/766.75 c #Conflicts: 340000 | #Constraints: 68678
764.61/766.75 c #Conflicts: 341000 | #Constraints: 69678
764.61/766.75 c #Conflicts: 342000 | #Constraints: 70678
764.61/766.75 c #Conflicts: 343000 | #Constraints: 71678
764.61/766.75 c #Conflicts: 344000 | #Constraints: 72678
764.61/766.75 c #Conflicts: 345000 | #Constraints: 73678
764.61/766.75 c #Conflicts: 346000 | #Constraints: 74678
764.61/766.75 c #Conflicts: 347000 | #Constraints: 75678
764.61/766.75 c #Conflicts: 348000 | #Constraints: 76678
764.61/766.75 c #Conflicts: 349000 | #Constraints: 77678
764.61/766.75 c #Conflicts: 350000 | #Constraints: 78678
764.61/766.75 c #Conflicts: 351000 | #Constraints: 79678
764.61/766.75 c #Conflicts: 352000 | #Constraints: 80678
764.61/766.75 c #Conflicts: 353000 | #Constraints: 81678
764.61/766.75 c #Conflicts: 354000 | #Constraints: 82678
764.61/766.75 c #Conflicts: 355000 | #Constraints: 83678
764.61/766.75 c #Conflicts: 356000 | #Constraints: 84678
764.61/766.75 c #Conflicts: 357000 | #Constraints: 85678
764.61/766.75 c #Conflicts: 358000 | #Constraints: 86678
764.61/766.75 c #Conflicts: 359000 | #Constraints: 87678
764.61/766.75 c #Conflicts: 360000 | #Constraints: 88678
764.61/766.75 c #Conflicts: 361000 | #Constraints: 89678
764.61/766.75 c #Conflicts: 362000 | #Constraints: 90678
764.61/766.75 c #Conflicts: 363000 | #Constraints: 91678
764.61/766.75 c #Conflicts: 364000 | #Constraints: 92678
764.61/766.75 c #Conflicts: 365000 | #Constraints: 93678
764.61/766.75 c #Conflicts: 366000 | #Constraints: 94678
764.61/766.75 c #Conflicts: 367000 | #Constraints: 95678
764.61/766.75 c INPROCESSING
764.61/766.75 c GARBAGE COLLECT
764.61/766.75 c #Conflicts: 368000 | #Constraints: 61520
764.61/766.75 c #Conflicts: 369000 | #Constraints: 62520
764.61/766.75 c #Conflicts: 370000 | #Constraints: 63520
764.61/766.75 c #Conflicts: 371000 | #Constraints: 64520
764.61/766.75 c #Conflicts: 372000 | #Constraints: 65520
764.61/766.75 c #Conflicts: 373000 | #Constraints: 66520
764.61/766.75 c #Conflicts: 374000 | #Constraints: 67520
764.61/766.75 c #Conflicts: 375000 | #Constraints: 68520
764.61/766.75 c #Conflicts: 376000 | #Constraints: 69520
764.61/766.75 c #Conflicts: 377000 | #Constraints: 70520
764.61/766.75 c #Conflicts: 378000 | #Constraints: 71520
764.61/766.75 c #Conflicts: 379000 | #Constraints: 72520
764.61/766.75 c #Conflicts: 380000 | #Constraints: 73520
764.61/766.75 c #Conflicts: 381000 | #Constraints: 74520
917.40/919.92 c #Conflicts: 382000 | #Constraints: 75520
917.40/919.92 c #Conflicts: 383000 | #Constraints: 76520
917.40/919.92 c #Conflicts: 384000 | #Constraints: 77520
917.40/919.92 c #Conflicts: 385000 | #Constraints: 78520
917.40/919.92 c #Conflicts: 386000 | #Constraints: 79520
917.40/919.92 c #Conflicts: 387000 | #Constraints: 80520
917.40/919.92 c #Conflicts: 388000 | #Constraints: 81520
917.40/919.92 c #Conflicts: 389000 | #Constraints: 82520
917.40/919.92 c #Conflicts: 390000 | #Constraints: 83520
917.40/919.92 c #Conflicts: 391000 | #Constraints: 84520
917.40/919.92 c #Conflicts: 392000 | #Constraints: 85520
917.40/919.92 c #Conflicts: 393000 | #Constraints: 86520
917.40/919.92 c #Conflicts: 394000 | #Constraints: 87520
917.40/919.92 c #Conflicts: 395000 | #Constraints: 88520
917.40/919.92 c #Conflicts: 396000 | #Constraints: 89520
917.40/919.92 c #Conflicts: 397000 | #Constraints: 90520
917.40/919.92 c #Conflicts: 398000 | #Constraints: 91520
917.40/919.92 c #Conflicts: 399000 | #Constraints: 92520
917.40/919.92 c #Conflicts: 400000 | #Constraints: 93520
917.40/919.92 c #Conflicts: 401000 | #Constraints: 94520
917.40/919.92 c #Conflicts: 402000 | #Constraints: 95520
917.40/919.92 c #Conflicts: 403000 | #Constraints: 96520
917.40/919.92 c #Conflicts: 404000 | #Constraints: 97520
917.40/919.92 c #Conflicts: 405000 | #Constraints: 98520
917.40/919.92 c #Conflicts: 406000 | #Constraints: 99520
917.40/919.92 c #Conflicts: 407000 | #Constraints: 100520
917.40/919.92 c INPROCESSING
917.40/919.92 c GARBAGE COLLECT
917.40/919.92 c #Conflicts: 408000 | #Constraints: 64255
917.40/919.92 c #Conflicts: 409000 | #Constraints: 65255
917.40/919.92 c #Conflicts: 410000 | #Constraints: 66255
917.40/919.92 c #Conflicts: 411000 | #Constraints: 67255
917.40/919.92 c #Conflicts: 412000 | #Constraints: 68255
917.40/919.92 c #Conflicts: 413000 | #Constraints: 69255
917.40/919.92 c #Conflicts: 414000 | #Constraints: 70255
917.40/919.92 c #Conflicts: 415000 | #Constraints: 71255
917.40/919.92 c #Conflicts: 416000 | #Constraints: 72255
917.40/919.92 c #Conflicts: 417000 | #Constraints: 73255
917.40/919.92 c #Conflicts: 418000 | #Constraints: 74255
917.40/919.92 c #Conflicts: 419000 | #Constraints: 75255
917.40/919.92 c #Conflicts: 420000 | #Constraints: 76255
917.40/919.92 c #Conflicts: 421000 | #Constraints: 77255
917.40/919.92 c #Conflicts: 422000 | #Constraints: 78255
917.40/919.92 c #Conflicts: 423000 | #Constraints: 79255
917.40/919.92 c #Conflicts: 424000 | #Constraints: 80255
917.40/919.92 c #Conflicts: 425000 | #Constraints: 81255
917.40/919.92 c #Conflicts: 426000 | #Constraints: 82255
917.40/919.92 c #Conflicts: 427000 | #Constraints: 83255
917.40/919.92 c #Conflicts: 428000 | #Constraints: 84255
917.40/919.92 c #Conflicts: 429000 | #Constraints: 85255
917.40/919.92 c #Conflicts: 430000 | #Constraints: 86255
917.40/919.92 c #Conflicts: 431000 | #Constraints: 87255
917.40/919.92 c #Conflicts: 432000 | #Constraints: 88255
917.40/919.92 c #Conflicts: 433000 | #Constraints: 89255
917.40/919.92 c #Conflicts: 434000 | #Constraints: 90255
917.40/919.92 c #Conflicts: 435000 | #Constraints: 91255
917.40/919.92 c #Conflicts: 436000 | #Constraints: 92255
917.40/919.92 c #Conflicts: 437000 | #Constraints: 93255
917.40/919.92 c #Conflicts: 438000 | #Constraints: 94255
917.40/919.92 c #Conflicts: 439000 | #Constraints: 95255
917.40/919.92 c #Conflicts: 440000 | #Constraints: 96255
917.40/919.92 c #Conflicts: 441000 | #Constraints: 97255
917.40/919.92 c #Conflicts: 442000 | #Constraints: 98255
917.40/919.92 c #Conflicts: 443000 | #Constraints: 99255
917.40/919.92 c #Conflicts: 444000 | #Constraints: 100255
917.40/919.92 c #Conflicts: 445000 | #Constraints: 101255
917.40/919.92 c #Conflicts: 446000 | #Constraints: 102255
917.40/919.92 c #Conflicts: 447000 | #Constraints: 103255
917.40/919.92 c #Conflicts: 448000 | #Constraints: 104255
917.40/919.92 c INPROCESSING
917.40/919.92 c GARBAGE COLLECT
917.40/919.92 c #Conflicts: 449000 | #Constraints: 65728
917.40/919.92 c #Conflicts: 450000 | #Constraints: 66728
917.40/919.92 c #Conflicts: 451000 | #Constraints: 67728
917.40/919.92 c #Conflicts: 452000 | #Constraints: 68728
917.40/919.92 c #Conflicts: 453000 | #Constraints: 69728
917.40/919.92 c #Conflicts: 454000 | #Constraints: 70728
917.40/919.92 c #Conflicts: 455000 | #Constraints: 71728
917.40/919.92 c #Conflicts: 456000 | #Constraints: 72728
917.40/919.92 c #Conflicts: 457000 | #Constraints: 73728
917.40/919.92 c #Conflicts: 458000 | #Constraints: 74728
917.40/919.92 c #Conflicts: 459000 | #Constraints: 75728
1148.50/1151.67 c #Conflicts: 460000 | #Constraints: 76728
1148.50/1151.67 c #Conflicts: 461000 | #Constraints: 77728
1148.50/1151.67 c #Conflicts: 462000 | #Constraints: 78728
1148.50/1151.67 c #Conflicts: 463000 | #Constraints: 79728
1148.50/1151.67 c #Conflicts: 464000 | #Constraints: 80728
1148.50/1151.67 c #Conflicts: 465000 | #Constraints: 81728
1148.50/1151.67 c #Conflicts: 466000 | #Constraints: 82728
1148.50/1151.67 c #Conflicts: 467000 | #Constraints: 83728
1148.50/1151.67 c #Conflicts: 468000 | #Constraints: 84728
1148.50/1151.67 c #Conflicts: 469000 | #Constraints: 85728
1148.50/1151.67 c #Conflicts: 470000 | #Constraints: 86728
1148.50/1151.67 c #Conflicts: 471000 | #Constraints: 87728
1148.50/1151.67 c #Conflicts: 472000 | #Constraints: 88728
1148.50/1151.67 c #Conflicts: 473000 | #Constraints: 89728
1148.50/1151.67 c #Conflicts: 474000 | #Constraints: 90728
1148.50/1151.67 c #Conflicts: 475000 | #Constraints: 91728
1148.50/1151.67 c #Conflicts: 476000 | #Constraints: 92728
1148.50/1151.67 c #Conflicts: 477000 | #Constraints: 93728
1148.50/1151.67 c #Conflicts: 478000 | #Constraints: 94728
1148.50/1151.67 c #Conflicts: 479000 | #Constraints: 95728
1148.50/1151.67 c #Conflicts: 480000 | #Constraints: 96728
1148.50/1151.67 c #Conflicts: 481000 | #Constraints: 97728
1148.50/1151.67 c #Conflicts: 482000 | #Constraints: 98728
1148.50/1151.67 c #Conflicts: 483000 | #Constraints: 99728
1148.50/1151.67 c #Conflicts: 484000 | #Constraints: 100728
1148.50/1151.67 c #Conflicts: 485000 | #Constraints: 101728
1148.50/1151.67 c #Conflicts: 486000 | #Constraints: 102728
1148.50/1151.67 c #Conflicts: 487000 | #Constraints: 103728
1148.50/1151.67 c #Conflicts: 488000 | #Constraints: 104728
1148.50/1151.67 c #Conflicts: 489000 | #Constraints: 105728
1148.50/1151.67 c #Conflicts: 490000 | #Constraints: 106728
1148.50/1151.67 c #Conflicts: 491000 | #Constraints: 107728
1148.50/1151.67 c #Conflicts: 492000 | #Constraints: 108728
1148.50/1151.67 c INPROCESSING
1148.50/1151.67 c GARBAGE COLLECT
1148.50/1151.67 c #Conflicts: 493000 | #Constraints: 68272
1148.50/1151.67 c #Conflicts: 494000 | #Constraints: 69272
1148.50/1151.67 c #Conflicts: 495000 | #Constraints: 70272
1148.50/1151.67 c #Conflicts: 496000 | #Constraints: 71272
1148.50/1151.67 c #Conflicts: 497000 | #Constraints: 72272
1148.50/1151.67 c #Conflicts: 498000 | #Constraints: 73272
1148.50/1151.67 c #Conflicts: 499000 | #Constraints: 74272
1148.50/1151.67 c #Conflicts: 500000 | #Constraints: 75272
1148.50/1151.67 c #Conflicts: 501000 | #Constraints: 76272
1148.50/1151.67 c #Conflicts: 502000 | #Constraints: 77272
1148.50/1151.67 c #Conflicts: 503000 | #Constraints: 78272
1148.50/1151.67 c #Conflicts: 504000 | #Constraints: 79272
1148.50/1151.67 c #Conflicts: 505000 | #Constraints: 80272
1148.50/1151.67 c #Conflicts: 506000 | #Constraints: 81272
1148.50/1151.67 c #Conflicts: 507000 | #Constraints: 82272
1148.50/1151.67 c #Conflicts: 508000 | #Constraints: 83272
1148.50/1151.67 c #Conflicts: 509000 | #Constraints: 84272
1148.50/1151.67 c #Conflicts: 510000 | #Constraints: 85272
1148.50/1151.67 c #Conflicts: 511000 | #Constraints: 86272
1148.50/1151.67 c #Conflicts: 512000 | #Constraints: 87272
1148.50/1151.67 c #Conflicts: 513000 | #Constraints: 88272
1148.50/1151.67 c #Conflicts: 514000 | #Constraints: 89272
1148.50/1151.67 c #Conflicts: 515000 | #Constraints: 90272
1148.50/1151.67 c #Conflicts: 516000 | #Constraints: 91272
1148.50/1151.67 c #Conflicts: 517000 | #Constraints: 92272
1148.50/1151.67 c #Conflicts: 518000 | #Constraints: 93272
1148.50/1151.67 c #Conflicts: 519000 | #Constraints: 94272
1148.50/1151.67 c #Conflicts: 520000 | #Constraints: 95272
1148.50/1151.67 c #Conflicts: 521000 | #Constraints: 96272
1148.50/1151.67 c #Conflicts: 522000 | #Constraints: 97272
1148.50/1151.67 c #Conflicts: 523000 | #Constraints: 98272
1148.50/1151.67 c #Conflicts: 524000 | #Constraints: 99272
1148.50/1151.67 c #Conflicts: 525000 | #Constraints: 100272
1148.50/1151.67 c #Conflicts: 526000 | #Constraints: 101272
1148.50/1151.67 c #Conflicts: 527000 | #Constraints: 102272
1148.50/1151.67 c #Conflicts: 528000 | #Constraints: 103272
1148.50/1151.67 c #Conflicts: 529000 | #Constraints: 104272
1148.50/1151.67 c #Conflicts: 530000 | #Constraints: 105272
1148.50/1151.67 c #Conflicts: 531000 | #Constraints: 106272
1148.50/1151.67 c #Conflicts: 532000 | #Constraints: 107272
1148.50/1151.67 c #Conflicts: 533000 | #Constraints: 108272
1148.50/1151.67 c #Conflicts: 534000 | #Constraints: 109272
1148.50/1151.67 c #Conflicts: 535000 | #Constraints: 110272
1148.50/1151.67 c #Conflicts: 536000 | #Constraints: 111272
1148.50/1151.67 c #Conflicts: 537000 | #Constraints: 112272
1154.19/1157.35 c INPROCESSING
1154.19/1157.35 c GARBAGE COLLECT
1154.19/1157.35 c rational objective 194
1290.43/1293.91 c #Conflicts: 538000 | #Constraints: 69683
1290.43/1293.91 c #Conflicts: 539000 | #Constraints: 70683
1290.43/1293.91 c #Conflicts: 540000 | #Constraints: 71683
1290.43/1293.91 c #Conflicts: 541000 | #Constraints: 72683
1290.43/1293.91 c #Conflicts: 542000 | #Constraints: 73683
1290.43/1293.91 c #Conflicts: 543000 | #Constraints: 74683
1290.43/1293.91 c #Conflicts: 544000 | #Constraints: 75683
1290.43/1293.91 c #Conflicts: 545000 | #Constraints: 76683
1290.43/1293.91 c #Conflicts: 546000 | #Constraints: 77683
1290.43/1293.91 c #Conflicts: 547000 | #Constraints: 78683
1290.43/1293.91 c #Conflicts: 548000 | #Constraints: 79683
1290.43/1293.91 c #Conflicts: 549000 | #Constraints: 80683
1290.43/1293.91 c #Conflicts: 550000 | #Constraints: 81683
1290.43/1293.91 c #Conflicts: 551000 | #Constraints: 82683
1290.43/1293.91 c #Conflicts: 552000 | #Constraints: 83683
1290.43/1293.91 c #Conflicts: 553000 | #Constraints: 84683
1290.43/1293.91 c #Conflicts: 554000 | #Constraints: 85683
1290.43/1293.91 c #Conflicts: 555000 | #Constraints: 86683
1290.43/1293.91 c #Conflicts: 556000 | #Constraints: 87683
1290.43/1293.91 c #Conflicts: 557000 | #Constraints: 88683
1290.43/1293.91 c #Conflicts: 558000 | #Constraints: 89683
1290.43/1293.91 c #Conflicts: 559000 | #Constraints: 90683
1290.43/1293.91 c #Conflicts: 560000 | #Constraints: 91683
1290.43/1293.91 c #Conflicts: 561000 | #Constraints: 92683
1290.43/1293.91 c #Conflicts: 562000 | #Constraints: 93683
1290.43/1293.91 c #Conflicts: 563000 | #Constraints: 94683
1290.43/1293.91 c #Conflicts: 564000 | #Constraints: 95683
1290.43/1293.91 c #Conflicts: 565000 | #Constraints: 96683
1290.43/1293.91 c #Conflicts: 566000 | #Constraints: 97683
1290.43/1293.91 c #Conflicts: 567000 | #Constraints: 98683
1290.43/1293.91 c #Conflicts: 568000 | #Constraints: 99683
1290.43/1293.91 c #Conflicts: 569000 | #Constraints: 100683
1290.43/1293.91 c #Conflicts: 570000 | #Constraints: 101683
1290.43/1293.91 c #Conflicts: 571000 | #Constraints: 102683
1290.43/1293.91 c #Conflicts: 572000 | #Constraints: 103683
1290.43/1293.91 c #Conflicts: 573000 | #Constraints: 104683
1290.43/1293.91 c #Conflicts: 574000 | #Constraints: 105683
1290.43/1293.91 c #Conflicts: 575000 | #Constraints: 106683
1290.43/1293.91 c #Conflicts: 576000 | #Constraints: 107683
1290.43/1293.91 c #Conflicts: 577000 | #Constraints: 108683
1290.43/1293.91 c #Conflicts: 578000 | #Constraints: 109683
1290.43/1293.91 c #Conflicts: 579000 | #Constraints: 110683
1290.43/1293.91 c #Conflicts: 580000 | #Constraints: 111683
1290.43/1293.91 c #Conflicts: 581000 | #Constraints: 112683
1290.43/1293.91 c #Conflicts: 582000 | #Constraints: 113683
1290.43/1293.91 c #Conflicts: 583000 | #Constraints: 114683
1290.43/1293.91 c #Conflicts: 584000 | #Constraints: 115683
1290.43/1293.91 c #Conflicts: 585000 | #Constraints: 116683
1290.43/1293.91 c INPROCESSING
1290.43/1293.91 c GARBAGE COLLECT
1290.43/1293.91 c rational objective 194
1483.62/1487.68 c #Conflicts: 586000 | #Constraints: 72278
1483.62/1487.68 c #Conflicts: 587000 | #Constraints: 73278
1483.62/1487.68 c #Conflicts: 588000 | #Constraints: 74278
1483.62/1487.68 c #Conflicts: 589000 | #Constraints: 75278
1483.62/1487.68 c #Conflicts: 590000 | #Constraints: 76278
1483.62/1487.68 c #Conflicts: 591000 | #Constraints: 77278
1483.62/1487.68 c #Conflicts: 592000 | #Constraints: 78278
1483.62/1487.68 c #Conflicts: 593000 | #Constraints: 79278
1483.62/1487.68 c #Conflicts: 594000 | #Constraints: 80278
1483.62/1487.68 c #Conflicts: 595000 | #Constraints: 81278
1483.62/1487.68 c #Conflicts: 596000 | #Constraints: 82278
1483.62/1487.68 c #Conflicts: 597000 | #Constraints: 83278
1483.62/1487.68 c #Conflicts: 598000 | #Constraints: 84278
1483.62/1487.68 c #Conflicts: 599000 | #Constraints: 85278
1483.62/1487.68 c #Conflicts: 600000 | #Constraints: 86278
1483.62/1487.68 c #Conflicts: 601000 | #Constraints: 87278
1483.62/1487.68 c #Conflicts: 602000 | #Constraints: 88278
1483.62/1487.68 c #Conflicts: 603000 | #Constraints: 89278
1483.62/1487.68 c #Conflicts: 604000 | #Constraints: 90278
1483.62/1487.68 c #Conflicts: 605000 | #Constraints: 91278
1483.62/1487.68 c #Conflicts: 606000 | #Constraints: 92278
1483.62/1487.68 c #Conflicts: 607000 | #Constraints: 93278
1483.62/1487.68 c #Conflicts: 608000 | #Constraints: 94278
1483.62/1487.68 c #Conflicts: 609000 | #Constraints: 95278
1483.62/1487.68 c #Conflicts: 610000 | #Constraints: 96278
1483.62/1487.68 c #Conflicts: 611000 | #Constraints: 97278
1483.62/1487.68 c #Conflicts: 612000 | #Constraints: 98278
1483.62/1487.68 c #Conflicts: 613000 | #Constraints: 99278
1483.62/1487.68 c #Conflicts: 614000 | #Constraints: 100278
1483.62/1487.68 c #Conflicts: 615000 | #Constraints: 101278
1483.62/1487.68 c #Conflicts: 616000 | #Constraints: 102278
1483.62/1487.68 c #Conflicts: 617000 | #Constraints: 103278
1483.62/1487.68 c #Conflicts: 618000 | #Constraints: 104278
1483.62/1487.68 c #Conflicts: 619000 | #Constraints: 105278
1483.62/1487.68 c #Conflicts: 620000 | #Constraints: 106278
1483.62/1487.68 c #Conflicts: 621000 | #Constraints: 107278
1483.62/1487.68 c #Conflicts: 622000 | #Constraints: 108278
1483.62/1487.68 c #Conflicts: 623000 | #Constraints: 109278
1483.62/1487.68 c #Conflicts: 624000 | #Constraints: 110278
1483.62/1487.68 c #Conflicts: 625000 | #Constraints: 111278
1483.62/1487.68 c #Conflicts: 626000 | #Constraints: 112278
1483.62/1487.68 c #Conflicts: 627000 | #Constraints: 113278
1483.62/1487.68 c #Conflicts: 628000 | #Constraints: 114278
1483.62/1487.68 c #Conflicts: 629000 | #Constraints: 115278
1483.62/1487.68 c #Conflicts: 630000 | #Constraints: 116278
1483.62/1487.68 c #Conflicts: 631000 | #Constraints: 117278
1483.62/1487.68 c #Conflicts: 632000 | #Constraints: 118278
1483.62/1487.68 c #Conflicts: 633000 | #Constraints: 119278
1483.62/1487.68 c #Conflicts: 634000 | #Constraints: 120278
1483.62/1487.68 c INPROCESSING
1483.62/1487.68 c GARBAGE COLLECT
1483.62/1487.68 c #Conflicts: 635000 | #Constraints: 73869
1483.62/1487.68 c #Conflicts: 636000 | #Constraints: 74869
1483.62/1487.68 c #Conflicts: 637000 | #Constraints: 75869
1483.62/1487.68 c #Conflicts: 638000 | #Constraints: 76869
1483.62/1487.68 c #Conflicts: 639000 | #Constraints: 77869
1483.62/1487.68 c #Conflicts: 640000 | #Constraints: 78869
1483.62/1487.68 c #Conflicts: 641000 | #Constraints: 79869
1483.62/1487.68 c #Conflicts: 642000 | #Constraints: 80869
1483.62/1487.68 c #Conflicts: 643000 | #Constraints: 81869
1483.62/1487.68 c #Conflicts: 644000 | #Constraints: 82869
1483.62/1487.68 c #Conflicts: 645000 | #Constraints: 83869
1483.62/1487.68 c #Conflicts: 646000 | #Constraints: 84869
1483.62/1487.68 c #Conflicts: 647000 | #Constraints: 85869
1483.62/1487.68 c #Conflicts: 648000 | #Constraints: 86869
1483.62/1487.68 c #Conflicts: 649000 | #Constraints: 87869
1483.62/1487.68 c #Conflicts: 650000 | #Constraints: 88869
1483.62/1487.68 c #Conflicts: 651000 | #Constraints: 89869
1483.62/1487.68 c #Conflicts: 652000 | #Constraints: 90869
1483.62/1487.68 c #Conflicts: 653000 | #Constraints: 91869
1483.62/1487.68 c #Conflicts: 654000 | #Constraints: 92869
1483.62/1487.68 c #Conflicts: 655000 | #Constraints: 93869
1483.62/1487.68 c #Conflicts: 656000 | #Constraints: 94869
1483.62/1487.68 c #Conflicts: 657000 | #Constraints: 95869
1483.62/1487.68 c #Conflicts: 658000 | #Constraints: 96869
1483.62/1487.68 c #Conflicts: 659000 | #Constraints: 97869
1483.62/1487.68 c #Conflicts: 660000 | #Constraints: 98869
1483.62/1487.68 c #Conflicts: 661000 | #Constraints: 99869
1483.62/1487.68 c #Conflicts: 662000 | #Constraints: 100869
1483.62/1487.68 c #Conflicts: 663000 | #Constraints: 101869
1483.62/1487.68 c #Conflicts: 664000 | #Constraints: 102869
1586.54/1590.82 c #Conflicts: 665000 | #Constraints: 103869
1586.54/1590.82 c #Conflicts: 666000 | #Constraints: 104869
1586.54/1590.82 c #Conflicts: 667000 | #Constraints: 105869
1586.54/1590.82 c #Conflicts: 668000 | #Constraints: 106869
1586.54/1590.82 c #Conflicts: 669000 | #Constraints: 107869
1586.54/1590.82 c #Conflicts: 670000 | #Constraints: 108869
1586.54/1590.82 c #Conflicts: 671000 | #Constraints: 109869
1586.54/1590.82 c #Conflicts: 672000 | #Constraints: 110869
1586.54/1590.82 c #Conflicts: 673000 | #Constraints: 111869
1586.54/1590.82 c #Conflicts: 674000 | #Constraints: 112869
1586.54/1590.82 c #Conflicts: 675000 | #Constraints: 113869
1586.54/1590.82 c #Conflicts: 676000 | #Constraints: 114869
1586.54/1590.82 c #Conflicts: 677000 | #Constraints: 115869
1586.54/1590.82 c #Conflicts: 678000 | #Constraints: 116869
1586.54/1590.82 c #Conflicts: 679000 | #Constraints: 117869
1586.54/1590.82 c #Conflicts: 680000 | #Constraints: 118869
1586.54/1590.82 c #Conflicts: 681000 | #Constraints: 119869
1586.54/1590.82 c #Conflicts: 682000 | #Constraints: 120869
1586.54/1590.82 c #Conflicts: 683000 | #Constraints: 121869
1586.54/1590.82 c #Conflicts: 684000 | #Constraints: 122869
1586.54/1590.82 c #Conflicts: 685000 | #Constraints: 123869
1586.54/1590.82 c #Conflicts: 686000 | #Constraints: 124869
1586.54/1590.82 c INPROCESSING
1586.54/1590.82 c GARBAGE COLLECT
1586.54/1590.82 c rational objective 194
1793.10/1797.95 c #Conflicts: 687000 | #Constraints: 76500
1793.10/1797.95 c #Conflicts: 688000 | #Constraints: 77500
1793.10/1797.95 c #Conflicts: 689000 | #Constraints: 78500
1793.10/1797.95 c #Conflicts: 690000 | #Constraints: 79500
1793.10/1797.95 c #Conflicts: 691000 | #Constraints: 80500
1793.10/1797.95 c #Conflicts: 692000 | #Constraints: 81500
1793.10/1797.95 c #Conflicts: 693000 | #Constraints: 82500
1793.10/1797.95 c #Conflicts: 694000 | #Constraints: 83500
1793.10/1797.95 c #Conflicts: 695000 | #Constraints: 84500
1793.10/1797.95 c #Conflicts: 696000 | #Constraints: 85500
1793.10/1797.95 c #Conflicts: 697000 | #Constraints: 86500
1793.10/1797.95 c #Conflicts: 698000 | #Constraints: 87500
1793.10/1797.95 c #Conflicts: 699000 | #Constraints: 88500
1793.10/1797.95 c #Conflicts: 700000 | #Constraints: 89500
1793.10/1797.95 c #Conflicts: 701000 | #Constraints: 90500
1793.10/1797.95 c #Conflicts: 702000 | #Constraints: 91500
1793.10/1797.95 c #Conflicts: 703000 | #Constraints: 92500
1793.10/1797.95 c #Conflicts: 704000 | #Constraints: 93500
1793.10/1797.95 c #Conflicts: 705000 | #Constraints: 94500
1793.10/1797.95 c #Conflicts: 706000 | #Constraints: 95500
1793.10/1797.95 c #Conflicts: 707000 | #Constraints: 96500
1793.10/1797.95 c #Conflicts: 708000 | #Constraints: 97500
1793.10/1797.95 c #Conflicts: 709000 | #Constraints: 98500
1793.10/1797.95 c #Conflicts: 710000 | #Constraints: 99500
1793.10/1797.95 c #Conflicts: 711000 | #Constraints: 100500
1793.10/1797.95 c #Conflicts: 712000 | #Constraints: 101500
1793.10/1797.95 c #Conflicts: 713000 | #Constraints: 102500
1793.10/1797.95 c #Conflicts: 714000 | #Constraints: 103500
1793.10/1797.95 c #Conflicts: 715000 | #Constraints: 104500
1793.10/1797.95 c #Conflicts: 716000 | #Constraints: 105500
1793.10/1797.95 c #Conflicts: 717000 | #Constraints: 106500
1793.10/1797.95 c #Conflicts: 718000 | #Constraints: 107500
1793.10/1797.95 c #Conflicts: 719000 | #Constraints: 108500
1793.10/1797.95 c #Conflicts: 720000 | #Constraints: 109500
1793.10/1797.95 c #Conflicts: 721000 | #Constraints: 110500
1793.10/1797.95 c #Conflicts: 722000 | #Constraints: 111500
1793.10/1797.95 c #Conflicts: 723000 | #Constraints: 112500
1793.10/1797.95 c #Conflicts: 724000 | #Constraints: 113500
1793.10/1797.95 c #Conflicts: 725000 | #Constraints: 114500
1793.10/1797.95 c #Conflicts: 726000 | #Constraints: 115500
1793.10/1797.95 c #Conflicts: 727000 | #Constraints: 116500
1793.10/1797.95 c #Conflicts: 728000 | #Constraints: 117500
1793.10/1797.95 c #Conflicts: 729000 | #Constraints: 118500
1793.10/1797.95 c #Conflicts: 730000 | #Constraints: 119500
1793.10/1797.95 c #Conflicts: 731000 | #Constraints: 120500
1793.10/1797.95 c #Conflicts: 732000 | #Constraints: 121500
1793.10/1797.95 c #Conflicts: 733000 | #Constraints: 122500
1793.10/1797.95 c #Conflicts: 734000 | #Constraints: 123500
1793.10/1797.95 c #Conflicts: 735000 | #Constraints: 124500
1793.10/1797.95 c #Conflicts: 736000 | #Constraints: 125500
1793.10/1797.95 c #Conflicts: 737000 | #Constraints: 126500
1793.10/1797.95 c #Conflicts: 738000 | #Constraints: 127500
1793.10/1797.95 c #Conflicts: 739000 | #Constraints: 128500
1793.10/1797.95 c INPROCESSING
1793.10/1797.95 c GARBAGE COLLECT
1793.10/1797.95 c #Conflicts: 740000 | #Constraints: 78238
1793.10/1797.95 c #Conflicts: 741000 | #Constraints: 79238
1793.10/1797.95 c #Conflicts: 742000 | #Constraints: 80238
1793.10/1797.95 c #Conflicts: 743000 | #Constraints: 81238
1793.10/1797.95 c #Conflicts: 744000 | #Constraints: 82238
1793.10/1797.95 c #Conflicts: 745000 | #Constraints: 83238
1793.10/1797.95 c #Conflicts: 746000 | #Constraints: 84238
1793.10/1797.95 c #Conflicts: 747000 | #Constraints: 85238
1793.10/1797.95 c #Conflicts: 748000 | #Constraints: 86238
1793.10/1797.95 c #Conflicts: 749000 | #Constraints: 87238
1793.10/1797.95 c #Conflicts: 750000 | #Constraints: 88238
1793.10/1797.95 c #Conflicts: 751000 | #Constraints: 89238
1793.10/1797.95 c #Conflicts: 752000 | #Constraints: 90238
1793.10/1797.95 c #Conflicts: 753000 | #Constraints: 91238
1793.10/1797.95 c #Conflicts: 754000 | #Constraints: 92238
1793.10/1797.95 c #Conflicts: 755000 | #Constraints: 93238
1793.10/1797.95 c #Conflicts: 756000 | #Constraints: 94238
1793.10/1797.95 c #Conflicts: 757000 | #Constraints: 95238
1793.10/1797.95 c #Conflicts: 758000 | #Constraints: 96238
1793.10/1797.95 c #Conflicts: 759000 | #Constraints: 97238
1793.10/1797.95 c #Conflicts: 760000 | #Constraints: 98238
1793.10/1797.95 c #Conflicts: 761000 | #Constraints: 99238
1793.10/1797.95 c #Conflicts: 762000 | #Constraints: 100238
1793.10/1797.95 c #Conflicts: 763000 | #Constraints: 101238
1793.10/1797.95 c #Conflicts: 764000 | #Constraints: 102238
1793.10/1797.95 c #Conflicts: 765000 | #Constraints: 103238
1983.80/1989.16 c #Conflicts: 766000 | #Constraints: 104238
1983.80/1989.16 c #Conflicts: 767000 | #Constraints: 105238
1983.80/1989.16 c #Conflicts: 768000 | #Constraints: 106238
1983.80/1989.16 c INPROCESSING
1983.80/1989.16 c GARBAGE COLLECT
1983.80/1989.16 c #Conflicts: 769000 | #Constraints: 75053
1983.80/1989.16 c #Conflicts: 770000 | #Constraints: 76053
1983.80/1989.16 c #Conflicts: 771000 | #Constraints: 77053
1983.80/1989.16 c #Conflicts: 772000 | #Constraints: 78053
1983.80/1989.16 c #Conflicts: 773000 | #Constraints: 79053
1983.80/1989.16 c #Conflicts: 774000 | #Constraints: 80053
1983.80/1989.16 c #Conflicts: 775000 | #Constraints: 81053
1983.80/1989.16 c #Conflicts: 776000 | #Constraints: 82053
1983.80/1989.16 c #Conflicts: 777000 | #Constraints: 83053
1983.80/1989.16 c #Conflicts: 778000 | #Constraints: 84053
1983.80/1989.16 c #Conflicts: 779000 | #Constraints: 85053
1983.80/1989.16 c #Conflicts: 780000 | #Constraints: 86053
1983.80/1989.16 c #Conflicts: 781000 | #Constraints: 87053
1983.80/1989.16 c #Conflicts: 782000 | #Constraints: 88053
1983.80/1989.16 c #Conflicts: 783000 | #Constraints: 89053
1983.80/1989.16 c #Conflicts: 784000 | #Constraints: 90053
1983.80/1989.16 c #Conflicts: 785000 | #Constraints: 91053
1983.80/1989.16 c #Conflicts: 786000 | #Constraints: 92053
1983.80/1989.16 c #Conflicts: 787000 | #Constraints: 93053
1983.80/1989.16 c #Conflicts: 788000 | #Constraints: 94053
1983.80/1989.16 c #Conflicts: 789000 | #Constraints: 95053
1983.80/1989.16 c #Conflicts: 790000 | #Constraints: 96053
1983.80/1989.16 c #Conflicts: 791000 | #Constraints: 97053
1983.80/1989.16 c #Conflicts: 792000 | #Constraints: 98053
1983.80/1989.16 c #Conflicts: 793000 | #Constraints: 99053
1983.80/1989.16 c #Conflicts: 794000 | #Constraints: 100053
1983.80/1989.16 c #Conflicts: 795000 | #Constraints: 101053
1983.80/1989.16 c #Conflicts: 796000 | #Constraints: 102053
1983.80/1989.16 c #Conflicts: 797000 | #Constraints: 103053
1983.80/1989.16 c #Conflicts: 798000 | #Constraints: 104053
1983.80/1989.16 c #Conflicts: 799000 | #Constraints: 105053
1983.80/1989.16 c #Conflicts: 800000 | #Constraints: 106053
1983.80/1989.16 c #Conflicts: 801000 | #Constraints: 107053
1983.80/1989.16 c #Conflicts: 802000 | #Constraints: 108053
1983.80/1989.16 c #Conflicts: 803000 | #Constraints: 109053
1983.80/1989.16 c #Conflicts: 804000 | #Constraints: 110053
1983.80/1989.16 c #Conflicts: 805000 | #Constraints: 111053
1983.80/1989.16 c #Conflicts: 806000 | #Constraints: 112053
1983.80/1989.16 c #Conflicts: 807000 | #Constraints: 113053
1983.80/1989.16 c #Conflicts: 808000 | #Constraints: 114053
1983.80/1989.16 c #Conflicts: 809000 | #Constraints: 115053
1983.80/1989.16 c #Conflicts: 810000 | #Constraints: 116053
1983.80/1989.16 c #Conflicts: 811000 | #Constraints: 117053
1983.80/1989.16 c #Conflicts: 812000 | #Constraints: 118053
1983.80/1989.16 c #Conflicts: 813000 | #Constraints: 119053
1983.80/1989.16 c #Conflicts: 814000 | #Constraints: 120053
1983.80/1989.16 c #Conflicts: 815000 | #Constraints: 121053
1983.80/1989.16 c #Conflicts: 816000 | #Constraints: 122053
1983.80/1989.16 c #Conflicts: 817000 | #Constraints: 123053
1983.80/1989.16 c #Conflicts: 818000 | #Constraints: 124053
1983.80/1989.16 c #Conflicts: 819000 | #Constraints: 125053
1983.80/1989.16 c #Conflicts: 820000 | #Constraints: 126053
1983.80/1989.16 c #Conflicts: 821000 | #Constraints: 127053
1983.80/1989.16 c #Conflicts: 822000 | #Constraints: 128053
1983.80/1989.16 c #Conflicts: 823000 | #Constraints: 129053
1983.80/1989.16 c #Conflicts: 824000 | #Constraints: 130053
1983.80/1989.16 c INPROCESSING
1983.80/1989.16 c GARBAGE COLLECT
1983.80/1989.16 c #Conflicts: 825000 | #Constraints: 78843
1983.80/1989.16 c #Conflicts: 826000 | #Constraints: 79843
1983.80/1989.16 c #Conflicts: 827000 | #Constraints: 80843
1983.80/1989.16 c #Conflicts: 828000 | #Constraints: 81843
1983.80/1989.16 c #Conflicts: 829000 | #Constraints: 82843
1983.80/1989.16 c #Conflicts: 830000 | #Constraints: 83843
1983.80/1989.16 c #Conflicts: 831000 | #Constraints: 84843
1983.80/1989.16 c #Conflicts: 832000 | #Constraints: 85843
1983.80/1989.16 c #Conflicts: 833000 | #Constraints: 86843
1983.80/1989.16 c #Conflicts: 834000 | #Constraints: 87843
1983.80/1989.16 c #Conflicts: 835000 | #Constraints: 88843
1983.80/1989.16 c #Conflicts: 836000 | #Constraints: 89843
1983.80/1989.16 c #Conflicts: 837000 | #Constraints: 90843
1983.80/1989.16 c #Conflicts: 838000 | #Constraints: 91843
1983.80/1989.16 c #Conflicts: 839000 | #Constraints: 92843
1983.80/1989.16 c #Conflicts: 840000 | #Constraints: 93843
1983.80/1989.16 c #Conflicts: 841000 | #Constraints: 94843
1983.80/1989.16 c #Conflicts: 842000 | #Constraints: 95843
2178.58/2184.45 c #Conflicts: 843000 | #Constraints: 96843
2178.58/2184.45 c #Conflicts: 844000 | #Constraints: 97843
2178.58/2184.45 c #Conflicts: 845000 | #Constraints: 98843
2178.58/2184.45 c #Conflicts: 846000 | #Constraints: 99843
2178.58/2184.45 c #Conflicts: 847000 | #Constraints: 100843
2178.58/2184.45 c #Conflicts: 848000 | #Constraints: 101843
2178.58/2184.45 c #Conflicts: 849000 | #Constraints: 102843
2178.58/2184.45 c #Conflicts: 850000 | #Constraints: 103843
2178.58/2184.45 c #Conflicts: 851000 | #Constraints: 104843
2178.58/2184.45 c #Conflicts: 852000 | #Constraints: 105843
2178.58/2184.45 c #Conflicts: 853000 | #Constraints: 106843
2178.58/2184.45 c #Conflicts: 854000 | #Constraints: 107843
2178.58/2184.45 c INPROCESSING
2178.58/2184.45 c GARBAGE COLLECT
2178.58/2184.45 c #Conflicts: 855000 | #Constraints: 77873
2178.58/2184.45 c #Conflicts: 856000 | #Constraints: 78873
2178.58/2184.45 c #Conflicts: 857000 | #Constraints: 79873
2178.58/2184.45 c #Conflicts: 858000 | #Constraints: 80873
2178.58/2184.45 c #Conflicts: 859000 | #Constraints: 81873
2178.58/2184.45 c #Conflicts: 860000 | #Constraints: 82873
2178.58/2184.45 c #Conflicts: 861000 | #Constraints: 83873
2178.58/2184.45 c #Conflicts: 862000 | #Constraints: 84873
2178.58/2184.45 c #Conflicts: 863000 | #Constraints: 85873
2178.58/2184.45 c #Conflicts: 864000 | #Constraints: 86873
2178.58/2184.45 c #Conflicts: 865000 | #Constraints: 87873
2178.58/2184.45 c #Conflicts: 866000 | #Constraints: 88873
2178.58/2184.45 c #Conflicts: 867000 | #Constraints: 89873
2178.58/2184.45 c #Conflicts: 868000 | #Constraints: 90873
2178.58/2184.45 c #Conflicts: 869000 | #Constraints: 91873
2178.58/2184.45 c #Conflicts: 870000 | #Constraints: 92873
2178.58/2184.45 c #Conflicts: 871000 | #Constraints: 93873
2178.58/2184.45 c #Conflicts: 872000 | #Constraints: 94873
2178.58/2184.45 c #Conflicts: 873000 | #Constraints: 95873
2178.58/2184.45 c #Conflicts: 874000 | #Constraints: 96873
2178.58/2184.45 c #Conflicts: 875000 | #Constraints: 97873
2178.58/2184.45 c #Conflicts: 876000 | #Constraints: 98873
2178.58/2184.45 c #Conflicts: 877000 | #Constraints: 99873
2178.58/2184.45 c #Conflicts: 878000 | #Constraints: 100873
2178.58/2184.45 c #Conflicts: 879000 | #Constraints: 101873
2178.58/2184.45 c #Conflicts: 880000 | #Constraints: 102873
2178.58/2184.45 c #Conflicts: 881000 | #Constraints: 103873
2178.58/2184.45 c #Conflicts: 882000 | #Constraints: 104873
2178.58/2184.45 c #Conflicts: 883000 | #Constraints: 105873
2178.58/2184.45 c #Conflicts: 884000 | #Constraints: 106873
2178.58/2184.45 c #Conflicts: 885000 | #Constraints: 107873
2178.58/2184.45 c #Conflicts: 886000 | #Constraints: 108873
2178.58/2184.45 c #Conflicts: 887000 | #Constraints: 109873
2178.58/2184.45 c #Conflicts: 888000 | #Constraints: 110873
2178.58/2184.45 c #Conflicts: 889000 | #Constraints: 111873
2178.58/2184.45 c #Conflicts: 890000 | #Constraints: 112873
2178.58/2184.45 c #Conflicts: 891000 | #Constraints: 113873
2178.58/2184.45 c #Conflicts: 892000 | #Constraints: 114873
2178.58/2184.45 c #Conflicts: 893000 | #Constraints: 115873
2178.58/2184.45 c #Conflicts: 894000 | #Constraints: 116873
2178.58/2184.45 c #Conflicts: 895000 | #Constraints: 117873
2178.58/2184.45 c #Conflicts: 896000 | #Constraints: 118873
2178.58/2184.45 c #Conflicts: 897000 | #Constraints: 119873
2178.58/2184.45 c #Conflicts: 898000 | #Constraints: 120873
2178.58/2184.45 c #Conflicts: 899000 | #Constraints: 121873
2178.58/2184.45 c #Conflicts: 900000 | #Constraints: 122873
2178.58/2184.45 c #Conflicts: 901000 | #Constraints: 123873
2178.58/2184.45 c #Conflicts: 902000 | #Constraints: 124873
2178.58/2184.45 c #Conflicts: 903000 | #Constraints: 125873
2178.58/2184.45 c #Conflicts: 904000 | #Constraints: 126873
2178.58/2184.45 c #Conflicts: 905000 | #Constraints: 127873
2178.58/2184.45 c #Conflicts: 906000 | #Constraints: 128873
2178.58/2184.45 c #Conflicts: 907000 | #Constraints: 129873
2178.58/2184.45 c #Conflicts: 908000 | #Constraints: 130873
2178.58/2184.45 c #Conflicts: 909000 | #Constraints: 131873
2178.58/2184.45 c #Conflicts: 910000 | #Constraints: 132873
2178.58/2184.45 c #Conflicts: 911000 | #Constraints: 133873
2178.58/2184.45 c #Conflicts: 912000 | #Constraints: 134873
2178.58/2184.45 c #Conflicts: 913000 | #Constraints: 135873
2178.58/2184.45 c #Conflicts: 914000 | #Constraints: 136873
2178.58/2184.45 c INPROCESSING
2178.58/2184.45 c GARBAGE COLLECT
2178.58/2184.45 c rational objective 194
2275.84/2281.92 c #Conflicts: 915000 | #Constraints: 82721
2275.84/2281.92 c #Conflicts: 916000 | #Constraints: 83721
2275.84/2281.92 c #Conflicts: 917000 | #Constraints: 84721
2275.84/2281.92 c #Conflicts: 918000 | #Constraints: 85721
2275.84/2281.92 c #Conflicts: 919000 | #Constraints: 86721
2275.84/2281.92 c #Conflicts: 920000 | #Constraints: 87721
2275.84/2281.92 c #Conflicts: 921000 | #Constraints: 88721
2275.84/2281.92 c #Conflicts: 922000 | #Constraints: 89721
2275.84/2281.92 c #Conflicts: 923000 | #Constraints: 90721
2275.84/2281.92 c #Conflicts: 924000 | #Constraints: 91721
2275.84/2281.92 c #Conflicts: 925000 | #Constraints: 92721
2275.84/2281.92 c #Conflicts: 926000 | #Constraints: 93721
2275.84/2281.92 c #Conflicts: 927000 | #Constraints: 94721
2275.84/2281.92 c #Conflicts: 928000 | #Constraints: 95721
2275.84/2281.92 c #Conflicts: 929000 | #Constraints: 96721
2275.84/2281.92 c #Conflicts: 930000 | #Constraints: 97721
2275.84/2281.92 c #Conflicts: 931000 | #Constraints: 98721
2275.84/2281.92 c #Conflicts: 932000 | #Constraints: 99721
2275.84/2281.92 c #Conflicts: 933000 | #Constraints: 100721
2275.84/2281.92 c #Conflicts: 934000 | #Constraints: 101721
2275.84/2281.92 c #Conflicts: 935000 | #Constraints: 102721
2275.84/2281.92 c #Conflicts: 936000 | #Constraints: 103721
2275.84/2281.92 c #Conflicts: 937000 | #Constraints: 104721
2275.84/2281.92 c #Conflicts: 938000 | #Constraints: 105721
2275.84/2281.92 c #Conflicts: 939000 | #Constraints: 106721
2275.84/2281.92 c #Conflicts: 940000 | #Constraints: 107721
2275.84/2281.92 c #Conflicts: 941000 | #Constraints: 108721
2275.84/2281.92 c #Conflicts: 942000 | #Constraints: 109721
2275.84/2281.92 c #Conflicts: 943000 | #Constraints: 110721
2275.84/2281.92 c #Conflicts: 944000 | #Constraints: 111721
2275.84/2281.92 c #Conflicts: 945000 | #Constraints: 112721
2275.84/2281.92 c INPROCESSING
2275.84/2281.92 c GARBAGE COLLECT
2275.84/2281.92 c rational objective 194
2665.35/2672.49 c #Conflicts: 946000 | #Constraints: 81685
2665.35/2672.49 c #Conflicts: 947000 | #Constraints: 82685
2665.35/2672.49 c #Conflicts: 948000 | #Constraints: 83685
2665.35/2672.49 c #Conflicts: 949000 | #Constraints: 84685
2665.35/2672.49 c #Conflicts: 950000 | #Constraints: 85685
2665.35/2672.49 c #Conflicts: 951000 | #Constraints: 86685
2665.35/2672.49 c #Conflicts: 952000 | #Constraints: 87685
2665.35/2672.49 c #Conflicts: 953000 | #Constraints: 88685
2665.35/2672.49 c #Conflicts: 954000 | #Constraints: 89685
2665.35/2672.49 c #Conflicts: 955000 | #Constraints: 90685
2665.35/2672.49 c #Conflicts: 956000 | #Constraints: 91685
2665.35/2672.49 c #Conflicts: 957000 | #Constraints: 92685
2665.35/2672.49 c #Conflicts: 958000 | #Constraints: 93685
2665.35/2672.49 c #Conflicts: 959000 | #Constraints: 94685
2665.35/2672.49 c #Conflicts: 960000 | #Constraints: 95685
2665.35/2672.49 c #Conflicts: 961000 | #Constraints: 96685
2665.35/2672.49 c #Conflicts: 962000 | #Constraints: 97685
2665.35/2672.49 c #Conflicts: 963000 | #Constraints: 98685
2665.35/2672.49 c #Conflicts: 964000 | #Constraints: 99685
2665.35/2672.49 c #Conflicts: 965000 | #Constraints: 100685
2665.35/2672.49 c #Conflicts: 966000 | #Constraints: 101685
2665.35/2672.49 c #Conflicts: 967000 | #Constraints: 102685
2665.35/2672.49 c #Conflicts: 968000 | #Constraints: 103685
2665.35/2672.49 c #Conflicts: 969000 | #Constraints: 104685
2665.35/2672.49 c #Conflicts: 970000 | #Constraints: 105685
2665.35/2672.49 c #Conflicts: 971000 | #Constraints: 106685
2665.35/2672.49 c #Conflicts: 972000 | #Constraints: 107685
2665.35/2672.49 c #Conflicts: 973000 | #Constraints: 108685
2665.35/2672.49 c #Conflicts: 974000 | #Constraints: 109685
2665.35/2672.49 c #Conflicts: 975000 | #Constraints: 110685
2665.35/2672.49 c #Conflicts: 976000 | #Constraints: 111685
2665.35/2672.49 c #Conflicts: 977000 | #Constraints: 112685
2665.35/2672.49 c #Conflicts: 978000 | #Constraints: 113685
2665.35/2672.49 c #Conflicts: 979000 | #Constraints: 114685
2665.35/2672.49 c #Conflicts: 980000 | #Constraints: 115685
2665.35/2672.49 c #Conflicts: 981000 | #Constraints: 116685
2665.35/2672.49 c #Conflicts: 982000 | #Constraints: 117685
2665.35/2672.49 c #Conflicts: 983000 | #Constraints: 118685
2665.35/2672.49 c #Conflicts: 984000 | #Constraints: 119685
2665.35/2672.49 c #Conflicts: 985000 | #Constraints: 120685
2665.35/2672.49 c #Conflicts: 986000 | #Constraints: 121685
2665.35/2672.49 c #Conflicts: 987000 | #Constraints: 122685
2665.35/2672.49 c #Conflicts: 988000 | #Constraints: 123685
2665.35/2672.49 c #Conflicts: 989000 | #Constraints: 124685
2665.35/2672.49 c #Conflicts: 990000 | #Constraints: 125685
2665.35/2672.49 c #Conflicts: 991000 | #Constraints: 126685
2665.35/2672.49 c #Conflicts: 992000 | #Constraints: 127685
2665.35/2672.49 c #Conflicts: 993000 | #Constraints: 128685
2665.35/2672.49 c #Conflicts: 994000 | #Constraints: 129685
2665.35/2672.49 c #Conflicts: 995000 | #Constraints: 130685
2665.35/2672.49 c #Conflicts: 996000 | #Constraints: 131685
2665.35/2672.49 c #Conflicts: 997000 | #Constraints: 132685
2665.35/2672.49 c #Conflicts: 998000 | #Constraints: 133685
2665.35/2672.49 c #Conflicts: 999000 | #Constraints: 134685
2665.35/2672.49 c #Conflicts: 1000000 | #Constraints: 135685
2665.35/2672.49 c #Conflicts: 1001000 | #Constraints: 136685
2665.35/2672.49 c #Conflicts: 1002000 | #Constraints: 137685
2665.35/2672.49 c #Conflicts: 1003000 | #Constraints: 138685
2665.35/2672.49 c #Conflicts: 1004000 | #Constraints: 139685
2665.35/2672.49 c #Conflicts: 1005000 | #Constraints: 140685
2665.35/2672.49 c #Conflicts: 1006000 | #Constraints: 141685
2665.35/2672.49 c #Conflicts: 1007000 | #Constraints: 142685
2665.35/2672.49 c #Conflicts: 1008000 | #Constraints: 143685
2665.35/2672.49 c INPROCESSING
2665.35/2672.49 c GARBAGE COLLECT
2665.35/2672.49 c #Conflicts: 1009000 | #Constraints: 85929
2665.35/2672.49 c #Conflicts: 1010000 | #Constraints: 86929
2665.35/2672.49 c #Conflicts: 1011000 | #Constraints: 87929
2665.35/2672.49 c #Conflicts: 1012000 | #Constraints: 88929
2665.35/2672.49 c #Conflicts: 1013000 | #Constraints: 89929
2665.35/2672.49 c #Conflicts: 1014000 | #Constraints: 90929
2665.35/2672.49 c #Conflicts: 1015000 | #Constraints: 91929
2665.35/2672.49 c #Conflicts: 1016000 | #Constraints: 92929
2665.35/2672.49 c #Conflicts: 1017000 | #Constraints: 93929
2665.35/2672.49 c #Conflicts: 1018000 | #Constraints: 94929
2665.35/2672.49 c #Conflicts: 1019000 | #Constraints: 95929
2665.35/2672.49 c #Conflicts: 1020000 | #Constraints: 96929
2665.35/2672.49 c #Conflicts: 1021000 | #Constraints: 97929
2665.35/2672.49 c #Conflicts: 1022000 | #Constraints: 98929
2665.35/2672.49 c #Conflicts: 1023000 | #Constraints: 99929
2665.35/2672.49 c #Conflicts: 1024000 | #Constraints: 100929
2911.62/2919.31 c #Conflicts: 1025000 | #Constraints: 101929
2911.62/2919.31 c #Conflicts: 1026000 | #Constraints: 102929
2911.62/2919.31 c #Conflicts: 1027000 | #Constraints: 103929
2911.62/2919.31 c #Conflicts: 1028000 | #Constraints: 104929
2911.62/2919.31 c #Conflicts: 1029000 | #Constraints: 105929
2911.62/2919.31 c #Conflicts: 1030000 | #Constraints: 106929
2911.62/2919.31 c #Conflicts: 1031000 | #Constraints: 107929
2911.62/2919.31 c #Conflicts: 1032000 | #Constraints: 108929
2911.62/2919.31 c #Conflicts: 1033000 | #Constraints: 109929
2911.62/2919.31 c #Conflicts: 1034000 | #Constraints: 110929
2911.62/2919.31 c #Conflicts: 1035000 | #Constraints: 111929
2911.62/2919.31 c #Conflicts: 1036000 | #Constraints: 112929
2911.62/2919.31 c #Conflicts: 1037000 | #Constraints: 113929
2911.62/2919.31 c #Conflicts: 1038000 | #Constraints: 114929
2911.62/2919.31 c #Conflicts: 1039000 | #Constraints: 115929
2911.62/2919.31 c #Conflicts: 1040000 | #Constraints: 116929
2911.62/2919.31 c INPROCESSING
2911.62/2919.31 c GARBAGE COLLECT
2911.62/2919.31 c #Conflicts: 1041000 | #Constraints: 83454
2911.62/2919.31 c #Conflicts: 1042000 | #Constraints: 84454
2911.62/2919.31 c #Conflicts: 1043000 | #Constraints: 85454
2911.62/2919.31 c #Conflicts: 1044000 | #Constraints: 86454
2911.62/2919.31 c #Conflicts: 1045000 | #Constraints: 87454
2911.62/2919.31 c #Conflicts: 1046000 | #Constraints: 88454
2911.62/2919.31 c #Conflicts: 1047000 | #Constraints: 89454
2911.62/2919.31 c #Conflicts: 1048000 | #Constraints: 90454
2911.62/2919.31 c #Conflicts: 1049000 | #Constraints: 91454
2911.62/2919.31 c #Conflicts: 1050000 | #Constraints: 92454
2911.62/2919.31 c #Conflicts: 1051000 | #Constraints: 93454
2911.62/2919.31 c #Conflicts: 1052000 | #Constraints: 94454
2911.62/2919.31 c #Conflicts: 1053000 | #Constraints: 95454
2911.62/2919.31 c #Conflicts: 1054000 | #Constraints: 96454
2911.62/2919.31 c #Conflicts: 1055000 | #Constraints: 97454
2911.62/2919.31 c #Conflicts: 1056000 | #Constraints: 98454
2911.62/2919.31 c #Conflicts: 1057000 | #Constraints: 99454
2911.62/2919.31 c #Conflicts: 1058000 | #Constraints: 100454
2911.62/2919.31 c #Conflicts: 1059000 | #Constraints: 101454
2911.62/2919.31 c #Conflicts: 1060000 | #Constraints: 102454
2911.62/2919.31 c #Conflicts: 1061000 | #Constraints: 103454
2911.62/2919.31 c #Conflicts: 1062000 | #Constraints: 104454
2911.62/2919.31 c #Conflicts: 1063000 | #Constraints: 105454
2911.62/2919.31 c #Conflicts: 1064000 | #Constraints: 106454
2911.62/2919.31 c #Conflicts: 1065000 | #Constraints: 107454
2911.62/2919.31 c #Conflicts: 1066000 | #Constraints: 108454
2911.62/2919.31 c #Conflicts: 1067000 | #Constraints: 109454
2911.62/2919.31 c #Conflicts: 1068000 | #Constraints: 110454
2911.62/2919.31 c #Conflicts: 1069000 | #Constraints: 111454
2911.62/2919.31 c #Conflicts: 1070000 | #Constraints: 112454
2911.62/2919.31 c #Conflicts: 1071000 | #Constraints: 113454
2911.62/2919.31 c #Conflicts: 1072000 | #Constraints: 114454
2911.62/2919.31 c #Conflicts: 1073000 | #Constraints: 115454
2911.62/2919.31 c #Conflicts: 1074000 | #Constraints: 116454
2911.62/2919.31 c #Conflicts: 1075000 | #Constraints: 117454
2911.62/2919.31 c #Conflicts: 1076000 | #Constraints: 118454
2911.62/2919.31 c #Conflicts: 1077000 | #Constraints: 119454
2911.62/2919.31 c #Conflicts: 1078000 | #Constraints: 120454
2911.62/2919.31 c #Conflicts: 1079000 | #Constraints: 121454
2911.62/2919.31 c #Conflicts: 1080000 | #Constraints: 122454
2911.62/2919.31 c #Conflicts: 1081000 | #Constraints: 123454
2911.62/2919.31 c #Conflicts: 1082000 | #Constraints: 124454
2911.62/2919.31 c #Conflicts: 1083000 | #Constraints: 125454
2911.62/2919.31 c #Conflicts: 1084000 | #Constraints: 126454
2911.62/2919.31 c #Conflicts: 1085000 | #Constraints: 127454
2911.62/2919.31 c #Conflicts: 1086000 | #Constraints: 128454
2911.62/2919.31 c #Conflicts: 1087000 | #Constraints: 129454
2911.62/2919.31 c #Conflicts: 1088000 | #Constraints: 130454
2911.62/2919.31 c #Conflicts: 1089000 | #Constraints: 131454
2911.62/2919.31 c #Conflicts: 1090000 | #Constraints: 132454
2911.62/2919.31 c #Conflicts: 1091000 | #Constraints: 133454
2911.62/2919.31 c #Conflicts: 1092000 | #Constraints: 134454
2911.62/2919.31 c #Conflicts: 1093000 | #Constraints: 135454
2911.62/2919.31 c #Conflicts: 1094000 | #Constraints: 136454
2911.62/2919.31 c #Conflicts: 1095000 | #Constraints: 137454
2911.62/2919.31 c #Conflicts: 1096000 | #Constraints: 138454
2911.62/2919.31 c #Conflicts: 1097000 | #Constraints: 139454
2911.62/2919.31 c #Conflicts: 1098000 | #Constraints: 140454
2911.62/2919.31 c #Conflicts: 1099000 | #Constraints: 141454
2911.62/2919.31 c #Conflicts: 1100000 | #Constraints: 142454
2911.62/2919.31 c #Conflicts: 1101000 | #Constraints: 143454
2911.62/2919.31 c #Conflicts: 1102000 | #Constraints: 144454
3117.70/3125.96 c #Conflicts: 1103000 | #Constraints: 145454
3117.70/3125.96 c #Conflicts: 1104000 | #Constraints: 146454
3117.70/3125.96 c #Conflicts: 1105000 | #Constraints: 147454
3117.70/3125.96 c #Conflicts: 1106000 | #Constraints: 148454
3117.70/3125.96 c INPROCESSING
3117.70/3125.96 c GARBAGE COLLECT
3117.70/3125.96 c #Conflicts: 1107000 | #Constraints: 88447
3117.70/3125.96 c #Conflicts: 1108000 | #Constraints: 89447
3117.70/3125.96 c #Conflicts: 1109000 | #Constraints: 90447
3117.70/3125.96 c #Conflicts: 1110000 | #Constraints: 91447
3117.70/3125.96 c #Conflicts: 1111000 | #Constraints: 92447
3117.70/3125.96 c #Conflicts: 1112000 | #Constraints: 93447
3117.70/3125.96 c #Conflicts: 1113000 | #Constraints: 94447
3117.70/3125.96 c #Conflicts: 1114000 | #Constraints: 95447
3117.70/3125.96 c #Conflicts: 1115000 | #Constraints: 96447
3117.70/3125.96 c #Conflicts: 1116000 | #Constraints: 97447
3117.70/3125.96 c #Conflicts: 1117000 | #Constraints: 98447
3117.70/3125.96 c #Conflicts: 1118000 | #Constraints: 99447
3117.70/3125.96 c #Conflicts: 1119000 | #Constraints: 100447
3117.70/3125.96 c #Conflicts: 1120000 | #Constraints: 101447
3117.70/3125.96 c #Conflicts: 1121000 | #Constraints: 102447
3117.70/3125.96 c #Conflicts: 1122000 | #Constraints: 103448
3117.70/3125.96 c #Conflicts: 1123000 | #Constraints: 104448
3117.70/3125.96 c #Conflicts: 1124000 | #Constraints: 105448
3117.70/3125.96 c #Conflicts: 1125000 | #Constraints: 106448
3117.70/3125.96 c #Conflicts: 1126000 | #Constraints: 107448
3117.70/3125.96 c #Conflicts: 1127000 | #Constraints: 108448
3117.70/3125.96 c #Conflicts: 1128000 | #Constraints: 109448
3117.70/3125.96 c #Conflicts: 1129000 | #Constraints: 110448
3117.70/3125.96 c #Conflicts: 1130000 | #Constraints: 111448
3117.70/3125.96 c #Conflicts: 1131000 | #Constraints: 112448
3117.70/3125.96 c #Conflicts: 1132000 | #Constraints: 113448
3117.70/3125.96 c #Conflicts: 1133000 | #Constraints: 114448
3117.70/3125.96 c #Conflicts: 1134000 | #Constraints: 115448
3117.70/3125.96 c #Conflicts: 1135000 | #Constraints: 116448
3117.70/3125.96 c #Conflicts: 1136000 | #Constraints: 117448
3117.70/3125.96 c #Conflicts: 1137000 | #Constraints: 118448
3117.70/3125.96 c #Conflicts: 1138000 | #Constraints: 119448
3117.70/3125.96 c #Conflicts: 1139000 | #Constraints: 120448
3117.70/3125.96 c #Conflicts: 1140000 | #Constraints: 121448
3117.70/3125.96 c INPROCESSING
3117.70/3125.96 c GARBAGE COLLECT
3117.70/3125.96 c #Conflicts: 1141000 | #Constraints: 86513
3117.70/3125.96 c #Conflicts: 1142000 | #Constraints: 87513
3117.70/3125.96 c #Conflicts: 1143000 | #Constraints: 88513
3117.70/3125.96 c #Conflicts: 1144000 | #Constraints: 89513
3117.70/3125.96 c #Conflicts: 1145000 | #Constraints: 90513
3117.70/3125.96 c #Conflicts: 1146000 | #Constraints: 91513
3117.70/3125.96 c #Conflicts: 1147000 | #Constraints: 92513
3117.70/3125.96 c #Conflicts: 1148000 | #Constraints: 93513
3117.70/3125.96 c #Conflicts: 1149000 | #Constraints: 94513
3117.70/3125.96 c #Conflicts: 1150000 | #Constraints: 95513
3117.70/3125.96 c #Conflicts: 1151000 | #Constraints: 96513
3117.70/3125.96 c #Conflicts: 1152000 | #Constraints: 97513
3117.70/3125.96 c #Conflicts: 1153000 | #Constraints: 98513
3117.70/3125.96 c #Conflicts: 1154000 | #Constraints: 99513
3117.70/3125.96 c #Conflicts: 1155000 | #Constraints: 100513
3117.70/3125.96 c #Conflicts: 1156000 | #Constraints: 101513
3117.70/3125.96 c #Conflicts: 1157000 | #Constraints: 102513
3117.70/3125.96 c #Conflicts: 1158000 | #Constraints: 103513
3117.70/3125.96 c #Conflicts: 1159000 | #Constraints: 104513
3117.70/3125.96 c #Conflicts: 1160000 | #Constraints: 105513
3117.70/3125.96 c #Conflicts: 1161000 | #Constraints: 106513
3117.70/3125.96 c #Conflicts: 1162000 | #Constraints: 107513
3117.70/3125.96 c #Conflicts: 1163000 | #Constraints: 108513
3117.70/3125.96 c #Conflicts: 1164000 | #Constraints: 109513
3117.70/3125.96 c #Conflicts: 1165000 | #Constraints: 110513
3117.70/3125.96 c #Conflicts: 1166000 | #Constraints: 111513
3117.70/3125.96 c #Conflicts: 1167000 | #Constraints: 112513
3117.70/3125.96 c #Conflicts: 1168000 | #Constraints: 113513
3117.70/3125.96 c #Conflicts: 1169000 | #Constraints: 114513
3117.70/3125.96 c #Conflicts: 1170000 | #Constraints: 115513
3117.70/3125.96 c #Conflicts: 1171000 | #Constraints: 116513
3117.70/3125.96 c #Conflicts: 1172000 | #Constraints: 117513
3117.70/3125.96 c #Conflicts: 1173000 | #Constraints: 118513
3117.70/3125.96 c #Conflicts: 1174000 | #Constraints: 119513
3117.70/3125.96 c #Conflicts: 1175000 | #Constraints: 120513
3117.70/3125.96 c #Conflicts: 1176000 | #Constraints: 121513
3117.70/3125.96 c #Conflicts: 1177000 | #Constraints: 122513
3117.70/3125.96 c #Conflicts: 1178000 | #Constraints: 123513
3117.70/3125.96 c #Conflicts: 1179000 | #Constraints: 124513
3289.26/3297.98 c #Conflicts: 1180000 | #Constraints: 125513
3289.26/3297.98 c #Conflicts: 1181000 | #Constraints: 126513
3289.26/3297.98 c #Conflicts: 1182000 | #Constraints: 127513
3289.26/3297.98 c #Conflicts: 1183000 | #Constraints: 128513
3289.26/3297.98 c #Conflicts: 1184000 | #Constraints: 129513
3289.26/3297.98 c #Conflicts: 1185000 | #Constraints: 130513
3289.26/3297.98 c #Conflicts: 1186000 | #Constraints: 131513
3289.26/3297.98 c #Conflicts: 1187000 | #Constraints: 132513
3289.26/3297.98 c #Conflicts: 1188000 | #Constraints: 133513
3289.26/3297.98 c #Conflicts: 1189000 | #Constraints: 134513
3289.26/3297.98 c #Conflicts: 1190000 | #Constraints: 135513
3289.26/3297.98 c #Conflicts: 1191000 | #Constraints: 136513
3289.26/3297.98 c #Conflicts: 1192000 | #Constraints: 137513
3289.26/3297.98 c #Conflicts: 1193000 | #Constraints: 138513
3289.26/3297.98 c #Conflicts: 1194000 | #Constraints: 139513
3289.26/3297.98 c #Conflicts: 1195000 | #Constraints: 140513
3289.26/3297.98 c #Conflicts: 1196000 | #Constraints: 141513
3289.26/3297.98 c #Conflicts: 1197000 | #Constraints: 142513
3289.26/3297.98 c #Conflicts: 1198000 | #Constraints: 143513
3289.26/3297.98 c #Conflicts: 1199000 | #Constraints: 144513
3289.26/3297.98 c #Conflicts: 1200000 | #Constraints: 145513
3289.26/3297.98 c #Conflicts: 1201000 | #Constraints: 146513
3289.26/3297.98 c #Conflicts: 1202000 | #Constraints: 147513
3289.26/3297.98 c #Conflicts: 1203000 | #Constraints: 148513
3289.26/3297.98 c #Conflicts: 1204000 | #Constraints: 149513
3289.26/3297.98 c #Conflicts: 1205000 | #Constraints: 150513
3289.26/3297.98 c #Conflicts: 1206000 | #Constraints: 151513
3289.26/3297.98 c #Conflicts: 1207000 | #Constraints: 152513
3289.26/3297.98 c #Conflicts: 1208000 | #Constraints: 153513
3289.26/3297.98 c #Conflicts: 1209000 | #Constraints: 154513
3289.26/3297.98 c INPROCESSING
3289.26/3297.98 c GARBAGE COLLECT
3289.26/3297.98 c rational objective 194
3490.04/3499.25 c #Conflicts: 1210000 | #Constraints: 91637
3490.04/3499.25 c #Conflicts: 1211000 | #Constraints: 92637
3490.04/3499.25 c #Conflicts: 1212000 | #Constraints: 93637
3490.04/3499.25 c #Conflicts: 1213000 | #Constraints: 94637
3490.04/3499.25 c #Conflicts: 1214000 | #Constraints: 95637
3490.04/3499.25 c #Conflicts: 1215000 | #Constraints: 96637
3490.04/3499.25 c #Conflicts: 1216000 | #Constraints: 97637
3490.04/3499.25 c #Conflicts: 1217000 | #Constraints: 98637
3490.04/3499.25 c #Conflicts: 1218000 | #Constraints: 99637
3490.04/3499.25 c #Conflicts: 1219000 | #Constraints: 100637
3490.04/3499.25 c #Conflicts: 1220000 | #Constraints: 101637
3490.04/3499.25 c #Conflicts: 1221000 | #Constraints: 102637
3490.04/3499.25 c #Conflicts: 1222000 | #Constraints: 103637
3490.04/3499.25 c #Conflicts: 1223000 | #Constraints: 104637
3490.04/3499.25 c #Conflicts: 1224000 | #Constraints: 105637
3490.04/3499.25 c #Conflicts: 1225000 | #Constraints: 106637
3490.04/3499.25 c #Conflicts: 1226000 | #Constraints: 107637
3490.04/3499.25 c #Conflicts: 1227000 | #Constraints: 108637
3490.04/3499.25 c #Conflicts: 1228000 | #Constraints: 109637
3490.04/3499.25 c #Conflicts: 1229000 | #Constraints: 110637
3490.04/3499.26 c #Conflicts: 1230000 | #Constraints: 111637
3490.04/3499.26 c #Conflicts: 1231000 | #Constraints: 112637
3490.04/3499.26 c #Conflicts: 1232000 | #Constraints: 113637
3490.04/3499.26 c #Conflicts: 1233000 | #Constraints: 114637
3490.04/3499.26 c #Conflicts: 1234000 | #Constraints: 115637
3490.04/3499.26 c #Conflicts: 1235000 | #Constraints: 116637
3490.04/3499.26 c #Conflicts: 1236000 | #Constraints: 117637
3490.04/3499.26 c #Conflicts: 1237000 | #Constraints: 118637
3490.04/3499.26 c #Conflicts: 1238000 | #Constraints: 119637
3490.04/3499.26 c #Conflicts: 1239000 | #Constraints: 120637
3490.04/3499.26 c #Conflicts: 1240000 | #Constraints: 121637
3490.04/3499.26 c #Conflicts: 1241000 | #Constraints: 122637
3490.04/3499.26 c #Conflicts: 1242000 | #Constraints: 123637
3490.04/3499.26 c #Conflicts: 1243000 | #Constraints: 124637
3490.04/3499.26 c #Conflicts: 1244000 | #Constraints: 125637
3490.04/3499.26 c INPROCESSING
3490.04/3499.26 c GARBAGE COLLECT
3490.04/3499.26 c #Conflicts: 1245000 | #Constraints: 89781
3490.04/3499.26 c #Conflicts: 1246000 | #Constraints: 90781
3490.04/3499.26 c #Conflicts: 1247000 | #Constraints: 91781
3490.04/3499.26 c #Conflicts: 1248000 | #Constraints: 92781
3490.04/3499.26 c #Conflicts: 1249000 | #Constraints: 93781
3490.04/3499.26 c #Conflicts: 1250000 | #Constraints: 94781
3490.04/3499.26 c #Conflicts: 1251000 | #Constraints: 95781
3490.04/3499.26 c #Conflicts: 1252000 | #Constraints: 96781
3490.04/3499.26 c #Conflicts: 1253000 | #Constraints: 97781
3490.04/3499.26 c #Conflicts: 1254000 | #Constraints: 98781
3490.04/3499.26 c #Conflicts: 1255000 | #Constraints: 99781
3490.04/3499.26 c #Conflicts: 1256000 | #Constraints: 100781
3490.04/3499.26 c #Conflicts: 1257000 | #Constraints: 101781
3490.04/3499.26 c #Conflicts: 1258000 | #Constraints: 102781
3490.04/3499.26 c #Conflicts: 1259000 | #Constraints: 103781
3490.04/3499.26 c #Conflicts: 1260000 | #Constraints: 104781
3490.04/3499.26 c #Conflicts: 1261000 | #Constraints: 105781
3490.04/3499.26 c #Conflicts: 1262000 | #Constraints: 106781
3490.04/3499.26 c #Conflicts: 1263000 | #Constraints: 107781
3490.04/3499.26 c #Conflicts: 1264000 | #Constraints: 108781
3490.04/3499.26 c #Conflicts: 1265000 | #Constraints: 109781
3490.04/3499.26 c #Conflicts: 1266000 | #Constraints: 110781
3490.04/3499.26 c #Conflicts: 1267000 | #Constraints: 111781
3490.04/3499.26 c #Conflicts: 1268000 | #Constraints: 112781
3490.04/3499.26 c #Conflicts: 1269000 | #Constraints: 113781
3490.04/3499.26 c #Conflicts: 1270000 | #Constraints: 114781
3490.04/3499.26 c #Conflicts: 1271000 | #Constraints: 115781
3490.04/3499.26 c #Conflicts: 1272000 | #Constraints: 116781
3490.04/3499.26 c #Conflicts: 1273000 | #Constraints: 117781
3490.04/3499.26 c #Conflicts: 1274000 | #Constraints: 118781
3490.04/3499.26 c #Conflicts: 1275000 | #Constraints: 119781
3490.04/3499.26 c #Conflicts: 1276000 | #Constraints: 120781
3490.04/3499.26 c #Conflicts: 1277000 | #Constraints: 121781
3490.04/3499.26 c #Conflicts: 1278000 | #Constraints: 122781
3490.04/3499.26 c #Conflicts: 1279000 | #Constraints: 123781
3490.04/3499.26 c #Conflicts: 1280000 | #Constraints: 124781
3490.04/3499.26 c #Conflicts: 1281000 | #Constraints: 125781
3490.04/3499.26 c #Conflicts: 1282000 | #Constraints: 126781
3490.04/3499.26 c #Conflicts: 1283000 | #Constraints: 127781
3490.04/3499.26 c #Conflicts: 1284000 | #Constraints: 128781
3490.04/3499.26 c #Conflicts: 1285000 | #Constraints: 129781
3490.04/3499.26 c #Conflicts: 1286000 | #Constraints: 130781
3490.04/3499.26 c #Conflicts: 1287000 | #Constraints: 131781
3490.04/3499.26 c #Conflicts: 1288000 | #Constraints: 132781
3600.04/3609.50 c #Conflicts: 1289000 | #Constraints: 133781
3600.04/3609.50 c #Conflicts: 1290000 | #Constraints: 134781
3600.04/3609.50 c #Conflicts: 1291000 | #Constraints: 135781
3600.04/3609.50 c #Conflicts: 1292000 | #Constraints: 136781
3600.04/3609.50 c #Conflicts: 1293000 | #Constraints: 137781
3600.04/3609.50 c #Conflicts: 1294000 | #Constraints: 138781
3600.04/3609.50 c #Conflicts: 1295000 | #Constraints: 139781
3600.04/3609.50 c #Conflicts: 1296000 | #Constraints: 140781
3600.04/3609.50 c #Conflicts: 1297000 | #Constraints: 141781
3600.04/3609.50 c #Conflicts: 1298000 | #Constraints: 142781
3600.04/3609.50 c #Conflicts: 1299000 | #Constraints: 143781
3600.04/3609.50 c #Conflicts: 1300000 | #Constraints: 144781
3600.04/3609.50 c #Conflicts: 1301000 | #Constraints: 145781
3600.04/3609.50 c #Conflicts: 1302000 | #Constraints: 146781
3600.04/3609.50 c #Conflicts: 1303000 | #Constraints: 147781
3600.04/3609.50 c #Conflicts: 1304000 | #Constraints: 148781
3600.04/3609.50 c #Conflicts: 1305000 | #Constraints: 149781
3600.04/3609.50 c #Conflicts: 1306000 | #Constraints: 150781
3600.04/3609.50 c #Conflicts: 1307000 | #Constraints: 151781
3600.04/3609.50 c #Conflicts: 1308000 | #Constraints: 152781
3600.04/3609.50 c #Conflicts: 1309000 | #Constraints: 153781
3600.04/3609.50 c #Conflicts: 1310000 | #Constraints: 154781
3600.04/3609.50 c #Conflicts: 1311000 | #Constraints: 155781
3600.04/3609.50 c #Conflicts: 1312000 | #Constraints: 156781
3600.04/3609.50 c #Conflicts: 1313000 | #Constraints: 157781
3600.04/3609.50 c #Conflicts: 1314000 | #Constraints: 158781
3600.04/3609.50 c #Conflicts: 1315000 | #Constraints: 159781
3600.04/3609.50 c #Conflicts: 1316000 | #Constraints: 160781
3600.04/3609.50 c INPROCESSING
3600.04/3609.50 c GARBAGE COLLECT
3600.04/3609.50 c #Conflicts: 1317000 | #Constraints: 94940
3600.04/3609.50 c #Conflicts: 1318000 | #Constraints: 95940
3600.04/3609.50 c #Conflicts: 1319000 | #Constraints: 96940
3600.04/3609.50 c #Conflicts: 1320000 | #Constraints: 97940
3600.04/3609.50 c cpu time 3561.03 s
3600.04/3609.50 c deterministic time 249835337603 2.50e+11
3600.04/3609.50 c optimization time 7.5914 s
3600.04/3609.50 c total solve time 3553.31 s
3600.04/3609.50 c core-guided solve time 0 s
3600.04/3609.50 c propagation time 1881.23 s
3600.04/3609.50 c conflict analysis time 1212.03 s
3600.04/3609.50 c propagations 1378685212
3600.04/3609.50 c resolve steps 76387620
3600.04/3609.50 c decisions 38575022
3600.04/3609.50 c conflicts 1320088
3600.04/3609.50 c restarts 2555
3600.04/3609.50 c inprocessing phases 41
3600.04/3609.50 c garbage collections 41 ,( 100.00 )
3600.04/3609.50 c input clauses 23282 ,( 99.17 )
3600.04/3609.50 c input cardinalities 194 ,( 0.83 )
3600.04/3609.50 c input general constraints 0 ,( 0.00 )
3600.04/3609.50 c input average constraint length 6.44
3600.04/3609.50 c input average constraint degree 1.97
3600.04/3609.50 c learned clauses 942508 ,( 71.40 )
3600.04/3609.50 c learned cardinalities 47762 ,( 3.62 )
3600.04/3609.50 c learned general constraints 329829 ,( 24.99 )
3600.04/3609.50 c learned average constraint length 786.81
3600.04/3609.50 c learned average constraint degree 15976862.22
3600.04/3609.50 c watched CF 32, 64, 128, Arb: 83336 , 0 , 0 , 0
3600.04/3609.50 c counting CF 32, 64, 128, Arb: 246493 , 0 , 0 , 0
3600.04/3609.50 c watched constraints 83336 ,( 25.27 )
3600.04/3609.50 c counting constraints 246493 ,( 74.73 )
3600.04/3609.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1241016220 , 764754651 , 2170785929 ,( 95385582 , 2075400347 )
3600.04/3609.50 c gcd simplifications 763
3600.04/3609.50 c detected cardinalities 7790
3600.04/3609.50 c weakened non-implied lits 358509071
3600.04/3609.50 c weakened non-implying lits 177605
3600.04/3609.50 c original variables 23086
3600.04/3609.50 c clausal propagations 648414685
3600.04/3609.50 c cardinality propagations 495940412
3600.04/3609.50 c watched propagations 4291927
3600.04/3609.50 c counting propagations 216968858
3600.04/3609.50 c watch lookups 75767607857
3600.04/3609.50 c watch backjump lookups 0
3600.04/3609.50 c watch checks 37689015022
3600.04/3609.50 c propagation checks 128917766251
3600.04/3609.50 c constraint additions 4624838501
3600.04/3609.50 c trail pops 1418559765
3600.04/3609.50 c formula constraints 23476
3600.04/3609.50 c learned constraints 1320084
3600.04/3609.50 c bound constraints 0
3600.04/3609.50 c core-guided constraints 0
3600.04/3609.50 c encountered formula constraints 47982533
3600.04/3609.50 c encountered learned constraints 29724922
3600.04/3609.50 c encountered bound constraints 0
3600.04/3609.50 c encountered core-guided constraints 0
3600.04/3609.50 c LP total time 424.954 s
3600.04/3609.50 c LP solve time 384.13 s
3600.04/3609.50 c LP constraints added 24879
3600.04/3609.50 c LP constraints removed 1236
3600.04/3609.50 c LP pivots internal 137847
3600.04/3609.50 c LP pivots root 152125
3600.04/3609.50 c LP calls 20
3600.04/3609.50 c LP optimalities 10
3600.04/3609.50 c LP no pivot count 0
3600.04/3609.50 c LP infeasibilities 4
3600.04/3609.50 c LP valid Farkas constraints 4
3600.04/3609.50 c LP learned Farkas constraints 4
3600.04/3609.50 c LP basis resets 0
3600.04/3609.50 c LP cycling count 0
3600.04/3609.50 c LP singular count 0
3600.04/3609.50 c LP no primal count 0
3600.04/3609.50 c LP no farkas count 0
3600.04/3609.50 c LP other issue count 0
3600.04/3609.50 c LP Gomory cuts 7
3600.04/3609.50 c LP learned cuts 1396
3600.04/3609.50 c LP deleted cuts 1236
3600.04/3609.50 c LP encountered Gomory constraints 15
3600.04/3609.50 c LP encountered Farkas constraints 232
3600.04/3609.50 c LP encountered learned Farkas constraints 2
3600.04/3609.50 c CG auxiliary variables introduced 0
3600.04/3609.50 c CG solutions found 0
3600.04/3609.50 c CG cores constructed 0
3600.04/3609.50 c CG core cardinality constraints returned 0
3600.04/3609.50 c CG unit cores 0
3600.04/3609.50 c CG single cores 0
3600.04/3609.50 c CG blocks removed during cardinality reduction 0
3600.04/3609.50 c CG first core best 0
3600.04/3609.50 c CG decision core best 0
3600.04/3609.50 c CG core reduction tie 0
3600.04/3609.50 c CG core degree average 0.00
3600.04/3609.50 c CG core slack average 0.00
3600.04/3609.50 c CG core upper bound improvements 0
3600.04/3609.50 c STR number of successful calls 0
3600.04/3609.50 c STR number of unsuccessful calls 0
3600.04/3609.50 c STR number of inconclusive calls 0
3600.04/3609.50 c STR number of successful attempts 0
3600.04/3609.50 c STR number of unsuccessful attempts 0
3600.04/3609.50 c STR number of inconclusive attempts 0
3600.04/3609.50 c STR average degree increase per successful call inf
3600.04/3609.50 c STR average degree increase per successful attempt inf
3600.04/3609.50 c STR total number of conflicts for successful attempts 0
3600.04/3609.50 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3609.50 c STR total number of conflicts for inconclusive attempts 0
3600.04/3609.50 c STR average number of conflicts per successful attempt inf
3600.04/3609.50 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3609.50 c STR average number of conflicts per inconclusive attempt inf
3600.04/3609.50 c AVG.sumWPerc 66.22
3600.04/3609.50 c bigint constraints 0
3600.04/3609.50 s UNKNOWN
3600.04/3609.50 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62911 MiB free)
memory of node 1: 64507 MiB (63925 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507159-1751175087/watcher-4507159-1751175087 -o /tmp/evaluation-result-4507159-1751175087/solver-4507159-1751175087 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751167846-18819 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4507159-1751175087.opb PROOFDIR/proof-4507159-1751175087
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=19923, runsolver pid=19920
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.22 4.14 4.10 5/270 19925
/proc/meminfo: memFree=129868764/131249988 swapFree=33010684/33010684
[pid=19923] ppid=19920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19923/stat : 19923 (run-dec-ls-log.) S 19920 19923 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187586 4292608 736 18446744073709551615 94311677427712 94311678322245 140722974147424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94311678561296 94311678609040 94311696936960 140722974152987 140722974153185 140722974153185 140722974158787 0
/proc/19923/statm: 1048 736 672 219 0 110 0
[pid=19925] ppid=19923 vsize=70724 memory=25532 CPUtime=0.09 cores=0,2
/proc/19925/stat : 19925 (roundingsat) R 19923 19923 18809 0 -1 4194304 4268 0 0 0 7 2 0 0 20 0 1 0 33187587 72421376 6383 18446744073709551615 4227072 8923433 140723873620416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22310912 140723873622352 140723873622568 140723873622568 140723873628138 0
/proc/19925/statm: 17681 6383 1984 1147 0 5108 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 74916 KiB
Current children cumulated memory: 28476 KiB
[startup+0.205489 s]*
/proc/loadavg: 4.22 4.14 4.10 5/270 19925
/proc/meminfo: memFree=129825668/131249988 swapFree=33010684/33010684
[pid=19923] ppid=19920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19923/stat : 19923 (run-dec-ls-log.) S 19920 19923 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187586 4292608 736 18446744073709551615 94311677427712 94311678322245 140722974147424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94311678561296 94311678609040 94311696936960 140722974152987 140722974153185 140722974153185 140722974158787 0
/proc/19923/statm: 1048 736 672 219 0 110 0
[pid=19925] ppid=19923 vsize=117180 memory=66460 CPUtime=0.18 cores=0,2
/proc/19925/stat : 19925 (roundingsat) R 19923 19923 18809 0 -1 4194304 12494 0 0 0 15 3 0 0 20 0 1 0 33187587 119992320 16615 18446744073709551615 4227072 8923433 140723873620416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22310912 140723873622352 140723873622568 140723873622568 140723873628138 0
/proc/19925/statm: 29295 16615 2272 1147 0 16722 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 121372 KiB
Current children cumulated memory: 69404 KiB
[startup+0.305461 s]*
/proc/loadavg: 4.22 4.14 4.10 5/270 19925
/proc/meminfo: memFree=129821636/131249988 swapFree=33010684/33010684
[pid=19923] ppid=19920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19923/stat : 19923 (run-dec-ls-log.) S 19920 19923 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187586 4292608 736 18446744073709551615 94311677427712 94311678322245 140722974147424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94311678561296 94311678609040 94311696936960 140722974152987 140722974153185 140722974153185 140722974158787 0
/proc/19923/statm: 1048 736 672 219 0 110 0
[pid=19925] ppid=19923 vsize=122408 memory=69276 CPUtime=0.29 cores=0,2
/proc/19925/stat : 19925 (roundingsat) R 19923 19923 18809 0 -1 4194304 13198 0 0 0 25 4 0 0 20 0 1 0 33187587 125345792 17319 18446744073709551615 4227072 8923433 140723873620416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22310912 140723873622352 140723873622568 140723873622568 140723873628138 0
/proc/19925/statm: 30602 17319 2272 1147 0 18029 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 126600 KiB
Current children cumulated memory: 72220 KiB
[startup+0.700158 s]
/proc/loadavg: 4.22 4.14 4.10 5/270 19925
/proc/meminfo: memFree=129809540/131249988 swapFree=33010684/33010684
[pid=19923] ppid=19920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19923/stat : 19923 (run-dec-ls-log.) S 19920 19923 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187586 4292608 736 18446744073709551615 94311677427712 94311678322245 140722974147424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94311678561296 94311678609040 94311696936960 140722974152987 140722974153185 140722974153185 140722974158787 0
/proc/19923/statm: 1048 736 672 219 0 110 0
[pid=19925] ppid=19923 vsize=122408 memory=70300 CPUtime=0.68 cores=0,2
/proc/19925/stat : 19925 (roundingsat) R 19923 19923 18809 0 -1 4194304 13410 0 0 0 64 4 0 0 20 0 1 0 33187587 125345792 17575 18446744073709551615 4227072 8923433 140723873620416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22310912 140723873622352 140723873622568 140723873622568 140723873628138 0
/proc/19925/statm: 30602 17575 2304 1147 0 18029 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 126600 KiB
Current children cumulated memory: 73244 KiB
[startup+1.50015 s]
/proc/loadavg: 4.20 4.14 4.10 5/270 19925
/proc/meminfo: memFree=129805520/131249988 swapFree=33010684/33010684
[pid=19923] ppid=19920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19923/stat : 19923 (run-dec-ls-log.) S 19920 19923 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187586 4292608 736 18446744073709551615 94311677427712 94311678322245 140722974147424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94311678561296 94311678609040 94311696936960 140722974152987 140722974153185 140722974153185 140722974158787 0
/proc/19923/statm: 1048 736 672 219 0 110 0
[pid=19925] ppid=19923 vsize=122408 memory=70300 CPUtime=1.48 cores=0,2
/proc/19925/stat : 19925 (roundingsat) R 19923 19923 18809 0 -1 4194304 13410 0 0 0 144 4 0 0 20 0 1 0 33187587 125345792 17575 18446744073709551615 4227072 8923433 140723873620416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22310912 140723873622352 140723873622568 140723873622568 140723873628138 0
/proc/19925/statm: 30602 17575 2304 1147 0 18029 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 126600 KiB
Current children cumulated memory: 73244 KiB
[startup+3.10517 s]
/proc/loadavg: 4.20 4.14 4.10 5/270 19925
/proc/meminfo: memFree=129780588/131249988 swapFree=33010684/33010684
[pid=19923] ppid=19920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19923/stat : 19923 (run-dec-ls-log.) S 19920 19923 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187586 4292608 736 18446744073709551615 94311677427712 94311678322245 140722974147424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94311678561296 94311678609040 94311696936960 140722974152987 140722974153185 140722974153185 140722974158787 0
/proc/19923/statm: 1048 736 672 219 0 110 0
[pid=19925] ppid=19923 vsize=125056 memory=73116 CPUtime=3.08 cores=0,2
/proc/19925/stat : 19925 (roundingsat) R 19923 19923 18809 0 -1 4194304 14115 0 0 0 304 4 0 0 20 0 1 0 33187587 128057344 18279 18446744073709551615 4227072 8923433 140723873620416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22310912 140723873622352 140723873622568 140723873622568 140723873628138 0
/proc/19925/statm: 31264 18279 2304 1147 0 18691 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 129248 KiB
Current children cumulated memory: 76060 KiB
[startup+6.30015 s]
/proc/loadavg: 4.18 4.14 4.10 5/269 19925
/proc/meminfo: memFree=129752616/131249988 swapFree=33010684/33010684
[pid=19923] ppid=19920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19923/stat : 19923 (run-dec-ls-log.) S 19920 19923 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187586 4292608 736 18446744073709551615 94311677427712 94311678322245 140722974147424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94311678561296 94311678609040 94311696936960 140722974152987 140722974153185 140722974153185 140722974158787 0
/proc/19923/statm: 1048 736 672 219 0 110 0
[pid=19925] ppid=19923 vsize=129744 memory=81296 CPUtime=6.26 cores=0,2
/proc/19925/stat : 19925 (roundingsat) R 19923 19923 18809 0 -1 4194304 15646 0 0 0 612 14 0 0 20 0 1 0 33187587 132857856 20324 18446744073709551615 4227072 8923433 140723873620416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22310912 140723873622352 140723873622568 140723873622568 140723873628138 0
/proc/19925/statm: 32436 20324 2336 1147 0 19863 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 133936 KiB
Current children cumulated memory: 84240 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.14 4.10 5/269 19925
/proc/meminfo: memFree=129666684/131249988 swapFree=33010684/33010684
[pid=19923] ppid=19920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19923/stat : 19923 (run-dec-ls-log.) S 19920 19923 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187586 4292608 736 18446744073709551615 94311677427712 94311678322245 140722974147424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94311678561296 94311678609040 94311696936960 140722974152987 140722974153185 140722974153185 140722974158787 0
/proc/19923/statm: 1048 736 672 219 0 110 0
[pid=19925] ppid=19923 vsize=139388 memory=89104 CPUtime=12.65 cores=0,2
/proc/19925/stat : 19925 (roundingsat) R 19923 19923 18809 0 -1 4194304 17592 0 0 0 1229 36 0 0 20 0 1 0 33187587 142733312 22276 18446744073709551615 4227072 8923433 140723873620416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22310912 140723873622352 140723873622568 140723873622568 140723873628138 0
/proc/19925/statm: 34847 22276 2336 1147 0 22274 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 143580 KiB
Current children cumulated memory: 92048 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.13 4.10 5/269 19925
/proc/meminfo: memFree=129496996/131249988 swapFree=33010684/33010684
[pid=19923] ppid=19920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19923/stat : 19923 (run-dec-ls-log.) S 19920 19923 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187586 4292608 736 18446744073709551615 94311677427712 94311678322245 140722974147424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94311678561296 94311678609040 94311696936960 140722974152987 140722974153185 140722974153185 140722974158787 0
/proc/19923/statm: 1048 736 672 219 0 110 0
[pid=19925] ppid=19923 vsize=157872 memory=108716 CPUtime=25.41 cores=0,2
/proc/19925/stat : 19925 (roundingsat) R 19923 19923 18809 0 -1 4194304 21995 0 0 0 2470 71 0 0 20 0 1 0 33187587 161660928 27179 18446744073709551615 4227072 8923433 140723873620416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22310912 140723873622352 140723873622568 140723873622568 140723873628138 0
/proc/19925/statm: 39468 27179 2336 1147 0 26895 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 162064 KiB
Current children cumulated memory: 111660 KiB
[startup+51.1053 s]
/proc/loadavg: 4.14 4.13 4.10 5/269 19926
/proc/meminfo: memFree=129200740/131249988 swapFree=33010684/33010684
[pid=19923] ppid=19920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19923/stat : 19923 (run-dec-ls-log.) S 19920 19923 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187586 4292608 736 18446744073709551615 94311677427712 94311678322245 140722974147424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94311678561296 94311678609040 94311696936960 140722974152987 140722974153185 140722974153185 140722974158787 0
/proc/19923/statm: 1048 736 672 219 0 110 0
[pid=19925] ppid=19923 vsize=193936 memory=134948 CPUtime=50.95 cores=0,2
/proc/19925/stat : 19925 (roundingsat) R 19923 19923 18809 0 -1 4194304 27078 0 0 0 4967 128 0 0 20 0 1 0 33187587 198590464 33737 18446744073709551615 4227072 8923433 140723873620416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22310912 140723873622352 140723873622568 140723873622568 140723873628138 0
/proc/19925/statm: 48484 33737 2336 1147 0 35911 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 198128 KiB
Current children cumulated memory: 137892 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/271 19929
/proc/meminfo: memFree=128758164/131249988 swapFree=33010684/33010684
[pid=19923] ppid=19920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19923/stat : 19923 (run-dec-ls-log.) S 19920 19923 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187586 4292608 736 18446744073709551615 94311677427712 94311678322245 140722974147424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94311678561296 94311678609040 94311696936960 140722974152987 140722974153185 140722974153185 140722974158787 0
/proc/19923/statm: 1048 736 672 219 0 110 0
[pid=19925] ppid=19923 vsize=245592 memory=188236 CPUtime=102.01 cores=0,2
/proc/19925/stat : 19925 (roundingsat) R 19923 19923 18809 0 -1 4194304 35902 0 0 0 9963 238 0 0 20 0 1 0 33187587 251486208 47059 18446744073709551615 4227072 8923433 140723873620416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22310912 140723873622352 140723873622568 140723873622568 140723873628138 0
/proc/19925/statm: 61398 47059 2336 1147 0 48825 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 249784 KiB
Current children cumulated memory: 191180 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/270 19933
/proc/meminfo: memFree=128118448/131249988 swapFree=33010684/33010684
[pid=19923] ppid=19920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19923/stat : 19923 (run-dec-ls-log.) S 19920 19923 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187586 4292608 736 18446744073709551615 94311677427712 94311678322245 140722974147424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94311678561296 94311678609040 94311696936960 140722974152987 140722974153185 140722974153185 140722974158787 0
/proc/19923/statm: 1048 736 672 219 0 110 0
[pid=19925] ppid=19923 vsize=273020 memory=223460 CPUtime=161.86 cores=0,2
/proc/19925/stat : 19925 (roundingsat) R 19923 19923 18809 0 -1 4194304 42658 0 0 0 15800 386 0 0 20 0 1 0 33187587 279572480 55865 18446744073709551615 4227072 8923433 140723873620416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22310912 140723873622352 140723873622568 140723873622568 140723873628138 0
/proc/19925/statm: 68255 55865 2336 1147 0 55682 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 277212 KiB
Current children cumulated memory: 226404 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/270 19935
/proc/meminfo: memFree=127519352/131249988 swapFree=33010684/33010684
[pid=19923] ppid=19920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19923/stat : 19923 (run-dec-ls-log.) S 19920 19923 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187586 4292608 736 18446744073709551615 94311677427712 94311678322245 140722974147424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94311678561296 94311678609040 94311696936960 140722974152987 140722974153185 140722974153185 140722974158787 0
/proc/19923/statm: 1048 736 672 219 0 110 0
[pid=19925] ppid=19923 vsize=371540 memory=283436 CPUtime=221.7 cores=0,2
/proc/19925/stat : 19925 (roundingsat) R 19923 19923 18809 0 -1 4194304 47967 0 0 0 21692 478 0 0 20 0 1 0 33187587 380456960 70859 18446744073709551615 4227072 8923433 140723873620416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22310912 140723873622352 140723873622568 140723873622568 140723873628138 0
/proc/19925/statm: 92885 70859 2336 1147 0 80312 0
################
# More data... #
################
/proc/19925/statm: 434889 356529 2336 1147 0 422316 0
Current children cumulated CPU time: 3094.16 s
Current children cumulated vsize: 1743748 KiB
Current children cumulated memory: 1429060 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/270 20092
/proc/meminfo: memFree=104235204/131249988 swapFree=33010684/33010684
[pid=19923] ppid=19920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19923/stat : 19923 (run-dec-ls-log.) S 19920 19923 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187586 4292608 736 18446744073709551615 94311677427712 94311678322245 140722974147424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94311678561296 94311678609040 94311696936960 140722974152987 140722974153185 140722974153185 140722974158787 0
/proc/19923/statm: 1048 736 672 219 0 110 0
[pid=19925] ppid=19923 vsize=1740020 memory=1426500 CPUtime=3154.01 cores=0,2
/proc/19925/stat : 19925 (roundingsat) R 19923 19923 18809 0 -1 4194304 190491 0 0 0 311895 3506 0 0 20 0 1 0 33187587 1781780480 356625 18446744073709551615 4227072 8923433 140723873620416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22310912 140723873622352 140723873622568 140723873622568 140723873628138 0
/proc/19925/statm: 435005 356625 2336 1147 0 422432 0
Current children cumulated CPU time: 3154.01 s
Current children cumulated vsize: 1744212 KiB
Current children cumulated memory: 1429444 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/269 20094
/proc/meminfo: memFree=103916148/131249988 swapFree=33010684/33010684
[pid=19923] ppid=19920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19923/stat : 19923 (run-dec-ls-log.) S 19920 19923 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187586 4292608 736 18446744073709551615 94311677427712 94311678322245 140722974147424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94311678561296 94311678609040 94311696936960 140722974152987 140722974153185 140722974153185 140722974158787 0
/proc/19923/statm: 1048 736 672 219 0 110 0
[pid=19925] ppid=19923 vsize=1749524 memory=1433668 CPUtime=3213.85 cores=0,2
/proc/19925/stat : 19925 (roundingsat) R 19923 19923 18809 0 -1 4194304 192299 0 0 0 317821 3564 0 0 20 0 1 0 33187587 1791512576 358417 18446744073709551615 4227072 8923433 140723873620416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22310912 140723873622352 140723873622568 140723873622568 140723873628138 0
/proc/19925/statm: 437381 358417 2336 1147 0 424808 0
Current children cumulated CPU time: 3213.85 s
Current children cumulated vsize: 1753716 KiB
Current children cumulated memory: 1436612 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/270 20101
/proc/meminfo: memFree=103637116/131249988 swapFree=33010684/33010684
[pid=19923] ppid=19920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19923/stat : 19923 (run-dec-ls-log.) S 19920 19923 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187586 4292608 736 18446744073709551615 94311677427712 94311678322245 140722974147424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94311678561296 94311678609040 94311696936960 140722974152987 140722974153185 140722974153185 140722974158787 0
/proc/19923/statm: 1048 736 672 219 0 110 0
[pid=19925] ppid=19923 vsize=1756740 memory=1439684 CPUtime=3273.7 cores=0,2
/proc/19925/stat : 19925 (roundingsat) R 19923 19923 18809 0 -1 4194304 193806 0 0 0 323781 3589 0 0 20 0 1 0 33187587 1798901760 359921 18446744073709551615 4227072 8923433 140723873620416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22310912 140723873622352 140723873622568 140723873622568 140723873628138 0
/proc/19925/statm: 439185 359921 2336 1147 0 426612 0
Current children cumulated CPU time: 3273.7 s
Current children cumulated vsize: 1760932 KiB
Current children cumulated memory: 1442628 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/270 20103
/proc/meminfo: memFree=103199164/131249988 swapFree=33010684/33010684
[pid=19923] ppid=19920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19923/stat : 19923 (run-dec-ls-log.) S 19920 19923 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187586 4292608 736 18446744073709551615 94311677427712 94311678322245 140722974147424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94311678561296 94311678609040 94311696936960 140722974152987 140722974153185 140722974153185 140722974158787 0
/proc/19923/statm: 1048 736 672 219 0 110 0
[pid=19925] ppid=19923 vsize=1756740 memory=1439684 CPUtime=3333.54 cores=0,2
/proc/19925/stat : 19925 (roundingsat) R 19923 19923 18809 0 -1 4194304 194098 0 0 0 329728 3626 0 0 20 0 1 0 33187587 1798901760 359921 18446744073709551615 4227072 8923433 140723873620416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22310912 140723873622352 140723873622568 140723873622568 140723873628138 0
/proc/19925/statm: 439185 359921 2336 1147 0 426612 0
Current children cumulated CPU time: 3333.54 s
Current children cumulated vsize: 1760932 KiB
Current children cumulated memory: 1442628 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/272 20108
/proc/meminfo: memFree=102633200/131249988 swapFree=33010684/33010684
[pid=19923] ppid=19920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19923/stat : 19923 (run-dec-ls-log.) S 19920 19923 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187586 4292608 736 18446744073709551615 94311677427712 94311678322245 140722974147424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94311678561296 94311678609040 94311696936960 140722974152987 140722974153185 140722974153185 140722974158787 0
/proc/19923/statm: 1048 736 672 219 0 110 0
[pid=19925] ppid=19923 vsize=1756740 memory=1439684 CPUtime=3393.38 cores=0,2
/proc/19925/stat : 19925 (roundingsat) R 19923 19923 18809 0 -1 4194304 194269 0 0 0 335645 3693 0 0 20 0 1 0 33187587 1798901760 359921 18446744073709551615 4227072 8923433 140723873620416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22310912 140723873622352 140723873622568 140723873622568 140723873628138 0
/proc/19925/statm: 439185 359921 2336 1147 0 426612 0
Current children cumulated CPU time: 3393.38 s
Current children cumulated vsize: 1760932 KiB
Current children cumulated memory: 1442628 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/272 20110
/proc/meminfo: memFree=102366556/131249988 swapFree=33010684/33010684
[pid=19923] ppid=19920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19923/stat : 19923 (run-dec-ls-log.) S 19920 19923 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187586 4292608 736 18446744073709551615 94311677427712 94311678322245 140722974147424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94311678561296 94311678609040 94311696936960 140722974152987 140722974153185 140722974153185 140722974158787 0
/proc/19923/statm: 1048 736 672 219 0 110 0
[pid=19925] ppid=19923 vsize=1756740 memory=1439684 CPUtime=3453.23 cores=0,2
/proc/19925/stat : 19925 (roundingsat) R 19923 19923 18809 0 -1 4194304 194275 0 0 0 341558 3765 0 0 20 0 1 0 33187587 1798901760 359921 18446744073709551615 4227072 8923433 140723873620416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22310912 140723873622352 140723873622568 140723873622568 140723873628138 0
/proc/19925/statm: 439185 359921 2336 1147 0 426612 0
Current children cumulated CPU time: 3453.23 s
Current children cumulated vsize: 1760932 KiB
Current children cumulated memory: 1442628 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/272 20112
/proc/meminfo: memFree=102028740/131249988 swapFree=33010684/33010684
[pid=19923] ppid=19920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19923/stat : 19923 (run-dec-ls-log.) S 19920 19923 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187586 4292608 736 18446744073709551615 94311677427712 94311678322245 140722974147424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94311678561296 94311678609040 94311696936960 140722974152987 140722974153185 140722974153185 140722974158787 0
/proc/19923/statm: 1048 736 672 219 0 110 0
[pid=19925] ppid=19923 vsize=1756740 memory=1439684 CPUtime=3513.07 cores=0,2
/proc/19925/stat : 19925 (roundingsat) R 19923 19923 18809 0 -1 4194304 194275 0 0 0 347484 3823 0 0 20 0 1 0 33187587 1798901760 359921 18446744073709551615 4227072 8923433 140723873620416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22310912 140723873622352 140723873622568 140723873622568 140723873628138 0
/proc/19925/statm: 439185 359921 2336 1147 0 426612 0
Current children cumulated CPU time: 3513.07 s
Current children cumulated vsize: 1760932 KiB
Current children cumulated memory: 1442628 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/271 20114
/proc/meminfo: memFree=101736708/131249988 swapFree=33010684/33010684
[pid=19923] ppid=19920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19923/stat : 19923 (run-dec-ls-log.) S 19920 19923 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187586 4292608 736 18446744073709551615 94311677427712 94311678322245 140722974147424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94311678561296 94311678609040 94311696936960 140722974152987 140722974153185 140722974153185 140722974158787 0
/proc/19923/statm: 1048 736 672 219 0 110 0
[pid=19925] ppid=19923 vsize=1756740 memory=1439684 CPUtime=3572.92 cores=0,2
/proc/19925/stat : 19925 (roundingsat) R 19923 19923 18809 0 -1 4194304 194285 0 0 0 353415 3877 0 0 20 0 1 0 33187587 1798901760 359921 18446744073709551615 4227072 8923433 140723873620416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22310912 140723873622352 140723873622568 140723873622568 140723873628138 0
/proc/19925/statm: 439185 359921 2336 1147 0 426612 0
Current children cumulated CPU time: 3572.92 s
Current children cumulated vsize: 1760932 KiB
Current children cumulated memory: 1442628 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 3.99 4.09 4.08 2/250 20208
/proc/meminfo: memFree=122876320/131249988 swapFree=33010684/33010684
[pid=19923] ppid=19920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19923/stat : 19923 (run-dec-ls-log.) S 19920 19923 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187586 4292608 736 18446744073709551615 94311677427712 94311678322245 140722974147424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94311678561296 94311678609040 94311696936960 140722974152987 140722974153185 140722974153185 140722974158787 0
/proc/19923/statm: 1048 736 672 219 0 110 0
[pid=19925] ppid=19923 vsize=1756740 memory=1439684 CPUtime=3600.04 cores=0,2
/proc/19925/stat : 19925 (roundingsat) R 19923 19923 18809 0 -1 4194304 194296 0 0 0 356103 3901 0 0 20 0 1 0 33187587 1798901760 359921 18446744073709551615 4227072 8923433 140723873620416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22310912 140723873622352 140723873622568 140723873622568 140723873628138 0
/proc/19925/statm: 439185 359921 2336 1147 0 426612 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1760932 KiB
Current children cumulated memory: 1442628 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.5 s]
# the end of solver process 19923 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001868 s, system=0.000221 s
[startup+3609.54 s]
# the end of solver process 19925 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3561.05 s, system=39.0191 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 3.99 4.09 4.08 2/250 20208
/proc/meminfo: memFree=122876320/131249988 swapFree=33010684/33010684
[pid=19923] ppid=19920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19923/stat : 19923 (run-dec-ls-log.) S 19920 19923 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187586 4292608 736 18446744073709551615 94311677427712 94311678322245 140722974147424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94311678561296 94311678609040 94311696936960 140722974152987 140722974153185 140722974153185 140722974158787 0
/proc/19923/statm: 1048 736 672 219 0 110 0
[pid=19925] ppid=19923 vsize=1756740 memory=1439684 CPUtime=3600.04 cores=0,2
/proc/19925/stat : 19925 (roundingsat) R 19923 19923 18809 0 -1 4194304 194296 0 0 0 356103 3901 0 0 20 0 1 0 33187587 1798901760 359921 18446744073709551615 4227072 8923433 140723873620416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22310912 140723873622352 140723873622568 140723873622568 140723873628138 0
/proc/19925/statm: 439185 359921 2336 1147 0 426612 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1760932 KiB
Current children cumulated memory: 1442628 KiB
Child status: 2
Real time (s): 3609.54
CPU time (s): 3600.07
CPU user time (s): 3561.05
CPU system time (s): 39.0191
CPU usage (%): 99.7377
Max. virtual memory (cumulated for all children) (KiB): 1760932
Max. memory (cumulated for all children) (KiB): 1442628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3561.05
system time used= 39.0191
maximum resident set size= 1439940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194522
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11664824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 571
involuntary context switches= 8512
# summary of solver processes directly reported to runsolver:
# pid: 19923,19925
# total CPU time (s): 3600.07
# total CPU user time (s): 3561.05
# total CPU system time (s): 39.0191
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.66054 second user time and 15.5952 second system time
The end
Begin job on nodeC034 at 2025-06-29 07:31:27
IDJOB=4507159
IDBENCH=158327
IDSOLVER=3354
FILE ID=nodeC034/4507159-1751175087
RUNJOBID= nodeC034-1751167846-18819
SLURM_JOB_ID= 9587509
Free space on /tmp= 433036 MiB
SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K194.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507159-1751175087/watcher-4507159-1751175087 -o /tmp/evaluation-result-4507159-1751175087/solver-4507159-1751175087 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751167846-18819 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4507159-1751175087.opb PROOFDIR/proof-4507159-1751175087
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7d29d77727f08087434452962a118642
RANDOM SEED=203116153
nodeC034 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.764
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.927
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.538
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.006
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.753
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.756
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.509
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.095
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 129881176 kB
MemAvailable: 129543836 kB
Buffers: 3280 kB
Cached: 473256 kB
SwapCached: 0 kB
Active: 500960 kB
Inactive: 252104 kB
Active(anon): 294672 kB
Inactive(anon): 0 kB
Active(file): 206288 kB
Inactive(file): 252104 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 47320 kB
Writeback: 0 kB
AnonPages: 279840 kB
Mapped: 115972 kB
Shmem: 18104 kB
KReclaimable: 86616 kB
Slab: 173064 kB
SReclaimable: 86616 kB
SUnreclaim: 86448 kB
KernelStack: 4368 kB
PageTables: 3732 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 639348 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 67584 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: 189140 kB
DirectMap2M: 7970816 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433056 MiB
End job on nodeC034 at 2025-06-29 08:31:37