0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.36/0.73 c #variables 23086 #constraints 23476
102.66/103.35 c #Conflicts: 1000 | #Constraints: 24475
102.66/103.35 c #Conflicts: 2000 | #Constraints: 25475
102.66/103.35 c INPROCESSING
102.66/103.35 c GARBAGE COLLECT
102.66/103.35 c #Conflicts: 3000 | #Constraints: 24740
102.66/103.35 c #Conflicts: 4000 | #Constraints: 25740
102.66/103.35 c INPROCESSING
102.66/103.35 c GARBAGE COLLECT
102.66/103.35 c #Conflicts: 5000 | #Constraints: 25246
102.66/103.35 c #Conflicts: 6000 | #Constraints: 26246
102.66/103.35 c INPROCESSING
102.66/103.35 c GARBAGE COLLECT
102.66/103.35 c #Conflicts: 7000 | #Constraints: 25454
102.66/103.35 c #Conflicts: 8000 | #Constraints: 26454
102.66/103.35 c #Conflicts: 9000 | #Constraints: 27454
102.66/103.35 c #Conflicts: 10000 | #Constraints: 28454
102.66/103.35 c #Conflicts: 11000 | #Constraints: 29454
102.66/103.35 c #Conflicts: 12000 | #Constraints: 30454
102.66/103.35 c INPROCESSING
102.66/103.35 c GARBAGE COLLECT
102.66/103.35 c #Conflicts: 13000 | #Constraints: 27416
102.66/103.35 c #Conflicts: 14000 | #Constraints: 28416
102.66/103.35 c #Conflicts: 15000 | #Constraints: 29416
102.66/103.35 c #Conflicts: 16000 | #Constraints: 30416
102.66/103.35 c INPROCESSING
102.66/103.35 c GARBAGE COLLECT
102.66/103.35 c #Conflicts: 17000 | #Constraints: 28220
102.66/103.35 c #Conflicts: 18000 | #Constraints: 29220
102.66/103.35 c #Conflicts: 19000 | #Constraints: 30220
102.66/103.35 c #Conflicts: 20000 | #Constraints: 31220
102.66/103.35 c #Conflicts: 21000 | #Constraints: 32220
102.66/103.35 c #Conflicts: 22000 | #Constraints: 33220
102.66/103.35 c #Conflicts: 23000 | #Constraints: 34220
102.66/103.35 c #Conflicts: 24000 | #Constraints: 35220
102.66/103.35 c #Conflicts: 25000 | #Constraints: 36220
102.66/103.35 c INPROCESSING
102.66/103.35 c GARBAGE COLLECT
102.66/103.35 c #Conflicts: 26000 | #Constraints: 30441
102.66/103.35 c #Conflicts: 27000 | #Constraints: 31441
102.66/103.35 c #Conflicts: 28000 | #Constraints: 32441
102.66/103.35 c #Conflicts: 29000 | #Constraints: 33441
102.66/103.35 c #Conflicts: 30000 | #Constraints: 34441
102.66/103.35 c INPROCESSING
102.66/103.35 c GARBAGE COLLECT
102.66/103.35 c #Conflicts: 31000 | #Constraints: 30659
102.66/103.35 c #Conflicts: 32000 | #Constraints: 31659
102.66/103.35 c #Conflicts: 33000 | #Constraints: 32659
102.66/103.35 c #Conflicts: 34000 | #Constraints: 33659
102.66/103.35 c #Conflicts: 35000 | #Constraints: 34659
102.66/103.35 c #Conflicts: 36000 | #Constraints: 35659
102.66/103.35 c #Conflicts: 37000 | #Constraints: 36659
102.66/103.35 c #Conflicts: 38000 | #Constraints: 37659
102.66/103.35 c #Conflicts: 39000 | #Constraints: 38659
102.66/103.35 c #Conflicts: 40000 | #Constraints: 39659
102.66/103.35 c #Conflicts: 41000 | #Constraints: 40659
102.66/103.35 c #Conflicts: 42000 | #Constraints: 41659
102.66/103.35 c #Conflicts: 43000 | #Constraints: 42659
102.66/103.35 c INPROCESSING
102.66/103.35 c GARBAGE COLLECT
102.66/103.35 c #Conflicts: 44000 | #Constraints: 33943
102.66/103.35 c #Conflicts: 45000 | #Constraints: 34943
102.66/103.35 c #Conflicts: 46000 | #Constraints: 35943
102.66/103.35 c #Conflicts: 47000 | #Constraints: 36943
102.66/103.35 c #Conflicts: 48000 | #Constraints: 37943
102.66/103.35 c #Conflicts: 49000 | #Constraints: 38943
102.66/103.35 c #Conflicts: 50000 | #Constraints: 39943
102.66/103.35 c #Conflicts: 51000 | #Constraints: 40943
102.66/103.35 c #Conflicts: 52000 | #Constraints: 41943
102.66/103.35 c #Conflicts: 53000 | #Constraints: 42943
102.66/103.35 c #Conflicts: 54000 | #Constraints: 43943
102.66/103.35 c #Conflicts: 55000 | #Constraints: 44943
102.66/103.35 c #Conflicts: 56000 | #Constraints: 45943
102.66/103.35 c #Conflicts: 57000 | #Constraints: 46943
102.66/103.35 c INPROCESSING
102.66/103.35 c GARBAGE COLLECT
102.66/103.35 c #Conflicts: 58000 | #Constraints: 36109
102.66/103.35 c #Conflicts: 59000 | #Constraints: 37109
102.66/103.35 c #Conflicts: 60000 | #Constraints: 38109
102.66/103.35 c #Conflicts: 61000 | #Constraints: 39109
102.66/103.35 c #Conflicts: 62000 | #Constraints: 40109
102.66/103.35 c #Conflicts: 63000 | #Constraints: 41109
102.66/103.35 c #Conflicts: 64000 | #Constraints: 42109
102.66/103.35 c #Conflicts: 65000 | #Constraints: 43109
102.66/103.35 c INPROCESSING
102.66/103.35 c GARBAGE COLLECT
102.66/103.35 c #Conflicts: 66000 | #Constraints: 37012
102.66/103.35 c #Conflicts: 67000 | #Constraints: 38012
102.66/103.35 c #Conflicts: 68000 | #Constraints: 39012
102.66/103.35 c #Conflicts: 69000 | #Constraints: 40012
102.66/103.35 c #Conflicts: 70000 | #Constraints: 41012
102.66/103.35 c #Conflicts: 71000 | #Constraints: 42012
102.66/103.35 c #Conflicts: 72000 | #Constraints: 43012
102.66/103.35 c #Conflicts: 73000 | #Constraints: 44012
237.47/238.53 c #Conflicts: 74000 | #Constraints: 45012
237.47/238.53 c #Conflicts: 75000 | #Constraints: 46012
237.47/238.53 c #Conflicts: 76000 | #Constraints: 47012
237.47/238.53 c #Conflicts: 77000 | #Constraints: 48012
237.47/238.53 c #Conflicts: 78000 | #Constraints: 49012
237.47/238.53 c #Conflicts: 79000 | #Constraints: 50012
237.47/238.53 c #Conflicts: 80000 | #Constraints: 51012
237.47/238.53 c #Conflicts: 81000 | #Constraints: 52012
237.47/238.53 c #Conflicts: 82000 | #Constraints: 53012
237.47/238.53 c INPROCESSING
237.47/238.53 c GARBAGE COLLECT
237.47/238.53 c #Conflicts: 83000 | #Constraints: 39358
237.47/238.53 c #Conflicts: 84000 | #Constraints: 40358
237.47/238.53 c #Conflicts: 85000 | #Constraints: 41358
237.47/238.53 c #Conflicts: 86000 | #Constraints: 42358
237.47/238.53 c #Conflicts: 87000 | #Constraints: 43358
237.47/238.53 c #Conflicts: 88000 | #Constraints: 44358
237.47/238.53 c #Conflicts: 89000 | #Constraints: 45358
237.47/238.53 c #Conflicts: 90000 | #Constraints: 46358
237.47/238.53 c #Conflicts: 91000 | #Constraints: 47358
237.47/238.53 c #Conflicts: 92000 | #Constraints: 48358
237.47/238.53 c #Conflicts: 93000 | #Constraints: 49358
237.47/238.53 c #Conflicts: 94000 | #Constraints: 50358
237.47/238.53 c #Conflicts: 95000 | #Constraints: 51358
237.47/238.53 c #Conflicts: 96000 | #Constraints: 52358
237.47/238.53 c #Conflicts: 97000 | #Constraints: 53358
237.47/238.53 c #Conflicts: 98000 | #Constraints: 54358
237.47/238.53 c #Conflicts: 99000 | #Constraints: 55358
237.47/238.53 c #Conflicts: 100000 | #Constraints: 56358
237.47/238.53 c #Conflicts: 101000 | #Constraints: 57359
237.47/238.53 c #Conflicts: 102000 | #Constraints: 58359
237.47/238.53 c INPROCESSING
237.47/238.53 c GARBAGE COLLECT
237.47/238.53 c #Conflicts: 103000 | #Constraints: 42363
237.47/238.53 c #Conflicts: 104000 | #Constraints: 43363
237.47/238.53 c #Conflicts: 105000 | #Constraints: 44363
237.47/238.53 c #Conflicts: 106000 | #Constraints: 45363
237.47/238.53 c #Conflicts: 107000 | #Constraints: 46363
237.47/238.53 c #Conflicts: 108000 | #Constraints: 47363
237.47/238.53 c #Conflicts: 109000 | #Constraints: 48363
237.47/238.53 c #Conflicts: 110000 | #Constraints: 49363
237.47/238.53 c #Conflicts: 111000 | #Constraints: 50363
237.47/238.53 c #Conflicts: 112000 | #Constraints: 51363
237.47/238.53 c #Conflicts: 113000 | #Constraints: 52363
237.47/238.53 c #Conflicts: 114000 | #Constraints: 53363
237.47/238.53 c #Conflicts: 115000 | #Constraints: 54363
237.47/238.53 c #Conflicts: 116000 | #Constraints: 55363
237.47/238.53 c #Conflicts: 117000 | #Constraints: 56363
237.47/238.53 c #Conflicts: 118000 | #Constraints: 57363
237.47/238.53 c #Conflicts: 119000 | #Constraints: 58363
237.47/238.53 c #Conflicts: 120000 | #Constraints: 59363
237.47/238.53 c #Conflicts: 121000 | #Constraints: 60363
237.47/238.53 c #Conflicts: 122000 | #Constraints: 61363
237.47/238.53 c #Conflicts: 123000 | #Constraints: 62363
237.47/238.53 c INPROCESSING
237.47/238.53 c GARBAGE COLLECT
237.47/238.53 c #Conflicts: 124000 | #Constraints: 44254
237.47/238.53 c #Conflicts: 125000 | #Constraints: 45254
237.47/238.53 c #Conflicts: 126000 | #Constraints: 46254
237.47/238.53 c #Conflicts: 127000 | #Constraints: 47254
237.47/238.53 c #Conflicts: 128000 | #Constraints: 48254
237.47/238.53 c #Conflicts: 129000 | #Constraints: 49254
237.47/238.53 c #Conflicts: 130000 | #Constraints: 50254
237.47/238.54 c #Conflicts: 131000 | #Constraints: 51254
237.47/238.54 c #Conflicts: 132000 | #Constraints: 52254
237.47/238.54 c #Conflicts: 133000 | #Constraints: 53254
237.47/238.54 c #Conflicts: 134000 | #Constraints: 54254
237.47/238.54 c #Conflicts: 135000 | #Constraints: 55254
237.47/238.54 c #Conflicts: 136000 | #Constraints: 56254
237.47/238.54 c #Conflicts: 137000 | #Constraints: 57254
237.47/238.54 c #Conflicts: 138000 | #Constraints: 58254
237.47/238.54 c #Conflicts: 139000 | #Constraints: 59254
237.47/238.54 c #Conflicts: 140000 | #Constraints: 60254
237.47/238.54 c #Conflicts: 141000 | #Constraints: 61254
237.47/238.54 c #Conflicts: 142000 | #Constraints: 62254
237.47/238.54 c #Conflicts: 143000 | #Constraints: 63254
237.47/238.54 c #Conflicts: 144000 | #Constraints: 64254
237.47/238.54 c #Conflicts: 145000 | #Constraints: 65254
237.47/238.54 c #Conflicts: 146000 | #Constraints: 66254
237.47/238.54 c #Conflicts: 147000 | #Constraints: 67254
237.47/238.54 c INPROCESSING
237.47/238.54 c GARBAGE COLLECT
237.47/238.54 c #Conflicts: 148000 | #Constraints: 47067
237.47/238.54 c #Conflicts: 149000 | #Constraints: 48067
385.74/387.28 c #Conflicts: 150000 | #Constraints: 49067
385.74/387.28 c #Conflicts: 151000 | #Constraints: 50067
385.74/387.28 c #Conflicts: 152000 | #Constraints: 51067
385.74/387.28 c #Conflicts: 153000 | #Constraints: 52067
385.74/387.28 c #Conflicts: 154000 | #Constraints: 53067
385.74/387.28 c #Conflicts: 155000 | #Constraints: 54067
385.74/387.28 c #Conflicts: 156000 | #Constraints: 55067
385.74/387.28 c #Conflicts: 157000 | #Constraints: 56067
385.74/387.28 c #Conflicts: 158000 | #Constraints: 57067
385.74/387.28 c #Conflicts: 159000 | #Constraints: 58067
385.74/387.28 c #Conflicts: 160000 | #Constraints: 59067
385.74/387.28 c #Conflicts: 161000 | #Constraints: 60067
385.74/387.28 c #Conflicts: 162000 | #Constraints: 61067
385.74/387.28 c #Conflicts: 163000 | #Constraints: 62067
385.74/387.28 c #Conflicts: 164000 | #Constraints: 63067
385.74/387.28 c #Conflicts: 165000 | #Constraints: 64067
385.74/387.28 c #Conflicts: 166000 | #Constraints: 65067
385.74/387.28 c #Conflicts: 167000 | #Constraints: 66067
385.74/387.28 c #Conflicts: 168000 | #Constraints: 67067
385.74/387.28 c #Conflicts: 169000 | #Constraints: 68067
385.74/387.28 c #Conflicts: 170000 | #Constraints: 69067
385.74/387.28 c #Conflicts: 171000 | #Constraints: 70067
385.74/387.28 c #Conflicts: 172000 | #Constraints: 71067
385.74/387.28 c INPROCESSING
385.74/387.28 c GARBAGE COLLECT
385.74/387.28 c #Conflicts: 173000 | #Constraints: 48801
385.74/387.28 c #Conflicts: 174000 | #Constraints: 49801
385.74/387.28 c #Conflicts: 175000 | #Constraints: 50801
385.74/387.28 c #Conflicts: 176000 | #Constraints: 51801
385.74/387.28 c #Conflicts: 177000 | #Constraints: 52801
385.74/387.28 c #Conflicts: 178000 | #Constraints: 53801
385.74/387.28 c #Conflicts: 179000 | #Constraints: 54801
385.74/387.28 c #Conflicts: 180000 | #Constraints: 55801
385.74/387.28 c #Conflicts: 181000 | #Constraints: 56801
385.74/387.28 c #Conflicts: 182000 | #Constraints: 57801
385.74/387.28 c #Conflicts: 183000 | #Constraints: 58801
385.74/387.28 c #Conflicts: 184000 | #Constraints: 59801
385.74/387.28 c #Conflicts: 185000 | #Constraints: 60801
385.74/387.28 c #Conflicts: 186000 | #Constraints: 61801
385.74/387.28 c #Conflicts: 187000 | #Constraints: 62801
385.74/387.28 c #Conflicts: 188000 | #Constraints: 63801
385.74/387.28 c #Conflicts: 189000 | #Constraints: 64801
385.74/387.28 c #Conflicts: 190000 | #Constraints: 65801
385.74/387.28 c #Conflicts: 191000 | #Constraints: 66801
385.74/387.28 c #Conflicts: 192000 | #Constraints: 67801
385.74/387.28 c #Conflicts: 193000 | #Constraints: 68801
385.74/387.28 c #Conflicts: 194000 | #Constraints: 69801
385.74/387.28 c #Conflicts: 195000 | #Constraints: 70801
385.74/387.28 c #Conflicts: 196000 | #Constraints: 71801
385.74/387.28 c #Conflicts: 197000 | #Constraints: 72801
385.74/387.28 c #Conflicts: 198000 | #Constraints: 73801
385.74/387.28 c #Conflicts: 199000 | #Constraints: 74801
385.74/387.28 c #Conflicts: 200000 | #Constraints: 75801
385.74/387.28 c INPROCESSING
385.74/387.28 c GARBAGE COLLECT
385.74/387.28 c #Conflicts: 201000 | #Constraints: 51384
385.74/387.28 c #Conflicts: 202000 | #Constraints: 52384
385.74/387.28 c #Conflicts: 203000 | #Constraints: 53384
385.74/387.28 c #Conflicts: 204000 | #Constraints: 54384
385.74/387.28 c #Conflicts: 205000 | #Constraints: 55384
385.74/387.28 c #Conflicts: 206000 | #Constraints: 56384
385.74/387.28 c #Conflicts: 207000 | #Constraints: 57384
385.74/387.28 c #Conflicts: 208000 | #Constraints: 58384
385.74/387.28 c #Conflicts: 209000 | #Constraints: 59384
385.74/387.28 c #Conflicts: 210000 | #Constraints: 60384
385.74/387.28 c #Conflicts: 211000 | #Constraints: 61384
385.74/387.28 c #Conflicts: 212000 | #Constraints: 62384
385.74/387.28 c #Conflicts: 213000 | #Constraints: 63384
385.74/387.28 c #Conflicts: 214000 | #Constraints: 64384
385.74/387.28 c #Conflicts: 215000 | #Constraints: 65384
385.74/387.28 c #Conflicts: 216000 | #Constraints: 66384
385.74/387.28 c #Conflicts: 217000 | #Constraints: 67384
385.74/387.28 c #Conflicts: 218000 | #Constraints: 68384
385.74/387.28 c #Conflicts: 219000 | #Constraints: 69384
385.74/387.28 c #Conflicts: 220000 | #Constraints: 70384
385.74/387.28 c #Conflicts: 221000 | #Constraints: 71384
385.74/387.28 c #Conflicts: 222000 | #Constraints: 72384
385.74/387.28 c #Conflicts: 223000 | #Constraints: 73384
385.74/387.28 c #Conflicts: 224000 | #Constraints: 74384
385.74/387.28 c #Conflicts: 225000 | #Constraints: 75385
385.74/387.28 c #Conflicts: 226000 | #Constraints: 76385
385.74/387.28 c #Conflicts: 227000 | #Constraints: 77385
565.22/567.27 c #Conflicts: 228000 | #Constraints: 78385
565.22/567.27 c #Conflicts: 229000 | #Constraints: 79385
565.22/567.27 c INPROCESSING
565.22/567.27 c GARBAGE COLLECT
565.22/567.27 c #Conflicts: 230000 | #Constraints: 52958
565.22/567.27 c #Conflicts: 231000 | #Constraints: 53958
565.22/567.27 c #Conflicts: 232000 | #Constraints: 54958
565.22/567.27 c #Conflicts: 233000 | #Constraints: 55958
565.22/567.27 c #Conflicts: 234000 | #Constraints: 56958
565.22/567.27 c #Conflicts: 235000 | #Constraints: 57958
565.22/567.27 c #Conflicts: 236000 | #Constraints: 58958
565.22/567.27 c #Conflicts: 237000 | #Constraints: 59958
565.22/567.27 c #Conflicts: 238000 | #Constraints: 60958
565.22/567.27 c #Conflicts: 239000 | #Constraints: 61958
565.22/567.27 c #Conflicts: 240000 | #Constraints: 62958
565.22/567.27 c #Conflicts: 241000 | #Constraints: 63958
565.22/567.27 c #Conflicts: 242000 | #Constraints: 64958
565.22/567.27 c #Conflicts: 243000 | #Constraints: 65958
565.22/567.27 c #Conflicts: 244000 | #Constraints: 66958
565.22/567.27 c #Conflicts: 245000 | #Constraints: 67958
565.22/567.27 c #Conflicts: 246000 | #Constraints: 68958
565.22/567.27 c #Conflicts: 247000 | #Constraints: 69958
565.22/567.27 c #Conflicts: 248000 | #Constraints: 70958
565.22/567.27 c #Conflicts: 249000 | #Constraints: 71958
565.22/567.27 c #Conflicts: 250000 | #Constraints: 72958
565.22/567.27 c #Conflicts: 251000 | #Constraints: 73958
565.22/567.27 c #Conflicts: 252000 | #Constraints: 74958
565.22/567.27 c #Conflicts: 253000 | #Constraints: 75958
565.22/567.27 c #Conflicts: 254000 | #Constraints: 76958
565.22/567.27 c #Conflicts: 255000 | #Constraints: 77958
565.22/567.27 c #Conflicts: 256000 | #Constraints: 78958
565.22/567.27 c #Conflicts: 257000 | #Constraints: 79958
565.22/567.27 c #Conflicts: 258000 | #Constraints: 80958
565.22/567.27 c #Conflicts: 259000 | #Constraints: 81958
565.22/567.27 c #Conflicts: 260000 | #Constraints: 82958
565.22/567.27 c #Conflicts: 261000 | #Constraints: 83958
565.22/567.27 c INPROCESSING
565.22/567.27 c GARBAGE COLLECT
565.22/567.27 c #Conflicts: 262000 | #Constraints: 55505
565.22/567.27 c #Conflicts: 263000 | #Constraints: 56505
565.22/567.27 c #Conflicts: 264000 | #Constraints: 57505
565.22/567.27 c #Conflicts: 265000 | #Constraints: 58505
565.22/567.27 c #Conflicts: 266000 | #Constraints: 59505
565.22/567.27 c #Conflicts: 267000 | #Constraints: 60505
565.22/567.27 c #Conflicts: 268000 | #Constraints: 61505
565.22/567.27 c #Conflicts: 269000 | #Constraints: 62505
565.22/567.27 c #Conflicts: 270000 | #Constraints: 63505
565.22/567.27 c #Conflicts: 271000 | #Constraints: 64505
565.22/567.27 c #Conflicts: 272000 | #Constraints: 65505
565.22/567.27 c #Conflicts: 273000 | #Constraints: 66505
565.22/567.27 c #Conflicts: 274000 | #Constraints: 67505
565.22/567.27 c #Conflicts: 275000 | #Constraints: 68505
565.22/567.27 c #Conflicts: 276000 | #Constraints: 69505
565.22/567.27 c #Conflicts: 277000 | #Constraints: 70505
565.22/567.27 c #Conflicts: 278000 | #Constraints: 71505
565.22/567.27 c #Conflicts: 279000 | #Constraints: 72505
565.22/567.27 c #Conflicts: 280000 | #Constraints: 73505
565.22/567.27 c #Conflicts: 281000 | #Constraints: 74505
565.22/567.27 c #Conflicts: 282000 | #Constraints: 75505
565.22/567.27 c #Conflicts: 283000 | #Constraints: 76505
565.22/567.27 c #Conflicts: 284000 | #Constraints: 77505
565.22/567.27 c #Conflicts: 285000 | #Constraints: 78505
565.22/567.27 c #Conflicts: 286000 | #Constraints: 79505
565.22/567.27 c #Conflicts: 287000 | #Constraints: 80505
565.22/567.27 c #Conflicts: 288000 | #Constraints: 81505
565.22/567.27 c #Conflicts: 289000 | #Constraints: 82505
565.22/567.27 c #Conflicts: 290000 | #Constraints: 83505
565.22/567.27 c #Conflicts: 291000 | #Constraints: 84505
565.22/567.27 c #Conflicts: 292000 | #Constraints: 85505
565.22/567.27 c #Conflicts: 293000 | #Constraints: 86505
565.22/567.27 c #Conflicts: 294000 | #Constraints: 87505
565.22/567.27 c INPROCESSING
565.22/567.27 c GARBAGE COLLECT
565.22/567.27 c #Conflicts: 295000 | #Constraints: 57097
565.22/567.27 c #Conflicts: 296000 | #Constraints: 58097
565.22/567.27 c #Conflicts: 297000 | #Constraints: 59097
565.22/567.27 c #Conflicts: 298000 | #Constraints: 60097
565.22/567.27 c #Conflicts: 299000 | #Constraints: 61097
565.22/567.27 c #Conflicts: 300000 | #Constraints: 62097
565.22/567.27 c #Conflicts: 301000 | #Constraints: 63097
565.22/567.27 c #Conflicts: 302000 | #Constraints: 64097
565.22/567.27 c #Conflicts: 303000 | #Constraints: 65097
565.22/567.27 c #Conflicts: 304000 | #Constraints: 66097
741.42/744.11 c #Conflicts: 305000 | #Constraints: 67097
741.42/744.11 c #Conflicts: 306000 | #Constraints: 68097
741.42/744.11 c #Conflicts: 307000 | #Constraints: 69097
741.42/744.11 c #Conflicts: 308000 | #Constraints: 70097
741.42/744.11 c #Conflicts: 309000 | #Constraints: 71097
741.42/744.11 c #Conflicts: 310000 | #Constraints: 72097
741.42/744.11 c #Conflicts: 311000 | #Constraints: 73097
741.42/744.11 c #Conflicts: 312000 | #Constraints: 74097
741.42/744.11 c #Conflicts: 313000 | #Constraints: 75097
741.42/744.11 c #Conflicts: 314000 | #Constraints: 76097
741.42/744.11 c #Conflicts: 315000 | #Constraints: 77097
741.42/744.11 c #Conflicts: 316000 | #Constraints: 78097
741.42/744.11 c #Conflicts: 317000 | #Constraints: 79097
741.42/744.11 c #Conflicts: 318000 | #Constraints: 80097
741.42/744.11 c #Conflicts: 319000 | #Constraints: 81097
741.42/744.11 c #Conflicts: 320000 | #Constraints: 82097
741.42/744.11 c #Conflicts: 321000 | #Constraints: 83097
741.42/744.11 c #Conflicts: 322000 | #Constraints: 84097
741.42/744.11 c #Conflicts: 323000 | #Constraints: 85097
741.42/744.11 c #Conflicts: 324000 | #Constraints: 86097
741.42/744.11 c #Conflicts: 325000 | #Constraints: 87097
741.42/744.11 c #Conflicts: 326000 | #Constraints: 88097
741.42/744.11 c #Conflicts: 327000 | #Constraints: 89097
741.42/744.11 c #Conflicts: 328000 | #Constraints: 90097
741.42/744.11 c #Conflicts: 329000 | #Constraints: 91097
741.42/744.11 c #Conflicts: 330000 | #Constraints: 92097
741.42/744.11 c INPROCESSING
741.42/744.11 c GARBAGE COLLECT
741.42/744.11 c #Conflicts: 331000 | #Constraints: 59678
741.42/744.11 c #Conflicts: 332000 | #Constraints: 60678
741.42/744.11 c #Conflicts: 333000 | #Constraints: 61678
741.42/744.11 c #Conflicts: 334000 | #Constraints: 62678
741.42/744.11 c #Conflicts: 335000 | #Constraints: 63678
741.42/744.11 c #Conflicts: 336000 | #Constraints: 64678
741.42/744.11 c #Conflicts: 337000 | #Constraints: 65678
741.42/744.11 c #Conflicts: 338000 | #Constraints: 66678
741.42/744.11 c #Conflicts: 339000 | #Constraints: 67678
741.42/744.11 c #Conflicts: 340000 | #Constraints: 68678
741.42/744.11 c #Conflicts: 341000 | #Constraints: 69678
741.42/744.11 c #Conflicts: 342000 | #Constraints: 70678
741.42/744.11 c #Conflicts: 343000 | #Constraints: 71678
741.42/744.11 c #Conflicts: 344000 | #Constraints: 72678
741.42/744.11 c #Conflicts: 345000 | #Constraints: 73678
741.42/744.11 c #Conflicts: 346000 | #Constraints: 74678
741.42/744.11 c #Conflicts: 347000 | #Constraints: 75678
741.42/744.11 c #Conflicts: 348000 | #Constraints: 76678
741.42/744.11 c #Conflicts: 349000 | #Constraints: 77678
741.42/744.11 c #Conflicts: 350000 | #Constraints: 78678
741.42/744.11 c #Conflicts: 351000 | #Constraints: 79678
741.42/744.11 c #Conflicts: 352000 | #Constraints: 80678
741.42/744.11 c #Conflicts: 353000 | #Constraints: 81678
741.42/744.11 c #Conflicts: 354000 | #Constraints: 82678
741.42/744.11 c #Conflicts: 355000 | #Constraints: 83678
741.42/744.11 c #Conflicts: 356000 | #Constraints: 84678
741.42/744.11 c #Conflicts: 357000 | #Constraints: 85678
741.42/744.11 c #Conflicts: 358000 | #Constraints: 86678
741.42/744.11 c #Conflicts: 359000 | #Constraints: 87678
741.42/744.11 c #Conflicts: 360000 | #Constraints: 88678
741.42/744.11 c #Conflicts: 361000 | #Constraints: 89678
741.42/744.11 c #Conflicts: 362000 | #Constraints: 90678
741.42/744.11 c #Conflicts: 363000 | #Constraints: 91678
741.42/744.11 c #Conflicts: 364000 | #Constraints: 92678
741.42/744.11 c #Conflicts: 365000 | #Constraints: 93678
741.42/744.11 c #Conflicts: 366000 | #Constraints: 94678
741.42/744.11 c #Conflicts: 367000 | #Constraints: 95678
741.42/744.11 c INPROCESSING
741.42/744.11 c GARBAGE COLLECT
741.42/744.11 c #Conflicts: 368000 | #Constraints: 61520
741.42/744.11 c #Conflicts: 369000 | #Constraints: 62520
741.42/744.11 c #Conflicts: 370000 | #Constraints: 63520
741.42/744.11 c #Conflicts: 371000 | #Constraints: 64520
741.42/744.11 c #Conflicts: 372000 | #Constraints: 65520
741.42/744.11 c #Conflicts: 373000 | #Constraints: 66520
741.42/744.11 c #Conflicts: 374000 | #Constraints: 67520
741.42/744.11 c #Conflicts: 375000 | #Constraints: 68520
741.42/744.11 c #Conflicts: 376000 | #Constraints: 69520
741.42/744.11 c #Conflicts: 377000 | #Constraints: 70520
741.42/744.11 c #Conflicts: 378000 | #Constraints: 71520
741.42/744.11 c #Conflicts: 379000 | #Constraints: 72520
741.42/744.11 c #Conflicts: 380000 | #Constraints: 73520
741.42/744.11 c #Conflicts: 381000 | #Constraints: 74520
900.06/903.21 c #Conflicts: 382000 | #Constraints: 75520
900.06/903.21 c #Conflicts: 383000 | #Constraints: 76520
900.06/903.21 c #Conflicts: 384000 | #Constraints: 77520
900.06/903.21 c #Conflicts: 385000 | #Constraints: 78520
900.06/903.21 c #Conflicts: 386000 | #Constraints: 79520
900.06/903.21 c #Conflicts: 387000 | #Constraints: 80520
900.06/903.21 c #Conflicts: 388000 | #Constraints: 81520
900.06/903.21 c #Conflicts: 389000 | #Constraints: 82520
900.06/903.21 c #Conflicts: 390000 | #Constraints: 83520
900.06/903.21 c #Conflicts: 391000 | #Constraints: 84520
900.06/903.21 c #Conflicts: 392000 | #Constraints: 85520
900.06/903.21 c #Conflicts: 393000 | #Constraints: 86520
900.06/903.21 c #Conflicts: 394000 | #Constraints: 87520
900.06/903.21 c #Conflicts: 395000 | #Constraints: 88520
900.06/903.21 c #Conflicts: 396000 | #Constraints: 89520
900.06/903.21 c #Conflicts: 397000 | #Constraints: 90520
900.06/903.21 c #Conflicts: 398000 | #Constraints: 91520
900.06/903.21 c #Conflicts: 399000 | #Constraints: 92520
900.06/903.21 c #Conflicts: 400000 | #Constraints: 93520
900.06/903.21 c #Conflicts: 401000 | #Constraints: 94520
900.06/903.21 c #Conflicts: 402000 | #Constraints: 95520
900.06/903.21 c #Conflicts: 403000 | #Constraints: 96520
900.06/903.21 c #Conflicts: 404000 | #Constraints: 97520
900.06/903.21 c #Conflicts: 405000 | #Constraints: 98520
900.06/903.21 c #Conflicts: 406000 | #Constraints: 99520
900.06/903.21 c #Conflicts: 407000 | #Constraints: 100520
900.06/903.21 c INPROCESSING
900.06/903.21 c GARBAGE COLLECT
900.06/903.21 c #Conflicts: 408000 | #Constraints: 64255
900.06/903.21 c #Conflicts: 409000 | #Constraints: 65255
900.06/903.21 c #Conflicts: 410000 | #Constraints: 66255
900.06/903.21 c #Conflicts: 411000 | #Constraints: 67255
900.06/903.21 c #Conflicts: 412000 | #Constraints: 68255
900.06/903.21 c #Conflicts: 413000 | #Constraints: 69255
900.06/903.21 c #Conflicts: 414000 | #Constraints: 70255
900.06/903.21 c #Conflicts: 415000 | #Constraints: 71255
900.06/903.21 c #Conflicts: 416000 | #Constraints: 72255
900.06/903.21 c #Conflicts: 417000 | #Constraints: 73255
900.06/903.21 c #Conflicts: 418000 | #Constraints: 74255
900.06/903.21 c #Conflicts: 419000 | #Constraints: 75255
900.06/903.21 c #Conflicts: 420000 | #Constraints: 76255
900.06/903.21 c #Conflicts: 421000 | #Constraints: 77255
900.06/903.21 c #Conflicts: 422000 | #Constraints: 78255
900.06/903.21 c #Conflicts: 423000 | #Constraints: 79255
900.06/903.21 c #Conflicts: 424000 | #Constraints: 80255
900.06/903.21 c #Conflicts: 425000 | #Constraints: 81255
900.06/903.21 c #Conflicts: 426000 | #Constraints: 82255
900.06/903.21 c #Conflicts: 427000 | #Constraints: 83255
900.06/903.21 c #Conflicts: 428000 | #Constraints: 84255
900.06/903.21 c #Conflicts: 429000 | #Constraints: 85255
900.06/903.21 c #Conflicts: 430000 | #Constraints: 86255
900.06/903.21 c #Conflicts: 431000 | #Constraints: 87255
900.06/903.21 c #Conflicts: 432000 | #Constraints: 88255
900.06/903.21 c #Conflicts: 433000 | #Constraints: 89255
900.06/903.21 c #Conflicts: 434000 | #Constraints: 90255
900.06/903.21 c #Conflicts: 435000 | #Constraints: 91255
900.06/903.21 c #Conflicts: 436000 | #Constraints: 92255
900.06/903.21 c #Conflicts: 437000 | #Constraints: 93255
900.06/903.21 c #Conflicts: 438000 | #Constraints: 94255
900.06/903.21 c #Conflicts: 439000 | #Constraints: 95255
900.06/903.21 c #Conflicts: 440000 | #Constraints: 96255
900.06/903.21 c #Conflicts: 441000 | #Constraints: 97255
900.06/903.21 c #Conflicts: 442000 | #Constraints: 98255
900.06/903.21 c #Conflicts: 443000 | #Constraints: 99255
900.06/903.21 c #Conflicts: 444000 | #Constraints: 100255
900.06/903.21 c #Conflicts: 445000 | #Constraints: 101255
900.06/903.21 c #Conflicts: 446000 | #Constraints: 102255
900.06/903.21 c #Conflicts: 447000 | #Constraints: 103255
900.06/903.21 c #Conflicts: 448000 | #Constraints: 104255
900.06/903.21 c INPROCESSING
900.06/903.21 c GARBAGE COLLECT
900.06/903.21 c #Conflicts: 449000 | #Constraints: 65728
900.06/903.21 c #Conflicts: 450000 | #Constraints: 66728
900.06/903.21 c #Conflicts: 451000 | #Constraints: 67728
900.06/903.21 c #Conflicts: 452000 | #Constraints: 68728
900.06/903.21 c #Conflicts: 453000 | #Constraints: 69728
900.06/903.21 c #Conflicts: 454000 | #Constraints: 70728
900.06/903.21 c #Conflicts: 455000 | #Constraints: 71728
900.06/903.21 c #Conflicts: 456000 | #Constraints: 72728
900.06/903.21 c #Conflicts: 457000 | #Constraints: 73728
900.06/903.21 c #Conflicts: 458000 | #Constraints: 74728
900.06/903.21 c #Conflicts: 459000 | #Constraints: 75728
1144.32/1148.31 c #Conflicts: 460000 | #Constraints: 76728
1144.32/1148.31 c #Conflicts: 461000 | #Constraints: 77728
1144.32/1148.31 c #Conflicts: 462000 | #Constraints: 78728
1144.32/1148.31 c #Conflicts: 463000 | #Constraints: 79728
1144.32/1148.31 c #Conflicts: 464000 | #Constraints: 80728
1144.32/1148.31 c #Conflicts: 465000 | #Constraints: 81728
1144.32/1148.31 c #Conflicts: 466000 | #Constraints: 82728
1144.32/1148.31 c #Conflicts: 467000 | #Constraints: 83728
1144.32/1148.31 c #Conflicts: 468000 | #Constraints: 84728
1144.32/1148.31 c #Conflicts: 469000 | #Constraints: 85728
1144.32/1148.31 c #Conflicts: 470000 | #Constraints: 86728
1144.32/1148.31 c #Conflicts: 471000 | #Constraints: 87728
1144.32/1148.31 c #Conflicts: 472000 | #Constraints: 88728
1144.32/1148.31 c #Conflicts: 473000 | #Constraints: 89728
1144.32/1148.31 c #Conflicts: 474000 | #Constraints: 90728
1144.32/1148.31 c #Conflicts: 475000 | #Constraints: 91728
1144.32/1148.31 c #Conflicts: 476000 | #Constraints: 92728
1144.32/1148.31 c #Conflicts: 477000 | #Constraints: 93728
1144.32/1148.31 c #Conflicts: 478000 | #Constraints: 94728
1144.32/1148.31 c #Conflicts: 479000 | #Constraints: 95728
1144.32/1148.31 c #Conflicts: 480000 | #Constraints: 96728
1144.32/1148.31 c #Conflicts: 481000 | #Constraints: 97728
1144.32/1148.31 c #Conflicts: 482000 | #Constraints: 98728
1144.32/1148.31 c #Conflicts: 483000 | #Constraints: 99728
1144.32/1148.31 c #Conflicts: 484000 | #Constraints: 100728
1144.32/1148.31 c #Conflicts: 485000 | #Constraints: 101728
1144.32/1148.31 c #Conflicts: 486000 | #Constraints: 102728
1144.32/1148.31 c #Conflicts: 487000 | #Constraints: 103728
1144.32/1148.31 c #Conflicts: 488000 | #Constraints: 104728
1144.32/1148.31 c #Conflicts: 489000 | #Constraints: 105728
1144.32/1148.31 c #Conflicts: 490000 | #Constraints: 106728
1144.32/1148.31 c #Conflicts: 491000 | #Constraints: 107728
1144.32/1148.31 c #Conflicts: 492000 | #Constraints: 108728
1144.32/1148.31 c INPROCESSING
1144.32/1148.31 c GARBAGE COLLECT
1144.32/1148.31 c #Conflicts: 493000 | #Constraints: 68272
1144.32/1148.31 c #Conflicts: 494000 | #Constraints: 69272
1144.32/1148.31 c #Conflicts: 495000 | #Constraints: 70272
1144.32/1148.31 c #Conflicts: 496000 | #Constraints: 71272
1144.32/1148.31 c #Conflicts: 497000 | #Constraints: 72272
1144.32/1148.31 c #Conflicts: 498000 | #Constraints: 73272
1144.32/1148.31 c #Conflicts: 499000 | #Constraints: 74272
1144.32/1148.31 c #Conflicts: 500000 | #Constraints: 75272
1144.32/1148.31 c #Conflicts: 501000 | #Constraints: 76272
1144.32/1148.31 c #Conflicts: 502000 | #Constraints: 77272
1144.32/1148.31 c #Conflicts: 503000 | #Constraints: 78272
1144.32/1148.31 c #Conflicts: 504000 | #Constraints: 79272
1144.32/1148.31 c #Conflicts: 505000 | #Constraints: 80272
1144.32/1148.31 c #Conflicts: 506000 | #Constraints: 81272
1144.32/1148.31 c #Conflicts: 507000 | #Constraints: 82272
1144.32/1148.31 c #Conflicts: 508000 | #Constraints: 83272
1144.32/1148.31 c #Conflicts: 509000 | #Constraints: 84272
1144.32/1148.31 c #Conflicts: 510000 | #Constraints: 85272
1144.32/1148.31 c #Conflicts: 511000 | #Constraints: 86272
1144.32/1148.31 c #Conflicts: 512000 | #Constraints: 87272
1144.32/1148.31 c #Conflicts: 513000 | #Constraints: 88272
1144.32/1148.31 c #Conflicts: 514000 | #Constraints: 89272
1144.32/1148.31 c #Conflicts: 515000 | #Constraints: 90272
1144.32/1148.31 c #Conflicts: 516000 | #Constraints: 91272
1144.32/1148.31 c #Conflicts: 517000 | #Constraints: 92272
1144.32/1148.31 c #Conflicts: 518000 | #Constraints: 93272
1144.32/1148.31 c #Conflicts: 519000 | #Constraints: 94272
1144.32/1148.31 c #Conflicts: 520000 | #Constraints: 95272
1144.32/1148.31 c #Conflicts: 521000 | #Constraints: 96272
1144.32/1148.31 c #Conflicts: 522000 | #Constraints: 97272
1144.32/1148.31 c #Conflicts: 523000 | #Constraints: 98272
1144.32/1148.31 c #Conflicts: 524000 | #Constraints: 99272
1144.32/1148.31 c #Conflicts: 525000 | #Constraints: 100272
1144.32/1148.31 c #Conflicts: 526000 | #Constraints: 101272
1144.32/1148.31 c #Conflicts: 527000 | #Constraints: 102272
1144.32/1148.31 c #Conflicts: 528000 | #Constraints: 103272
1144.32/1148.31 c #Conflicts: 529000 | #Constraints: 104272
1144.32/1148.31 c #Conflicts: 530000 | #Constraints: 105272
1144.32/1148.31 c #Conflicts: 531000 | #Constraints: 106272
1144.32/1148.31 c #Conflicts: 532000 | #Constraints: 107272
1144.32/1148.31 c #Conflicts: 533000 | #Constraints: 108272
1144.32/1148.31 c #Conflicts: 534000 | #Constraints: 109272
1144.32/1148.31 c #Conflicts: 535000 | #Constraints: 110272
1144.32/1148.31 c #Conflicts: 536000 | #Constraints: 111272
1144.32/1148.31 c #Conflicts: 537000 | #Constraints: 112272
1150.11/1154.13 c INPROCESSING
1150.11/1154.13 c GARBAGE COLLECT
1150.11/1154.13 c rational objective 194
1292.71/1297.28 c #Conflicts: 538000 | #Constraints: 69683
1292.71/1297.28 c #Conflicts: 539000 | #Constraints: 70683
1292.71/1297.28 c #Conflicts: 540000 | #Constraints: 71683
1292.71/1297.28 c #Conflicts: 541000 | #Constraints: 72683
1292.71/1297.28 c #Conflicts: 542000 | #Constraints: 73683
1292.71/1297.28 c #Conflicts: 543000 | #Constraints: 74683
1292.71/1297.28 c #Conflicts: 544000 | #Constraints: 75683
1292.71/1297.28 c #Conflicts: 545000 | #Constraints: 76683
1292.71/1297.28 c #Conflicts: 546000 | #Constraints: 77683
1292.71/1297.28 c #Conflicts: 547000 | #Constraints: 78683
1292.71/1297.28 c #Conflicts: 548000 | #Constraints: 79683
1292.71/1297.28 c #Conflicts: 549000 | #Constraints: 80683
1292.71/1297.28 c #Conflicts: 550000 | #Constraints: 81683
1292.71/1297.28 c #Conflicts: 551000 | #Constraints: 82683
1292.71/1297.28 c #Conflicts: 552000 | #Constraints: 83683
1292.71/1297.28 c #Conflicts: 553000 | #Constraints: 84683
1292.71/1297.28 c #Conflicts: 554000 | #Constraints: 85683
1292.71/1297.28 c #Conflicts: 555000 | #Constraints: 86683
1292.71/1297.28 c #Conflicts: 556000 | #Constraints: 87683
1292.71/1297.28 c #Conflicts: 557000 | #Constraints: 88683
1292.71/1297.28 c #Conflicts: 558000 | #Constraints: 89683
1292.71/1297.28 c #Conflicts: 559000 | #Constraints: 90683
1292.71/1297.28 c #Conflicts: 560000 | #Constraints: 91683
1292.71/1297.28 c #Conflicts: 561000 | #Constraints: 92683
1292.71/1297.28 c #Conflicts: 562000 | #Constraints: 93683
1292.71/1297.28 c #Conflicts: 563000 | #Constraints: 94683
1292.71/1297.28 c #Conflicts: 564000 | #Constraints: 95683
1292.71/1297.28 c #Conflicts: 565000 | #Constraints: 96683
1292.71/1297.28 c #Conflicts: 566000 | #Constraints: 97683
1292.71/1297.28 c #Conflicts: 567000 | #Constraints: 98683
1292.71/1297.28 c #Conflicts: 568000 | #Constraints: 99683
1292.71/1297.28 c #Conflicts: 569000 | #Constraints: 100683
1292.71/1297.28 c #Conflicts: 570000 | #Constraints: 101683
1292.71/1297.28 c #Conflicts: 571000 | #Constraints: 102683
1292.71/1297.28 c #Conflicts: 572000 | #Constraints: 103683
1292.71/1297.28 c #Conflicts: 573000 | #Constraints: 104683
1292.71/1297.28 c #Conflicts: 574000 | #Constraints: 105683
1292.71/1297.28 c #Conflicts: 575000 | #Constraints: 106683
1292.71/1297.28 c #Conflicts: 576000 | #Constraints: 107683
1292.71/1297.28 c #Conflicts: 577000 | #Constraints: 108683
1292.71/1297.28 c #Conflicts: 578000 | #Constraints: 109683
1292.71/1297.28 c #Conflicts: 579000 | #Constraints: 110683
1292.71/1297.28 c #Conflicts: 580000 | #Constraints: 111683
1292.71/1297.28 c #Conflicts: 581000 | #Constraints: 112683
1292.71/1297.28 c #Conflicts: 582000 | #Constraints: 113683
1292.71/1297.28 c #Conflicts: 583000 | #Constraints: 114683
1292.71/1297.28 c #Conflicts: 584000 | #Constraints: 115683
1292.71/1297.28 c #Conflicts: 585000 | #Constraints: 116683
1292.71/1297.28 c INPROCESSING
1292.71/1297.28 c GARBAGE COLLECT
1292.71/1297.28 c rational objective 194
1500.59/1505.87 c #Conflicts: 586000 | #Constraints: 72278
1500.59/1505.87 c #Conflicts: 587000 | #Constraints: 73278
1500.59/1505.87 c #Conflicts: 588000 | #Constraints: 74278
1500.59/1505.87 c #Conflicts: 589000 | #Constraints: 75278
1500.59/1505.87 c #Conflicts: 590000 | #Constraints: 76278
1500.59/1505.87 c #Conflicts: 591000 | #Constraints: 77278
1500.59/1505.87 c #Conflicts: 592000 | #Constraints: 78278
1500.59/1505.87 c #Conflicts: 593000 | #Constraints: 79278
1500.59/1505.87 c #Conflicts: 594000 | #Constraints: 80278
1500.59/1505.87 c #Conflicts: 595000 | #Constraints: 81278
1500.59/1505.87 c #Conflicts: 596000 | #Constraints: 82278
1500.59/1505.87 c #Conflicts: 597000 | #Constraints: 83278
1500.59/1505.87 c #Conflicts: 598000 | #Constraints: 84278
1500.59/1505.87 c #Conflicts: 599000 | #Constraints: 85278
1500.59/1505.87 c #Conflicts: 600000 | #Constraints: 86278
1500.59/1505.87 c #Conflicts: 601000 | #Constraints: 87278
1500.59/1505.87 c #Conflicts: 602000 | #Constraints: 88278
1500.59/1505.87 c #Conflicts: 603000 | #Constraints: 89278
1500.59/1505.87 c #Conflicts: 604000 | #Constraints: 90278
1500.59/1505.87 c #Conflicts: 605000 | #Constraints: 91278
1500.59/1505.87 c #Conflicts: 606000 | #Constraints: 92278
1500.59/1505.87 c #Conflicts: 607000 | #Constraints: 93278
1500.59/1505.87 c #Conflicts: 608000 | #Constraints: 94278
1500.59/1505.87 c #Conflicts: 609000 | #Constraints: 95278
1500.59/1505.87 c #Conflicts: 610000 | #Constraints: 96278
1500.59/1505.87 c #Conflicts: 611000 | #Constraints: 97278
1500.59/1505.87 c #Conflicts: 612000 | #Constraints: 98278
1500.59/1505.87 c #Conflicts: 613000 | #Constraints: 99278
1500.59/1505.87 c #Conflicts: 614000 | #Constraints: 100278
1500.59/1505.87 c #Conflicts: 615000 | #Constraints: 101278
1500.59/1505.87 c #Conflicts: 616000 | #Constraints: 102278
1500.59/1505.87 c #Conflicts: 617000 | #Constraints: 103278
1500.59/1505.87 c #Conflicts: 618000 | #Constraints: 104278
1500.59/1505.87 c #Conflicts: 619000 | #Constraints: 105278
1500.59/1505.87 c #Conflicts: 620000 | #Constraints: 106278
1500.59/1505.87 c #Conflicts: 621000 | #Constraints: 107278
1500.59/1505.87 c #Conflicts: 622000 | #Constraints: 108278
1500.59/1505.87 c #Conflicts: 623000 | #Constraints: 109278
1500.59/1505.87 c #Conflicts: 624000 | #Constraints: 110278
1500.59/1505.87 c #Conflicts: 625000 | #Constraints: 111278
1500.59/1505.87 c #Conflicts: 626000 | #Constraints: 112278
1500.59/1505.87 c #Conflicts: 627000 | #Constraints: 113278
1500.59/1505.87 c #Conflicts: 628000 | #Constraints: 114278
1500.59/1505.87 c #Conflicts: 629000 | #Constraints: 115278
1500.59/1505.87 c #Conflicts: 630000 | #Constraints: 116278
1500.59/1505.87 c #Conflicts: 631000 | #Constraints: 117278
1500.59/1505.87 c #Conflicts: 632000 | #Constraints: 118278
1500.59/1505.87 c #Conflicts: 633000 | #Constraints: 119278
1500.59/1505.87 c #Conflicts: 634000 | #Constraints: 120278
1500.59/1505.87 c INPROCESSING
1500.59/1505.87 c GARBAGE COLLECT
1500.59/1505.87 c #Conflicts: 635000 | #Constraints: 73869
1500.59/1505.87 c #Conflicts: 636000 | #Constraints: 74869
1500.59/1505.87 c #Conflicts: 637000 | #Constraints: 75869
1500.59/1505.87 c #Conflicts: 638000 | #Constraints: 76869
1500.59/1505.87 c #Conflicts: 639000 | #Constraints: 77869
1500.59/1505.87 c #Conflicts: 640000 | #Constraints: 78869
1500.59/1505.87 c #Conflicts: 641000 | #Constraints: 79869
1500.59/1505.87 c #Conflicts: 642000 | #Constraints: 80869
1500.59/1505.87 c #Conflicts: 643000 | #Constraints: 81869
1500.59/1505.87 c #Conflicts: 644000 | #Constraints: 82869
1500.59/1505.87 c #Conflicts: 645000 | #Constraints: 83869
1500.59/1505.87 c #Conflicts: 646000 | #Constraints: 84869
1500.59/1505.87 c #Conflicts: 647000 | #Constraints: 85869
1500.59/1505.87 c #Conflicts: 648000 | #Constraints: 86869
1500.59/1505.87 c #Conflicts: 649000 | #Constraints: 87869
1500.59/1505.87 c #Conflicts: 650000 | #Constraints: 88869
1500.59/1505.87 c #Conflicts: 651000 | #Constraints: 89869
1500.59/1505.87 c #Conflicts: 652000 | #Constraints: 90869
1500.59/1505.87 c #Conflicts: 653000 | #Constraints: 91869
1500.59/1505.87 c #Conflicts: 654000 | #Constraints: 92869
1500.59/1505.87 c #Conflicts: 655000 | #Constraints: 93869
1500.59/1505.87 c #Conflicts: 656000 | #Constraints: 94869
1500.59/1505.87 c #Conflicts: 657000 | #Constraints: 95869
1500.59/1505.87 c #Conflicts: 658000 | #Constraints: 96869
1500.59/1505.87 c #Conflicts: 659000 | #Constraints: 97869
1500.59/1505.87 c #Conflicts: 660000 | #Constraints: 98869
1500.59/1505.87 c #Conflicts: 661000 | #Constraints: 99869
1500.59/1505.87 c #Conflicts: 662000 | #Constraints: 100869
1500.59/1505.87 c #Conflicts: 663000 | #Constraints: 101869
1500.59/1505.87 c #Conflicts: 664000 | #Constraints: 102869
1604.25/1609.82 c #Conflicts: 665000 | #Constraints: 103869
1604.25/1609.82 c #Conflicts: 666000 | #Constraints: 104869
1604.25/1609.82 c #Conflicts: 667000 | #Constraints: 105869
1604.25/1609.82 c #Conflicts: 668000 | #Constraints: 106869
1604.25/1609.82 c #Conflicts: 669000 | #Constraints: 107869
1604.25/1609.82 c #Conflicts: 670000 | #Constraints: 108869
1604.25/1609.82 c #Conflicts: 671000 | #Constraints: 109869
1604.25/1609.82 c #Conflicts: 672000 | #Constraints: 110869
1604.25/1609.82 c #Conflicts: 673000 | #Constraints: 111869
1604.25/1609.82 c #Conflicts: 674000 | #Constraints: 112869
1604.25/1609.82 c #Conflicts: 675000 | #Constraints: 113869
1604.25/1609.82 c #Conflicts: 676000 | #Constraints: 114869
1604.25/1609.82 c #Conflicts: 677000 | #Constraints: 115869
1604.25/1609.82 c #Conflicts: 678000 | #Constraints: 116869
1604.25/1609.82 c #Conflicts: 679000 | #Constraints: 117869
1604.25/1609.82 c #Conflicts: 680000 | #Constraints: 118869
1604.25/1609.82 c #Conflicts: 681000 | #Constraints: 119869
1604.25/1609.82 c #Conflicts: 682000 | #Constraints: 120869
1604.25/1609.82 c #Conflicts: 683000 | #Constraints: 121869
1604.25/1609.82 c #Conflicts: 684000 | #Constraints: 122869
1604.25/1609.82 c #Conflicts: 685000 | #Constraints: 123869
1604.25/1609.82 c #Conflicts: 686000 | #Constraints: 124869
1604.25/1609.82 c INPROCESSING
1604.25/1609.82 c GARBAGE COLLECT
1604.25/1609.82 c rational objective 194
1807.67/1813.92 c #Conflicts: 687000 | #Constraints: 76500
1807.67/1813.92 c #Conflicts: 688000 | #Constraints: 77500
1807.67/1813.92 c #Conflicts: 689000 | #Constraints: 78500
1807.67/1813.92 c #Conflicts: 690000 | #Constraints: 79500
1807.67/1813.92 c #Conflicts: 691000 | #Constraints: 80500
1807.67/1813.92 c #Conflicts: 692000 | #Constraints: 81500
1807.67/1813.92 c #Conflicts: 693000 | #Constraints: 82500
1807.67/1813.92 c #Conflicts: 694000 | #Constraints: 83500
1807.67/1813.92 c #Conflicts: 695000 | #Constraints: 84500
1807.67/1813.92 c #Conflicts: 696000 | #Constraints: 85500
1807.67/1813.92 c #Conflicts: 697000 | #Constraints: 86500
1807.67/1813.92 c #Conflicts: 698000 | #Constraints: 87500
1807.67/1813.92 c #Conflicts: 699000 | #Constraints: 88500
1807.67/1813.92 c #Conflicts: 700000 | #Constraints: 89500
1807.67/1813.92 c #Conflicts: 701000 | #Constraints: 90500
1807.67/1813.92 c #Conflicts: 702000 | #Constraints: 91500
1807.67/1813.92 c #Conflicts: 703000 | #Constraints: 92500
1807.67/1813.92 c #Conflicts: 704000 | #Constraints: 93500
1807.67/1813.92 c #Conflicts: 705000 | #Constraints: 94500
1807.67/1813.92 c #Conflicts: 706000 | #Constraints: 95500
1807.67/1813.92 c #Conflicts: 707000 | #Constraints: 96500
1807.67/1813.92 c #Conflicts: 708000 | #Constraints: 97500
1807.67/1813.92 c #Conflicts: 709000 | #Constraints: 98500
1807.67/1813.92 c #Conflicts: 710000 | #Constraints: 99500
1807.67/1813.92 c #Conflicts: 711000 | #Constraints: 100500
1807.67/1813.92 c #Conflicts: 712000 | #Constraints: 101500
1807.67/1813.92 c #Conflicts: 713000 | #Constraints: 102500
1807.67/1813.92 c #Conflicts: 714000 | #Constraints: 103500
1807.67/1813.92 c #Conflicts: 715000 | #Constraints: 104500
1807.67/1813.92 c #Conflicts: 716000 | #Constraints: 105500
1807.67/1813.92 c #Conflicts: 717000 | #Constraints: 106500
1807.67/1813.92 c #Conflicts: 718000 | #Constraints: 107500
1807.67/1813.92 c #Conflicts: 719000 | #Constraints: 108500
1807.67/1813.92 c #Conflicts: 720000 | #Constraints: 109500
1807.67/1813.92 c #Conflicts: 721000 | #Constraints: 110500
1807.67/1813.92 c #Conflicts: 722000 | #Constraints: 111500
1807.67/1813.92 c #Conflicts: 723000 | #Constraints: 112500
1807.67/1813.92 c #Conflicts: 724000 | #Constraints: 113500
1807.67/1813.92 c #Conflicts: 725000 | #Constraints: 114500
1807.67/1813.92 c #Conflicts: 726000 | #Constraints: 115500
1807.67/1813.92 c #Conflicts: 727000 | #Constraints: 116500
1807.67/1813.92 c #Conflicts: 728000 | #Constraints: 117500
1807.67/1813.92 c #Conflicts: 729000 | #Constraints: 118500
1807.67/1813.92 c #Conflicts: 730000 | #Constraints: 119500
1807.67/1813.92 c #Conflicts: 731000 | #Constraints: 120500
1807.67/1813.92 c #Conflicts: 732000 | #Constraints: 121500
1807.67/1813.92 c #Conflicts: 733000 | #Constraints: 122500
1807.67/1813.92 c #Conflicts: 734000 | #Constraints: 123500
1807.67/1813.92 c #Conflicts: 735000 | #Constraints: 124500
1807.67/1813.92 c #Conflicts: 736000 | #Constraints: 125500
1807.67/1813.92 c #Conflicts: 737000 | #Constraints: 126500
1807.67/1813.92 c #Conflicts: 738000 | #Constraints: 127500
1807.67/1813.92 c #Conflicts: 739000 | #Constraints: 128500
1807.67/1813.92 c INPROCESSING
1807.67/1813.92 c GARBAGE COLLECT
1807.67/1813.92 c #Conflicts: 740000 | #Constraints: 78238
1807.67/1813.92 c #Conflicts: 741000 | #Constraints: 79238
1807.67/1813.92 c #Conflicts: 742000 | #Constraints: 80238
1807.67/1813.92 c #Conflicts: 743000 | #Constraints: 81238
1807.67/1813.92 c #Conflicts: 744000 | #Constraints: 82238
1807.67/1813.92 c #Conflicts: 745000 | #Constraints: 83238
1807.67/1813.92 c #Conflicts: 746000 | #Constraints: 84238
1807.67/1813.92 c #Conflicts: 747000 | #Constraints: 85238
1807.67/1813.92 c #Conflicts: 748000 | #Constraints: 86238
1807.67/1813.92 c #Conflicts: 749000 | #Constraints: 87238
1807.67/1813.92 c #Conflicts: 750000 | #Constraints: 88238
1807.67/1813.92 c #Conflicts: 751000 | #Constraints: 89238
1807.67/1813.92 c #Conflicts: 752000 | #Constraints: 90238
1807.67/1813.92 c #Conflicts: 753000 | #Constraints: 91238
1807.67/1813.92 c #Conflicts: 754000 | #Constraints: 92238
1807.67/1813.92 c #Conflicts: 755000 | #Constraints: 93238
1807.67/1813.92 c #Conflicts: 756000 | #Constraints: 94238
1807.67/1813.92 c #Conflicts: 757000 | #Constraints: 95238
1807.67/1813.92 c #Conflicts: 758000 | #Constraints: 96238
1807.67/1813.92 c #Conflicts: 759000 | #Constraints: 97238
1807.67/1813.92 c #Conflicts: 760000 | #Constraints: 98238
1807.67/1813.92 c #Conflicts: 761000 | #Constraints: 99238
1807.67/1813.92 c #Conflicts: 762000 | #Constraints: 100238
1807.67/1813.92 c #Conflicts: 763000 | #Constraints: 101238
1807.67/1813.92 c #Conflicts: 764000 | #Constraints: 102238
1807.67/1813.92 c #Conflicts: 765000 | #Constraints: 103238
1996.87/2003.71 c #Conflicts: 766000 | #Constraints: 104238
1996.87/2003.71 c #Conflicts: 767000 | #Constraints: 105238
1996.87/2003.71 c #Conflicts: 768000 | #Constraints: 106238
1996.87/2003.71 c INPROCESSING
1996.87/2003.71 c GARBAGE COLLECT
1996.87/2003.71 c #Conflicts: 769000 | #Constraints: 75053
1996.87/2003.71 c #Conflicts: 770000 | #Constraints: 76053
1996.87/2003.71 c #Conflicts: 771000 | #Constraints: 77053
1996.87/2003.71 c #Conflicts: 772000 | #Constraints: 78053
1996.87/2003.71 c #Conflicts: 773000 | #Constraints: 79053
1996.87/2003.71 c #Conflicts: 774000 | #Constraints: 80053
1996.87/2003.71 c #Conflicts: 775000 | #Constraints: 81053
1996.87/2003.71 c #Conflicts: 776000 | #Constraints: 82053
1996.87/2003.71 c #Conflicts: 777000 | #Constraints: 83053
1996.87/2003.71 c #Conflicts: 778000 | #Constraints: 84053
1996.87/2003.71 c #Conflicts: 779000 | #Constraints: 85053
1996.87/2003.71 c #Conflicts: 780000 | #Constraints: 86053
1996.87/2003.71 c #Conflicts: 781000 | #Constraints: 87053
1996.87/2003.71 c #Conflicts: 782000 | #Constraints: 88053
1996.87/2003.71 c #Conflicts: 783000 | #Constraints: 89053
1996.87/2003.71 c #Conflicts: 784000 | #Constraints: 90053
1996.87/2003.71 c #Conflicts: 785000 | #Constraints: 91053
1996.87/2003.71 c #Conflicts: 786000 | #Constraints: 92053
1996.87/2003.71 c #Conflicts: 787000 | #Constraints: 93053
1996.87/2003.71 c #Conflicts: 788000 | #Constraints: 94053
1996.87/2003.71 c #Conflicts: 789000 | #Constraints: 95053
1996.87/2003.71 c #Conflicts: 790000 | #Constraints: 96053
1996.87/2003.71 c #Conflicts: 791000 | #Constraints: 97053
1996.87/2003.71 c #Conflicts: 792000 | #Constraints: 98053
1996.87/2003.71 c #Conflicts: 793000 | #Constraints: 99053
1996.87/2003.71 c #Conflicts: 794000 | #Constraints: 100053
1996.87/2003.71 c #Conflicts: 795000 | #Constraints: 101053
1996.87/2003.71 c #Conflicts: 796000 | #Constraints: 102053
1996.87/2003.71 c #Conflicts: 797000 | #Constraints: 103053
1996.87/2003.71 c #Conflicts: 798000 | #Constraints: 104053
1996.87/2003.71 c #Conflicts: 799000 | #Constraints: 105053
1996.87/2003.71 c #Conflicts: 800000 | #Constraints: 106053
1996.87/2003.71 c #Conflicts: 801000 | #Constraints: 107053
1996.87/2003.71 c #Conflicts: 802000 | #Constraints: 108053
1996.87/2003.71 c #Conflicts: 803000 | #Constraints: 109053
1996.87/2003.71 c #Conflicts: 804000 | #Constraints: 110053
1996.87/2003.71 c #Conflicts: 805000 | #Constraints: 111053
1996.87/2003.71 c #Conflicts: 806000 | #Constraints: 112053
1996.87/2003.71 c #Conflicts: 807000 | #Constraints: 113053
1996.87/2003.71 c #Conflicts: 808000 | #Constraints: 114053
1996.87/2003.71 c #Conflicts: 809000 | #Constraints: 115053
1996.87/2003.71 c #Conflicts: 810000 | #Constraints: 116053
1996.87/2003.71 c #Conflicts: 811000 | #Constraints: 117053
1996.87/2003.71 c #Conflicts: 812000 | #Constraints: 118053
1996.87/2003.71 c #Conflicts: 813000 | #Constraints: 119053
1996.87/2003.71 c #Conflicts: 814000 | #Constraints: 120053
1996.87/2003.71 c #Conflicts: 815000 | #Constraints: 121053
1996.87/2003.71 c #Conflicts: 816000 | #Constraints: 122053
1996.87/2003.71 c #Conflicts: 817000 | #Constraints: 123053
1996.87/2003.71 c #Conflicts: 818000 | #Constraints: 124053
1996.87/2003.71 c #Conflicts: 819000 | #Constraints: 125053
1996.87/2003.71 c #Conflicts: 820000 | #Constraints: 126053
1996.87/2003.71 c #Conflicts: 821000 | #Constraints: 127053
1996.87/2003.71 c #Conflicts: 822000 | #Constraints: 128053
1996.87/2003.71 c #Conflicts: 823000 | #Constraints: 129053
1996.87/2003.72 c #Conflicts: 824000 | #Constraints: 130053
1996.87/2003.72 c INPROCESSING
1996.87/2003.72 c GARBAGE COLLECT
1996.87/2003.72 c #Conflicts: 825000 | #Constraints: 78843
1996.87/2003.72 c #Conflicts: 826000 | #Constraints: 79843
1996.87/2003.72 c #Conflicts: 827000 | #Constraints: 80843
1996.87/2003.72 c #Conflicts: 828000 | #Constraints: 81843
1996.87/2003.72 c #Conflicts: 829000 | #Constraints: 82843
1996.87/2003.72 c #Conflicts: 830000 | #Constraints: 83843
1996.87/2003.72 c #Conflicts: 831000 | #Constraints: 84843
1996.87/2003.72 c #Conflicts: 832000 | #Constraints: 85843
1996.87/2003.72 c #Conflicts: 833000 | #Constraints: 86843
1996.87/2003.72 c #Conflicts: 834000 | #Constraints: 87843
1996.87/2003.72 c #Conflicts: 835000 | #Constraints: 88843
1996.87/2003.72 c #Conflicts: 836000 | #Constraints: 89843
1996.87/2003.72 c #Conflicts: 837000 | #Constraints: 90843
1996.87/2003.72 c #Conflicts: 838000 | #Constraints: 91843
1996.87/2003.72 c #Conflicts: 839000 | #Constraints: 92843
1996.87/2003.72 c #Conflicts: 840000 | #Constraints: 93843
1996.87/2003.72 c #Conflicts: 841000 | #Constraints: 94843
1996.87/2003.72 c #Conflicts: 842000 | #Constraints: 95843
2186.64/2194.14 c #Conflicts: 843000 | #Constraints: 96843
2186.64/2194.14 c #Conflicts: 844000 | #Constraints: 97843
2186.64/2194.14 c #Conflicts: 845000 | #Constraints: 98843
2186.64/2194.14 c #Conflicts: 846000 | #Constraints: 99843
2186.64/2194.14 c #Conflicts: 847000 | #Constraints: 100843
2186.64/2194.14 c #Conflicts: 848000 | #Constraints: 101843
2186.64/2194.14 c #Conflicts: 849000 | #Constraints: 102843
2186.64/2194.14 c #Conflicts: 850000 | #Constraints: 103843
2186.64/2194.14 c #Conflicts: 851000 | #Constraints: 104843
2186.64/2194.14 c #Conflicts: 852000 | #Constraints: 105843
2186.64/2194.14 c #Conflicts: 853000 | #Constraints: 106843
2186.64/2194.14 c #Conflicts: 854000 | #Constraints: 107843
2186.64/2194.14 c INPROCESSING
2186.64/2194.14 c GARBAGE COLLECT
2186.64/2194.14 c #Conflicts: 855000 | #Constraints: 77873
2186.64/2194.14 c #Conflicts: 856000 | #Constraints: 78873
2186.64/2194.14 c #Conflicts: 857000 | #Constraints: 79873
2186.64/2194.14 c #Conflicts: 858000 | #Constraints: 80873
2186.64/2194.14 c #Conflicts: 859000 | #Constraints: 81873
2186.64/2194.14 c #Conflicts: 860000 | #Constraints: 82873
2186.64/2194.14 c #Conflicts: 861000 | #Constraints: 83873
2186.64/2194.14 c #Conflicts: 862000 | #Constraints: 84873
2186.64/2194.14 c #Conflicts: 863000 | #Constraints: 85873
2186.64/2194.14 c #Conflicts: 864000 | #Constraints: 86873
2186.64/2194.14 c #Conflicts: 865000 | #Constraints: 87873
2186.64/2194.14 c #Conflicts: 866000 | #Constraints: 88873
2186.64/2194.14 c #Conflicts: 867000 | #Constraints: 89873
2186.64/2194.14 c #Conflicts: 868000 | #Constraints: 90873
2186.64/2194.14 c #Conflicts: 869000 | #Constraints: 91873
2186.64/2194.14 c #Conflicts: 870000 | #Constraints: 92873
2186.64/2194.14 c #Conflicts: 871000 | #Constraints: 93873
2186.64/2194.14 c #Conflicts: 872000 | #Constraints: 94873
2186.64/2194.14 c #Conflicts: 873000 | #Constraints: 95873
2186.64/2194.14 c #Conflicts: 874000 | #Constraints: 96873
2186.64/2194.14 c #Conflicts: 875000 | #Constraints: 97873
2186.64/2194.14 c #Conflicts: 876000 | #Constraints: 98873
2186.64/2194.14 c #Conflicts: 877000 | #Constraints: 99873
2186.64/2194.14 c #Conflicts: 878000 | #Constraints: 100873
2186.64/2194.14 c #Conflicts: 879000 | #Constraints: 101873
2186.64/2194.14 c #Conflicts: 880000 | #Constraints: 102873
2186.64/2194.14 c #Conflicts: 881000 | #Constraints: 103873
2186.64/2194.14 c #Conflicts: 882000 | #Constraints: 104873
2186.64/2194.14 c #Conflicts: 883000 | #Constraints: 105873
2186.64/2194.14 c #Conflicts: 884000 | #Constraints: 106873
2186.64/2194.14 c #Conflicts: 885000 | #Constraints: 107873
2186.64/2194.14 c #Conflicts: 886000 | #Constraints: 108873
2186.64/2194.14 c #Conflicts: 887000 | #Constraints: 109873
2186.64/2194.14 c #Conflicts: 888000 | #Constraints: 110873
2186.64/2194.14 c #Conflicts: 889000 | #Constraints: 111873
2186.64/2194.14 c #Conflicts: 890000 | #Constraints: 112873
2186.64/2194.14 c #Conflicts: 891000 | #Constraints: 113873
2186.64/2194.14 c #Conflicts: 892000 | #Constraints: 114873
2186.64/2194.14 c #Conflicts: 893000 | #Constraints: 115873
2186.64/2194.14 c #Conflicts: 894000 | #Constraints: 116873
2186.64/2194.14 c #Conflicts: 895000 | #Constraints: 117873
2186.64/2194.14 c #Conflicts: 896000 | #Constraints: 118873
2186.64/2194.14 c #Conflicts: 897000 | #Constraints: 119873
2186.64/2194.14 c #Conflicts: 898000 | #Constraints: 120873
2186.64/2194.14 c #Conflicts: 899000 | #Constraints: 121873
2186.64/2194.14 c #Conflicts: 900000 | #Constraints: 122873
2186.64/2194.14 c #Conflicts: 901000 | #Constraints: 123873
2186.64/2194.14 c #Conflicts: 902000 | #Constraints: 124873
2186.64/2194.14 c #Conflicts: 903000 | #Constraints: 125873
2186.64/2194.14 c #Conflicts: 904000 | #Constraints: 126873
2186.64/2194.14 c #Conflicts: 905000 | #Constraints: 127873
2186.64/2194.14 c #Conflicts: 906000 | #Constraints: 128873
2186.64/2194.14 c #Conflicts: 907000 | #Constraints: 129873
2186.64/2194.14 c #Conflicts: 908000 | #Constraints: 130873
2186.64/2194.14 c #Conflicts: 909000 | #Constraints: 131873
2186.64/2194.14 c #Conflicts: 910000 | #Constraints: 132873
2186.64/2194.14 c #Conflicts: 911000 | #Constraints: 133873
2186.64/2194.14 c #Conflicts: 912000 | #Constraints: 134873
2186.64/2194.14 c #Conflicts: 913000 | #Constraints: 135873
2186.64/2194.14 c #Conflicts: 914000 | #Constraints: 136873
2186.64/2194.14 c INPROCESSING
2186.64/2194.14 c GARBAGE COLLECT
2186.64/2194.14 c rational objective 194
2278.83/2286.66 c #Conflicts: 915000 | #Constraints: 82721
2278.83/2286.66 c #Conflicts: 916000 | #Constraints: 83721
2278.83/2286.66 c #Conflicts: 917000 | #Constraints: 84721
2278.83/2286.66 c #Conflicts: 918000 | #Constraints: 85721
2278.83/2286.66 c #Conflicts: 919000 | #Constraints: 86721
2278.83/2286.66 c #Conflicts: 920000 | #Constraints: 87721
2278.83/2286.66 c #Conflicts: 921000 | #Constraints: 88721
2278.83/2286.66 c #Conflicts: 922000 | #Constraints: 89721
2278.83/2286.66 c #Conflicts: 923000 | #Constraints: 90721
2278.83/2286.66 c #Conflicts: 924000 | #Constraints: 91721
2278.83/2286.66 c #Conflicts: 925000 | #Constraints: 92721
2278.83/2286.66 c #Conflicts: 926000 | #Constraints: 93721
2278.83/2286.66 c #Conflicts: 927000 | #Constraints: 94721
2278.83/2286.66 c #Conflicts: 928000 | #Constraints: 95721
2278.83/2286.66 c #Conflicts: 929000 | #Constraints: 96721
2278.83/2286.66 c #Conflicts: 930000 | #Constraints: 97721
2278.83/2286.66 c #Conflicts: 931000 | #Constraints: 98721
2278.83/2286.66 c #Conflicts: 932000 | #Constraints: 99721
2278.83/2286.66 c #Conflicts: 933000 | #Constraints: 100721
2278.83/2286.66 c #Conflicts: 934000 | #Constraints: 101721
2278.83/2286.66 c #Conflicts: 935000 | #Constraints: 102721
2278.83/2286.66 c #Conflicts: 936000 | #Constraints: 103721
2278.83/2286.66 c #Conflicts: 937000 | #Constraints: 104721
2278.83/2286.66 c #Conflicts: 938000 | #Constraints: 105721
2278.83/2286.66 c #Conflicts: 939000 | #Constraints: 106721
2278.83/2286.66 c #Conflicts: 940000 | #Constraints: 107721
2278.83/2286.66 c #Conflicts: 941000 | #Constraints: 108721
2278.83/2286.66 c #Conflicts: 942000 | #Constraints: 109721
2278.83/2286.66 c #Conflicts: 943000 | #Constraints: 110721
2278.83/2286.66 c #Conflicts: 944000 | #Constraints: 111721
2278.83/2286.66 c #Conflicts: 945000 | #Constraints: 112721
2278.83/2286.66 c INPROCESSING
2278.83/2286.66 c GARBAGE COLLECT
2278.83/2286.66 c rational objective 194
2662.17/2671.25 c #Conflicts: 946000 | #Constraints: 81685
2662.17/2671.25 c #Conflicts: 947000 | #Constraints: 82685
2662.17/2671.25 c #Conflicts: 948000 | #Constraints: 83685
2662.17/2671.25 c #Conflicts: 949000 | #Constraints: 84685
2662.17/2671.25 c #Conflicts: 950000 | #Constraints: 85685
2662.17/2671.25 c #Conflicts: 951000 | #Constraints: 86685
2662.17/2671.25 c #Conflicts: 952000 | #Constraints: 87685
2662.17/2671.25 c #Conflicts: 953000 | #Constraints: 88685
2662.17/2671.25 c #Conflicts: 954000 | #Constraints: 89685
2662.17/2671.25 c #Conflicts: 955000 | #Constraints: 90685
2662.17/2671.25 c #Conflicts: 956000 | #Constraints: 91685
2662.17/2671.25 c #Conflicts: 957000 | #Constraints: 92685
2662.17/2671.25 c #Conflicts: 958000 | #Constraints: 93685
2662.17/2671.25 c #Conflicts: 959000 | #Constraints: 94685
2662.17/2671.25 c #Conflicts: 960000 | #Constraints: 95685
2662.17/2671.25 c #Conflicts: 961000 | #Constraints: 96685
2662.17/2671.25 c #Conflicts: 962000 | #Constraints: 97685
2662.17/2671.25 c #Conflicts: 963000 | #Constraints: 98685
2662.17/2671.25 c #Conflicts: 964000 | #Constraints: 99685
2662.17/2671.25 c #Conflicts: 965000 | #Constraints: 100685
2662.17/2671.25 c #Conflicts: 966000 | #Constraints: 101685
2662.17/2671.25 c #Conflicts: 967000 | #Constraints: 102685
2662.17/2671.25 c #Conflicts: 968000 | #Constraints: 103685
2662.17/2671.25 c #Conflicts: 969000 | #Constraints: 104685
2662.17/2671.25 c #Conflicts: 970000 | #Constraints: 105685
2662.17/2671.25 c #Conflicts: 971000 | #Constraints: 106685
2662.17/2671.25 c #Conflicts: 972000 | #Constraints: 107685
2662.17/2671.25 c #Conflicts: 973000 | #Constraints: 108685
2662.17/2671.25 c #Conflicts: 974000 | #Constraints: 109685
2662.17/2671.25 c #Conflicts: 975000 | #Constraints: 110685
2662.17/2671.25 c #Conflicts: 976000 | #Constraints: 111685
2662.17/2671.25 c #Conflicts: 977000 | #Constraints: 112685
2662.17/2671.25 c #Conflicts: 978000 | #Constraints: 113685
2662.17/2671.25 c #Conflicts: 979000 | #Constraints: 114685
2662.17/2671.25 c #Conflicts: 980000 | #Constraints: 115685
2662.17/2671.25 c #Conflicts: 981000 | #Constraints: 116685
2662.17/2671.25 c #Conflicts: 982000 | #Constraints: 117685
2662.17/2671.25 c #Conflicts: 983000 | #Constraints: 118685
2662.17/2671.25 c #Conflicts: 984000 | #Constraints: 119685
2662.17/2671.25 c #Conflicts: 985000 | #Constraints: 120685
2662.17/2671.25 c #Conflicts: 986000 | #Constraints: 121685
2662.17/2671.25 c #Conflicts: 987000 | #Constraints: 122685
2662.17/2671.25 c #Conflicts: 988000 | #Constraints: 123685
2662.17/2671.25 c #Conflicts: 989000 | #Constraints: 124685
2662.17/2671.25 c #Conflicts: 990000 | #Constraints: 125685
2662.17/2671.25 c #Conflicts: 991000 | #Constraints: 126685
2662.17/2671.25 c #Conflicts: 992000 | #Constraints: 127685
2662.17/2671.25 c #Conflicts: 993000 | #Constraints: 128685
2662.17/2671.25 c #Conflicts: 994000 | #Constraints: 129685
2662.17/2671.25 c #Conflicts: 995000 | #Constraints: 130685
2662.17/2671.25 c #Conflicts: 996000 | #Constraints: 131685
2662.17/2671.25 c #Conflicts: 997000 | #Constraints: 132685
2662.17/2671.25 c #Conflicts: 998000 | #Constraints: 133685
2662.17/2671.25 c #Conflicts: 999000 | #Constraints: 134685
2662.17/2671.25 c #Conflicts: 1000000 | #Constraints: 135685
2662.17/2671.25 c #Conflicts: 1001000 | #Constraints: 136685
2662.17/2671.25 c #Conflicts: 1002000 | #Constraints: 137685
2662.17/2671.25 c #Conflicts: 1003000 | #Constraints: 138685
2662.17/2671.25 c #Conflicts: 1004000 | #Constraints: 139685
2662.17/2671.25 c #Conflicts: 1005000 | #Constraints: 140685
2662.17/2671.25 c #Conflicts: 1006000 | #Constraints: 141685
2662.17/2671.25 c #Conflicts: 1007000 | #Constraints: 142685
2662.17/2671.25 c #Conflicts: 1008000 | #Constraints: 143685
2662.17/2671.25 c INPROCESSING
2662.17/2671.25 c GARBAGE COLLECT
2662.17/2671.25 c #Conflicts: 1009000 | #Constraints: 85929
2662.17/2671.25 c #Conflicts: 1010000 | #Constraints: 86929
2662.17/2671.25 c #Conflicts: 1011000 | #Constraints: 87929
2662.17/2671.25 c #Conflicts: 1012000 | #Constraints: 88929
2662.17/2671.25 c #Conflicts: 1013000 | #Constraints: 89929
2662.17/2671.25 c #Conflicts: 1014000 | #Constraints: 90929
2662.17/2671.25 c #Conflicts: 1015000 | #Constraints: 91929
2662.17/2671.25 c #Conflicts: 1016000 | #Constraints: 92929
2662.17/2671.25 c #Conflicts: 1017000 | #Constraints: 93929
2662.17/2671.25 c #Conflicts: 1018000 | #Constraints: 94929
2662.17/2671.25 c #Conflicts: 1019000 | #Constraints: 95929
2662.17/2671.25 c #Conflicts: 1020000 | #Constraints: 96929
2662.17/2671.25 c #Conflicts: 1021000 | #Constraints: 97929
2662.17/2671.25 c #Conflicts: 1022000 | #Constraints: 98929
2662.17/2671.25 c #Conflicts: 1023000 | #Constraints: 99929
2662.17/2671.25 c #Conflicts: 1024000 | #Constraints: 100929
2914.02/2923.92 c #Conflicts: 1025000 | #Constraints: 101929
2914.02/2923.92 c #Conflicts: 1026000 | #Constraints: 102929
2914.02/2923.92 c #Conflicts: 1027000 | #Constraints: 103929
2914.02/2923.92 c #Conflicts: 1028000 | #Constraints: 104929
2914.02/2923.92 c #Conflicts: 1029000 | #Constraints: 105929
2914.02/2923.92 c #Conflicts: 1030000 | #Constraints: 106929
2914.02/2923.92 c #Conflicts: 1031000 | #Constraints: 107929
2914.02/2923.92 c #Conflicts: 1032000 | #Constraints: 108929
2914.02/2923.92 c #Conflicts: 1033000 | #Constraints: 109929
2914.02/2923.92 c #Conflicts: 1034000 | #Constraints: 110929
2914.02/2923.92 c #Conflicts: 1035000 | #Constraints: 111929
2914.02/2923.92 c #Conflicts: 1036000 | #Constraints: 112929
2914.02/2923.92 c #Conflicts: 1037000 | #Constraints: 113929
2914.02/2923.92 c #Conflicts: 1038000 | #Constraints: 114929
2914.02/2923.92 c #Conflicts: 1039000 | #Constraints: 115929
2914.02/2923.92 c #Conflicts: 1040000 | #Constraints: 116929
2914.02/2923.92 c INPROCESSING
2914.02/2923.92 c GARBAGE COLLECT
2914.02/2923.92 c #Conflicts: 1041000 | #Constraints: 83454
2914.02/2923.92 c #Conflicts: 1042000 | #Constraints: 84454
2914.02/2923.92 c #Conflicts: 1043000 | #Constraints: 85454
2914.02/2923.93 c #Conflicts: 1044000 | #Constraints: 86454
2914.02/2923.93 c #Conflicts: 1045000 | #Constraints: 87454
2914.02/2923.93 c #Conflicts: 1046000 | #Constraints: 88454
2914.02/2923.93 c #Conflicts: 1047000 | #Constraints: 89454
2914.02/2923.93 c #Conflicts: 1048000 | #Constraints: 90454
2914.02/2923.93 c #Conflicts: 1049000 | #Constraints: 91454
2914.02/2923.93 c #Conflicts: 1050000 | #Constraints: 92454
2914.02/2923.93 c #Conflicts: 1051000 | #Constraints: 93454
2914.02/2923.93 c #Conflicts: 1052000 | #Constraints: 94454
2914.02/2923.93 c #Conflicts: 1053000 | #Constraints: 95454
2914.02/2923.93 c #Conflicts: 1054000 | #Constraints: 96454
2914.02/2923.93 c #Conflicts: 1055000 | #Constraints: 97454
2914.02/2923.93 c #Conflicts: 1056000 | #Constraints: 98454
2914.02/2923.93 c #Conflicts: 1057000 | #Constraints: 99454
2914.02/2923.93 c #Conflicts: 1058000 | #Constraints: 100454
2914.02/2923.93 c #Conflicts: 1059000 | #Constraints: 101454
2914.02/2923.93 c #Conflicts: 1060000 | #Constraints: 102454
2914.02/2923.93 c #Conflicts: 1061000 | #Constraints: 103454
2914.02/2923.93 c #Conflicts: 1062000 | #Constraints: 104454
2914.02/2923.93 c #Conflicts: 1063000 | #Constraints: 105454
2914.02/2923.93 c #Conflicts: 1064000 | #Constraints: 106454
2914.02/2923.93 c #Conflicts: 1065000 | #Constraints: 107454
2914.02/2923.93 c #Conflicts: 1066000 | #Constraints: 108454
2914.02/2923.93 c #Conflicts: 1067000 | #Constraints: 109454
2914.02/2923.93 c #Conflicts: 1068000 | #Constraints: 110454
2914.02/2923.93 c #Conflicts: 1069000 | #Constraints: 111454
2914.02/2923.93 c #Conflicts: 1070000 | #Constraints: 112454
2914.02/2923.93 c #Conflicts: 1071000 | #Constraints: 113454
2914.02/2923.93 c #Conflicts: 1072000 | #Constraints: 114454
2914.02/2923.93 c #Conflicts: 1073000 | #Constraints: 115454
2914.02/2923.93 c #Conflicts: 1074000 | #Constraints: 116454
2914.02/2923.93 c #Conflicts: 1075000 | #Constraints: 117454
2914.02/2923.93 c #Conflicts: 1076000 | #Constraints: 118454
2914.02/2923.93 c #Conflicts: 1077000 | #Constraints: 119454
2914.02/2923.93 c #Conflicts: 1078000 | #Constraints: 120454
2914.02/2923.93 c #Conflicts: 1079000 | #Constraints: 121454
2914.02/2923.93 c #Conflicts: 1080000 | #Constraints: 122454
2914.02/2923.93 c #Conflicts: 1081000 | #Constraints: 123454
2914.02/2923.93 c #Conflicts: 1082000 | #Constraints: 124454
2914.02/2923.93 c #Conflicts: 1083000 | #Constraints: 125454
2914.02/2923.93 c #Conflicts: 1084000 | #Constraints: 126454
2914.02/2923.93 c #Conflicts: 1085000 | #Constraints: 127454
2914.02/2923.93 c #Conflicts: 1086000 | #Constraints: 128454
2914.02/2923.93 c #Conflicts: 1087000 | #Constraints: 129454
2914.02/2923.93 c #Conflicts: 1088000 | #Constraints: 130454
2914.02/2923.93 c #Conflicts: 1089000 | #Constraints: 131454
2914.02/2923.93 c #Conflicts: 1090000 | #Constraints: 132454
2914.02/2923.93 c #Conflicts: 1091000 | #Constraints: 133454
2914.02/2923.93 c #Conflicts: 1092000 | #Constraints: 134454
2914.02/2923.93 c #Conflicts: 1093000 | #Constraints: 135454
2914.02/2923.93 c #Conflicts: 1094000 | #Constraints: 136454
2914.02/2923.93 c #Conflicts: 1095000 | #Constraints: 137454
2914.02/2923.93 c #Conflicts: 1096000 | #Constraints: 138454
2914.02/2923.93 c #Conflicts: 1097000 | #Constraints: 139454
2914.02/2923.93 c #Conflicts: 1098000 | #Constraints: 140454
2914.02/2923.93 c #Conflicts: 1099000 | #Constraints: 141454
2914.02/2923.93 c #Conflicts: 1100000 | #Constraints: 142454
2914.02/2923.93 c #Conflicts: 1101000 | #Constraints: 143454
2914.02/2923.93 c #Conflicts: 1102000 | #Constraints: 144454
3126.48/3137.19 c #Conflicts: 1103000 | #Constraints: 145454
3126.48/3137.19 c #Conflicts: 1104000 | #Constraints: 146454
3126.48/3137.19 c #Conflicts: 1105000 | #Constraints: 147454
3126.48/3137.19 c #Conflicts: 1106000 | #Constraints: 148454
3126.48/3137.19 c INPROCESSING
3126.48/3137.19 c GARBAGE COLLECT
3126.48/3137.19 c #Conflicts: 1107000 | #Constraints: 88447
3126.48/3137.19 c #Conflicts: 1108000 | #Constraints: 89447
3126.48/3137.19 c #Conflicts: 1109000 | #Constraints: 90447
3126.48/3137.19 c #Conflicts: 1110000 | #Constraints: 91447
3126.48/3137.19 c #Conflicts: 1111000 | #Constraints: 92447
3126.48/3137.19 c #Conflicts: 1112000 | #Constraints: 93447
3126.48/3137.19 c #Conflicts: 1113000 | #Constraints: 94447
3126.48/3137.19 c #Conflicts: 1114000 | #Constraints: 95447
3126.48/3137.19 c #Conflicts: 1115000 | #Constraints: 96447
3126.48/3137.19 c #Conflicts: 1116000 | #Constraints: 97447
3126.48/3137.19 c #Conflicts: 1117000 | #Constraints: 98447
3126.48/3137.19 c #Conflicts: 1118000 | #Constraints: 99447
3126.48/3137.19 c #Conflicts: 1119000 | #Constraints: 100447
3126.48/3137.19 c #Conflicts: 1120000 | #Constraints: 101447
3126.48/3137.19 c #Conflicts: 1121000 | #Constraints: 102447
3126.48/3137.19 c #Conflicts: 1122000 | #Constraints: 103448
3126.48/3137.19 c #Conflicts: 1123000 | #Constraints: 104448
3126.48/3137.19 c #Conflicts: 1124000 | #Constraints: 105448
3126.48/3137.19 c #Conflicts: 1125000 | #Constraints: 106448
3126.48/3137.19 c #Conflicts: 1126000 | #Constraints: 107448
3126.48/3137.19 c #Conflicts: 1127000 | #Constraints: 108448
3126.48/3137.19 c #Conflicts: 1128000 | #Constraints: 109448
3126.48/3137.19 c #Conflicts: 1129000 | #Constraints: 110448
3126.48/3137.19 c #Conflicts: 1130000 | #Constraints: 111448
3126.48/3137.19 c #Conflicts: 1131000 | #Constraints: 112448
3126.48/3137.19 c #Conflicts: 1132000 | #Constraints: 113448
3126.48/3137.19 c #Conflicts: 1133000 | #Constraints: 114448
3126.48/3137.19 c #Conflicts: 1134000 | #Constraints: 115448
3126.48/3137.19 c #Conflicts: 1135000 | #Constraints: 116448
3126.48/3137.19 c #Conflicts: 1136000 | #Constraints: 117448
3126.48/3137.19 c #Conflicts: 1137000 | #Constraints: 118448
3126.48/3137.19 c #Conflicts: 1138000 | #Constraints: 119448
3126.48/3137.19 c #Conflicts: 1139000 | #Constraints: 120448
3126.48/3137.19 c #Conflicts: 1140000 | #Constraints: 121448
3126.48/3137.19 c INPROCESSING
3126.48/3137.19 c GARBAGE COLLECT
3126.48/3137.19 c #Conflicts: 1141000 | #Constraints: 86513
3126.48/3137.19 c #Conflicts: 1142000 | #Constraints: 87513
3126.48/3137.19 c #Conflicts: 1143000 | #Constraints: 88513
3126.48/3137.19 c #Conflicts: 1144000 | #Constraints: 89513
3126.48/3137.19 c #Conflicts: 1145000 | #Constraints: 90513
3126.48/3137.19 c #Conflicts: 1146000 | #Constraints: 91513
3126.48/3137.19 c #Conflicts: 1147000 | #Constraints: 92513
3126.48/3137.19 c #Conflicts: 1148000 | #Constraints: 93513
3126.48/3137.19 c #Conflicts: 1149000 | #Constraints: 94513
3126.48/3137.19 c #Conflicts: 1150000 | #Constraints: 95513
3126.48/3137.19 c #Conflicts: 1151000 | #Constraints: 96513
3126.48/3137.19 c #Conflicts: 1152000 | #Constraints: 97513
3126.48/3137.19 c #Conflicts: 1153000 | #Constraints: 98513
3126.48/3137.19 c #Conflicts: 1154000 | #Constraints: 99513
3126.48/3137.19 c #Conflicts: 1155000 | #Constraints: 100513
3126.48/3137.19 c #Conflicts: 1156000 | #Constraints: 101513
3126.48/3137.19 c #Conflicts: 1157000 | #Constraints: 102513
3126.48/3137.19 c #Conflicts: 1158000 | #Constraints: 103513
3126.48/3137.19 c #Conflicts: 1159000 | #Constraints: 104513
3126.48/3137.19 c #Conflicts: 1160000 | #Constraints: 105513
3126.48/3137.19 c #Conflicts: 1161000 | #Constraints: 106513
3126.48/3137.19 c #Conflicts: 1162000 | #Constraints: 107513
3126.48/3137.19 c #Conflicts: 1163000 | #Constraints: 108513
3126.48/3137.19 c #Conflicts: 1164000 | #Constraints: 109513
3126.48/3137.19 c #Conflicts: 1165000 | #Constraints: 110513
3126.48/3137.19 c #Conflicts: 1166000 | #Constraints: 111513
3126.48/3137.19 c #Conflicts: 1167000 | #Constraints: 112513
3126.48/3137.19 c #Conflicts: 1168000 | #Constraints: 113513
3126.48/3137.19 c #Conflicts: 1169000 | #Constraints: 114513
3126.48/3137.19 c #Conflicts: 1170000 | #Constraints: 115513
3126.48/3137.19 c #Conflicts: 1171000 | #Constraints: 116513
3126.48/3137.19 c #Conflicts: 1172000 | #Constraints: 117513
3126.48/3137.19 c #Conflicts: 1173000 | #Constraints: 118513
3126.48/3137.19 c #Conflicts: 1174000 | #Constraints: 119513
3126.48/3137.19 c #Conflicts: 1175000 | #Constraints: 120513
3126.48/3137.19 c #Conflicts: 1176000 | #Constraints: 121513
3126.48/3137.19 c #Conflicts: 1177000 | #Constraints: 122513
3126.48/3137.19 c #Conflicts: 1178000 | #Constraints: 123513
3126.48/3137.19 c #Conflicts: 1179000 | #Constraints: 124513
3307.57/3318.89 c #Conflicts: 1180000 | #Constraints: 125513
3307.57/3318.89 c #Conflicts: 1181000 | #Constraints: 126513
3307.57/3318.89 c #Conflicts: 1182000 | #Constraints: 127513
3307.57/3318.89 c #Conflicts: 1183000 | #Constraints: 128513
3307.57/3318.89 c #Conflicts: 1184000 | #Constraints: 129513
3307.57/3318.89 c #Conflicts: 1185000 | #Constraints: 130513
3307.57/3318.89 c #Conflicts: 1186000 | #Constraints: 131513
3307.57/3318.89 c #Conflicts: 1187000 | #Constraints: 132513
3307.57/3318.89 c #Conflicts: 1188000 | #Constraints: 133513
3307.57/3318.89 c #Conflicts: 1189000 | #Constraints: 134513
3307.57/3318.89 c #Conflicts: 1190000 | #Constraints: 135513
3307.57/3318.89 c #Conflicts: 1191000 | #Constraints: 136513
3307.57/3318.89 c #Conflicts: 1192000 | #Constraints: 137513
3307.57/3318.89 c #Conflicts: 1193000 | #Constraints: 138513
3307.57/3318.89 c #Conflicts: 1194000 | #Constraints: 139513
3307.57/3318.89 c #Conflicts: 1195000 | #Constraints: 140513
3307.57/3318.89 c #Conflicts: 1196000 | #Constraints: 141513
3307.57/3318.89 c #Conflicts: 1197000 | #Constraints: 142513
3307.57/3318.89 c #Conflicts: 1198000 | #Constraints: 143513
3307.57/3318.89 c #Conflicts: 1199000 | #Constraints: 144513
3307.57/3318.89 c #Conflicts: 1200000 | #Constraints: 145513
3307.57/3318.89 c #Conflicts: 1201000 | #Constraints: 146513
3307.57/3318.89 c #Conflicts: 1202000 | #Constraints: 147513
3307.57/3318.89 c #Conflicts: 1203000 | #Constraints: 148513
3307.57/3318.89 c #Conflicts: 1204000 | #Constraints: 149513
3307.57/3318.89 c #Conflicts: 1205000 | #Constraints: 150513
3307.57/3318.89 c #Conflicts: 1206000 | #Constraints: 151513
3307.57/3318.89 c #Conflicts: 1207000 | #Constraints: 152513
3307.57/3318.89 c #Conflicts: 1208000 | #Constraints: 153513
3307.57/3318.89 c #Conflicts: 1209000 | #Constraints: 154513
3307.57/3318.89 c INPROCESSING
3307.57/3318.89 c GARBAGE COLLECT
3307.57/3318.89 c rational objective 194
3503.19/3515.15 c #Conflicts: 1210000 | #Constraints: 91637
3503.19/3515.15 c #Conflicts: 1211000 | #Constraints: 92637
3503.19/3515.15 c #Conflicts: 1212000 | #Constraints: 93637
3503.19/3515.15 c #Conflicts: 1213000 | #Constraints: 94637
3503.19/3515.15 c #Conflicts: 1214000 | #Constraints: 95637
3503.19/3515.15 c #Conflicts: 1215000 | #Constraints: 96637
3503.19/3515.15 c #Conflicts: 1216000 | #Constraints: 97637
3503.19/3515.15 c #Conflicts: 1217000 | #Constraints: 98637
3503.19/3515.15 c #Conflicts: 1218000 | #Constraints: 99637
3503.19/3515.15 c #Conflicts: 1219000 | #Constraints: 100637
3503.19/3515.15 c #Conflicts: 1220000 | #Constraints: 101637
3503.19/3515.15 c #Conflicts: 1221000 | #Constraints: 102637
3503.19/3515.15 c #Conflicts: 1222000 | #Constraints: 103637
3503.19/3515.15 c #Conflicts: 1223000 | #Constraints: 104637
3503.19/3515.15 c #Conflicts: 1224000 | #Constraints: 105637
3503.19/3515.15 c #Conflicts: 1225000 | #Constraints: 106637
3503.19/3515.15 c #Conflicts: 1226000 | #Constraints: 107637
3503.19/3515.15 c #Conflicts: 1227000 | #Constraints: 108637
3503.19/3515.15 c #Conflicts: 1228000 | #Constraints: 109637
3503.19/3515.15 c #Conflicts: 1229000 | #Constraints: 110637
3503.19/3515.15 c #Conflicts: 1230000 | #Constraints: 111637
3503.19/3515.15 c #Conflicts: 1231000 | #Constraints: 112637
3503.19/3515.15 c #Conflicts: 1232000 | #Constraints: 113637
3503.19/3515.15 c #Conflicts: 1233000 | #Constraints: 114637
3503.19/3515.15 c #Conflicts: 1234000 | #Constraints: 115637
3503.19/3515.15 c #Conflicts: 1235000 | #Constraints: 116637
3503.19/3515.15 c #Conflicts: 1236000 | #Constraints: 117637
3503.19/3515.15 c #Conflicts: 1237000 | #Constraints: 118637
3503.19/3515.15 c #Conflicts: 1238000 | #Constraints: 119637
3503.19/3515.15 c #Conflicts: 1239000 | #Constraints: 120637
3503.19/3515.15 c #Conflicts: 1240000 | #Constraints: 121637
3503.19/3515.15 c #Conflicts: 1241000 | #Constraints: 122637
3503.19/3515.15 c #Conflicts: 1242000 | #Constraints: 123637
3503.19/3515.15 c #Conflicts: 1243000 | #Constraints: 124637
3503.19/3515.15 c #Conflicts: 1244000 | #Constraints: 125637
3503.19/3515.15 c INPROCESSING
3503.19/3515.15 c GARBAGE COLLECT
3503.19/3515.15 c #Conflicts: 1245000 | #Constraints: 89781
3503.19/3515.15 c #Conflicts: 1246000 | #Constraints: 90781
3503.19/3515.15 c #Conflicts: 1247000 | #Constraints: 91781
3503.19/3515.15 c #Conflicts: 1248000 | #Constraints: 92781
3503.19/3515.15 c #Conflicts: 1249000 | #Constraints: 93781
3503.19/3515.15 c #Conflicts: 1250000 | #Constraints: 94781
3503.19/3515.15 c #Conflicts: 1251000 | #Constraints: 95781
3503.19/3515.15 c #Conflicts: 1252000 | #Constraints: 96781
3503.19/3515.15 c #Conflicts: 1253000 | #Constraints: 97781
3503.19/3515.15 c #Conflicts: 1254000 | #Constraints: 98781
3503.19/3515.15 c #Conflicts: 1255000 | #Constraints: 99781
3503.19/3515.15 c #Conflicts: 1256000 | #Constraints: 100781
3503.19/3515.15 c #Conflicts: 1257000 | #Constraints: 101781
3503.19/3515.15 c #Conflicts: 1258000 | #Constraints: 102781
3503.19/3515.15 c #Conflicts: 1259000 | #Constraints: 103781
3503.19/3515.15 c #Conflicts: 1260000 | #Constraints: 104781
3503.19/3515.15 c #Conflicts: 1261000 | #Constraints: 105781
3503.19/3515.15 c #Conflicts: 1262000 | #Constraints: 106781
3503.19/3515.15 c #Conflicts: 1263000 | #Constraints: 107781
3503.19/3515.15 c #Conflicts: 1264000 | #Constraints: 108781
3503.19/3515.15 c #Conflicts: 1265000 | #Constraints: 109781
3503.19/3515.15 c #Conflicts: 1266000 | #Constraints: 110781
3503.19/3515.15 c #Conflicts: 1267000 | #Constraints: 111781
3503.19/3515.15 c #Conflicts: 1268000 | #Constraints: 112781
3503.19/3515.15 c #Conflicts: 1269000 | #Constraints: 113781
3503.19/3515.15 c #Conflicts: 1270000 | #Constraints: 114781
3503.19/3515.15 c #Conflicts: 1271000 | #Constraints: 115781
3503.19/3515.15 c #Conflicts: 1272000 | #Constraints: 116781
3503.19/3515.15 c #Conflicts: 1273000 | #Constraints: 117781
3503.19/3515.15 c #Conflicts: 1274000 | #Constraints: 118781
3503.19/3515.15 c #Conflicts: 1275000 | #Constraints: 119781
3503.19/3515.15 c #Conflicts: 1276000 | #Constraints: 120781
3503.19/3515.15 c #Conflicts: 1277000 | #Constraints: 121781
3503.19/3515.15 c #Conflicts: 1278000 | #Constraints: 122781
3503.19/3515.15 c #Conflicts: 1279000 | #Constraints: 123781
3503.19/3515.15 c #Conflicts: 1280000 | #Constraints: 124781
3503.19/3515.15 c #Conflicts: 1281000 | #Constraints: 125781
3503.19/3515.15 c #Conflicts: 1282000 | #Constraints: 126781
3503.19/3515.15 c #Conflicts: 1283000 | #Constraints: 127781
3503.19/3515.15 c #Conflicts: 1284000 | #Constraints: 128781
3503.19/3515.15 c #Conflicts: 1285000 | #Constraints: 129781
3503.19/3515.15 c #Conflicts: 1286000 | #Constraints: 130781
3503.19/3515.15 c #Conflicts: 1287000 | #Constraints: 131781
3503.19/3515.15 c #Conflicts: 1288000 | #Constraints: 132781
3600.07/3612.30 c #Conflicts: 1289000 | #Constraints: 133781
3600.07/3612.30 c #Conflicts: 1290000 | #Constraints: 134781
3600.07/3612.30 c #Conflicts: 1291000 | #Constraints: 135781
3600.07/3612.30 c #Conflicts: 1292000 | #Constraints: 136781
3600.07/3612.30 c #Conflicts: 1293000 | #Constraints: 137781
3600.07/3612.30 c #Conflicts: 1294000 | #Constraints: 138781
3600.07/3612.30 c #Conflicts: 1295000 | #Constraints: 139781
3600.07/3612.30 c #Conflicts: 1296000 | #Constraints: 140781
3600.07/3612.30 c #Conflicts: 1297000 | #Constraints: 141781
3600.07/3612.30 c #Conflicts: 1298000 | #Constraints: 142781
3600.07/3612.30 c #Conflicts: 1299000 | #Constraints: 143781
3600.07/3612.30 c #Conflicts: 1300000 | #Constraints: 144781
3600.07/3612.30 c #Conflicts: 1301000 | #Constraints: 145781
3600.07/3612.30 c #Conflicts: 1302000 | #Constraints: 146781
3600.07/3612.30 c #Conflicts: 1303000 | #Constraints: 147781
3600.07/3612.30 c #Conflicts: 1304000 | #Constraints: 148781
3600.07/3612.30 c #Conflicts: 1305000 | #Constraints: 149781
3600.07/3612.30 c #Conflicts: 1306000 | #Constraints: 150781
3600.07/3612.30 c #Conflicts: 1307000 | #Constraints: 151781
3600.07/3612.30 c #Conflicts: 1308000 | #Constraints: 152781
3600.07/3612.30 c #Conflicts: 1309000 | #Constraints: 153781
3600.07/3612.30 c #Conflicts: 1310000 | #Constraints: 154781
3600.07/3612.30 c #Conflicts: 1311000 | #Constraints: 155781
3600.07/3612.30 c #Conflicts: 1312000 | #Constraints: 156781
3600.07/3612.30 c #Conflicts: 1313000 | #Constraints: 157781
3600.07/3612.30 c #Conflicts: 1314000 | #Constraints: 158781
3600.07/3612.30 c #Conflicts: 1315000 | #Constraints: 159781
3600.07/3612.30 c cpu time 3559.81 s
3600.07/3612.30 c deterministic time 249035356100 2.49e+11
3600.07/3612.30 c optimization time 195.88 s
3600.07/3612.30 c total solve time 3363.61 s
3600.07/3612.30 c core-guided solve time 0 s
3600.07/3612.30 c propagation time 1965.2 s
3600.07/3612.30 c conflict analysis time 1211.17 s
3600.07/3612.30 c propagations 1373925971
3600.07/3612.30 c resolve steps 76120806
3600.07/3612.30 c decisions 38470069
3600.07/3612.30 c conflicts 1315310
3600.07/3612.30 c restarts 2555
3600.07/3612.30 c inprocessing phases 40
3600.07/3612.30 c garbage collections 40 ,( 100.00 )
3600.07/3612.30 c input clauses 23282 ,( 99.17 )
3600.07/3612.30 c input cardinalities 194 ,( 0.83 )
3600.07/3612.30 c input general constraints 0 ,( 0.00 )
3600.07/3612.30 c input average constraint length 6.44
3600.07/3612.30 c input average constraint degree 1.97
3600.07/3612.30 c learned clauses 938794 ,( 71.37 )
3600.07/3612.30 c learned cardinalities 47654 ,( 3.62 )
3600.07/3612.30 c learned general constraints 328873 ,( 25.00 )
3600.07/3612.30 c learned average constraint length 787.38
3600.07/3612.30 c learned average constraint degree 16033799.22
3600.07/3612.30 c watched CF 32, 64, 128, Arb: 83087 , 0 , 0 , 0
3600.07/3612.30 c counting CF 32, 64, 128, Arb: 245786 , 0 , 0 , 0
3600.07/3612.30 c watched constraints 83087 ,( 25.26 )
3600.07/3612.30 c counting constraints 245786 ,( 74.74 )
3600.07/3612.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1237467711 , 761439383 , 2166259499 ,( 95279712 , 2070979787 )
3600.07/3612.30 c gcd simplifications 763
3600.07/3612.30 c detected cardinalities 7768
3600.07/3612.30 c weakened non-implied lits 357170463
3600.07/3612.30 c weakened non-implying lits 177187
3600.07/3612.30 c original variables 23086
3600.07/3612.30 c clausal propagations 646340834
3600.07/3612.30 c cardinality propagations 494078427
3600.07/3612.30 c watched propagations 4281812
3600.07/3612.30 c counting propagations 216192100
3600.07/3612.30 c watch lookups 75612872273
3600.07/3612.30 c watch backjump lookups 0
3600.07/3612.30 c watch checks 37623113917
3600.07/3612.30 c propagation checks 128364065431
3600.07/3612.30 c constraint additions 4608923704
3600.07/3612.30 c trail pops 1413694762
3600.07/3612.30 c formula constraints 23476
3600.07/3612.30 c learned constraints 1315306
3600.07/3612.30 c bound constraints 0
3600.07/3612.30 c core-guided constraints 0
3600.07/3612.30 c encountered formula constraints 47838308
3600.07/3612.30 c encountered learned constraints 29597555
3600.07/3612.30 c encountered bound constraints 0
3600.07/3612.30 c encountered core-guided constraints 0
3600.07/3612.30 c LP total time 419.744 s
3600.07/3612.30 c LP solve time 378.98 s
3600.07/3612.30 c LP constraints added 24879
3600.07/3612.30 c LP constraints removed 1236
3600.07/3612.30 c LP pivots internal 137847
3600.07/3612.30 c LP pivots root 152125
3600.07/3612.30 c LP calls 20
3600.07/3612.30 c LP optimalities 10
3600.07/3612.30 c LP no pivot count 0
3600.07/3612.30 c LP infeasibilities 4
3600.07/3612.30 c LP valid Farkas constraints 4
3600.07/3612.30 c LP learned Farkas constraints 4
3600.07/3612.30 c LP basis resets 0
3600.07/3612.30 c LP cycling count 0
3600.07/3612.30 c LP singular count 0
3600.07/3612.30 c LP no primal count 0
3600.07/3612.30 c LP no farkas count 0
3600.07/3612.30 c LP other issue count 0
3600.07/3612.30 c LP Gomory cuts 7
3600.07/3612.30 c LP learned cuts 1396
3600.07/3612.30 c LP deleted cuts 1236
3600.07/3612.30 c LP encountered Gomory constraints 15
3600.07/3612.30 c LP encountered Farkas constraints 232
3600.07/3612.30 c LP encountered learned Farkas constraints 2
3600.07/3612.30 c CG auxiliary variables introduced 0
3600.07/3612.30 c CG solutions found 0
3600.07/3612.30 c CG cores constructed 0
3600.07/3612.30 c CG core cardinality constraints returned 0
3600.07/3612.30 c CG unit cores 0
3600.07/3612.30 c CG single cores 0
3600.07/3612.30 c CG blocks removed during cardinality reduction 0
3600.07/3612.30 c CG first core best 0
3600.07/3612.30 c CG decision core best 0
3600.07/3612.30 c CG core reduction tie 0
3600.07/3612.30 c CG core degree average 0.00
3600.07/3612.30 c CG core slack average 0.00
3600.07/3612.30 c CG core upper bound improvements 0
3600.07/3612.30 c STR number of successful calls 0
3600.07/3612.30 c STR number of unsuccessful calls 0
3600.07/3612.30 c STR number of inconclusive calls 0
3600.07/3612.30 c STR number of successful attempts 0
3600.07/3612.30 c STR number of unsuccessful attempts 0
3600.07/3612.30 c STR number of inconclusive attempts 0
3600.07/3612.30 c STR average degree increase per successful call inf
3600.07/3612.30 c STR average degree increase per successful attempt inf
3600.07/3612.30 c STR total number of conflicts for successful attempts 0
3600.07/3612.30 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3612.30 c STR total number of conflicts for inconclusive attempts 0
3600.07/3612.30 c STR average number of conflicts per successful attempt inf
3600.07/3612.30 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3612.30 c STR average number of conflicts per inconclusive attempt inf
3600.07/3612.30 c AVG.sumWPerc 66.21
3600.07/3612.30 c bigint constraints 0
3600.07/3612.30 s UNKNOWN
3600.07/3612.30 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (56198 MiB free)
memory of node 1: 64465 MiB (63380 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507157-1751178428/watcher-4507157-1751178428 -o /tmp/evaluation-result-4507157-1751178428/solver-4507157-1751178428 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751170906-17823 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4507157-1751178428.opb PROOFDIR/proof-4507157-1751178428
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=18839, runsolver pid=18836
[startup+0.1001 s]*
/proc/loadavg: 4.08 4.08 4.09 4/260 18841
/proc/meminfo: memFree=122445280/131382120 swapFree=33010684/33010684
[pid=18839] ppid=18836 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/18839/stat : 18839 (run-dec-log.sh) S 18836 18839 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33521486 4292608 704 18446744073709551615 94370099617792 94370100512325 140721245159728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94370100751376 94370100799120 94370123468800 140721245161761 140721245161956 140721245161956 140721245167558 0
/proc/18839/statm: 1048 704 672 219 0 110 0
[pid=18841] ppid=18839 vsize=50796 memory=7296 CPUtime=0 cores=5,7
/proc/18841/stat : 18841 (roundingsat) D 18839 18839 17810 0 -1 4456448 299 0 0 0 0 0 0 0 20 0 1 0 33521487 52015104 1824 18446744073709551615 4227072 8923433 140730289791520 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 21491712 140730289797479 140730289797672 140730289797672 140730289803242 0
/proc/18841/statm: 12699 1824 1728 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10112 KiB
[startup+0.213909 s]*
/proc/loadavg: 4.08 4.08 4.09 4/260 18841
/proc/meminfo: memFree=122445280/131382120 swapFree=33010684/33010684
[pid=18839] ppid=18836 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/18839/stat : 18839 (run-dec-log.sh) S 18836 18839 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33521486 4292608 704 18446744073709551615 94370099617792 94370100512325 140721245159728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94370100751376 94370100799120 94370123468800 140721245161761 140721245161956 140721245161956 140721245167558 0
/proc/18839/statm: 1048 704 672 219 0 110 0
[pid=18841] ppid=18839 vsize=50796 memory=7296 CPUtime=0 cores=5,7
/proc/18841/stat : 18841 (roundingsat) D 18839 18839 17810 0 -1 4456448 299 0 0 0 0 0 0 0 20 0 1 0 33521487 52015104 1824 18446744073709551615 4227072 8923433 140730289791520 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 21491712 140730289797479 140730289797672 140730289797672 140730289803242 0
/proc/18841/statm: 12699 1824 1728 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10112 KiB
[startup+0.313684 s]*
/proc/loadavg: 4.08 4.08 4.09 4/260 18841
/proc/meminfo: memFree=122445280/131382120 swapFree=33010684/33010684
[pid=18839] ppid=18836 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/18839/stat : 18839 (run-dec-log.sh) S 18836 18839 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33521486 4292608 704 18446744073709551615 94370099617792 94370100512325 140721245159728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94370100751376 94370100799120 94370123468800 140721245161761 140721245161956 140721245161956 140721245167558 0
/proc/18839/statm: 1048 704 672 219 0 110 0
[pid=18841] ppid=18839 vsize=50796 memory=7296 CPUtime=0 cores=5,7
/proc/18841/stat : 18841 (roundingsat) D 18839 18839 17810 0 -1 4456448 299 0 0 0 0 0 0 0 20 0 1 0 33521487 52015104 1824 18446744073709551615 4227072 8923433 140730289791520 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 21491712 140730289797479 140730289797672 140730289797672 140730289803242 0
/proc/18841/statm: 12699 1824 1728 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10112 KiB
[startup+0.700362 s]
/proc/loadavg: 4.08 4.08 4.09 5/260 18841
/proc/meminfo: memFree=122445032/131382120 swapFree=33010684/33010684
[pid=18839] ppid=18836 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/18839/stat : 18839 (run-dec-log.sh) S 18836 18839 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33521486 4292608 704 18446744073709551615 94370099617792 94370100512325 140721245159728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94370100751376 94370100799120 94370123468800 140721245161761 140721245161956 140721245161956 140721245167558 0
/proc/18839/statm: 1048 704 672 219 0 110 0
[pid=18841] ppid=18839 vsize=97028 memory=44448 CPUtime=0.36 cores=5,7
/proc/18841/stat : 18841 (roundingsat) R 18839 18839 17810 0 -1 4194304 7254 0 0 0 29 7 0 0 20 0 1 0 33521487 99356672 11112 18446744073709551615 4227072 8923433 140730289791520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21491712 140730289797479 140730289797672 140730289797672 140730289803242 0
/proc/18841/statm: 24257 11112 2208 1147 0 11684 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 101220 KiB
Current children cumulated memory: 47264 KiB
[startup+1.50039 s]
/proc/loadavg: 4.08 4.08 4.09 5/260 18841
/proc/meminfo: memFree=122393368/131382120 swapFree=33010684/33010684
[pid=18839] ppid=18836 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/18839/stat : 18839 (run-dec-log.sh) S 18836 18839 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33521486 4292608 704 18446744073709551615 94370099617792 94370100512325 140721245159728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94370100751376 94370100799120 94370123468800 140721245161761 140721245161956 140721245161956 140721245167558 0
/proc/18839/statm: 1048 704 672 219 0 110 0
[pid=18841] ppid=18839 vsize=114240 memory=61356 CPUtime=1.16 cores=5,7
/proc/18841/stat : 18841 (roundingsat) R 18839 18839 17810 0 -1 4194304 12829 0 0 0 106 10 0 0 20 0 1 0 33521487 116981760 15339 18446744073709551615 4227072 8923433 140730289791520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21491712 140730289797479 140730289797672 140730289797672 140730289803242 0
/proc/18841/statm: 28560 15339 2240 1147 0 15987 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 118432 KiB
Current children cumulated memory: 64172 KiB
[startup+3.11337 s]
/proc/loadavg: 4.07 4.08 4.09 5/260 18841
/proc/meminfo: memFree=122370216/131382120 swapFree=33010684/33010684
[pid=18839] ppid=18836 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/18839/stat : 18839 (run-dec-log.sh) S 18836 18839 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33521486 4292608 704 18446744073709551615 94370099617792 94370100512325 140721245159728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94370100751376 94370100799120 94370123468800 140721245161761 140721245161956 140721245161956 140721245167558 0
/proc/18839/statm: 1048 704 672 219 0 110 0
[pid=18841] ppid=18839 vsize=116372 memory=64172 CPUtime=2.76 cores=5,7
/proc/18841/stat : 18841 (roundingsat) R 18839 18839 17810 0 -1 4194304 13498 0 0 0 265 11 0 0 20 0 1 0 33521487 119164928 16043 18446744073709551615 4227072 8923433 140730289791520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21491712 140730289797479 140730289797672 140730289797672 140730289803242 0
/proc/18841/statm: 29093 16043 2272 1147 0 16520 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 120564 KiB
Current children cumulated memory: 66988 KiB
[startup+6.30038 s]
/proc/loadavg: 4.07 4.08 4.09 5/260 18841
/proc/meminfo: memFree=122326304/131382120 swapFree=33010684/33010684
[pid=18839] ppid=18836 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/18839/stat : 18839 (run-dec-log.sh) S 18836 18839 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33521486 4292608 704 18446744073709551615 94370099617792 94370100512325 140721245159728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94370100751376 94370100799120 94370123468800 140721245161761 140721245161956 140721245161956 140721245167558 0
/proc/18839/statm: 1048 704 672 219 0 110 0
[pid=18841] ppid=18839 vsize=125640 memory=74516 CPUtime=5.95 cores=5,7
/proc/18841/stat : 18841 (roundingsat) R 18839 18839 17810 0 -1 4194304 15556 0 0 0 557 38 0 0 20 0 1 0 33521487 128655360 18629 18446744073709551615 4227072 8923433 140730289791520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21491712 140730289797479 140730289797672 140730289797672 140730289803242 0
/proc/18841/statm: 31410 18629 2304 1147 0 18837 0
Current children cumulated CPU time: 5.95 s
Current children cumulated vsize: 129832 KiB
Current children cumulated memory: 77332 KiB
[startup+12.7004 s]
/proc/loadavg: 4.07 4.08 4.09 5/260 18841
/proc/meminfo: memFree=122245728/131382120 swapFree=33010684/33010684
[pid=18839] ppid=18836 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/18839/stat : 18839 (run-dec-log.sh) S 18836 18839 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33521486 4292608 704 18446744073709551615 94370099617792 94370100512325 140721245159728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94370100751376 94370100799120 94370123468800 140721245161761 140721245161956 140721245161956 140721245167558 0
/proc/18839/statm: 1048 704 672 219 0 110 0
[pid=18841] ppid=18839 vsize=146868 memory=97008 CPUtime=12.33 cores=5,7
/proc/18841/stat : 18841 (roundingsat) R 18839 18839 17810 0 -1 4194304 20148 0 0 0 1163 70 0 0 20 0 1 0 33521487 150392832 24252 18446744073709551615 4227072 8923433 140730289791520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21491712 140730289797479 140730289797672 140730289797672 140730289803242 0
/proc/18841/statm: 36717 24252 2304 1147 0 24144 0
Current children cumulated CPU time: 12.33 s
Current children cumulated vsize: 151060 KiB
Current children cumulated memory: 99824 KiB
[startup+25.5059 s]
/proc/loadavg: 4.05 4.08 4.09 5/260 18842
/proc/meminfo: memFree=122127680/131382120 swapFree=33010684/33010684
[pid=18839] ppid=18836 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/18839/stat : 18839 (run-dec-log.sh) S 18836 18839 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33521486 4292608 704 18446744073709551615 94370099617792 94370100512325 140721245159728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94370100751376 94370100799120 94370123468800 140721245161761 140721245161956 140721245161956 140721245167558 0
/proc/18839/statm: 1048 704 672 219 0 110 0
[pid=18841] ppid=18839 vsize=151776 memory=101872 CPUtime=25.1 cores=5,7
/proc/18841/stat : 18841 (roundingsat) R 18839 18839 17810 0 -1 4194304 21357 0 0 0 2414 96 0 0 20 0 1 0 33521487 155418624 25468 18446744073709551615 4227072 8923433 140730289791520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21491712 140730289797479 140730289797672 140730289797672 140730289803242 0
/proc/18841/statm: 37944 25468 2304 1147 0 25371 0
Current children cumulated CPU time: 25.1 s
Current children cumulated vsize: 155968 KiB
Current children cumulated memory: 104688 KiB
[startup+51.1133 s]
/proc/loadavg: 4.11 4.09 4.09 5/260 18842
/proc/meminfo: memFree=121849504/131382120 swapFree=33010684/33010684
[pid=18839] ppid=18836 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/18839/stat : 18839 (run-dec-log.sh) S 18836 18839 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33521486 4292608 704 18446744073709551615 94370099617792 94370100512325 140721245159728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94370100751376 94370100799120 94370123468800 140721245161761 140721245161956 140721245161956 140721245167558 0
/proc/18839/statm: 1048 704 672 219 0 110 0
[pid=18841] ppid=18839 vsize=194024 memory=142600 CPUtime=50.63 cores=5,7
/proc/18841/stat : 18841 (roundingsat) R 18839 18839 17810 0 -1 4194304 28114 0 0 0 4872 191 0 0 20 0 1 0 33521487 198680576 35650 18446744073709551615 4227072 8923433 140730289791520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21491712 140730289797479 140730289797672 140730289797672 140730289803242 0
/proc/18841/statm: 48506 35650 2304 1147 0 35933 0
Current children cumulated CPU time: 50.63 s
Current children cumulated vsize: 198216 KiB
Current children cumulated memory: 145416 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/260 18844
/proc/meminfo: memFree=121199964/131382120 swapFree=33010684/33010684
[pid=18839] ppid=18836 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/18839/stat : 18839 (run-dec-log.sh) S 18836 18839 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33521486 4292608 704 18446744073709551615 94370099617792 94370100512325 140721245159728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94370100751376 94370100799120 94370123468800 140721245161761 140721245161956 140721245161956 140721245167558 0
/proc/18839/statm: 1048 704 672 219 0 110 0
[pid=18841] ppid=18839 vsize=235940 memory=177984 CPUtime=101.66 cores=5,7
/proc/18841/stat : 18841 (roundingsat) R 18839 18839 17810 0 -1 4194304 34422 0 0 0 9866 300 0 0 20 0 1 0 33521487 241602560 44496 18446744073709551615 4227072 8923433 140730289791520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21491712 140730289797479 140730289797672 140730289797672 140730289803242 0
/proc/18841/statm: 58985 44496 2304 1147 0 46412 0
Current children cumulated CPU time: 101.66 s
Current children cumulated vsize: 240132 KiB
Current children cumulated memory: 180800 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/260 18846
/proc/meminfo: memFree=120669348/131382120 swapFree=33010684/33010684
[pid=18839] ppid=18836 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/18839/stat : 18839 (run-dec-log.sh) S 18836 18839 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33521486 4292608 704 18446744073709551615 94370099617792 94370100512325 140721245159728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94370100751376 94370100799120 94370123468800 140721245161761 140721245161956 140721245161956 140721245167558 0
/proc/18839/statm: 1048 704 672 219 0 110 0
[pid=18841] ppid=18839 vsize=297236 memory=243676 CPUtime=161.49 cores=5,7
/proc/18841/stat : 18841 (roundingsat) R 18839 18839 17810 0 -1 4194304 42158 0 0 0 15745 404 0 0 20 0 1 0 33521487 304369664 60919 18446744073709551615 4227072 8923433 140730289791520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21491712 140730289797479 140730289797672 140730289797672 140730289803242 0
/proc/18841/statm: 74309 60919 2304 1147 0 61736 0
Current children cumulated CPU time: 161.49 s
Current children cumulated vsize: 301428 KiB
Current children cumulated memory: 246492 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/259 18852
/proc/meminfo: memFree=120089020/131382120 swapFree=33010684/33010684
[pid=18839] ppid=18836 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/18839/stat : 18839 (run-dec-log.sh) S 18836 18839 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33521486 4292608 704 18446744073709551615 94370099617792 94370100512325 140721245159728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94370100751376 94370100799120 94370123468800 140721245161761 140721245161956 140721245161956 140721245167558 0
/proc/18839/statm: 1048 704 672 219 0 110 0
[pid=18841] ppid=18839 vsize=366528 memory=279368 CPUtime=221.31 cores=5,7
/proc/18841/stat : 18841 (roundingsat) R 18839 18839 17810 0 -1 4194304 47526 0 0 0 21585 546 0 0 20 0 1 0 33521487 375324672 69842 18446744073709551615 4227072 8923433 140730289791520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21491712 140730289797479 140730289797672 140730289797672 140730289803242 0
################
# More data... #
################
/proc/18839/stat : 18839 (run-dec-log.sh) S 18836 18839 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33521486 4292608 704 18446744073709551615 94370099617792 94370100512325 140721245159728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94370100751376 94370100799120 94370123468800 140721245161761 140721245161956 140721245161956 140721245167558 0
/proc/18839/statm: 1048 704 672 219 0 110 0
[pid=18841] ppid=18839 vsize=1728660 memory=1408932 CPUtime=3151.58 cores=5,7
/proc/18841/stat : 18841 (roundingsat) R 18839 18839 17810 0 -1 4194304 183413 0 0 0 311542 3616 0 0 20 0 1 0 33521487 1770147840 352233 18446744073709551615 4227072 8923433 140730289791520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21491712 140730289797479 140730289797672 140730289797672 140730289803242 0
/proc/18841/statm: 432165 352233 2304 1147 0 419592 0
Current children cumulated CPU time: 3151.58 s
Current children cumulated vsize: 1732852 KiB
Current children cumulated memory: 1411748 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/259 19060
/proc/meminfo: memFree=104756156/131382120 swapFree=33010684/33010684
[pid=18839] ppid=18836 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/18839/stat : 18839 (run-dec-log.sh) S 18836 18839 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33521486 4292608 704 18446744073709551615 94370099617792 94370100512325 140721245159728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94370100751376 94370100799120 94370123468800 140721245161761 140721245161956 140721245161956 140721245167558 0
/proc/18839/statm: 1048 704 672 219 0 110 0
[pid=18841] ppid=18839 vsize=1734456 memory=1413796 CPUtime=3211.38 cores=5,7
/proc/18841/stat : 18841 (roundingsat) R 18839 18839 17810 0 -1 4194304 184620 0 0 0 317469 3669 0 0 20 0 1 0 33521487 1776082944 353449 18446744073709551615 4227072 8923433 140730289791520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21491712 140730289797479 140730289797672 140730289797672 140730289803242 0
/proc/18841/statm: 433614 353449 2304 1147 0 421041 0
Current children cumulated CPU time: 3211.38 s
Current children cumulated vsize: 1738648 KiB
Current children cumulated memory: 1416612 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/259 19062
/proc/meminfo: memFree=104449668/131382120 swapFree=33010684/33010684
[pid=18839] ppid=18836 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/18839/stat : 18839 (run-dec-log.sh) S 18836 18839 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33521486 4292608 704 18446744073709551615 94370099617792 94370100512325 140721245159728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94370100751376 94370100799120 94370123468800 140721245161761 140721245161956 140721245161956 140721245167558 0
/proc/18839/statm: 1048 704 672 219 0 110 0
[pid=18841] ppid=18839 vsize=1746172 memory=1422884 CPUtime=3271.18 cores=5,7
/proc/18841/stat : 18841 (roundingsat) R 18839 18839 17810 0 -1 4194304 186903 0 0 0 323410 3708 0 0 20 0 1 0 33521487 1788080128 355721 18446744073709551615 4227072 8923433 140730289791520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21491712 140730289797479 140730289797672 140730289797672 140730289803242 0
/proc/18841/statm: 436543 355721 2304 1147 0 423970 0
Current children cumulated CPU time: 3271.18 s
Current children cumulated vsize: 1750364 KiB
Current children cumulated memory: 1425700 KiB
[startup+3342.3 s]
/proc/loadavg: 4.39 4.18 4.12 4/253 19072
/proc/meminfo: memFree=105241016/131382120 swapFree=33010684/33010684
[pid=18839] ppid=18836 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/18839/stat : 18839 (run-dec-log.sh) S 18836 18839 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33521486 4292608 704 18446744073709551615 94370099617792 94370100512325 140721245159728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94370100751376 94370100799120 94370123468800 140721245161761 140721245161956 140721245161956 140721245167558 0
/proc/18839/statm: 1048 704 672 219 0 110 0
[pid=18841] ppid=18839 vsize=1746172 memory=1422884 CPUtime=3330.97 cores=5,7
/proc/18841/stat : 18841 (roundingsat) R 18839 18839 17810 0 -1 4194304 186903 0 0 0 329351 3746 0 0 20 0 1 0 33521487 1788080128 355721 18446744073709551615 4227072 8923433 140730289791520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21491712 140730289797479 140730289797672 140730289797672 140730289803242 0
/proc/18841/statm: 436543 355721 2304 1147 0 423970 0
Current children cumulated CPU time: 3330.97 s
Current children cumulated vsize: 1750364 KiB
Current children cumulated memory: 1425700 KiB
[startup+3402.3 s]
/proc/loadavg: 3.72 4.04 4.07 4/251 19095
/proc/meminfo: memFree=110945812/131382120 swapFree=33010684/33010684
[pid=18839] ppid=18836 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/18839/stat : 18839 (run-dec-log.sh) S 18836 18839 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33521486 4292608 704 18446744073709551615 94370099617792 94370100512325 140721245159728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94370100751376 94370100799120 94370123468800 140721245161761 140721245161956 140721245161956 140721245167558 0
/proc/18839/statm: 1048 704 672 219 0 110 0
[pid=18841] ppid=18839 vsize=1746172 memory=1422884 CPUtime=3390.74 cores=5,7
/proc/18841/stat : 18841 (roundingsat) R 18839 18839 17810 0 -1 4194304 186904 0 0 0 335282 3792 0 0 20 0 1 0 33521487 1788080128 355721 18446744073709551615 4227072 8923433 140730289791520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21491712 140730289797479 140730289797672 140730289797672 140730289803242 0
/proc/18841/statm: 436543 355721 2304 1147 0 423970 0
Current children cumulated CPU time: 3390.74 s
Current children cumulated vsize: 1750364 KiB
Current children cumulated memory: 1425700 KiB
[startup+3462.3 s]
/proc/loadavg: 2.92 3.77 3.98 3/245 19129
/proc/meminfo: memFree=117385464/131382120 swapFree=33010684/33010684
[pid=18839] ppid=18836 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/18839/stat : 18839 (run-dec-log.sh) S 18836 18839 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33521486 4292608 704 18446744073709551615 94370099617792 94370100512325 140721245159728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94370100751376 94370100799120 94370123468800 140721245161761 140721245161956 140721245161956 140721245167558 0
/proc/18839/statm: 1048 704 672 219 0 110 0
[pid=18841] ppid=18839 vsize=1746172 memory=1422884 CPUtime=3450.55 cores=5,7
/proc/18841/stat : 18841 (roundingsat) R 18839 18839 17810 0 -1 4194304 186905 0 0 0 341172 3883 0 0 20 0 1 0 33521487 1788080128 355721 18446744073709551615 4227072 8923433 140730289791520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21491712 140730289797479 140730289797672 140730289797672 140730289803242 0
/proc/18841/statm: 436543 355721 2304 1147 0 423970 0
Current children cumulated CPU time: 3450.55 s
Current children cumulated vsize: 1750364 KiB
Current children cumulated memory: 1425700 KiB
[startup+3522.3 s]
/proc/loadavg: 2.34 3.44 3.85 3/245 19131
/proc/meminfo: memFree=117190204/131382120 swapFree=33010684/33010684
[pid=18839] ppid=18836 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/18839/stat : 18839 (run-dec-log.sh) S 18836 18839 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33521486 4292608 704 18446744073709551615 94370099617792 94370100512325 140721245159728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94370100751376 94370100799120 94370123468800 140721245161761 140721245161956 140721245161956 140721245167558 0
/proc/18839/statm: 1048 704 672 219 0 110 0
[pid=18841] ppid=18839 vsize=1746172 memory=1422884 CPUtime=3510.36 cores=5,7
/proc/18841/stat : 18841 (roundingsat) R 18839 18839 17810 0 -1 4194304 186905 0 0 0 347088 3948 0 0 20 0 1 0 33521487 1788080128 355721 18446744073709551615 4227072 8923433 140730289791520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21491712 140730289797479 140730289797672 140730289797672 140730289803242 0
/proc/18841/statm: 436543 355721 2304 1147 0 423970 0
Current children cumulated CPU time: 3510.36 s
Current children cumulated vsize: 1750364 KiB
Current children cumulated memory: 1425700 KiB
[startup+3582.3 s]
/proc/loadavg: 2.23 3.21 3.74 3/245 19133
/proc/meminfo: memFree=117062628/131382120 swapFree=33010684/33010684
[pid=18839] ppid=18836 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/18839/stat : 18839 (run-dec-log.sh) S 18836 18839 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33521486 4292608 704 18446744073709551615 94370099617792 94370100512325 140721245159728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94370100751376 94370100799120 94370123468800 140721245161761 140721245161956 140721245161956 140721245167558 0
/proc/18839/statm: 1048 704 672 219 0 110 0
[pid=18841] ppid=18839 vsize=1746172 memory=1422884 CPUtime=3570.16 cores=5,7
/proc/18841/stat : 18841 (roundingsat) R 18839 18839 17810 0 -1 4194304 187181 0 0 0 353014 4002 0 0 20 0 1 0 33521487 1788080128 355721 18446744073709551615 4227072 8923433 140730289791520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21491712 140730289797479 140730289797672 140730289797672 140730289803242 0
/proc/18841/statm: 436543 355721 2304 1147 0 423970 0
Current children cumulated CPU time: 3570.16 s
Current children cumulated vsize: 1750364 KiB
Current children cumulated memory: 1425700 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.3 s]
/proc/loadavg: 2.14 3.09 3.68 3/246 19136
/proc/meminfo: memFree=116995748/131382120 swapFree=33010684/33010684
[pid=18839] ppid=18836 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/18839/stat : 18839 (run-dec-log.sh) S 18836 18839 17810 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33521486 4292608 704 18446744073709551615 94370099617792 94370100512325 140721245159728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94370100751376 94370100799120 94370123468800 140721245161761 140721245161956 140721245161956 140721245167558 0
/proc/18839/statm: 1048 704 672 219 0 110 0
[pid=18841] ppid=18839 vsize=1746172 memory=1423012 CPUtime=3600.07 cores=5,7
/proc/18841/stat : 18841 (roundingsat) R 18839 18839 17810 0 -1 4194304 187194 0 0 0 355981 4026 0 0 20 0 1 0 33521487 1788080128 355753 18446744073709551615 4227072 8923433 140730289791520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21491712 140730289797479 140730289797672 140730289797672 140730289803242 0
/proc/18841/statm: 436543 355753 2304 1147 0 423970 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1750364 KiB
Current children cumulated memory: 1425828 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.31 s]
# the end of solver process 18839 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000639 s, system=0.003499 s
[startup+3612.56 s]
# the end of solver process 18841 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3559.84 s, system=40.2826 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+3612.4 s]*
/proc/loadavg: 2.14 3.09 3.68 2/245 19136
/proc/meminfo: memFree=116995380/131382120 swapFree=33010684/33010684
[pid=18841] ppid=18836 vsize=1746172 memory=1423268 CPUtime=3600.07 cores=5,7
/proc/18841/stat : 18841 (roundingsat) D 18836 18839 17810 0 -1 4194304 187198 0 0 0 355981 4026 0 0 20 0 1 0 33521487 1788080128 355817 18446744073709551615 4227072 8923433 140730289791520 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 21491712 140730289797479 140730289797672 140730289797672 140730289803242 0
/proc/18841/statm: 436543 355817 2368 1147 0 423970 0
Current cumulated CPU time of completed processes: 0.004138 s
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1746172 KiB
Current children cumulated memory: 1423268 KiB
[startup+3612.51 s]
/proc/loadavg: 2.14 3.09 3.68 2/245 19136
/proc/meminfo: memFree=116995380/131382120 swapFree=33010684/33010684
[pid=18841] ppid=18836 vsize=1746172 memory=1423268 CPUtime=3600.07 cores=5,7
/proc/18841/stat : 18841 (roundingsat) D 18836 18839 17810 0 -1 4194304 187198 0 0 0 355981 4026 0 0 20 0 1 0 33521487 1788080128 355817 18446744073709551615 4227072 8923433 140730289791520 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 21491712 140730289797479 140730289797672 140730289797672 140730289803242 0
/proc/18841/statm: 436543 355817 2368 1147 0 423970 0
Current cumulated CPU time of completed processes: 0.004138 s
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1746172 KiB
Current children cumulated memory: 1423268 KiB
Child status: 2
Real time (s): 3612.56
CPU time (s): 3600.12
CPU user time (s): 3559.84
CPU system time (s): 40.2826
CPU usage (%): 99.6557
Max. virtual memory (cumulated for all children) (KiB): 1750364
Max. memory (cumulated for all children) (KiB): 1425828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3559.84
system time used= 40.2826
maximum resident set size= 1423268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187425
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11626192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1266
involuntary context switches= 4851
# summary of solver processes directly reported to runsolver:
# pid: 18839,18841
# total CPU time (s): 3600.12
# total CPU user time (s): 3559.84
# total CPU system time (s): 40.2826
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.6257 second user time and 36.3378 second system time
The end
Begin job on nodeC003 at 2025-06-29 08:27:08
IDJOB=4507157
IDBENCH=158327
IDSOLVER=3352
FILE ID=nodeC003/4507157-1751178428
RUNJOBID= nodeC003-1751170906-17823
SLURM_JOB_ID= 9587531
Free space on /tmp= 433012 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K194.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507157-1751178428/watcher-4507157-1751178428 -o /tmp/evaluation-result-4507157-1751178428/solver-4507157-1751178428 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751170906-17823 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4507157-1751178428.opb PROOFDIR/proof-4507157-1751178428
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7d29d77727f08087434452962a118642
RANDOM SEED=1209174395
nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3627.243
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3626.255
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.494
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.279
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.899
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2194.784
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.496
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.470
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 122449376 kB
MemAvailable: 128472700 kB
Buffers: 3280 kB
Cached: 6827576 kB
SwapCached: 0 kB
Active: 1782840 kB
Inactive: 6614592 kB
Active(anon): 1584308 kB
Inactive(anon): 0 kB
Active(file): 198532 kB
Inactive(file): 6614592 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 49104 kB
Writeback: 8 kB
AnonPages: 1567860 kB
Mapped: 115232 kB
Shmem: 17960 kB
KReclaimable: 99656 kB
Slab: 182128 kB
SReclaimable: 99656 kB
SUnreclaim: 82472 kB
KernelStack: 4176 kB
PageTables: 6272 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 2109732 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149528 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 698368 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC003 at 2025-06-29 09:27:21