0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.08/0.14 c #variables 23086 #constraints 23476
119.59/119.97 c #Conflicts: 1000 | #Constraints: 24475
119.59/119.97 c #Conflicts: 2000 | #Constraints: 25475
119.59/119.97 c INPROCESSING
119.59/119.97 c GARBAGE COLLECT
119.59/119.97 c #Conflicts: 3000 | #Constraints: 24740
119.59/119.97 c #Conflicts: 4000 | #Constraints: 25740
119.59/119.97 c INPROCESSING
119.59/119.97 c GARBAGE COLLECT
119.59/119.97 c #Conflicts: 5000 | #Constraints: 25246
119.59/119.97 c #Conflicts: 6000 | #Constraints: 26246
119.59/119.97 c INPROCESSING
119.59/119.97 c GARBAGE COLLECT
119.59/119.97 c #Conflicts: 7000 | #Constraints: 25454
119.59/119.97 c #Conflicts: 8000 | #Constraints: 26454
119.59/119.97 c #Conflicts: 9000 | #Constraints: 27454
119.59/119.97 c #Conflicts: 10000 | #Constraints: 28454
119.59/119.97 c #Conflicts: 11000 | #Constraints: 29454
119.59/119.97 c #Conflicts: 12000 | #Constraints: 30454
119.59/119.97 c INPROCESSING
119.59/119.97 c GARBAGE COLLECT
119.59/119.97 c #Conflicts: 13000 | #Constraints: 27416
119.59/119.97 c #Conflicts: 14000 | #Constraints: 28416
119.59/119.97 c #Conflicts: 15000 | #Constraints: 29416
119.59/119.97 c #Conflicts: 16000 | #Constraints: 30416
119.59/119.97 c INPROCESSING
119.59/119.97 c GARBAGE COLLECT
119.59/119.97 c #Conflicts: 17000 | #Constraints: 28220
119.59/119.97 c #Conflicts: 18000 | #Constraints: 29220
119.59/119.97 c #Conflicts: 19000 | #Constraints: 30220
119.59/119.97 c #Conflicts: 20000 | #Constraints: 31220
119.59/119.97 c #Conflicts: 21000 | #Constraints: 32220
119.59/119.97 c #Conflicts: 22000 | #Constraints: 33220
119.59/119.97 c #Conflicts: 23000 | #Constraints: 34220
119.59/119.97 c #Conflicts: 24000 | #Constraints: 35220
119.59/119.97 c #Conflicts: 25000 | #Constraints: 36220
119.59/119.97 c INPROCESSING
119.59/119.97 c GARBAGE COLLECT
119.59/119.97 c #Conflicts: 26000 | #Constraints: 30441
119.59/119.97 c #Conflicts: 27000 | #Constraints: 31441
119.59/119.97 c #Conflicts: 28000 | #Constraints: 32441
119.59/119.97 c #Conflicts: 29000 | #Constraints: 33441
119.59/119.97 c #Conflicts: 30000 | #Constraints: 34441
119.59/119.97 c INPROCESSING
119.59/119.97 c GARBAGE COLLECT
119.59/119.97 c #Conflicts: 31000 | #Constraints: 30659
119.59/119.97 c #Conflicts: 32000 | #Constraints: 31659
119.59/119.97 c #Conflicts: 33000 | #Constraints: 32659
119.59/119.97 c #Conflicts: 34000 | #Constraints: 33659
119.59/119.97 c #Conflicts: 35000 | #Constraints: 34659
119.59/119.97 c #Conflicts: 36000 | #Constraints: 35659
119.59/119.97 c #Conflicts: 37000 | #Constraints: 36659
119.59/119.97 c #Conflicts: 38000 | #Constraints: 37659
119.59/119.97 c #Conflicts: 39000 | #Constraints: 38659
119.59/119.97 c #Conflicts: 40000 | #Constraints: 39659
119.59/119.97 c #Conflicts: 41000 | #Constraints: 40659
119.59/119.97 c #Conflicts: 42000 | #Constraints: 41659
119.59/119.97 c #Conflicts: 43000 | #Constraints: 42659
119.59/119.97 c INPROCESSING
119.59/119.97 c GARBAGE COLLECT
119.59/119.97 c #Conflicts: 44000 | #Constraints: 33943
119.59/119.97 c #Conflicts: 45000 | #Constraints: 34943
119.59/119.97 c #Conflicts: 46000 | #Constraints: 35943
119.59/119.97 c #Conflicts: 47000 | #Constraints: 36943
119.59/119.97 c #Conflicts: 48000 | #Constraints: 37943
119.59/119.97 c #Conflicts: 49000 | #Constraints: 38943
119.59/119.97 c #Conflicts: 50000 | #Constraints: 39943
119.59/119.97 c #Conflicts: 51000 | #Constraints: 40943
119.59/119.97 c #Conflicts: 52000 | #Constraints: 41943
119.59/119.97 c #Conflicts: 53000 | #Constraints: 42943
119.59/119.97 c #Conflicts: 54000 | #Constraints: 43943
119.59/119.97 c #Conflicts: 55000 | #Constraints: 44943
119.59/119.97 c #Conflicts: 56000 | #Constraints: 45943
119.59/119.97 c #Conflicts: 57000 | #Constraints: 46943
119.59/119.97 c INPROCESSING
119.59/119.97 c GARBAGE COLLECT
119.59/119.97 c #Conflicts: 58000 | #Constraints: 36109
119.59/119.97 c #Conflicts: 59000 | #Constraints: 37109
119.59/119.97 c #Conflicts: 60000 | #Constraints: 38109
119.59/119.97 c #Conflicts: 61000 | #Constraints: 39109
119.59/119.97 c #Conflicts: 62000 | #Constraints: 40109
119.59/119.97 c #Conflicts: 63000 | #Constraints: 41109
119.59/119.97 c #Conflicts: 64000 | #Constraints: 42109
119.59/119.97 c #Conflicts: 65000 | #Constraints: 43109
119.59/119.97 c INPROCESSING
119.59/119.97 c GARBAGE COLLECT
119.59/119.97 c #Conflicts: 66000 | #Constraints: 37012
119.59/119.97 c #Conflicts: 67000 | #Constraints: 38012
119.59/119.97 c #Conflicts: 68000 | #Constraints: 39012
119.59/119.97 c #Conflicts: 69000 | #Constraints: 40012
119.59/119.97 c #Conflicts: 70000 | #Constraints: 41012
119.59/119.97 c #Conflicts: 71000 | #Constraints: 42012
119.59/119.97 c #Conflicts: 72000 | #Constraints: 43012
119.59/119.97 c #Conflicts: 73000 | #Constraints: 44012
253.26/253.94 c #Conflicts: 74000 | #Constraints: 45012
253.26/253.94 c #Conflicts: 75000 | #Constraints: 46012
253.26/253.94 c #Conflicts: 76000 | #Constraints: 47012
253.26/253.94 c #Conflicts: 77000 | #Constraints: 48012
253.26/253.94 c #Conflicts: 78000 | #Constraints: 49012
253.26/253.94 c #Conflicts: 79000 | #Constraints: 50012
253.26/253.94 c #Conflicts: 80000 | #Constraints: 51012
253.26/253.94 c #Conflicts: 81000 | #Constraints: 52012
253.26/253.94 c #Conflicts: 82000 | #Constraints: 53012
253.26/253.94 c INPROCESSING
253.26/253.94 c GARBAGE COLLECT
253.26/253.94 c #Conflicts: 83000 | #Constraints: 39358
253.26/253.94 c #Conflicts: 84000 | #Constraints: 40358
253.26/253.94 c #Conflicts: 85000 | #Constraints: 41358
253.26/253.94 c #Conflicts: 86000 | #Constraints: 42358
253.26/253.94 c #Conflicts: 87000 | #Constraints: 43358
253.26/253.94 c #Conflicts: 88000 | #Constraints: 44358
253.26/253.94 c #Conflicts: 89000 | #Constraints: 45358
253.26/253.94 c #Conflicts: 90000 | #Constraints: 46358
253.26/253.94 c #Conflicts: 91000 | #Constraints: 47358
253.26/253.94 c #Conflicts: 92000 | #Constraints: 48358
253.26/253.94 c #Conflicts: 93000 | #Constraints: 49358
253.26/253.94 c #Conflicts: 94000 | #Constraints: 50358
253.26/253.94 c #Conflicts: 95000 | #Constraints: 51358
253.26/253.94 c #Conflicts: 96000 | #Constraints: 52358
253.26/253.94 c #Conflicts: 97000 | #Constraints: 53358
253.26/253.94 c #Conflicts: 98000 | #Constraints: 54358
253.26/253.94 c #Conflicts: 99000 | #Constraints: 55358
253.26/253.94 c #Conflicts: 100000 | #Constraints: 56358
253.26/253.94 c #Conflicts: 101000 | #Constraints: 57359
253.26/253.94 c #Conflicts: 102000 | #Constraints: 58359
253.26/253.94 c INPROCESSING
253.26/253.94 c GARBAGE COLLECT
253.26/253.94 c #Conflicts: 103000 | #Constraints: 42363
253.26/253.94 c #Conflicts: 104000 | #Constraints: 43363
253.26/253.94 c #Conflicts: 105000 | #Constraints: 44363
253.26/253.94 c #Conflicts: 106000 | #Constraints: 45363
253.26/253.94 c #Conflicts: 107000 | #Constraints: 46363
253.26/253.94 c #Conflicts: 108000 | #Constraints: 47363
253.26/253.94 c #Conflicts: 109000 | #Constraints: 48363
253.26/253.94 c #Conflicts: 110000 | #Constraints: 49363
253.26/253.94 c #Conflicts: 111000 | #Constraints: 50363
253.26/253.94 c #Conflicts: 112000 | #Constraints: 51363
253.26/253.94 c #Conflicts: 113000 | #Constraints: 52363
253.26/253.94 c #Conflicts: 114000 | #Constraints: 53363
253.26/253.94 c #Conflicts: 115000 | #Constraints: 54363
253.26/253.94 c #Conflicts: 116000 | #Constraints: 55363
253.26/253.94 c #Conflicts: 117000 | #Constraints: 56363
253.26/253.94 c #Conflicts: 118000 | #Constraints: 57363
253.26/253.94 c #Conflicts: 119000 | #Constraints: 58363
253.26/253.94 c #Conflicts: 120000 | #Constraints: 59363
253.26/253.94 c #Conflicts: 121000 | #Constraints: 60363
253.26/253.94 c #Conflicts: 122000 | #Constraints: 61363
253.26/253.94 c #Conflicts: 123000 | #Constraints: 62363
253.26/253.94 c INPROCESSING
253.26/253.94 c GARBAGE COLLECT
253.26/253.94 c #Conflicts: 124000 | #Constraints: 44254
253.26/253.94 c #Conflicts: 125000 | #Constraints: 45254
253.26/253.94 c #Conflicts: 126000 | #Constraints: 46254
253.26/253.94 c #Conflicts: 127000 | #Constraints: 47254
253.26/253.94 c #Conflicts: 128000 | #Constraints: 48254
253.26/253.94 c #Conflicts: 129000 | #Constraints: 49254
253.26/253.94 c #Conflicts: 130000 | #Constraints: 50254
253.26/253.94 c #Conflicts: 131000 | #Constraints: 51254
253.26/253.94 c #Conflicts: 132000 | #Constraints: 52254
253.26/253.94 c #Conflicts: 133000 | #Constraints: 53254
253.26/253.94 c #Conflicts: 134000 | #Constraints: 54254
253.26/253.94 c #Conflicts: 135000 | #Constraints: 55254
253.26/253.94 c #Conflicts: 136000 | #Constraints: 56254
253.26/253.94 c #Conflicts: 137000 | #Constraints: 57254
253.26/253.94 c #Conflicts: 138000 | #Constraints: 58254
253.26/253.94 c #Conflicts: 139000 | #Constraints: 59254
253.26/253.94 c #Conflicts: 140000 | #Constraints: 60254
253.26/253.94 c #Conflicts: 141000 | #Constraints: 61254
253.26/253.94 c #Conflicts: 142000 | #Constraints: 62254
253.26/253.94 c #Conflicts: 143000 | #Constraints: 63254
253.26/253.94 c #Conflicts: 144000 | #Constraints: 64254
253.26/253.94 c #Conflicts: 145000 | #Constraints: 65254
253.26/253.94 c #Conflicts: 146000 | #Constraints: 66254
253.26/253.94 c #Conflicts: 147000 | #Constraints: 67254
253.26/253.94 c INPROCESSING
253.26/253.94 c GARBAGE COLLECT
253.26/253.94 c #Conflicts: 148000 | #Constraints: 47067
253.26/253.94 c #Conflicts: 149000 | #Constraints: 48067
398.46/399.55 c #Conflicts: 150000 | #Constraints: 49067
398.46/399.55 c #Conflicts: 151000 | #Constraints: 50067
398.46/399.55 c #Conflicts: 152000 | #Constraints: 51067
398.46/399.55 c #Conflicts: 153000 | #Constraints: 52067
398.46/399.55 c #Conflicts: 154000 | #Constraints: 53067
398.46/399.55 c #Conflicts: 155000 | #Constraints: 54067
398.46/399.55 c #Conflicts: 156000 | #Constraints: 55067
398.46/399.55 c #Conflicts: 157000 | #Constraints: 56067
398.46/399.55 c #Conflicts: 158000 | #Constraints: 57067
398.46/399.55 c #Conflicts: 159000 | #Constraints: 58067
398.46/399.55 c #Conflicts: 160000 | #Constraints: 59067
398.46/399.55 c #Conflicts: 161000 | #Constraints: 60067
398.46/399.55 c #Conflicts: 162000 | #Constraints: 61067
398.46/399.55 c #Conflicts: 163000 | #Constraints: 62067
398.46/399.55 c #Conflicts: 164000 | #Constraints: 63067
398.46/399.55 c #Conflicts: 165000 | #Constraints: 64067
398.46/399.55 c #Conflicts: 166000 | #Constraints: 65067
398.46/399.55 c #Conflicts: 167000 | #Constraints: 66067
398.46/399.55 c #Conflicts: 168000 | #Constraints: 67067
398.46/399.55 c #Conflicts: 169000 | #Constraints: 68067
398.46/399.55 c #Conflicts: 170000 | #Constraints: 69067
398.46/399.55 c #Conflicts: 171000 | #Constraints: 70067
398.46/399.55 c #Conflicts: 172000 | #Constraints: 71067
398.46/399.55 c INPROCESSING
398.46/399.55 c GARBAGE COLLECT
398.46/399.55 c #Conflicts: 173000 | #Constraints: 48801
398.46/399.55 c #Conflicts: 174000 | #Constraints: 49801
398.46/399.55 c #Conflicts: 175000 | #Constraints: 50801
398.46/399.55 c #Conflicts: 176000 | #Constraints: 51801
398.46/399.55 c #Conflicts: 177000 | #Constraints: 52801
398.46/399.55 c #Conflicts: 178000 | #Constraints: 53801
398.46/399.55 c #Conflicts: 179000 | #Constraints: 54801
398.46/399.55 c #Conflicts: 180000 | #Constraints: 55801
398.46/399.55 c #Conflicts: 181000 | #Constraints: 56801
398.46/399.55 c #Conflicts: 182000 | #Constraints: 57801
398.46/399.55 c #Conflicts: 183000 | #Constraints: 58801
398.46/399.55 c #Conflicts: 184000 | #Constraints: 59801
398.46/399.55 c #Conflicts: 185000 | #Constraints: 60801
398.46/399.55 c #Conflicts: 186000 | #Constraints: 61801
398.46/399.55 c #Conflicts: 187000 | #Constraints: 62801
398.46/399.55 c #Conflicts: 188000 | #Constraints: 63801
398.46/399.55 c #Conflicts: 189000 | #Constraints: 64801
398.46/399.55 c #Conflicts: 190000 | #Constraints: 65801
398.46/399.55 c #Conflicts: 191000 | #Constraints: 66801
398.46/399.55 c #Conflicts: 192000 | #Constraints: 67801
398.46/399.55 c #Conflicts: 193000 | #Constraints: 68801
398.46/399.55 c #Conflicts: 194000 | #Constraints: 69801
398.46/399.55 c #Conflicts: 195000 | #Constraints: 70801
398.46/399.55 c #Conflicts: 196000 | #Constraints: 71801
398.46/399.55 c #Conflicts: 197000 | #Constraints: 72801
398.46/399.55 c #Conflicts: 198000 | #Constraints: 73801
398.46/399.55 c #Conflicts: 199000 | #Constraints: 74801
398.46/399.55 c #Conflicts: 200000 | #Constraints: 75801
398.46/399.55 c INPROCESSING
398.46/399.55 c GARBAGE COLLECT
398.46/399.55 c #Conflicts: 201000 | #Constraints: 51384
398.46/399.55 c #Conflicts: 202000 | #Constraints: 52384
398.46/399.55 c #Conflicts: 203000 | #Constraints: 53384
398.46/399.55 c #Conflicts: 204000 | #Constraints: 54384
398.46/399.55 c #Conflicts: 205000 | #Constraints: 55384
398.46/399.55 c #Conflicts: 206000 | #Constraints: 56384
398.46/399.55 c #Conflicts: 207000 | #Constraints: 57384
398.46/399.55 c #Conflicts: 208000 | #Constraints: 58384
398.46/399.55 c #Conflicts: 209000 | #Constraints: 59384
398.46/399.55 c #Conflicts: 210000 | #Constraints: 60384
398.46/399.55 c #Conflicts: 211000 | #Constraints: 61384
398.46/399.55 c #Conflicts: 212000 | #Constraints: 62384
398.46/399.55 c #Conflicts: 213000 | #Constraints: 63384
398.46/399.55 c #Conflicts: 214000 | #Constraints: 64384
398.46/399.55 c #Conflicts: 215000 | #Constraints: 65384
398.46/399.55 c #Conflicts: 216000 | #Constraints: 66384
398.46/399.55 c #Conflicts: 217000 | #Constraints: 67384
398.46/399.55 c #Conflicts: 218000 | #Constraints: 68384
398.46/399.55 c #Conflicts: 219000 | #Constraints: 69384
398.46/399.55 c #Conflicts: 220000 | #Constraints: 70384
398.46/399.55 c #Conflicts: 221000 | #Constraints: 71384
398.46/399.55 c #Conflicts: 222000 | #Constraints: 72384
398.46/399.55 c #Conflicts: 223000 | #Constraints: 73384
398.46/399.55 c #Conflicts: 224000 | #Constraints: 74384
398.46/399.55 c #Conflicts: 225000 | #Constraints: 75385
398.46/399.55 c #Conflicts: 226000 | #Constraints: 76385
398.46/399.55 c #Conflicts: 227000 | #Constraints: 77385
573.15/574.72 c #Conflicts: 228000 | #Constraints: 78385
573.15/574.72 c #Conflicts: 229000 | #Constraints: 79385
573.15/574.72 c INPROCESSING
573.15/574.72 c GARBAGE COLLECT
573.15/574.72 c #Conflicts: 230000 | #Constraints: 52958
573.15/574.72 c #Conflicts: 231000 | #Constraints: 53958
573.15/574.72 c #Conflicts: 232000 | #Constraints: 54958
573.15/574.72 c #Conflicts: 233000 | #Constraints: 55958
573.15/574.72 c #Conflicts: 234000 | #Constraints: 56958
573.15/574.72 c #Conflicts: 235000 | #Constraints: 57958
573.15/574.72 c #Conflicts: 236000 | #Constraints: 58958
573.15/574.72 c #Conflicts: 237000 | #Constraints: 59958
573.15/574.72 c #Conflicts: 238000 | #Constraints: 60958
573.15/574.72 c #Conflicts: 239000 | #Constraints: 61958
573.15/574.72 c #Conflicts: 240000 | #Constraints: 62958
573.15/574.72 c #Conflicts: 241000 | #Constraints: 63958
573.15/574.72 c #Conflicts: 242000 | #Constraints: 64958
573.15/574.72 c #Conflicts: 243000 | #Constraints: 65958
573.15/574.72 c #Conflicts: 244000 | #Constraints: 66958
573.15/574.72 c #Conflicts: 245000 | #Constraints: 67958
573.15/574.72 c #Conflicts: 246000 | #Constraints: 68958
573.15/574.72 c #Conflicts: 247000 | #Constraints: 69958
573.15/574.72 c #Conflicts: 248000 | #Constraints: 70958
573.15/574.72 c #Conflicts: 249000 | #Constraints: 71958
573.15/574.72 c #Conflicts: 250000 | #Constraints: 72958
573.15/574.72 c #Conflicts: 251000 | #Constraints: 73958
573.15/574.72 c #Conflicts: 252000 | #Constraints: 74958
573.15/574.72 c #Conflicts: 253000 | #Constraints: 75958
573.15/574.72 c #Conflicts: 254000 | #Constraints: 76958
573.15/574.72 c #Conflicts: 255000 | #Constraints: 77958
573.15/574.72 c #Conflicts: 256000 | #Constraints: 78958
573.15/574.72 c #Conflicts: 257000 | #Constraints: 79958
573.15/574.72 c #Conflicts: 258000 | #Constraints: 80958
573.15/574.72 c #Conflicts: 259000 | #Constraints: 81958
573.15/574.72 c #Conflicts: 260000 | #Constraints: 82958
573.15/574.72 c #Conflicts: 261000 | #Constraints: 83958
573.15/574.72 c INPROCESSING
573.15/574.72 c GARBAGE COLLECT
573.15/574.72 c #Conflicts: 262000 | #Constraints: 55505
573.15/574.72 c #Conflicts: 263000 | #Constraints: 56505
573.15/574.72 c #Conflicts: 264000 | #Constraints: 57505
573.15/574.72 c #Conflicts: 265000 | #Constraints: 58505
573.15/574.72 c #Conflicts: 266000 | #Constraints: 59505
573.15/574.72 c #Conflicts: 267000 | #Constraints: 60505
573.15/574.72 c #Conflicts: 268000 | #Constraints: 61505
573.15/574.72 c #Conflicts: 269000 | #Constraints: 62505
573.15/574.72 c #Conflicts: 270000 | #Constraints: 63505
573.15/574.72 c #Conflicts: 271000 | #Constraints: 64505
573.15/574.72 c #Conflicts: 272000 | #Constraints: 65505
573.15/574.72 c #Conflicts: 273000 | #Constraints: 66505
573.15/574.72 c #Conflicts: 274000 | #Constraints: 67505
573.15/574.72 c #Conflicts: 275000 | #Constraints: 68505
573.15/574.72 c #Conflicts: 276000 | #Constraints: 69505
573.15/574.72 c #Conflicts: 277000 | #Constraints: 70505
573.15/574.72 c #Conflicts: 278000 | #Constraints: 71505
573.15/574.72 c #Conflicts: 279000 | #Constraints: 72505
573.15/574.72 c #Conflicts: 280000 | #Constraints: 73505
573.15/574.72 c #Conflicts: 281000 | #Constraints: 74505
573.15/574.72 c #Conflicts: 282000 | #Constraints: 75505
573.15/574.72 c #Conflicts: 283000 | #Constraints: 76505
573.15/574.72 c #Conflicts: 284000 | #Constraints: 77505
573.15/574.72 c #Conflicts: 285000 | #Constraints: 78505
573.15/574.72 c #Conflicts: 286000 | #Constraints: 79505
573.15/574.72 c #Conflicts: 287000 | #Constraints: 80505
573.15/574.72 c #Conflicts: 288000 | #Constraints: 81505
573.15/574.72 c #Conflicts: 289000 | #Constraints: 82505
573.15/574.72 c #Conflicts: 290000 | #Constraints: 83505
573.15/574.72 c #Conflicts: 291000 | #Constraints: 84505
573.15/574.72 c #Conflicts: 292000 | #Constraints: 85505
573.15/574.72 c #Conflicts: 293000 | #Constraints: 86505
573.15/574.72 c #Conflicts: 294000 | #Constraints: 87505
573.15/574.72 c INPROCESSING
573.15/574.72 c GARBAGE COLLECT
573.15/574.72 c #Conflicts: 295000 | #Constraints: 57097
573.15/574.72 c #Conflicts: 296000 | #Constraints: 58097
573.15/574.72 c #Conflicts: 297000 | #Constraints: 59097
573.15/574.72 c #Conflicts: 298000 | #Constraints: 60097
573.15/574.72 c #Conflicts: 299000 | #Constraints: 61097
573.15/574.72 c #Conflicts: 300000 | #Constraints: 62097
573.15/574.72 c #Conflicts: 301000 | #Constraints: 63097
573.15/574.72 c #Conflicts: 302000 | #Constraints: 64097
573.15/574.72 c #Conflicts: 303000 | #Constraints: 65097
573.15/574.72 c #Conflicts: 304000 | #Constraints: 66097
733.45/735.41 c #Conflicts: 305000 | #Constraints: 67097
733.45/735.41 c #Conflicts: 306000 | #Constraints: 68097
733.45/735.41 c #Conflicts: 307000 | #Constraints: 69097
733.45/735.41 c #Conflicts: 308000 | #Constraints: 70097
733.45/735.41 c #Conflicts: 309000 | #Constraints: 71097
733.45/735.41 c #Conflicts: 310000 | #Constraints: 72097
733.45/735.41 c #Conflicts: 311000 | #Constraints: 73097
733.45/735.41 c #Conflicts: 312000 | #Constraints: 74097
733.45/735.41 c #Conflicts: 313000 | #Constraints: 75097
733.45/735.41 c #Conflicts: 314000 | #Constraints: 76097
733.45/735.41 c #Conflicts: 315000 | #Constraints: 77097
733.45/735.41 c #Conflicts: 316000 | #Constraints: 78097
733.45/735.41 c #Conflicts: 317000 | #Constraints: 79097
733.45/735.41 c #Conflicts: 318000 | #Constraints: 80097
733.45/735.41 c #Conflicts: 319000 | #Constraints: 81097
733.45/735.41 c #Conflicts: 320000 | #Constraints: 82097
733.45/735.41 c #Conflicts: 321000 | #Constraints: 83097
733.45/735.41 c #Conflicts: 322000 | #Constraints: 84097
733.45/735.41 c #Conflicts: 323000 | #Constraints: 85097
733.45/735.41 c #Conflicts: 324000 | #Constraints: 86097
733.45/735.41 c #Conflicts: 325000 | #Constraints: 87097
733.45/735.41 c #Conflicts: 326000 | #Constraints: 88097
733.45/735.41 c #Conflicts: 327000 | #Constraints: 89097
733.45/735.41 c #Conflicts: 328000 | #Constraints: 90097
733.45/735.41 c #Conflicts: 329000 | #Constraints: 91097
733.45/735.41 c #Conflicts: 330000 | #Constraints: 92097
733.45/735.41 c INPROCESSING
733.45/735.41 c GARBAGE COLLECT
733.45/735.41 c #Conflicts: 331000 | #Constraints: 59678
733.45/735.41 c #Conflicts: 332000 | #Constraints: 60678
733.45/735.41 c #Conflicts: 333000 | #Constraints: 61678
733.45/735.41 c #Conflicts: 334000 | #Constraints: 62678
733.45/735.41 c #Conflicts: 335000 | #Constraints: 63678
733.45/735.41 c #Conflicts: 336000 | #Constraints: 64678
733.45/735.41 c #Conflicts: 337000 | #Constraints: 65678
733.45/735.41 c #Conflicts: 338000 | #Constraints: 66678
733.45/735.41 c #Conflicts: 339000 | #Constraints: 67678
733.45/735.41 c #Conflicts: 340000 | #Constraints: 68678
733.45/735.41 c #Conflicts: 341000 | #Constraints: 69678
733.45/735.41 c #Conflicts: 342000 | #Constraints: 70678
733.45/735.41 c #Conflicts: 343000 | #Constraints: 71678
733.45/735.41 c #Conflicts: 344000 | #Constraints: 72678
733.45/735.41 c #Conflicts: 345000 | #Constraints: 73678
733.45/735.41 c #Conflicts: 346000 | #Constraints: 74678
733.45/735.41 c #Conflicts: 347000 | #Constraints: 75678
733.45/735.41 c #Conflicts: 348000 | #Constraints: 76678
733.45/735.41 c #Conflicts: 349000 | #Constraints: 77678
733.45/735.41 c #Conflicts: 350000 | #Constraints: 78678
733.45/735.41 c #Conflicts: 351000 | #Constraints: 79678
733.45/735.41 c #Conflicts: 352000 | #Constraints: 80678
733.45/735.41 c #Conflicts: 353000 | #Constraints: 81678
733.45/735.41 c #Conflicts: 354000 | #Constraints: 82678
733.45/735.41 c #Conflicts: 355000 | #Constraints: 83678
733.45/735.41 c #Conflicts: 356000 | #Constraints: 84678
733.45/735.41 c #Conflicts: 357000 | #Constraints: 85678
733.45/735.41 c #Conflicts: 358000 | #Constraints: 86678
733.45/735.41 c #Conflicts: 359000 | #Constraints: 87678
733.45/735.41 c #Conflicts: 360000 | #Constraints: 88678
733.45/735.41 c #Conflicts: 361000 | #Constraints: 89678
733.45/735.41 c #Conflicts: 362000 | #Constraints: 90678
733.45/735.41 c #Conflicts: 363000 | #Constraints: 91678
733.45/735.41 c #Conflicts: 364000 | #Constraints: 92678
733.45/735.41 c #Conflicts: 365000 | #Constraints: 93678
733.45/735.41 c #Conflicts: 366000 | #Constraints: 94678
733.45/735.41 c #Conflicts: 367000 | #Constraints: 95678
733.45/735.41 c INPROCESSING
733.45/735.41 c GARBAGE COLLECT
733.45/735.41 c #Conflicts: 368000 | #Constraints: 61520
733.45/735.41 c #Conflicts: 369000 | #Constraints: 62520
733.45/735.41 c #Conflicts: 370000 | #Constraints: 63520
733.45/735.41 c #Conflicts: 371000 | #Constraints: 64520
733.45/735.41 c #Conflicts: 372000 | #Constraints: 65520
733.45/735.41 c #Conflicts: 373000 | #Constraints: 66520
733.45/735.41 c #Conflicts: 374000 | #Constraints: 67520
733.45/735.41 c #Conflicts: 375000 | #Constraints: 68520
733.45/735.41 c #Conflicts: 376000 | #Constraints: 69520
733.45/735.41 c #Conflicts: 377000 | #Constraints: 70520
733.45/735.41 c #Conflicts: 378000 | #Constraints: 71520
733.45/735.41 c #Conflicts: 379000 | #Constraints: 72520
733.45/735.41 c #Conflicts: 380000 | #Constraints: 73520
733.45/735.41 c #Conflicts: 381000 | #Constraints: 74520
876.02/878.36 c #Conflicts: 382000 | #Constraints: 75520
876.02/878.36 c #Conflicts: 383000 | #Constraints: 76520
876.02/878.36 c #Conflicts: 384000 | #Constraints: 77520
876.02/878.36 c #Conflicts: 385000 | #Constraints: 78520
876.02/878.36 c #Conflicts: 386000 | #Constraints: 79520
876.02/878.36 c #Conflicts: 387000 | #Constraints: 80520
876.02/878.36 c #Conflicts: 388000 | #Constraints: 81520
876.02/878.36 c #Conflicts: 389000 | #Constraints: 82520
876.02/878.36 c #Conflicts: 390000 | #Constraints: 83520
876.02/878.36 c #Conflicts: 391000 | #Constraints: 84520
876.02/878.36 c #Conflicts: 392000 | #Constraints: 85520
876.02/878.36 c #Conflicts: 393000 | #Constraints: 86520
876.02/878.36 c #Conflicts: 394000 | #Constraints: 87520
876.02/878.36 c #Conflicts: 395000 | #Constraints: 88520
876.02/878.36 c #Conflicts: 396000 | #Constraints: 89520
876.02/878.36 c #Conflicts: 397000 | #Constraints: 90520
876.02/878.36 c #Conflicts: 398000 | #Constraints: 91520
876.02/878.36 c #Conflicts: 399000 | #Constraints: 92520
876.02/878.36 c #Conflicts: 400000 | #Constraints: 93520
876.02/878.36 c #Conflicts: 401000 | #Constraints: 94520
876.02/878.36 c #Conflicts: 402000 | #Constraints: 95520
876.02/878.36 c #Conflicts: 403000 | #Constraints: 96520
876.02/878.36 c #Conflicts: 404000 | #Constraints: 97520
876.02/878.36 c #Conflicts: 405000 | #Constraints: 98520
876.02/878.36 c #Conflicts: 406000 | #Constraints: 99520
876.02/878.36 c #Conflicts: 407000 | #Constraints: 100520
876.02/878.36 c INPROCESSING
876.02/878.36 c GARBAGE COLLECT
876.02/878.36 c #Conflicts: 408000 | #Constraints: 64255
876.02/878.36 c #Conflicts: 409000 | #Constraints: 65255
876.02/878.36 c #Conflicts: 410000 | #Constraints: 66255
876.02/878.36 c #Conflicts: 411000 | #Constraints: 67255
876.02/878.36 c #Conflicts: 412000 | #Constraints: 68255
876.02/878.36 c #Conflicts: 413000 | #Constraints: 69255
876.02/878.36 c #Conflicts: 414000 | #Constraints: 70255
876.02/878.36 c #Conflicts: 415000 | #Constraints: 71255
876.02/878.36 c #Conflicts: 416000 | #Constraints: 72255
876.02/878.36 c #Conflicts: 417000 | #Constraints: 73255
876.02/878.36 c #Conflicts: 418000 | #Constraints: 74255
876.02/878.36 c #Conflicts: 419000 | #Constraints: 75255
876.02/878.36 c #Conflicts: 420000 | #Constraints: 76255
876.02/878.36 c #Conflicts: 421000 | #Constraints: 77255
876.02/878.36 c #Conflicts: 422000 | #Constraints: 78255
876.02/878.36 c #Conflicts: 423000 | #Constraints: 79255
876.02/878.36 c #Conflicts: 424000 | #Constraints: 80255
876.02/878.36 c #Conflicts: 425000 | #Constraints: 81255
876.02/878.36 c #Conflicts: 426000 | #Constraints: 82255
876.02/878.36 c #Conflicts: 427000 | #Constraints: 83255
876.02/878.36 c #Conflicts: 428000 | #Constraints: 84255
876.02/878.36 c #Conflicts: 429000 | #Constraints: 85255
876.02/878.36 c #Conflicts: 430000 | #Constraints: 86255
876.02/878.36 c #Conflicts: 431000 | #Constraints: 87255
876.02/878.36 c #Conflicts: 432000 | #Constraints: 88255
876.02/878.36 c #Conflicts: 433000 | #Constraints: 89255
876.02/878.36 c #Conflicts: 434000 | #Constraints: 90255
876.02/878.36 c #Conflicts: 435000 | #Constraints: 91255
876.02/878.36 c #Conflicts: 436000 | #Constraints: 92255
876.02/878.36 c #Conflicts: 437000 | #Constraints: 93255
876.02/878.36 c #Conflicts: 438000 | #Constraints: 94255
876.02/878.36 c #Conflicts: 439000 | #Constraints: 95255
876.02/878.36 c #Conflicts: 440000 | #Constraints: 96255
876.02/878.36 c #Conflicts: 441000 | #Constraints: 97255
876.02/878.36 c #Conflicts: 442000 | #Constraints: 98255
876.02/878.36 c #Conflicts: 443000 | #Constraints: 99255
876.02/878.36 c #Conflicts: 444000 | #Constraints: 100255
876.02/878.36 c #Conflicts: 445000 | #Constraints: 101255
876.02/878.36 c #Conflicts: 446000 | #Constraints: 102255
876.02/878.36 c #Conflicts: 447000 | #Constraints: 103255
876.02/878.36 c #Conflicts: 448000 | #Constraints: 104255
876.02/878.36 c INPROCESSING
876.02/878.36 c GARBAGE COLLECT
876.02/878.36 c #Conflicts: 449000 | #Constraints: 65728
876.02/878.36 c #Conflicts: 450000 | #Constraints: 66728
876.02/878.36 c #Conflicts: 451000 | #Constraints: 67728
876.02/878.36 c #Conflicts: 452000 | #Constraints: 68728
876.02/878.36 c #Conflicts: 453000 | #Constraints: 69728
876.02/878.36 c #Conflicts: 454000 | #Constraints: 70728
876.02/878.36 c #Conflicts: 455000 | #Constraints: 71728
876.02/878.36 c #Conflicts: 456000 | #Constraints: 72728
876.02/878.36 c #Conflicts: 457000 | #Constraints: 73728
876.02/878.36 c #Conflicts: 458000 | #Constraints: 74728
876.02/878.36 c #Conflicts: 459000 | #Constraints: 75728
1096.50/1099.35 c #Conflicts: 460000 | #Constraints: 76728
1096.50/1099.35 c #Conflicts: 461000 | #Constraints: 77728
1096.50/1099.35 c #Conflicts: 462000 | #Constraints: 78728
1096.50/1099.35 c #Conflicts: 463000 | #Constraints: 79728
1096.50/1099.35 c #Conflicts: 464000 | #Constraints: 80728
1096.50/1099.35 c #Conflicts: 465000 | #Constraints: 81728
1096.50/1099.35 c #Conflicts: 466000 | #Constraints: 82728
1096.50/1099.35 c #Conflicts: 467000 | #Constraints: 83728
1096.50/1099.35 c #Conflicts: 468000 | #Constraints: 84728
1096.50/1099.35 c #Conflicts: 469000 | #Constraints: 85728
1096.50/1099.35 c #Conflicts: 470000 | #Constraints: 86728
1096.50/1099.35 c #Conflicts: 471000 | #Constraints: 87728
1096.50/1099.35 c #Conflicts: 472000 | #Constraints: 88728
1096.50/1099.35 c #Conflicts: 473000 | #Constraints: 89728
1096.50/1099.35 c #Conflicts: 474000 | #Constraints: 90728
1096.50/1099.35 c #Conflicts: 475000 | #Constraints: 91728
1096.50/1099.35 c #Conflicts: 476000 | #Constraints: 92728
1096.50/1099.35 c #Conflicts: 477000 | #Constraints: 93728
1096.50/1099.35 c #Conflicts: 478000 | #Constraints: 94728
1096.50/1099.35 c #Conflicts: 479000 | #Constraints: 95728
1096.50/1099.35 c #Conflicts: 480000 | #Constraints: 96728
1096.50/1099.35 c #Conflicts: 481000 | #Constraints: 97728
1096.50/1099.35 c #Conflicts: 482000 | #Constraints: 98728
1096.50/1099.35 c #Conflicts: 483000 | #Constraints: 99728
1096.50/1099.35 c #Conflicts: 484000 | #Constraints: 100728
1096.50/1099.35 c #Conflicts: 485000 | #Constraints: 101728
1096.50/1099.35 c #Conflicts: 486000 | #Constraints: 102728
1096.50/1099.35 c #Conflicts: 487000 | #Constraints: 103728
1096.50/1099.35 c #Conflicts: 488000 | #Constraints: 104728
1096.50/1099.35 c #Conflicts: 489000 | #Constraints: 105728
1096.50/1099.35 c #Conflicts: 490000 | #Constraints: 106728
1096.50/1099.35 c #Conflicts: 491000 | #Constraints: 107728
1096.50/1099.35 c #Conflicts: 492000 | #Constraints: 108728
1096.50/1099.35 c INPROCESSING
1096.50/1099.35 c GARBAGE COLLECT
1096.50/1099.35 c #Conflicts: 493000 | #Constraints: 68272
1096.50/1099.35 c #Conflicts: 494000 | #Constraints: 69272
1096.50/1099.35 c #Conflicts: 495000 | #Constraints: 70272
1096.50/1099.35 c #Conflicts: 496000 | #Constraints: 71272
1096.50/1099.35 c #Conflicts: 497000 | #Constraints: 72272
1096.50/1099.35 c #Conflicts: 498000 | #Constraints: 73272
1096.50/1099.35 c #Conflicts: 499000 | #Constraints: 74272
1096.50/1099.35 c #Conflicts: 500000 | #Constraints: 75272
1096.50/1099.35 c #Conflicts: 501000 | #Constraints: 76272
1096.50/1099.35 c #Conflicts: 502000 | #Constraints: 77272
1096.50/1099.35 c #Conflicts: 503000 | #Constraints: 78272
1096.50/1099.35 c #Conflicts: 504000 | #Constraints: 79272
1096.50/1099.35 c #Conflicts: 505000 | #Constraints: 80272
1096.50/1099.35 c #Conflicts: 506000 | #Constraints: 81272
1096.50/1099.35 c #Conflicts: 507000 | #Constraints: 82272
1096.50/1099.35 c #Conflicts: 508000 | #Constraints: 83272
1096.50/1099.35 c #Conflicts: 509000 | #Constraints: 84272
1096.50/1099.35 c #Conflicts: 510000 | #Constraints: 85272
1096.50/1099.35 c #Conflicts: 511000 | #Constraints: 86272
1096.50/1099.35 c #Conflicts: 512000 | #Constraints: 87272
1096.50/1099.35 c #Conflicts: 513000 | #Constraints: 88272
1096.50/1099.35 c #Conflicts: 514000 | #Constraints: 89272
1096.50/1099.35 c #Conflicts: 515000 | #Constraints: 90272
1096.50/1099.35 c #Conflicts: 516000 | #Constraints: 91272
1096.50/1099.35 c #Conflicts: 517000 | #Constraints: 92272
1096.50/1099.35 c #Conflicts: 518000 | #Constraints: 93272
1096.50/1099.35 c #Conflicts: 519000 | #Constraints: 94272
1096.50/1099.35 c #Conflicts: 520000 | #Constraints: 95272
1096.50/1099.35 c #Conflicts: 521000 | #Constraints: 96272
1096.50/1099.35 c #Conflicts: 522000 | #Constraints: 97272
1096.50/1099.35 c #Conflicts: 523000 | #Constraints: 98272
1096.50/1099.35 c #Conflicts: 524000 | #Constraints: 99272
1096.50/1099.35 c #Conflicts: 525000 | #Constraints: 100272
1096.50/1099.35 c #Conflicts: 526000 | #Constraints: 101272
1096.50/1099.35 c #Conflicts: 527000 | #Constraints: 102272
1096.50/1099.35 c #Conflicts: 528000 | #Constraints: 103272
1096.50/1099.35 c #Conflicts: 529000 | #Constraints: 104272
1096.50/1099.35 c #Conflicts: 530000 | #Constraints: 105272
1096.50/1099.35 c #Conflicts: 531000 | #Constraints: 106272
1096.50/1099.35 c #Conflicts: 532000 | #Constraints: 107272
1096.50/1099.35 c #Conflicts: 533000 | #Constraints: 108272
1096.50/1099.35 c #Conflicts: 534000 | #Constraints: 109272
1096.50/1099.35 c #Conflicts: 535000 | #Constraints: 110272
1096.50/1099.35 c #Conflicts: 536000 | #Constraints: 111272
1096.50/1099.35 c #Conflicts: 537000 | #Constraints: 112272
1102.58/1105.45 c INPROCESSING
1102.58/1105.45 c GARBAGE COLLECT
1102.58/1105.45 c rational objective 194
1228.28/1231.42 c #Conflicts: 538000 | #Constraints: 69683
1228.28/1231.42 c #Conflicts: 539000 | #Constraints: 70683
1228.28/1231.42 c #Conflicts: 540000 | #Constraints: 71683
1228.28/1231.42 c #Conflicts: 541000 | #Constraints: 72683
1228.28/1231.42 c #Conflicts: 542000 | #Constraints: 73683
1228.28/1231.42 c #Conflicts: 543000 | #Constraints: 74683
1228.28/1231.42 c #Conflicts: 544000 | #Constraints: 75683
1228.28/1231.42 c #Conflicts: 545000 | #Constraints: 76683
1228.28/1231.42 c #Conflicts: 546000 | #Constraints: 77683
1228.28/1231.42 c #Conflicts: 547000 | #Constraints: 78683
1228.28/1231.42 c #Conflicts: 548000 | #Constraints: 79683
1228.28/1231.42 c #Conflicts: 549000 | #Constraints: 80683
1228.28/1231.42 c #Conflicts: 550000 | #Constraints: 81683
1228.28/1231.42 c #Conflicts: 551000 | #Constraints: 82683
1228.28/1231.42 c #Conflicts: 552000 | #Constraints: 83683
1228.28/1231.42 c #Conflicts: 553000 | #Constraints: 84683
1228.28/1231.42 c #Conflicts: 554000 | #Constraints: 85683
1228.28/1231.42 c #Conflicts: 555000 | #Constraints: 86683
1228.28/1231.42 c #Conflicts: 556000 | #Constraints: 87683
1228.28/1231.42 c #Conflicts: 557000 | #Constraints: 88683
1228.28/1231.42 c #Conflicts: 558000 | #Constraints: 89683
1228.28/1231.42 c #Conflicts: 559000 | #Constraints: 90683
1228.28/1231.42 c #Conflicts: 560000 | #Constraints: 91683
1228.28/1231.42 c #Conflicts: 561000 | #Constraints: 92683
1228.28/1231.42 c #Conflicts: 562000 | #Constraints: 93683
1228.28/1231.42 c #Conflicts: 563000 | #Constraints: 94683
1228.28/1231.42 c #Conflicts: 564000 | #Constraints: 95683
1228.28/1231.42 c #Conflicts: 565000 | #Constraints: 96683
1228.28/1231.42 c #Conflicts: 566000 | #Constraints: 97683
1228.28/1231.42 c #Conflicts: 567000 | #Constraints: 98683
1228.28/1231.42 c #Conflicts: 568000 | #Constraints: 99683
1228.28/1231.42 c #Conflicts: 569000 | #Constraints: 100683
1228.28/1231.42 c #Conflicts: 570000 | #Constraints: 101683
1228.28/1231.42 c #Conflicts: 571000 | #Constraints: 102683
1228.28/1231.42 c #Conflicts: 572000 | #Constraints: 103683
1228.28/1231.42 c #Conflicts: 573000 | #Constraints: 104683
1228.28/1231.42 c #Conflicts: 574000 | #Constraints: 105683
1228.28/1231.42 c #Conflicts: 575000 | #Constraints: 106683
1228.28/1231.42 c #Conflicts: 576000 | #Constraints: 107683
1228.28/1231.42 c #Conflicts: 577000 | #Constraints: 108683
1228.28/1231.42 c #Conflicts: 578000 | #Constraints: 109683
1228.28/1231.42 c #Conflicts: 579000 | #Constraints: 110683
1228.28/1231.42 c #Conflicts: 580000 | #Constraints: 111683
1228.28/1231.42 c #Conflicts: 581000 | #Constraints: 112683
1228.28/1231.42 c #Conflicts: 582000 | #Constraints: 113683
1228.28/1231.42 c #Conflicts: 583000 | #Constraints: 114683
1228.28/1231.42 c #Conflicts: 584000 | #Constraints: 115683
1228.28/1231.42 c #Conflicts: 585000 | #Constraints: 116683
1228.28/1231.42 c INPROCESSING
1228.28/1231.42 c GARBAGE COLLECT
1228.28/1231.42 c rational objective 194
1405.17/1408.75 c #Conflicts: 586000 | #Constraints: 72278
1405.17/1408.75 c #Conflicts: 587000 | #Constraints: 73278
1405.17/1408.75 c #Conflicts: 588000 | #Constraints: 74278
1405.17/1408.75 c #Conflicts: 589000 | #Constraints: 75278
1405.17/1408.75 c #Conflicts: 590000 | #Constraints: 76278
1405.17/1408.75 c #Conflicts: 591000 | #Constraints: 77278
1405.17/1408.75 c #Conflicts: 592000 | #Constraints: 78278
1405.17/1408.75 c #Conflicts: 593000 | #Constraints: 79278
1405.17/1408.75 c #Conflicts: 594000 | #Constraints: 80278
1405.17/1408.75 c #Conflicts: 595000 | #Constraints: 81278
1405.17/1408.75 c #Conflicts: 596000 | #Constraints: 82278
1405.17/1408.75 c #Conflicts: 597000 | #Constraints: 83278
1405.17/1408.75 c #Conflicts: 598000 | #Constraints: 84278
1405.17/1408.75 c #Conflicts: 599000 | #Constraints: 85278
1405.17/1408.75 c #Conflicts: 600000 | #Constraints: 86278
1405.17/1408.75 c #Conflicts: 601000 | #Constraints: 87278
1405.17/1408.75 c #Conflicts: 602000 | #Constraints: 88278
1405.17/1408.75 c #Conflicts: 603000 | #Constraints: 89278
1405.17/1408.75 c #Conflicts: 604000 | #Constraints: 90278
1405.17/1408.75 c #Conflicts: 605000 | #Constraints: 91278
1405.17/1408.75 c #Conflicts: 606000 | #Constraints: 92278
1405.17/1408.75 c #Conflicts: 607000 | #Constraints: 93278
1405.17/1408.75 c #Conflicts: 608000 | #Constraints: 94278
1405.17/1408.75 c #Conflicts: 609000 | #Constraints: 95278
1405.17/1408.75 c #Conflicts: 610000 | #Constraints: 96278
1405.17/1408.75 c #Conflicts: 611000 | #Constraints: 97278
1405.17/1408.75 c #Conflicts: 612000 | #Constraints: 98278
1405.17/1408.75 c #Conflicts: 613000 | #Constraints: 99278
1405.17/1408.75 c #Conflicts: 614000 | #Constraints: 100278
1405.17/1408.75 c #Conflicts: 615000 | #Constraints: 101278
1405.17/1408.75 c #Conflicts: 616000 | #Constraints: 102278
1405.17/1408.75 c #Conflicts: 617000 | #Constraints: 103278
1405.17/1408.75 c #Conflicts: 618000 | #Constraints: 104278
1405.17/1408.75 c #Conflicts: 619000 | #Constraints: 105278
1405.17/1408.75 c #Conflicts: 620000 | #Constraints: 106278
1405.17/1408.75 c #Conflicts: 621000 | #Constraints: 107278
1405.17/1408.75 c #Conflicts: 622000 | #Constraints: 108278
1405.17/1408.75 c #Conflicts: 623000 | #Constraints: 109278
1405.17/1408.75 c #Conflicts: 624000 | #Constraints: 110278
1405.17/1408.75 c #Conflicts: 625000 | #Constraints: 111278
1405.17/1408.75 c #Conflicts: 626000 | #Constraints: 112278
1405.17/1408.75 c #Conflicts: 627000 | #Constraints: 113278
1405.17/1408.75 c #Conflicts: 628000 | #Constraints: 114278
1405.17/1408.75 c #Conflicts: 629000 | #Constraints: 115278
1405.17/1408.75 c #Conflicts: 630000 | #Constraints: 116278
1405.17/1408.75 c #Conflicts: 631000 | #Constraints: 117278
1405.17/1408.75 c #Conflicts: 632000 | #Constraints: 118278
1405.17/1408.75 c #Conflicts: 633000 | #Constraints: 119278
1405.17/1408.75 c #Conflicts: 634000 | #Constraints: 120278
1405.17/1408.75 c INPROCESSING
1405.17/1408.75 c GARBAGE COLLECT
1405.17/1408.75 c #Conflicts: 635000 | #Constraints: 73869
1405.17/1408.75 c #Conflicts: 636000 | #Constraints: 74869
1405.17/1408.75 c #Conflicts: 637000 | #Constraints: 75869
1405.17/1408.75 c #Conflicts: 638000 | #Constraints: 76869
1405.17/1408.75 c #Conflicts: 639000 | #Constraints: 77869
1405.17/1408.75 c #Conflicts: 640000 | #Constraints: 78869
1405.17/1408.75 c #Conflicts: 641000 | #Constraints: 79869
1405.17/1408.75 c #Conflicts: 642000 | #Constraints: 80869
1405.17/1408.75 c #Conflicts: 643000 | #Constraints: 81869
1405.17/1408.75 c #Conflicts: 644000 | #Constraints: 82869
1405.17/1408.75 c #Conflicts: 645000 | #Constraints: 83869
1405.17/1408.75 c #Conflicts: 646000 | #Constraints: 84869
1405.17/1408.75 c #Conflicts: 647000 | #Constraints: 85869
1405.17/1408.75 c #Conflicts: 648000 | #Constraints: 86869
1405.17/1408.75 c #Conflicts: 649000 | #Constraints: 87869
1405.17/1408.75 c #Conflicts: 650000 | #Constraints: 88869
1405.17/1408.75 c #Conflicts: 651000 | #Constraints: 89869
1405.17/1408.75 c #Conflicts: 652000 | #Constraints: 90869
1405.17/1408.75 c #Conflicts: 653000 | #Constraints: 91869
1405.17/1408.75 c #Conflicts: 654000 | #Constraints: 92869
1405.17/1408.75 c #Conflicts: 655000 | #Constraints: 93869
1405.17/1408.75 c #Conflicts: 656000 | #Constraints: 94869
1405.17/1408.75 c #Conflicts: 657000 | #Constraints: 95869
1405.17/1408.75 c #Conflicts: 658000 | #Constraints: 96869
1405.17/1408.75 c #Conflicts: 659000 | #Constraints: 97869
1405.17/1408.75 c #Conflicts: 660000 | #Constraints: 98869
1405.17/1408.75 c #Conflicts: 661000 | #Constraints: 99869
1405.17/1408.75 c #Conflicts: 662000 | #Constraints: 100869
1405.17/1408.75 c #Conflicts: 663000 | #Constraints: 101869
1405.17/1408.75 c #Conflicts: 664000 | #Constraints: 102869
1502.83/1506.63 c #Conflicts: 665000 | #Constraints: 103869
1502.83/1506.63 c #Conflicts: 666000 | #Constraints: 104869
1502.83/1506.63 c #Conflicts: 667000 | #Constraints: 105869
1502.83/1506.63 c #Conflicts: 668000 | #Constraints: 106869
1502.83/1506.63 c #Conflicts: 669000 | #Constraints: 107869
1502.83/1506.63 c #Conflicts: 670000 | #Constraints: 108869
1502.83/1506.63 c #Conflicts: 671000 | #Constraints: 109869
1502.83/1506.63 c #Conflicts: 672000 | #Constraints: 110869
1502.83/1506.63 c #Conflicts: 673000 | #Constraints: 111869
1502.83/1506.63 c #Conflicts: 674000 | #Constraints: 112869
1502.83/1506.63 c #Conflicts: 675000 | #Constraints: 113869
1502.83/1506.63 c #Conflicts: 676000 | #Constraints: 114869
1502.83/1506.63 c #Conflicts: 677000 | #Constraints: 115869
1502.83/1506.63 c #Conflicts: 678000 | #Constraints: 116869
1502.83/1506.63 c #Conflicts: 679000 | #Constraints: 117869
1502.83/1506.63 c #Conflicts: 680000 | #Constraints: 118869
1502.83/1506.63 c #Conflicts: 681000 | #Constraints: 119869
1502.83/1506.63 c #Conflicts: 682000 | #Constraints: 120869
1502.83/1506.63 c #Conflicts: 683000 | #Constraints: 121869
1502.83/1506.63 c #Conflicts: 684000 | #Constraints: 122869
1502.83/1506.63 c #Conflicts: 685000 | #Constraints: 123869
1502.83/1506.63 c #Conflicts: 686000 | #Constraints: 124869
1502.83/1506.63 c INPROCESSING
1502.83/1506.63 c GARBAGE COLLECT
1502.83/1506.63 c rational objective 194
1692.88/1697.12 c #Conflicts: 687000 | #Constraints: 76500
1692.88/1697.12 c #Conflicts: 688000 | #Constraints: 77500
1692.88/1697.12 c #Conflicts: 689000 | #Constraints: 78500
1692.88/1697.12 c #Conflicts: 690000 | #Constraints: 79500
1692.88/1697.12 c #Conflicts: 691000 | #Constraints: 80500
1692.88/1697.12 c #Conflicts: 692000 | #Constraints: 81500
1692.88/1697.12 c #Conflicts: 693000 | #Constraints: 82500
1692.88/1697.12 c #Conflicts: 694000 | #Constraints: 83500
1692.88/1697.12 c #Conflicts: 695000 | #Constraints: 84500
1692.88/1697.12 c #Conflicts: 696000 | #Constraints: 85500
1692.88/1697.12 c #Conflicts: 697000 | #Constraints: 86500
1692.88/1697.12 c #Conflicts: 698000 | #Constraints: 87500
1692.88/1697.12 c #Conflicts: 699000 | #Constraints: 88500
1692.88/1697.12 c #Conflicts: 700000 | #Constraints: 89500
1692.88/1697.12 c #Conflicts: 701000 | #Constraints: 90500
1692.88/1697.12 c #Conflicts: 702000 | #Constraints: 91500
1692.88/1697.12 c #Conflicts: 703000 | #Constraints: 92500
1692.88/1697.12 c #Conflicts: 704000 | #Constraints: 93500
1692.88/1697.12 c #Conflicts: 705000 | #Constraints: 94500
1692.88/1697.12 c #Conflicts: 706000 | #Constraints: 95500
1692.88/1697.12 c #Conflicts: 707000 | #Constraints: 96500
1692.88/1697.12 c #Conflicts: 708000 | #Constraints: 97500
1692.88/1697.12 c #Conflicts: 709000 | #Constraints: 98500
1692.88/1697.12 c #Conflicts: 710000 | #Constraints: 99500
1692.88/1697.12 c #Conflicts: 711000 | #Constraints: 100500
1692.88/1697.12 c #Conflicts: 712000 | #Constraints: 101500
1692.88/1697.12 c #Conflicts: 713000 | #Constraints: 102500
1692.88/1697.12 c #Conflicts: 714000 | #Constraints: 103500
1692.88/1697.12 c #Conflicts: 715000 | #Constraints: 104500
1692.88/1697.12 c #Conflicts: 716000 | #Constraints: 105500
1692.88/1697.12 c #Conflicts: 717000 | #Constraints: 106500
1692.88/1697.12 c #Conflicts: 718000 | #Constraints: 107500
1692.88/1697.12 c #Conflicts: 719000 | #Constraints: 108500
1692.88/1697.12 c #Conflicts: 720000 | #Constraints: 109500
1692.88/1697.12 c #Conflicts: 721000 | #Constraints: 110500
1692.88/1697.12 c #Conflicts: 722000 | #Constraints: 111500
1692.88/1697.12 c #Conflicts: 723000 | #Constraints: 112500
1692.88/1697.12 c #Conflicts: 724000 | #Constraints: 113500
1692.88/1697.12 c #Conflicts: 725000 | #Constraints: 114500
1692.88/1697.12 c #Conflicts: 726000 | #Constraints: 115500
1692.88/1697.12 c #Conflicts: 727000 | #Constraints: 116500
1692.88/1697.12 c #Conflicts: 728000 | #Constraints: 117500
1692.88/1697.12 c #Conflicts: 729000 | #Constraints: 118500
1692.88/1697.12 c #Conflicts: 730000 | #Constraints: 119500
1692.88/1697.12 c #Conflicts: 731000 | #Constraints: 120500
1692.88/1697.12 c #Conflicts: 732000 | #Constraints: 121500
1692.88/1697.12 c #Conflicts: 733000 | #Constraints: 122500
1692.88/1697.12 c #Conflicts: 734000 | #Constraints: 123500
1692.88/1697.12 c #Conflicts: 735000 | #Constraints: 124500
1692.88/1697.12 c #Conflicts: 736000 | #Constraints: 125500
1692.88/1697.12 c #Conflicts: 737000 | #Constraints: 126500
1692.88/1697.12 c #Conflicts: 738000 | #Constraints: 127500
1692.88/1697.12 c #Conflicts: 739000 | #Constraints: 128500
1692.88/1697.12 c INPROCESSING
1692.88/1697.12 c GARBAGE COLLECT
1692.88/1697.12 c #Conflicts: 740000 | #Constraints: 78238
1692.88/1697.12 c #Conflicts: 741000 | #Constraints: 79238
1692.88/1697.12 c #Conflicts: 742000 | #Constraints: 80238
1692.88/1697.12 c #Conflicts: 743000 | #Constraints: 81238
1692.88/1697.12 c #Conflicts: 744000 | #Constraints: 82238
1692.88/1697.12 c #Conflicts: 745000 | #Constraints: 83238
1692.88/1697.12 c #Conflicts: 746000 | #Constraints: 84238
1692.88/1697.12 c #Conflicts: 747000 | #Constraints: 85238
1692.88/1697.12 c #Conflicts: 748000 | #Constraints: 86238
1692.88/1697.12 c #Conflicts: 749000 | #Constraints: 87238
1692.88/1697.12 c #Conflicts: 750000 | #Constraints: 88238
1692.88/1697.12 c #Conflicts: 751000 | #Constraints: 89238
1692.88/1697.12 c #Conflicts: 752000 | #Constraints: 90238
1692.88/1697.12 c #Conflicts: 753000 | #Constraints: 91238
1692.88/1697.12 c #Conflicts: 754000 | #Constraints: 92238
1692.88/1697.12 c #Conflicts: 755000 | #Constraints: 93238
1692.88/1697.12 c #Conflicts: 756000 | #Constraints: 94238
1692.88/1697.12 c #Conflicts: 757000 | #Constraints: 95238
1692.88/1697.12 c #Conflicts: 758000 | #Constraints: 96238
1692.88/1697.12 c #Conflicts: 759000 | #Constraints: 97238
1692.88/1697.12 c #Conflicts: 760000 | #Constraints: 98238
1692.88/1697.12 c #Conflicts: 761000 | #Constraints: 99238
1692.88/1697.12 c #Conflicts: 762000 | #Constraints: 100238
1692.88/1697.12 c #Conflicts: 763000 | #Constraints: 101238
1692.88/1697.12 c #Conflicts: 764000 | #Constraints: 102238
1692.88/1697.12 c #Conflicts: 765000 | #Constraints: 103238
1871.94/1876.62 c #Conflicts: 766000 | #Constraints: 104238
1871.94/1876.62 c #Conflicts: 767000 | #Constraints: 105238
1871.94/1876.62 c #Conflicts: 768000 | #Constraints: 106238
1871.94/1876.62 c INPROCESSING
1871.94/1876.62 c GARBAGE COLLECT
1871.94/1876.62 c #Conflicts: 769000 | #Constraints: 75053
1871.94/1876.62 c #Conflicts: 770000 | #Constraints: 76053
1871.94/1876.62 c #Conflicts: 771000 | #Constraints: 77053
1871.94/1876.62 c #Conflicts: 772000 | #Constraints: 78053
1871.94/1876.62 c #Conflicts: 773000 | #Constraints: 79053
1871.94/1876.62 c #Conflicts: 774000 | #Constraints: 80053
1871.94/1876.62 c #Conflicts: 775000 | #Constraints: 81053
1871.94/1876.62 c #Conflicts: 776000 | #Constraints: 82053
1871.94/1876.62 c #Conflicts: 777000 | #Constraints: 83053
1871.94/1876.62 c #Conflicts: 778000 | #Constraints: 84053
1871.94/1876.62 c #Conflicts: 779000 | #Constraints: 85053
1871.94/1876.62 c #Conflicts: 780000 | #Constraints: 86053
1871.94/1876.62 c #Conflicts: 781000 | #Constraints: 87053
1871.94/1876.62 c #Conflicts: 782000 | #Constraints: 88053
1871.94/1876.62 c #Conflicts: 783000 | #Constraints: 89053
1871.94/1876.62 c #Conflicts: 784000 | #Constraints: 90053
1871.94/1876.62 c #Conflicts: 785000 | #Constraints: 91053
1871.94/1876.62 c #Conflicts: 786000 | #Constraints: 92053
1871.94/1876.62 c #Conflicts: 787000 | #Constraints: 93053
1871.94/1876.62 c #Conflicts: 788000 | #Constraints: 94053
1871.94/1876.62 c #Conflicts: 789000 | #Constraints: 95053
1871.94/1876.62 c #Conflicts: 790000 | #Constraints: 96053
1871.94/1876.62 c #Conflicts: 791000 | #Constraints: 97053
1871.94/1876.62 c #Conflicts: 792000 | #Constraints: 98053
1871.94/1876.62 c #Conflicts: 793000 | #Constraints: 99053
1871.94/1876.62 c #Conflicts: 794000 | #Constraints: 100053
1871.94/1876.62 c #Conflicts: 795000 | #Constraints: 101053
1871.94/1876.62 c #Conflicts: 796000 | #Constraints: 102053
1871.94/1876.62 c #Conflicts: 797000 | #Constraints: 103053
1871.94/1876.62 c #Conflicts: 798000 | #Constraints: 104053
1871.94/1876.62 c #Conflicts: 799000 | #Constraints: 105053
1871.94/1876.62 c #Conflicts: 800000 | #Constraints: 106053
1871.94/1876.62 c #Conflicts: 801000 | #Constraints: 107053
1871.94/1876.62 c #Conflicts: 802000 | #Constraints: 108053
1871.94/1876.62 c #Conflicts: 803000 | #Constraints: 109053
1871.94/1876.62 c #Conflicts: 804000 | #Constraints: 110053
1871.94/1876.62 c #Conflicts: 805000 | #Constraints: 111053
1871.94/1876.62 c #Conflicts: 806000 | #Constraints: 112053
1871.94/1876.62 c #Conflicts: 807000 | #Constraints: 113053
1871.94/1876.62 c #Conflicts: 808000 | #Constraints: 114053
1871.94/1876.62 c #Conflicts: 809000 | #Constraints: 115053
1871.94/1876.62 c #Conflicts: 810000 | #Constraints: 116053
1871.94/1876.62 c #Conflicts: 811000 | #Constraints: 117053
1871.94/1876.62 c #Conflicts: 812000 | #Constraints: 118053
1871.94/1876.62 c #Conflicts: 813000 | #Constraints: 119053
1871.94/1876.62 c #Conflicts: 814000 | #Constraints: 120053
1871.94/1876.62 c #Conflicts: 815000 | #Constraints: 121053
1871.94/1876.62 c #Conflicts: 816000 | #Constraints: 122053
1871.94/1876.62 c #Conflicts: 817000 | #Constraints: 123053
1871.94/1876.62 c #Conflicts: 818000 | #Constraints: 124053
1871.94/1876.62 c #Conflicts: 819000 | #Constraints: 125053
1871.94/1876.62 c #Conflicts: 820000 | #Constraints: 126053
1871.94/1876.62 c #Conflicts: 821000 | #Constraints: 127053
1871.94/1876.62 c #Conflicts: 822000 | #Constraints: 128053
1871.94/1876.62 c #Conflicts: 823000 | #Constraints: 129053
1871.94/1876.62 c #Conflicts: 824000 | #Constraints: 130053
1871.94/1876.62 c INPROCESSING
1871.94/1876.62 c GARBAGE COLLECT
1871.94/1876.62 c #Conflicts: 825000 | #Constraints: 78843
1871.94/1876.62 c #Conflicts: 826000 | #Constraints: 79843
1871.94/1876.62 c #Conflicts: 827000 | #Constraints: 80843
1871.94/1876.62 c #Conflicts: 828000 | #Constraints: 81843
1871.94/1876.62 c #Conflicts: 829000 | #Constraints: 82843
1871.94/1876.62 c #Conflicts: 830000 | #Constraints: 83843
1871.94/1876.62 c #Conflicts: 831000 | #Constraints: 84843
1871.94/1876.62 c #Conflicts: 832000 | #Constraints: 85843
1871.94/1876.62 c #Conflicts: 833000 | #Constraints: 86843
1871.94/1876.62 c #Conflicts: 834000 | #Constraints: 87843
1871.94/1876.62 c #Conflicts: 835000 | #Constraints: 88843
1871.94/1876.62 c #Conflicts: 836000 | #Constraints: 89843
1871.94/1876.62 c #Conflicts: 837000 | #Constraints: 90843
1871.94/1876.62 c #Conflicts: 838000 | #Constraints: 91843
1871.94/1876.62 c #Conflicts: 839000 | #Constraints: 92843
1871.94/1876.62 c #Conflicts: 840000 | #Constraints: 93843
1871.94/1876.62 c #Conflicts: 841000 | #Constraints: 94843
1871.94/1876.62 c #Conflicts: 842000 | #Constraints: 95843
2054.78/2059.97 c #Conflicts: 843000 | #Constraints: 96843
2054.78/2059.97 c #Conflicts: 844000 | #Constraints: 97843
2054.78/2059.97 c #Conflicts: 845000 | #Constraints: 98843
2054.78/2059.97 c #Conflicts: 846000 | #Constraints: 99843
2054.78/2059.97 c #Conflicts: 847000 | #Constraints: 100843
2054.78/2059.97 c #Conflicts: 848000 | #Constraints: 101843
2054.78/2059.97 c #Conflicts: 849000 | #Constraints: 102843
2054.78/2059.97 c #Conflicts: 850000 | #Constraints: 103843
2054.78/2059.97 c #Conflicts: 851000 | #Constraints: 104843
2054.78/2059.97 c #Conflicts: 852000 | #Constraints: 105843
2054.78/2059.97 c #Conflicts: 853000 | #Constraints: 106843
2054.78/2059.97 c #Conflicts: 854000 | #Constraints: 107843
2054.78/2059.97 c INPROCESSING
2054.78/2059.97 c GARBAGE COLLECT
2054.78/2059.97 c #Conflicts: 855000 | #Constraints: 77873
2054.78/2059.97 c #Conflicts: 856000 | #Constraints: 78873
2054.78/2059.97 c #Conflicts: 857000 | #Constraints: 79873
2054.78/2059.97 c #Conflicts: 858000 | #Constraints: 80873
2054.78/2059.97 c #Conflicts: 859000 | #Constraints: 81873
2054.78/2059.97 c #Conflicts: 860000 | #Constraints: 82873
2054.78/2059.97 c #Conflicts: 861000 | #Constraints: 83873
2054.78/2059.97 c #Conflicts: 862000 | #Constraints: 84873
2054.78/2059.97 c #Conflicts: 863000 | #Constraints: 85873
2054.78/2059.97 c #Conflicts: 864000 | #Constraints: 86873
2054.78/2059.97 c #Conflicts: 865000 | #Constraints: 87873
2054.78/2059.97 c #Conflicts: 866000 | #Constraints: 88873
2054.78/2059.97 c #Conflicts: 867000 | #Constraints: 89873
2054.78/2059.97 c #Conflicts: 868000 | #Constraints: 90873
2054.78/2059.97 c #Conflicts: 869000 | #Constraints: 91873
2054.78/2059.97 c #Conflicts: 870000 | #Constraints: 92873
2054.78/2059.97 c #Conflicts: 871000 | #Constraints: 93873
2054.78/2059.97 c #Conflicts: 872000 | #Constraints: 94873
2054.78/2059.97 c #Conflicts: 873000 | #Constraints: 95873
2054.78/2059.97 c #Conflicts: 874000 | #Constraints: 96873
2054.78/2059.97 c #Conflicts: 875000 | #Constraints: 97873
2054.78/2059.97 c #Conflicts: 876000 | #Constraints: 98873
2054.78/2059.97 c #Conflicts: 877000 | #Constraints: 99873
2054.78/2059.97 c #Conflicts: 878000 | #Constraints: 100873
2054.78/2059.97 c #Conflicts: 879000 | #Constraints: 101873
2054.78/2059.97 c #Conflicts: 880000 | #Constraints: 102873
2054.78/2059.97 c #Conflicts: 881000 | #Constraints: 103873
2054.78/2059.97 c #Conflicts: 882000 | #Constraints: 104873
2054.78/2059.97 c #Conflicts: 883000 | #Constraints: 105873
2054.78/2059.97 c #Conflicts: 884000 | #Constraints: 106873
2054.78/2059.97 c #Conflicts: 885000 | #Constraints: 107873
2054.78/2059.97 c #Conflicts: 886000 | #Constraints: 108873
2054.78/2059.97 c #Conflicts: 887000 | #Constraints: 109873
2054.78/2059.97 c #Conflicts: 888000 | #Constraints: 110873
2054.78/2059.97 c #Conflicts: 889000 | #Constraints: 111873
2054.78/2059.97 c #Conflicts: 890000 | #Constraints: 112873
2054.78/2059.97 c #Conflicts: 891000 | #Constraints: 113873
2054.78/2059.97 c #Conflicts: 892000 | #Constraints: 114873
2054.78/2059.97 c #Conflicts: 893000 | #Constraints: 115873
2054.78/2059.97 c #Conflicts: 894000 | #Constraints: 116873
2054.78/2059.97 c #Conflicts: 895000 | #Constraints: 117873
2054.78/2059.97 c #Conflicts: 896000 | #Constraints: 118873
2054.78/2059.97 c #Conflicts: 897000 | #Constraints: 119873
2054.78/2059.97 c #Conflicts: 898000 | #Constraints: 120873
2054.78/2059.97 c #Conflicts: 899000 | #Constraints: 121873
2054.78/2059.97 c #Conflicts: 900000 | #Constraints: 122873
2054.78/2059.97 c #Conflicts: 901000 | #Constraints: 123873
2054.78/2059.97 c #Conflicts: 902000 | #Constraints: 124873
2054.78/2059.97 c #Conflicts: 903000 | #Constraints: 125873
2054.78/2059.97 c #Conflicts: 904000 | #Constraints: 126873
2054.78/2059.97 c #Conflicts: 905000 | #Constraints: 127873
2054.78/2059.97 c #Conflicts: 906000 | #Constraints: 128873
2054.78/2059.97 c #Conflicts: 907000 | #Constraints: 129873
2054.78/2059.97 c #Conflicts: 908000 | #Constraints: 130873
2054.78/2059.97 c #Conflicts: 909000 | #Constraints: 131873
2054.78/2059.97 c #Conflicts: 910000 | #Constraints: 132873
2054.78/2059.97 c #Conflicts: 911000 | #Constraints: 133873
2054.78/2059.97 c #Conflicts: 912000 | #Constraints: 134873
2054.78/2059.97 c #Conflicts: 913000 | #Constraints: 135873
2054.78/2059.97 c #Conflicts: 914000 | #Constraints: 136873
2054.78/2059.97 c INPROCESSING
2054.78/2059.97 c GARBAGE COLLECT
2054.78/2059.97 c rational objective 194
2146.93/2152.38 c #Conflicts: 915000 | #Constraints: 82721
2146.93/2152.38 c #Conflicts: 916000 | #Constraints: 83721
2146.93/2152.38 c #Conflicts: 917000 | #Constraints: 84721
2146.93/2152.38 c #Conflicts: 918000 | #Constraints: 85721
2146.93/2152.38 c #Conflicts: 919000 | #Constraints: 86721
2146.93/2152.38 c #Conflicts: 920000 | #Constraints: 87721
2146.93/2152.38 c #Conflicts: 921000 | #Constraints: 88721
2146.93/2152.38 c #Conflicts: 922000 | #Constraints: 89721
2146.93/2152.38 c #Conflicts: 923000 | #Constraints: 90721
2146.93/2152.38 c #Conflicts: 924000 | #Constraints: 91721
2146.93/2152.38 c #Conflicts: 925000 | #Constraints: 92721
2146.93/2152.38 c #Conflicts: 926000 | #Constraints: 93721
2146.93/2152.38 c #Conflicts: 927000 | #Constraints: 94721
2146.93/2152.38 c #Conflicts: 928000 | #Constraints: 95721
2146.93/2152.38 c #Conflicts: 929000 | #Constraints: 96721
2146.93/2152.38 c #Conflicts: 930000 | #Constraints: 97721
2146.93/2152.38 c #Conflicts: 931000 | #Constraints: 98721
2146.93/2152.38 c #Conflicts: 932000 | #Constraints: 99721
2146.93/2152.38 c #Conflicts: 933000 | #Constraints: 100721
2146.93/2152.38 c #Conflicts: 934000 | #Constraints: 101721
2146.93/2152.38 c #Conflicts: 935000 | #Constraints: 102721
2146.93/2152.38 c #Conflicts: 936000 | #Constraints: 103721
2146.93/2152.38 c #Conflicts: 937000 | #Constraints: 104721
2146.93/2152.38 c #Conflicts: 938000 | #Constraints: 105721
2146.93/2152.38 c #Conflicts: 939000 | #Constraints: 106721
2146.93/2152.38 c #Conflicts: 940000 | #Constraints: 107721
2146.93/2152.38 c #Conflicts: 941000 | #Constraints: 108721
2146.93/2152.38 c #Conflicts: 942000 | #Constraints: 109721
2146.93/2152.38 c #Conflicts: 943000 | #Constraints: 110721
2146.93/2152.38 c #Conflicts: 944000 | #Constraints: 111721
2146.93/2152.38 c #Conflicts: 945000 | #Constraints: 112721
2146.93/2152.38 c INPROCESSING
2146.93/2152.38 c GARBAGE COLLECT
2146.93/2152.38 c rational objective 194
2515.93/2522.37 c #Conflicts: 946000 | #Constraints: 81685
2515.93/2522.37 c #Conflicts: 947000 | #Constraints: 82685
2515.93/2522.37 c #Conflicts: 948000 | #Constraints: 83685
2515.93/2522.37 c #Conflicts: 949000 | #Constraints: 84685
2515.93/2522.37 c #Conflicts: 950000 | #Constraints: 85685
2515.93/2522.37 c #Conflicts: 951000 | #Constraints: 86685
2515.93/2522.37 c #Conflicts: 952000 | #Constraints: 87685
2515.93/2522.37 c #Conflicts: 953000 | #Constraints: 88685
2515.93/2522.37 c #Conflicts: 954000 | #Constraints: 89685
2515.93/2522.37 c #Conflicts: 955000 | #Constraints: 90685
2515.93/2522.37 c #Conflicts: 956000 | #Constraints: 91685
2515.93/2522.37 c #Conflicts: 957000 | #Constraints: 92685
2515.93/2522.37 c #Conflicts: 958000 | #Constraints: 93685
2515.93/2522.37 c #Conflicts: 959000 | #Constraints: 94685
2515.93/2522.37 c #Conflicts: 960000 | #Constraints: 95685
2515.93/2522.37 c #Conflicts: 961000 | #Constraints: 96685
2515.93/2522.37 c #Conflicts: 962000 | #Constraints: 97685
2515.93/2522.37 c #Conflicts: 963000 | #Constraints: 98685
2515.93/2522.37 c #Conflicts: 964000 | #Constraints: 99685
2515.93/2522.37 c #Conflicts: 965000 | #Constraints: 100685
2515.93/2522.37 c #Conflicts: 966000 | #Constraints: 101685
2515.93/2522.37 c #Conflicts: 967000 | #Constraints: 102685
2515.93/2522.37 c #Conflicts: 968000 | #Constraints: 103685
2515.93/2522.37 c #Conflicts: 969000 | #Constraints: 104685
2515.93/2522.37 c #Conflicts: 970000 | #Constraints: 105685
2515.93/2522.37 c #Conflicts: 971000 | #Constraints: 106685
2515.93/2522.37 c #Conflicts: 972000 | #Constraints: 107685
2515.93/2522.37 c #Conflicts: 973000 | #Constraints: 108685
2515.93/2522.37 c #Conflicts: 974000 | #Constraints: 109685
2515.93/2522.37 c #Conflicts: 975000 | #Constraints: 110685
2515.93/2522.37 c #Conflicts: 976000 | #Constraints: 111685
2515.93/2522.37 c #Conflicts: 977000 | #Constraints: 112685
2515.93/2522.37 c #Conflicts: 978000 | #Constraints: 113685
2515.93/2522.37 c #Conflicts: 979000 | #Constraints: 114685
2515.93/2522.37 c #Conflicts: 980000 | #Constraints: 115685
2515.93/2522.37 c #Conflicts: 981000 | #Constraints: 116685
2515.93/2522.37 c #Conflicts: 982000 | #Constraints: 117685
2515.93/2522.37 c #Conflicts: 983000 | #Constraints: 118685
2515.93/2522.37 c #Conflicts: 984000 | #Constraints: 119685
2515.93/2522.37 c #Conflicts: 985000 | #Constraints: 120685
2515.93/2522.37 c #Conflicts: 986000 | #Constraints: 121685
2515.93/2522.37 c #Conflicts: 987000 | #Constraints: 122685
2515.93/2522.37 c #Conflicts: 988000 | #Constraints: 123685
2515.93/2522.37 c #Conflicts: 989000 | #Constraints: 124685
2515.93/2522.37 c #Conflicts: 990000 | #Constraints: 125685
2515.93/2522.37 c #Conflicts: 991000 | #Constraints: 126685
2515.93/2522.37 c #Conflicts: 992000 | #Constraints: 127685
2515.93/2522.37 c #Conflicts: 993000 | #Constraints: 128685
2515.93/2522.37 c #Conflicts: 994000 | #Constraints: 129685
2515.93/2522.37 c #Conflicts: 995000 | #Constraints: 130685
2515.93/2522.37 c #Conflicts: 996000 | #Constraints: 131685
2515.93/2522.37 c #Conflicts: 997000 | #Constraints: 132685
2515.93/2522.37 c #Conflicts: 998000 | #Constraints: 133685
2515.93/2522.37 c #Conflicts: 999000 | #Constraints: 134685
2515.93/2522.37 c #Conflicts: 1000000 | #Constraints: 135685
2515.93/2522.37 c #Conflicts: 1001000 | #Constraints: 136685
2515.93/2522.37 c #Conflicts: 1002000 | #Constraints: 137685
2515.93/2522.37 c #Conflicts: 1003000 | #Constraints: 138685
2515.93/2522.37 c #Conflicts: 1004000 | #Constraints: 139685
2515.93/2522.37 c #Conflicts: 1005000 | #Constraints: 140685
2515.93/2522.37 c #Conflicts: 1006000 | #Constraints: 141685
2515.93/2522.37 c #Conflicts: 1007000 | #Constraints: 142685
2515.93/2522.37 c #Conflicts: 1008000 | #Constraints: 143685
2515.93/2522.37 c INPROCESSING
2515.93/2522.37 c GARBAGE COLLECT
2515.93/2522.37 c #Conflicts: 1009000 | #Constraints: 85929
2515.93/2522.37 c #Conflicts: 1010000 | #Constraints: 86929
2515.93/2522.37 c #Conflicts: 1011000 | #Constraints: 87929
2515.93/2522.37 c #Conflicts: 1012000 | #Constraints: 88929
2515.93/2522.37 c #Conflicts: 1013000 | #Constraints: 89929
2515.93/2522.37 c #Conflicts: 1014000 | #Constraints: 90929
2515.93/2522.37 c #Conflicts: 1015000 | #Constraints: 91929
2515.93/2522.37 c #Conflicts: 1016000 | #Constraints: 92929
2515.93/2522.37 c #Conflicts: 1017000 | #Constraints: 93929
2515.93/2522.37 c #Conflicts: 1018000 | #Constraints: 94929
2515.93/2522.37 c #Conflicts: 1019000 | #Constraints: 95929
2515.93/2522.37 c #Conflicts: 1020000 | #Constraints: 96929
2515.93/2522.37 c #Conflicts: 1021000 | #Constraints: 97929
2515.93/2522.37 c #Conflicts: 1022000 | #Constraints: 98929
2515.93/2522.37 c #Conflicts: 1023000 | #Constraints: 99929
2515.93/2522.37 c #Conflicts: 1024000 | #Constraints: 100929
2753.33/2760.37 c #Conflicts: 1025000 | #Constraints: 101929
2753.33/2760.37 c #Conflicts: 1026000 | #Constraints: 102929
2753.33/2760.37 c #Conflicts: 1027000 | #Constraints: 103929
2753.33/2760.37 c #Conflicts: 1028000 | #Constraints: 104929
2753.33/2760.37 c #Conflicts: 1029000 | #Constraints: 105929
2753.33/2760.37 c #Conflicts: 1030000 | #Constraints: 106929
2753.33/2760.37 c #Conflicts: 1031000 | #Constraints: 107929
2753.33/2760.37 c #Conflicts: 1032000 | #Constraints: 108929
2753.33/2760.37 c #Conflicts: 1033000 | #Constraints: 109929
2753.33/2760.37 c #Conflicts: 1034000 | #Constraints: 110929
2753.33/2760.37 c #Conflicts: 1035000 | #Constraints: 111929
2753.33/2760.37 c #Conflicts: 1036000 | #Constraints: 112929
2753.33/2760.37 c #Conflicts: 1037000 | #Constraints: 113929
2753.33/2760.37 c #Conflicts: 1038000 | #Constraints: 114929
2753.33/2760.37 c #Conflicts: 1039000 | #Constraints: 115929
2753.33/2760.37 c #Conflicts: 1040000 | #Constraints: 116929
2753.33/2760.37 c INPROCESSING
2753.33/2760.37 c GARBAGE COLLECT
2753.33/2760.37 c #Conflicts: 1041000 | #Constraints: 83454
2753.33/2760.37 c #Conflicts: 1042000 | #Constraints: 84454
2753.33/2760.37 c #Conflicts: 1043000 | #Constraints: 85454
2753.33/2760.37 c #Conflicts: 1044000 | #Constraints: 86454
2753.33/2760.37 c #Conflicts: 1045000 | #Constraints: 87454
2753.33/2760.37 c #Conflicts: 1046000 | #Constraints: 88454
2753.33/2760.37 c #Conflicts: 1047000 | #Constraints: 89454
2753.33/2760.37 c #Conflicts: 1048000 | #Constraints: 90454
2753.33/2760.37 c #Conflicts: 1049000 | #Constraints: 91454
2753.33/2760.37 c #Conflicts: 1050000 | #Constraints: 92454
2753.33/2760.37 c #Conflicts: 1051000 | #Constraints: 93454
2753.33/2760.37 c #Conflicts: 1052000 | #Constraints: 94454
2753.33/2760.37 c #Conflicts: 1053000 | #Constraints: 95454
2753.33/2760.37 c #Conflicts: 1054000 | #Constraints: 96454
2753.33/2760.37 c #Conflicts: 1055000 | #Constraints: 97454
2753.33/2760.37 c #Conflicts: 1056000 | #Constraints: 98454
2753.33/2760.37 c #Conflicts: 1057000 | #Constraints: 99454
2753.33/2760.37 c #Conflicts: 1058000 | #Constraints: 100454
2753.33/2760.37 c #Conflicts: 1059000 | #Constraints: 101454
2753.33/2760.37 c #Conflicts: 1060000 | #Constraints: 102454
2753.33/2760.37 c #Conflicts: 1061000 | #Constraints: 103454
2753.33/2760.37 c #Conflicts: 1062000 | #Constraints: 104454
2753.33/2760.37 c #Conflicts: 1063000 | #Constraints: 105454
2753.33/2760.37 c #Conflicts: 1064000 | #Constraints: 106454
2753.33/2760.37 c #Conflicts: 1065000 | #Constraints: 107454
2753.33/2760.37 c #Conflicts: 1066000 | #Constraints: 108454
2753.33/2760.37 c #Conflicts: 1067000 | #Constraints: 109454
2753.33/2760.37 c #Conflicts: 1068000 | #Constraints: 110454
2753.33/2760.37 c #Conflicts: 1069000 | #Constraints: 111454
2753.33/2760.37 c #Conflicts: 1070000 | #Constraints: 112454
2753.33/2760.37 c #Conflicts: 1071000 | #Constraints: 113454
2753.33/2760.37 c #Conflicts: 1072000 | #Constraints: 114454
2753.33/2760.37 c #Conflicts: 1073000 | #Constraints: 115454
2753.33/2760.37 c #Conflicts: 1074000 | #Constraints: 116454
2753.33/2760.37 c #Conflicts: 1075000 | #Constraints: 117454
2753.33/2760.37 c #Conflicts: 1076000 | #Constraints: 118454
2753.33/2760.37 c #Conflicts: 1077000 | #Constraints: 119454
2753.33/2760.37 c #Conflicts: 1078000 | #Constraints: 120454
2753.33/2760.37 c #Conflicts: 1079000 | #Constraints: 121454
2753.33/2760.37 c #Conflicts: 1080000 | #Constraints: 122454
2753.33/2760.37 c #Conflicts: 1081000 | #Constraints: 123454
2753.33/2760.37 c #Conflicts: 1082000 | #Constraints: 124454
2753.33/2760.37 c #Conflicts: 1083000 | #Constraints: 125454
2753.33/2760.37 c #Conflicts: 1084000 | #Constraints: 126454
2753.33/2760.37 c #Conflicts: 1085000 | #Constraints: 127454
2753.33/2760.37 c #Conflicts: 1086000 | #Constraints: 128454
2753.33/2760.37 c #Conflicts: 1087000 | #Constraints: 129454
2753.33/2760.37 c #Conflicts: 1088000 | #Constraints: 130454
2753.33/2760.37 c #Conflicts: 1089000 | #Constraints: 131454
2753.33/2760.37 c #Conflicts: 1090000 | #Constraints: 132454
2753.33/2760.37 c #Conflicts: 1091000 | #Constraints: 133454
2753.33/2760.37 c #Conflicts: 1092000 | #Constraints: 134454
2753.33/2760.37 c #Conflicts: 1093000 | #Constraints: 135454
2753.33/2760.37 c #Conflicts: 1094000 | #Constraints: 136454
2753.33/2760.37 c #Conflicts: 1095000 | #Constraints: 137454
2753.33/2760.37 c #Conflicts: 1096000 | #Constraints: 138454
2753.33/2760.37 c #Conflicts: 1097000 | #Constraints: 139454
2753.33/2760.37 c #Conflicts: 1098000 | #Constraints: 140454
2753.33/2760.37 c #Conflicts: 1099000 | #Constraints: 141454
2753.33/2760.37 c #Conflicts: 1100000 | #Constraints: 142454
2753.33/2760.37 c #Conflicts: 1101000 | #Constraints: 143454
2753.33/2760.37 c #Conflicts: 1102000 | #Constraints: 144454
2952.17/2959.61 c #Conflicts: 1103000 | #Constraints: 145454
2952.17/2959.61 c #Conflicts: 1104000 | #Constraints: 146454
2952.17/2959.61 c #Conflicts: 1105000 | #Constraints: 147454
2952.17/2959.61 c #Conflicts: 1106000 | #Constraints: 148454
2952.17/2959.61 c INPROCESSING
2952.17/2959.61 c GARBAGE COLLECT
2952.17/2959.61 c #Conflicts: 1107000 | #Constraints: 88447
2952.17/2959.61 c #Conflicts: 1108000 | #Constraints: 89447
2952.17/2959.61 c #Conflicts: 1109000 | #Constraints: 90447
2952.17/2959.61 c #Conflicts: 1110000 | #Constraints: 91447
2952.17/2959.61 c #Conflicts: 1111000 | #Constraints: 92447
2952.17/2959.61 c #Conflicts: 1112000 | #Constraints: 93447
2952.17/2959.61 c #Conflicts: 1113000 | #Constraints: 94447
2952.17/2959.61 c #Conflicts: 1114000 | #Constraints: 95447
2952.17/2959.61 c #Conflicts: 1115000 | #Constraints: 96447
2952.17/2959.61 c #Conflicts: 1116000 | #Constraints: 97447
2952.17/2959.61 c #Conflicts: 1117000 | #Constraints: 98447
2952.17/2959.61 c #Conflicts: 1118000 | #Constraints: 99447
2952.17/2959.61 c #Conflicts: 1119000 | #Constraints: 100447
2952.17/2959.61 c #Conflicts: 1120000 | #Constraints: 101447
2952.17/2959.61 c #Conflicts: 1121000 | #Constraints: 102447
2952.17/2959.61 c #Conflicts: 1122000 | #Constraints: 103448
2952.17/2959.61 c #Conflicts: 1123000 | #Constraints: 104448
2952.17/2959.61 c #Conflicts: 1124000 | #Constraints: 105448
2952.17/2959.61 c #Conflicts: 1125000 | #Constraints: 106448
2952.17/2959.61 c #Conflicts: 1126000 | #Constraints: 107448
2952.17/2959.61 c #Conflicts: 1127000 | #Constraints: 108448
2952.17/2959.61 c #Conflicts: 1128000 | #Constraints: 109448
2952.17/2959.61 c #Conflicts: 1129000 | #Constraints: 110448
2952.17/2959.61 c #Conflicts: 1130000 | #Constraints: 111448
2952.17/2959.61 c #Conflicts: 1131000 | #Constraints: 112448
2952.17/2959.61 c #Conflicts: 1132000 | #Constraints: 113448
2952.17/2959.61 c #Conflicts: 1133000 | #Constraints: 114448
2952.17/2959.61 c #Conflicts: 1134000 | #Constraints: 115448
2952.17/2959.61 c #Conflicts: 1135000 | #Constraints: 116448
2952.17/2959.61 c #Conflicts: 1136000 | #Constraints: 117448
2952.17/2959.61 c #Conflicts: 1137000 | #Constraints: 118448
2952.17/2959.61 c #Conflicts: 1138000 | #Constraints: 119448
2952.17/2959.61 c #Conflicts: 1139000 | #Constraints: 120448
2952.17/2959.61 c #Conflicts: 1140000 | #Constraints: 121448
2952.17/2959.61 c INPROCESSING
2952.17/2959.61 c GARBAGE COLLECT
2952.17/2959.61 c #Conflicts: 1141000 | #Constraints: 86513
2952.17/2959.61 c #Conflicts: 1142000 | #Constraints: 87513
2952.17/2959.61 c #Conflicts: 1143000 | #Constraints: 88513
2952.17/2959.61 c #Conflicts: 1144000 | #Constraints: 89513
2952.17/2959.61 c #Conflicts: 1145000 | #Constraints: 90513
2952.17/2959.61 c #Conflicts: 1146000 | #Constraints: 91513
2952.17/2959.61 c #Conflicts: 1147000 | #Constraints: 92513
2952.17/2959.61 c #Conflicts: 1148000 | #Constraints: 93513
2952.17/2959.61 c #Conflicts: 1149000 | #Constraints: 94513
2952.17/2959.61 c #Conflicts: 1150000 | #Constraints: 95513
2952.17/2959.61 c #Conflicts: 1151000 | #Constraints: 96513
2952.17/2959.61 c #Conflicts: 1152000 | #Constraints: 97513
2952.17/2959.61 c #Conflicts: 1153000 | #Constraints: 98513
2952.17/2959.61 c #Conflicts: 1154000 | #Constraints: 99513
2952.17/2959.61 c #Conflicts: 1155000 | #Constraints: 100513
2952.17/2959.61 c #Conflicts: 1156000 | #Constraints: 101513
2952.17/2959.61 c #Conflicts: 1157000 | #Constraints: 102513
2952.17/2959.61 c #Conflicts: 1158000 | #Constraints: 103513
2952.17/2959.61 c #Conflicts: 1159000 | #Constraints: 104513
2952.17/2959.61 c #Conflicts: 1160000 | #Constraints: 105513
2952.17/2959.61 c #Conflicts: 1161000 | #Constraints: 106513
2952.17/2959.61 c #Conflicts: 1162000 | #Constraints: 107513
2952.17/2959.61 c #Conflicts: 1163000 | #Constraints: 108513
2952.17/2959.61 c #Conflicts: 1164000 | #Constraints: 109513
2952.17/2959.61 c #Conflicts: 1165000 | #Constraints: 110513
2952.17/2959.61 c #Conflicts: 1166000 | #Constraints: 111513
2952.17/2959.61 c #Conflicts: 1167000 | #Constraints: 112513
2952.17/2959.61 c #Conflicts: 1168000 | #Constraints: 113513
2952.17/2959.61 c #Conflicts: 1169000 | #Constraints: 114513
2952.17/2959.61 c #Conflicts: 1170000 | #Constraints: 115513
2952.17/2959.61 c #Conflicts: 1171000 | #Constraints: 116513
2952.17/2959.61 c #Conflicts: 1172000 | #Constraints: 117513
2952.17/2959.61 c #Conflicts: 1173000 | #Constraints: 118513
2952.17/2959.61 c #Conflicts: 1174000 | #Constraints: 119513
2952.17/2959.61 c #Conflicts: 1175000 | #Constraints: 120513
2952.17/2959.61 c #Conflicts: 1176000 | #Constraints: 121513
2952.17/2959.61 c #Conflicts: 1177000 | #Constraints: 122513
2952.17/2959.61 c #Conflicts: 1178000 | #Constraints: 123513
2952.17/2959.61 c #Conflicts: 1179000 | #Constraints: 124513
3119.47/3127.38 c #Conflicts: 1180000 | #Constraints: 125513
3119.47/3127.38 c #Conflicts: 1181000 | #Constraints: 126513
3119.47/3127.38 c #Conflicts: 1182000 | #Constraints: 127513
3119.47/3127.38 c #Conflicts: 1183000 | #Constraints: 128513
3119.47/3127.38 c #Conflicts: 1184000 | #Constraints: 129513
3119.47/3127.38 c #Conflicts: 1185000 | #Constraints: 130513
3119.47/3127.38 c #Conflicts: 1186000 | #Constraints: 131513
3119.47/3127.38 c #Conflicts: 1187000 | #Constraints: 132513
3119.47/3127.38 c #Conflicts: 1188000 | #Constraints: 133513
3119.47/3127.38 c #Conflicts: 1189000 | #Constraints: 134513
3119.47/3127.38 c #Conflicts: 1190000 | #Constraints: 135513
3119.47/3127.38 c #Conflicts: 1191000 | #Constraints: 136513
3119.47/3127.38 c #Conflicts: 1192000 | #Constraints: 137513
3119.47/3127.38 c #Conflicts: 1193000 | #Constraints: 138513
3119.47/3127.38 c #Conflicts: 1194000 | #Constraints: 139513
3119.47/3127.38 c #Conflicts: 1195000 | #Constraints: 140513
3119.47/3127.38 c #Conflicts: 1196000 | #Constraints: 141513
3119.47/3127.38 c #Conflicts: 1197000 | #Constraints: 142513
3119.47/3127.38 c #Conflicts: 1198000 | #Constraints: 143513
3119.47/3127.38 c #Conflicts: 1199000 | #Constraints: 144513
3119.47/3127.38 c #Conflicts: 1200000 | #Constraints: 145513
3119.47/3127.38 c #Conflicts: 1201000 | #Constraints: 146513
3119.47/3127.38 c #Conflicts: 1202000 | #Constraints: 147513
3119.47/3127.38 c #Conflicts: 1203000 | #Constraints: 148513
3119.47/3127.38 c #Conflicts: 1204000 | #Constraints: 149513
3119.47/3127.38 c #Conflicts: 1205000 | #Constraints: 150513
3119.47/3127.38 c #Conflicts: 1206000 | #Constraints: 151513
3119.47/3127.38 c #Conflicts: 1207000 | #Constraints: 152513
3119.47/3127.38 c #Conflicts: 1208000 | #Constraints: 153513
3119.47/3127.38 c #Conflicts: 1209000 | #Constraints: 154513
3119.47/3127.38 c INPROCESSING
3119.47/3127.38 c GARBAGE COLLECT
3119.47/3127.38 c rational objective 194
3308.23/3316.56 c #Conflicts: 1210000 | #Constraints: 91637
3308.23/3316.56 c #Conflicts: 1211000 | #Constraints: 92637
3308.23/3316.56 c #Conflicts: 1212000 | #Constraints: 93637
3308.23/3316.56 c #Conflicts: 1213000 | #Constraints: 94637
3308.23/3316.56 c #Conflicts: 1214000 | #Constraints: 95637
3308.23/3316.56 c #Conflicts: 1215000 | #Constraints: 96637
3308.23/3316.56 c #Conflicts: 1216000 | #Constraints: 97637
3308.23/3316.56 c #Conflicts: 1217000 | #Constraints: 98637
3308.23/3316.56 c #Conflicts: 1218000 | #Constraints: 99637
3308.23/3316.56 c #Conflicts: 1219000 | #Constraints: 100637
3308.23/3316.56 c #Conflicts: 1220000 | #Constraints: 101637
3308.23/3316.56 c #Conflicts: 1221000 | #Constraints: 102637
3308.23/3316.56 c #Conflicts: 1222000 | #Constraints: 103637
3308.23/3316.56 c #Conflicts: 1223000 | #Constraints: 104637
3308.23/3316.56 c #Conflicts: 1224000 | #Constraints: 105637
3308.23/3316.56 c #Conflicts: 1225000 | #Constraints: 106637
3308.23/3316.56 c #Conflicts: 1226000 | #Constraints: 107637
3308.23/3316.56 c #Conflicts: 1227000 | #Constraints: 108637
3308.23/3316.56 c #Conflicts: 1228000 | #Constraints: 109637
3308.23/3316.56 c #Conflicts: 1229000 | #Constraints: 110637
3308.23/3316.56 c #Conflicts: 1230000 | #Constraints: 111637
3308.23/3316.56 c #Conflicts: 1231000 | #Constraints: 112637
3308.23/3316.56 c #Conflicts: 1232000 | #Constraints: 113637
3308.23/3316.56 c #Conflicts: 1233000 | #Constraints: 114637
3308.23/3316.56 c #Conflicts: 1234000 | #Constraints: 115637
3308.23/3316.56 c #Conflicts: 1235000 | #Constraints: 116637
3308.23/3316.56 c #Conflicts: 1236000 | #Constraints: 117637
3308.23/3316.56 c #Conflicts: 1237000 | #Constraints: 118637
3308.23/3316.56 c #Conflicts: 1238000 | #Constraints: 119637
3308.23/3316.56 c #Conflicts: 1239000 | #Constraints: 120637
3308.23/3316.56 c #Conflicts: 1240000 | #Constraints: 121637
3308.23/3316.56 c #Conflicts: 1241000 | #Constraints: 122637
3308.23/3316.56 c #Conflicts: 1242000 | #Constraints: 123637
3308.23/3316.56 c #Conflicts: 1243000 | #Constraints: 124637
3308.23/3316.56 c #Conflicts: 1244000 | #Constraints: 125637
3308.23/3316.56 c INPROCESSING
3308.23/3316.56 c GARBAGE COLLECT
3308.23/3316.56 c #Conflicts: 1245000 | #Constraints: 89781
3308.23/3316.56 c #Conflicts: 1246000 | #Constraints: 90781
3308.23/3316.56 c #Conflicts: 1247000 | #Constraints: 91781
3308.23/3316.56 c #Conflicts: 1248000 | #Constraints: 92781
3308.23/3316.56 c #Conflicts: 1249000 | #Constraints: 93781
3308.23/3316.56 c #Conflicts: 1250000 | #Constraints: 94781
3308.23/3316.56 c #Conflicts: 1251000 | #Constraints: 95781
3308.23/3316.56 c #Conflicts: 1252000 | #Constraints: 96781
3308.23/3316.56 c #Conflicts: 1253000 | #Constraints: 97781
3308.23/3316.56 c #Conflicts: 1254000 | #Constraints: 98781
3308.23/3316.56 c #Conflicts: 1255000 | #Constraints: 99781
3308.23/3316.56 c #Conflicts: 1256000 | #Constraints: 100781
3308.23/3316.56 c #Conflicts: 1257000 | #Constraints: 101781
3308.23/3316.56 c #Conflicts: 1258000 | #Constraints: 102781
3308.23/3316.56 c #Conflicts: 1259000 | #Constraints: 103781
3308.23/3316.56 c #Conflicts: 1260000 | #Constraints: 104781
3308.23/3316.56 c #Conflicts: 1261000 | #Constraints: 105781
3308.23/3316.56 c #Conflicts: 1262000 | #Constraints: 106781
3308.23/3316.56 c #Conflicts: 1263000 | #Constraints: 107781
3308.23/3316.56 c #Conflicts: 1264000 | #Constraints: 108781
3308.23/3316.56 c #Conflicts: 1265000 | #Constraints: 109781
3308.23/3316.56 c #Conflicts: 1266000 | #Constraints: 110781
3308.23/3316.56 c #Conflicts: 1267000 | #Constraints: 111781
3308.23/3316.56 c #Conflicts: 1268000 | #Constraints: 112781
3308.23/3316.56 c #Conflicts: 1269000 | #Constraints: 113781
3308.23/3316.56 c #Conflicts: 1270000 | #Constraints: 114781
3308.23/3316.56 c #Conflicts: 1271000 | #Constraints: 115781
3308.23/3316.56 c #Conflicts: 1272000 | #Constraints: 116781
3308.23/3316.56 c #Conflicts: 1273000 | #Constraints: 117781
3308.23/3316.56 c #Conflicts: 1274000 | #Constraints: 118781
3308.23/3316.56 c #Conflicts: 1275000 | #Constraints: 119781
3308.23/3316.56 c #Conflicts: 1276000 | #Constraints: 120781
3308.23/3316.56 c #Conflicts: 1277000 | #Constraints: 121781
3308.23/3316.56 c #Conflicts: 1278000 | #Constraints: 122781
3308.23/3316.56 c #Conflicts: 1279000 | #Constraints: 123781
3308.23/3316.56 c #Conflicts: 1280000 | #Constraints: 124781
3308.23/3316.56 c #Conflicts: 1281000 | #Constraints: 125781
3308.23/3316.56 c #Conflicts: 1282000 | #Constraints: 126781
3308.23/3316.56 c #Conflicts: 1283000 | #Constraints: 127781
3308.23/3316.56 c #Conflicts: 1284000 | #Constraints: 128781
3308.23/3316.56 c #Conflicts: 1285000 | #Constraints: 129781
3308.23/3316.56 c #Conflicts: 1286000 | #Constraints: 130781
3308.23/3316.56 c #Conflicts: 1287000 | #Constraints: 131781
3308.23/3316.56 c #Conflicts: 1288000 | #Constraints: 132781
3522.93/3531.75 c #Conflicts: 1289000 | #Constraints: 133781
3522.93/3531.75 c #Conflicts: 1290000 | #Constraints: 134781
3522.93/3531.75 c #Conflicts: 1291000 | #Constraints: 135781
3522.93/3531.75 c #Conflicts: 1292000 | #Constraints: 136781
3522.93/3531.75 c #Conflicts: 1293000 | #Constraints: 137781
3522.93/3531.75 c #Conflicts: 1294000 | #Constraints: 138781
3522.93/3531.75 c #Conflicts: 1295000 | #Constraints: 139781
3522.93/3531.75 c #Conflicts: 1296000 | #Constraints: 140781
3522.93/3531.75 c #Conflicts: 1297000 | #Constraints: 141781
3522.93/3531.75 c #Conflicts: 1298000 | #Constraints: 142781
3522.93/3531.75 c #Conflicts: 1299000 | #Constraints: 143781
3522.93/3531.75 c #Conflicts: 1300000 | #Constraints: 144781
3522.93/3531.75 c #Conflicts: 1301000 | #Constraints: 145781
3522.93/3531.75 c #Conflicts: 1302000 | #Constraints: 146781
3522.93/3531.75 c #Conflicts: 1303000 | #Constraints: 147781
3522.93/3531.75 c #Conflicts: 1304000 | #Constraints: 148781
3522.93/3531.75 c #Conflicts: 1305000 | #Constraints: 149781
3522.93/3531.75 c #Conflicts: 1306000 | #Constraints: 150781
3522.93/3531.75 c #Conflicts: 1307000 | #Constraints: 151781
3522.93/3531.75 c #Conflicts: 1308000 | #Constraints: 152781
3522.93/3531.75 c #Conflicts: 1309000 | #Constraints: 153781
3522.93/3531.75 c #Conflicts: 1310000 | #Constraints: 154781
3522.93/3531.75 c #Conflicts: 1311000 | #Constraints: 155781
3522.93/3531.75 c #Conflicts: 1312000 | #Constraints: 156781
3522.93/3531.75 c #Conflicts: 1313000 | #Constraints: 157781
3522.93/3531.75 c #Conflicts: 1314000 | #Constraints: 158781
3522.93/3531.75 c #Conflicts: 1315000 | #Constraints: 159781
3522.93/3531.75 c #Conflicts: 1316000 | #Constraints: 160781
3522.93/3531.75 c INPROCESSING
3522.93/3531.75 c GARBAGE COLLECT
3522.93/3531.75 c #Conflicts: 1317000 | #Constraints: 94940
3522.93/3531.75 c #Conflicts: 1318000 | #Constraints: 95940
3522.93/3531.75 c #Conflicts: 1319000 | #Constraints: 96940
3522.93/3531.75 c #Conflicts: 1320000 | #Constraints: 97940
3522.93/3531.75 c #Conflicts: 1321000 | #Constraints: 98940
3522.93/3531.75 c #Conflicts: 1322000 | #Constraints: 99940
3522.93/3531.75 c #Conflicts: 1323000 | #Constraints: 100940
3522.93/3531.75 c #Conflicts: 1324000 | #Constraints: 101940
3522.93/3531.75 c #Conflicts: 1325000 | #Constraints: 102940
3522.93/3531.75 c #Conflicts: 1326000 | #Constraints: 103940
3522.93/3531.75 c #Conflicts: 1327000 | #Constraints: 104940
3522.93/3531.75 c #Conflicts: 1328000 | #Constraints: 105940
3522.93/3531.75 c #Conflicts: 1329000 | #Constraints: 106940
3522.93/3531.75 c #Conflicts: 1330000 | #Constraints: 107940
3522.93/3531.75 c #Conflicts: 1331000 | #Constraints: 108940
3522.93/3531.75 c #Conflicts: 1332000 | #Constraints: 109940
3522.93/3531.75 c #Conflicts: 1333000 | #Constraints: 110940
3522.93/3531.75 c #Conflicts: 1334000 | #Constraints: 111940
3522.93/3531.75 c #Conflicts: 1335000 | #Constraints: 112940
3522.93/3531.75 c #Conflicts: 1336000 | #Constraints: 113940
3522.93/3531.75 c #Conflicts: 1337000 | #Constraints: 114940
3522.93/3531.75 c #Conflicts: 1338000 | #Constraints: 115940
3522.93/3531.75 c #Conflicts: 1339000 | #Constraints: 116940
3522.93/3531.75 c #Conflicts: 1340000 | #Constraints: 117940
3522.93/3531.75 c #Conflicts: 1341000 | #Constraints: 118940
3522.93/3531.75 c #Conflicts: 1342000 | #Constraints: 119940
3522.93/3531.75 c #Conflicts: 1343000 | #Constraints: 120940
3522.93/3531.75 c #Conflicts: 1344000 | #Constraints: 121940
3522.93/3531.75 c #Conflicts: 1345000 | #Constraints: 122940
3522.93/3531.75 c #Conflicts: 1346000 | #Constraints: 123940
3522.93/3531.75 c #Conflicts: 1347000 | #Constraints: 124940
3522.93/3531.75 c #Conflicts: 1348000 | #Constraints: 125940
3522.93/3531.75 c #Conflicts: 1349000 | #Constraints: 126940
3522.93/3531.75 c #Conflicts: 1350000 | #Constraints: 127940
3522.93/3531.75 c #Conflicts: 1351000 | #Constraints: 128940
3522.93/3531.75 c #Conflicts: 1352000 | #Constraints: 129940
3522.93/3531.75 c INPROCESSING
3522.93/3531.75 c GARBAGE COLLECT
3522.93/3531.75 c #Conflicts: 1353000 | #Constraints: 92661
3522.93/3531.75 c #Conflicts: 1354000 | #Constraints: 93661
3522.93/3531.75 c #Conflicts: 1355000 | #Constraints: 94661
3522.93/3531.75 c #Conflicts: 1356000 | #Constraints: 95661
3522.93/3531.75 c #Conflicts: 1357000 | #Constraints: 96661
3522.93/3531.75 c #Conflicts: 1358000 | #Constraints: 97661
3522.93/3531.75 c #Conflicts: 1359000 | #Constraints: 98661
3522.93/3531.75 c #Conflicts: 1360000 | #Constraints: 99661
3522.93/3531.75 c #Conflicts: 1361000 | #Constraints: 100661
3522.93/3531.75 c #Conflicts: 1362000 | #Constraints: 101661
3522.93/3531.75 c #Conflicts: 1363000 | #Constraints: 102661
3522.93/3531.75 c #Conflicts: 1364000 | #Constraints: 103661
3522.93/3531.75 c #Conflicts: 1365000 | #Constraints: 104661
3600.05/3609.00 c #Conflicts: 1366000 | #Constraints: 105661
3600.05/3609.00 c #Conflicts: 1367000 | #Constraints: 106661
3600.05/3609.00 c #Conflicts: 1368000 | #Constraints: 107661
3600.05/3609.00 c #Conflicts: 1369000 | #Constraints: 108661
3600.05/3609.00 c #Conflicts: 1370000 | #Constraints: 109661
3600.05/3609.00 c #Conflicts: 1371000 | #Constraints: 110661
3600.05/3609.00 c #Conflicts: 1372000 | #Constraints: 111661
3600.05/3609.00 c #Conflicts: 1373000 | #Constraints: 112661
3600.05/3609.00 c #Conflicts: 1374000 | #Constraints: 113661
3600.05/3609.00 c #Conflicts: 1375000 | #Constraints: 114661
3600.05/3609.00 c #Conflicts: 1376000 | #Constraints: 115661
3600.05/3609.00 c #Conflicts: 1377000 | #Constraints: 116661
3600.05/3609.00 c #Conflicts: 1378000 | #Constraints: 117661
3600.05/3609.00 c #Conflicts: 1379000 | #Constraints: 118661
3600.05/3609.00 c #Conflicts: 1380000 | #Constraints: 119661
3600.05/3609.00 c #Conflicts: 1381000 | #Constraints: 120661
3600.05/3609.00 c #Conflicts: 1382000 | #Constraints: 121661
3600.05/3609.00 c #Conflicts: 1383000 | #Constraints: 122661
3600.05/3609.00 c #Conflicts: 1384000 | #Constraints: 123661
3600.05/3609.00 c #Conflicts: 1385000 | #Constraints: 124661
3600.05/3609.00 c #Conflicts: 1386000 | #Constraints: 125661
3600.05/3609.00 c #Conflicts: 1387000 | #Constraints: 126661
3600.05/3609.00 c #Conflicts: 1388000 | #Constraints: 127661
3600.05/3609.00 c #Conflicts: 1389000 | #Constraints: 128661
3600.05/3609.00 c #Conflicts: 1390000 | #Constraints: 129661
3600.05/3609.00 c #Conflicts: 1391000 | #Constraints: 130661
3600.05/3609.00 c #Conflicts: 1392000 | #Constraints: 131661
3600.05/3609.00 c #Conflicts: 1393000 | #Constraints: 132661
3600.05/3609.00 c #Conflicts: 1394000 | #Constraints: 133661
3600.05/3609.00 c cpu time 3565.38 s
3600.05/3609.00 c deterministic time 265084761359 2.65e+11
3600.05/3609.00 c optimization time 97.1292 s
3600.05/3609.00 c total solve time 3468.15 s
3600.05/3609.00 c core-guided solve time 0 s
3600.05/3609.00 c propagation time 1898.58 s
3600.05/3609.00 c conflict analysis time 1217.67 s
3600.05/3609.00 c propagations 1458004072
3600.05/3609.00 c resolve steps 80967465
3600.05/3609.00 c decisions 40353565
3600.05/3609.00 c conflicts 1394420
3600.05/3609.00 c restarts 2683
3600.05/3609.00 c inprocessing phases 42
3600.05/3609.00 c garbage collections 42 ,( 100.00 )
3600.05/3609.00 c input clauses 23282 ,( 99.17 )
3600.05/3609.00 c input cardinalities 194 ,( 0.83 )
3600.05/3609.00 c input general constraints 0 ,( 0.00 )
3600.05/3609.00 c input average constraint length 6.44
3600.05/3609.00 c input average constraint degree 1.97
3600.05/3609.00 c learned clauses 999421 ,( 71.67 )
3600.05/3609.00 c learned cardinalities 49124 ,( 3.52 )
3600.05/3609.00 c learned general constraints 345885 ,( 24.80 )
3600.05/3609.00 c learned average constraint length 788.23
3600.05/3609.00 c learned average constraint degree 16880273.27
3600.05/3609.00 c watched CF 32, 64, 128, Arb: 87310 , 0 , 0 , 0
3600.05/3609.00 c counting CF 32, 64, 128, Arb: 258575 , 0 , 0 , 0
3600.05/3609.00 c watched constraints 87310 ,( 25.24 )
3600.05/3609.00 c counting constraints 258575 ,( 74.76 )
3600.05/3609.00 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1311367737 , 816684877 , 2298555452 ,( 99630959 , 2198924493 )
3600.05/3609.00 c gcd simplifications 795
3600.05/3609.00 c detected cardinalities 7998
3600.05/3609.00 c weakened non-implied lits 380846647
3600.05/3609.00 c weakened non-implying lits 191777
3600.05/3609.00 c original variables 23086
3600.05/3609.00 c clausal propagations 681749316
3600.05/3609.00 c cardinality propagations 527544407
3600.05/3609.00 c watched propagations 4514050
3600.05/3609.00 c counting propagations 230599903
3600.05/3609.00 c watch lookups 79654990826
3600.05/3609.00 c watch backjump lookups 0
3600.05/3609.00 c watch checks 39599572323
3600.05/3609.00 c propagation checks 137910593854
3600.05/3609.00 c constraint additions 4921211676
3600.05/3609.00 c trail pops 1499731228
3600.05/3609.00 c formula constraints 23476
3600.05/3609.00 c learned constraints 1394415
3600.05/3609.00 c bound constraints 0
3600.05/3609.00 c core-guided constraints 0
3600.05/3609.00 c encountered formula constraints 50448791
3600.05/3609.00 c encountered learned constraints 31912841
3600.05/3609.00 c encountered bound constraints 0
3600.05/3609.00 c encountered core-guided constraints 0
3600.05/3609.00 c LP total time 412.824 s
3600.05/3609.00 c LP solve time 392.64 s
3600.05/3609.00 c LP constraints added 24879
3600.05/3609.00 c LP constraints removed 1236
3600.05/3609.00 c LP pivots internal 151689
3600.05/3609.00 c LP pivots root 152125
3600.05/3609.00 c LP calls 21
3600.05/3609.00 c LP optimalities 11
3600.05/3609.00 c LP no pivot count 0
3600.05/3609.00 c LP infeasibilities 4
3600.05/3609.00 c LP valid Farkas constraints 4
3600.05/3609.00 c LP learned Farkas constraints 4
3600.05/3609.00 c LP basis resets 0
3600.05/3609.00 c LP cycling count 0
3600.05/3609.00 c LP singular count 0
3600.05/3609.00 c LP no primal count 0
3600.05/3609.00 c LP no farkas count 0
3600.05/3609.00 c LP other issue count 0
3600.05/3609.00 c LP Gomory cuts 7
3600.05/3609.00 c LP learned cuts 1396
3600.05/3609.00 c LP deleted cuts 1236
3600.05/3609.00 c LP encountered Gomory constraints 15
3600.05/3609.00 c LP encountered Farkas constraints 232
3600.05/3609.00 c LP encountered learned Farkas constraints 2
3600.05/3609.00 c CG auxiliary variables introduced 0
3600.05/3609.00 c CG solutions found 0
3600.05/3609.00 c CG cores constructed 0
3600.05/3609.00 c CG core cardinality constraints returned 0
3600.05/3609.00 c CG unit cores 0
3600.05/3609.00 c CG single cores 0
3600.05/3609.00 c CG blocks removed during cardinality reduction 0
3600.05/3609.00 c CG first core best 0
3600.05/3609.00 c CG decision core best 0
3600.05/3609.00 c CG core reduction tie 0
3600.05/3609.00 c CG core degree average 0.00
3600.05/3609.00 c CG core slack average 0.00
3600.05/3609.00 c CG core upper bound improvements 0
3600.05/3609.00 c STR number of successful calls 0
3600.05/3609.00 c STR number of unsuccessful calls 0
3600.05/3609.00 c STR number of inconclusive calls 0
3600.05/3609.00 c STR number of successful attempts 0
3600.05/3609.00 c STR number of unsuccessful attempts 0
3600.05/3609.00 c STR number of inconclusive attempts 0
3600.05/3609.00 c STR average degree increase per successful call inf
3600.05/3609.00 c STR average degree increase per successful attempt inf
3600.05/3609.00 c STR total number of conflicts for successful attempts 0
3600.05/3609.00 c STR total number of conflicts for unsuccessful attempts 0
3600.05/3609.00 c STR total number of conflicts for inconclusive attempts 0
3600.05/3609.00 c STR average number of conflicts per successful attempt inf
3600.05/3609.00 c STR average number of conflicts per unsuccessful attempt inf
3600.05/3609.00 c STR average number of conflicts per inconclusive attempt inf
3600.05/3609.00 c AVG.sumWPerc 66.25
3600.05/3609.00 c bigint constraints 0
3600.05/3609.00 s UNKNOWN
3600.05/3609.00 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62593 MiB free)
memory of node 1: 64507 MiB (63953 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507158-1751175495/watcher-4507158-1751175495 -o /tmp/evaluation-result-4507158-1751175495/solver-4507158-1751175495 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751168266-18973 --watchdog 3760 run-dec-ls.sh HOME/instance-4507158-1751175495.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=20028, runsolver pid=20025
[startup+0.100064 s]*
/proc/loadavg: 4.07 4.10 4.09 5/267 20030
/proc/meminfo: memFree=129567364/131250000 swapFree=33010684/33010684
[pid=20028] ppid=20025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20028/stat : 20028 (run-dec-ls.sh) S 20025 20028 18961 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33229407 4292608 768 18446744073709551615 94283036700672 94283037595205 140722744127360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94283037834256 94283037882000 94283068166144 140722744129895 140722744130021 140722744130021 140722744135623 0
/proc/20028/statm: 1048 768 704 219 0 110 0
[pid=20030] ppid=20028 vsize=73840 memory=27736 CPUtime=0.08 cores=1,3
/proc/20030/stat : 20030 (roundingsat) R 20028 20028 18961 0 -1 4194304 4493 0 0 0 6 2 0 0 20 0 1 0 33229408 75612160 6934 18446744073709551615 4227072 8923433 140734305288880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41377792 140734305290656 140734305290792 140734305290792 140734305296362 0
/proc/20030/statm: 18460 6934 2272 1147 0 5887 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 78032 KiB
Current children cumulated memory: 30808 KiB
[startup+0.205546 s]*
/proc/loadavg: 4.07 4.10 4.09 5/267 20030
/proc/meminfo: memFree=129523008/131250000 swapFree=33010684/33010684
[pid=20028] ppid=20025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20028/stat : 20028 (run-dec-ls.sh) S 20025 20028 18961 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33229407 4292608 768 18446744073709551615 94283036700672 94283037595205 140722744127360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94283037834256 94283037882000 94283068166144 140722744129895 140722744130021 140722744130021 140722744135623 0
/proc/20028/statm: 1048 768 704 219 0 110 0
[pid=20030] ppid=20028 vsize=119716 memory=65696 CPUtime=0.19 cores=1,3
/proc/20030/stat : 20030 (roundingsat) R 20028 20028 18961 0 -1 4194304 13214 0 0 0 15 4 0 0 20 0 1 0 33229408 122589184 16424 18446744073709551615 4227072 8923433 140734305288880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41377792 140734305290656 140734305290792 140734305290792 140734305296362 0
/proc/20030/statm: 29929 16424 2304 1147 0 17356 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 123908 KiB
Current children cumulated memory: 68768 KiB
[startup+0.305545 s]*
/proc/loadavg: 4.07 4.10 4.09 5/267 20030
/proc/meminfo: memFree=129523008/131250000 swapFree=33010684/33010684
[pid=20028] ppid=20025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20028/stat : 20028 (run-dec-ls.sh) S 20025 20028 18961 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33229407 4292608 768 18446744073709551615 94283036700672 94283037595205 140722744127360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94283037834256 94283037882000 94283068166144 140722744129895 140722744130021 140722744130021 140722744135623 0
/proc/20028/statm: 1048 768 704 219 0 110 0
[pid=20030] ppid=20028 vsize=121036 memory=67360 CPUtime=0.29 cores=1,3
/proc/20030/stat : 20030 (roundingsat) R 20028 20028 18961 0 -1 4194304 13613 0 0 0 25 4 0 0 20 0 1 0 33229408 123940864 16840 18446744073709551615 4227072 8923433 140734305288880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41377792 140734305290656 140734305290792 140734305290792 140734305296362 0
/proc/20030/statm: 30259 16840 2304 1147 0 17686 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 125228 KiB
Current children cumulated memory: 70432 KiB
[startup+0.700162 s]
/proc/loadavg: 4.07 4.10 4.09 5/267 20030
/proc/meminfo: memFree=129522252/131250000 swapFree=33010684/33010684
[pid=20028] ppid=20025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20028/stat : 20028 (run-dec-ls.sh) S 20025 20028 18961 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33229407 4292608 768 18446744073709551615 94283036700672 94283037595205 140722744127360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94283037834256 94283037882000 94283068166144 140722744129895 140722744130021 140722744130021 140722744135623 0
/proc/20028/statm: 1048 768 704 219 0 110 0
[pid=20030] ppid=20028 vsize=121036 memory=68256 CPUtime=0.68 cores=1,3
/proc/20030/stat : 20030 (roundingsat) R 20028 20028 18961 0 -1 4194304 13802 0 0 0 64 4 0 0 20 0 1 0 33229408 123940864 17064 18446744073709551615 4227072 8923433 140734305288880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41377792 140734305290656 140734305290792 140734305290792 140734305296362 0
/proc/20030/statm: 30259 17064 2336 1147 0 17686 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 125228 KiB
Current children cumulated memory: 71328 KiB
[startup+1.50017 s]
/proc/loadavg: 4.07 4.10 4.09 5/267 20030
/proc/meminfo: memFree=129514680/131250000 swapFree=33010684/33010684
[pid=20028] ppid=20025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20028/stat : 20028 (run-dec-ls.sh) S 20025 20028 18961 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33229407 4292608 768 18446744073709551615 94283036700672 94283037595205 140722744127360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94283037834256 94283037882000 94283068166144 140722744129895 140722744130021 140722744130021 140722744135623 0
/proc/20028/statm: 1048 768 704 219 0 110 0
[pid=20030] ppid=20028 vsize=121036 memory=68256 CPUtime=1.48 cores=1,3
/proc/20030/stat : 20030 (roundingsat) R 20028 20028 18961 0 -1 4194304 13802 0 0 0 144 4 0 0 20 0 1 0 33229408 123940864 17064 18446744073709551615 4227072 8923433 140734305288880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41377792 140734305290656 140734305290792 140734305290792 140734305296362 0
/proc/20030/statm: 30259 17064 2336 1147 0 17686 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 125228 KiB
Current children cumulated memory: 71328 KiB
[startup+3.10535 s]
/proc/loadavg: 4.15 4.12 4.10 5/267 20030
/proc/meminfo: memFree=129511656/131250000 swapFree=33010684/33010684
[pid=20028] ppid=20025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20028/stat : 20028 (run-dec-ls.sh) S 20025 20028 18961 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33229407 4292608 768 18446744073709551615 94283036700672 94283037595205 140722744127360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94283037834256 94283037882000 94283068166144 140722744129895 140722744130021 140722744130021 140722744135623 0
/proc/20028/statm: 1048 768 704 219 0 110 0
[pid=20030] ppid=20028 vsize=123640 memory=71072 CPUtime=3.08 cores=1,3
/proc/20030/stat : 20030 (roundingsat) R 20028 20028 18961 0 -1 4194304 14499 0 0 0 303 5 0 0 20 0 1 0 33229408 126607360 17768 18446744073709551615 4227072 8923433 140734305288880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41377792 140734305290656 140734305290792 140734305290792 140734305296362 0
/proc/20030/statm: 30910 17768 2336 1147 0 18337 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 127832 KiB
Current children cumulated memory: 74144 KiB
[startup+6.30015 s]
/proc/loadavg: 4.15 4.12 4.10 5/267 20030
/proc/meminfo: memFree=129494540/131250000 swapFree=33010684/33010684
[pid=20028] ppid=20025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20028/stat : 20028 (run-dec-ls.sh) S 20025 20028 18961 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33229407 4292608 768 18446744073709551615 94283036700672 94283037595205 140722744127360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94283037834256 94283037882000 94283068166144 140722744129895 140722744130021 140722744130021 140722744135623 0
/proc/20028/statm: 1048 768 704 219 0 110 0
[pid=20030] ppid=20028 vsize=127796 memory=78884 CPUtime=6.26 cores=1,3
/proc/20030/stat : 20030 (roundingsat) R 20028 20028 18961 0 -1 4194304 15903 0 0 0 611 15 0 0 20 0 1 0 33229408 130863104 19721 18446744073709551615 4227072 8923433 140734305288880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41377792 140734305290656 140734305290792 140734305290792 140734305296362 0
/proc/20030/statm: 31949 19721 2400 1147 0 19376 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 131988 KiB
Current children cumulated memory: 81956 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.12 4.10 5/267 20030
/proc/meminfo: memFree=129453724/131250000 swapFree=33010684/33010684
[pid=20028] ppid=20025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20028/stat : 20028 (run-dec-ls.sh) S 20025 20028 18961 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33229407 4292608 768 18446744073709551615 94283036700672 94283037595205 140722744127360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94283037834256 94283037882000 94283068166144 140722744129895 140722744130021 140722744130021 140722744135623 0
/proc/20028/statm: 1048 768 704 219 0 110 0
[pid=20030] ppid=20028 vsize=137344 memory=86564 CPUtime=12.65 cores=1,3
/proc/20030/stat : 20030 (roundingsat) R 20028 20028 18961 0 -1 4194304 17824 0 0 0 1230 35 0 0 20 0 1 0 33229408 140640256 21641 18446744073709551615 4227072 8923433 140734305288880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41377792 140734305290656 140734305290792 140734305290792 140734305296362 0
/proc/20030/statm: 34336 21641 2400 1147 0 21763 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 141536 KiB
Current children cumulated memory: 89636 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.11 4.10 5/267 20030
/proc/meminfo: memFree=129378572/131250000 swapFree=33010684/33010684
[pid=20028] ppid=20025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20028/stat : 20028 (run-dec-ls.sh) S 20025 20028 18961 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33229407 4292608 768 18446744073709551615 94283036700672 94283037595205 140722744127360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94283037834256 94283037882000 94283068166144 140722744129895 140722744130021 140722744130021 140722744135623 0
/proc/20028/statm: 1048 768 704 219 0 110 0
[pid=20030] ppid=20028 vsize=155644 memory=106128 CPUtime=25.42 cores=1,3
/proc/20030/stat : 20030 (roundingsat) R 20028 20028 18961 0 -1 4194304 22198 0 0 0 2469 73 0 0 20 0 1 0 33229408 159379456 26532 18446744073709551615 4227072 8923433 140734305288880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41377792 140734305290656 140734305290792 140734305290792 140734305296362 0
/proc/20030/statm: 38911 26532 2400 1147 0 26338 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 159836 KiB
Current children cumulated memory: 109200 KiB
[startup+51.1054 s]
/proc/loadavg: 4.07 4.10 4.09 5/267 20030
/proc/meminfo: memFree=129248996/131250000 swapFree=33010684/33010684
[pid=20028] ppid=20025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20028/stat : 20028 (run-dec-ls.sh) S 20025 20028 18961 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33229407 4292608 768 18446744073709551615 94283036700672 94283037595205 140722744127360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94283037834256 94283037882000 94283068166144 140722744129895 140722744130021 140722744130021 140722744135623 0
/proc/20028/statm: 1048 768 704 219 0 110 0
[pid=20030] ppid=20028 vsize=191276 memory=131816 CPUtime=50.96 cores=1,3
/proc/20030/stat : 20030 (roundingsat) R 20028 20028 18961 0 -1 4194304 27165 0 0 0 4964 132 0 0 20 0 1 0 33229408 195866624 32954 18446744073709551615 4227072 8923433 140734305288880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41377792 140734305290656 140734305290792 140734305290792 140734305296362 0
/proc/20030/statm: 47819 32954 2400 1147 0 35246 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 195468 KiB
Current children cumulated memory: 134888 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/267 20032
/proc/meminfo: memFree=129070036/131250000 swapFree=33010684/33010684
[pid=20028] ppid=20025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20028/stat : 20028 (run-dec-ls.sh) S 20025 20028 18961 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33229407 4292608 768 18446744073709551615 94283036700672 94283037595205 140722744127360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94283037834256 94283037882000 94283068166144 140722744129895 140722744130021 140722744130021 140722744135623 0
/proc/20028/statm: 1048 768 704 219 0 110 0
[pid=20030] ppid=20028 vsize=242336 memory=184360 CPUtime=102.03 cores=1,3
/proc/20030/stat : 20030 (roundingsat) R 20028 20028 18961 0 -1 4194304 35709 0 0 0 9977 226 0 0 20 0 1 0 33229408 248152064 46090 18446744073709551615 4227072 8923433 140734305288880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41377792 140734305290656 140734305290792 140734305290792 140734305296362 0
/proc/20030/statm: 60584 46090 2400 1147 0 48011 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 246528 KiB
Current children cumulated memory: 187432 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/267 20039
/proc/meminfo: memFree=128935812/131250000 swapFree=33010684/33010684
[pid=20028] ppid=20025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20028/stat : 20028 (run-dec-ls.sh) S 20025 20028 18961 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33229407 4292608 768 18446744073709551615 94283036700672 94283037595205 140722744127360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94283037834256 94283037882000 94283068166144 140722744129895 140722744130021 140722744130021 140722744135623 0
/proc/20028/statm: 1048 768 704 219 0 110 0
[pid=20030] ppid=20028 vsize=303252 memory=222552 CPUtime=161.89 cores=1,3
/proc/20030/stat : 20030 (roundingsat) R 20028 20028 18961 0 -1 4194304 43226 0 0 0 15822 367 0 0 20 0 1 0 33229408 310530048 55638 18446744073709551615 4227072 8923433 140734305288880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41377792 140734305290656 140734305290792 140734305290792 140734305296362 0
/proc/20030/statm: 75813 55638 2400 1147 0 63240 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 307444 KiB
Current children cumulated memory: 225624 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/267 20041
/proc/meminfo: memFree=128729356/131250000 swapFree=33010684/33010684
[pid=20028] ppid=20025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20028/stat : 20028 (run-dec-ls.sh) S 20025 20028 18961 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33229407 4292608 768 18446744073709551615 94283036700672 94283037595205 140722744127360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94283037834256 94283037882000 94283068166144 140722744129895 140722744130021 140722744130021 140722744135623 0
/proc/20028/statm: 1048 768 704 219 0 110 0
[pid=20030] ppid=20028 vsize=368816 memory=280624 CPUtime=221.74 cores=1,3
/proc/20030/stat : 20030 (roundingsat) R 20028 20028 18961 0 -1 4194304 48019 0 0 0 21710 464 0 0 20 0 1 0 33229408 377667584 70156 18446744073709551615 4227072 8923433 140734305288880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41377792 140734305290656 140734305290792 140734305290792 140734305296362 0
/proc/20030/statm: 92204 70156 2400 1147 0 79631 0
Current children cumulated CPU time: 221.74 s
################
# More data... #
################
/proc/20030/statm: 395643 316932 2400 1147 0 383070 0
Current children cumulated CPU time: 3034.67 s
Current children cumulated vsize: 1586764 KiB
Current children cumulated memory: 1270800 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.13 4.12 5/267 20179
/proc/meminfo: memFree=124914084/131250000 swapFree=33010684/33010684
[pid=20028] ppid=20025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20028/stat : 20028 (run-dec-ls.sh) S 20025 20028 18961 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33229407 4292608 768 18446744073709551615 94283036700672 94283037595205 140722744127360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94283037834256 94283037882000 94283068166144 140722744129895 140722744130021 140722744130021 140722744135623 0
/proc/20028/statm: 1048 768 704 219 0 110 0
[pid=20030] ppid=20028 vsize=1592672 memory=1275536 CPUtime=3094.53 cores=1,3
/proc/20030/stat : 20030 (roundingsat) R 20028 20028 18961 0 -1 4194304 154588 0 0 0 306403 3050 0 0 20 0 1 0 33229408 1630896128 318884 18446744073709551615 4227072 8923433 140734305288880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41377792 140734305290656 140734305290792 140734305290792 140734305296362 0
/proc/20030/statm: 398168 318884 2400 1147 0 385595 0
Current children cumulated CPU time: 3094.53 s
Current children cumulated vsize: 1596864 KiB
Current children cumulated memory: 1278608 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.12 4.12 5/267 20185
/proc/meminfo: memFree=124905440/131250000 swapFree=33010684/33010684
[pid=20028] ppid=20025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20028/stat : 20028 (run-dec-ls.sh) S 20025 20028 18961 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33229407 4292608 768 18446744073709551615 94283036700672 94283037595205 140722744127360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94283037834256 94283037882000 94283068166144 140722744129895 140722744130021 140722744130021 140722744135623 0
/proc/20028/statm: 1048 768 704 219 0 110 0
[pid=20030] ppid=20028 vsize=1592672 memory=1275536 CPUtime=3154.39 cores=1,3
/proc/20030/stat : 20030 (roundingsat) R 20028 20028 18961 0 -1 4194304 154589 0 0 0 312357 3082 0 0 20 0 1 0 33229408 1630896128 318884 18446744073709551615 4227072 8923433 140734305288880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41377792 140734305290656 140734305290792 140734305290792 140734305296362 0
/proc/20030/statm: 398168 318884 2400 1147 0 385595 0
Current children cumulated CPU time: 3154.39 s
Current children cumulated vsize: 1596864 KiB
Current children cumulated memory: 1278608 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.11 4.11 5/267 20187
/proc/meminfo: memFree=124897228/131250000 swapFree=33010684/33010684
[pid=20028] ppid=20025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20028/stat : 20028 (run-dec-ls.sh) S 20025 20028 18961 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33229407 4292608 768 18446744073709551615 94283036700672 94283037595205 140722744127360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94283037834256 94283037882000 94283068166144 140722744129895 140722744130021 140722744130021 140722744135623 0
/proc/20028/statm: 1048 768 704 219 0 110 0
[pid=20030] ppid=20028 vsize=1592672 memory=1275536 CPUtime=3214.25 cores=1,3
/proc/20030/stat : 20030 (roundingsat) R 20028 20028 18961 0 -1 4194304 154694 0 0 0 318290 3135 0 0 20 0 1 0 33229408 1630896128 318884 18446744073709551615 4227072 8923433 140734305288880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41377792 140734305290656 140734305290792 140734305290792 140734305296362 0
/proc/20030/statm: 398168 318884 2400 1147 0 385595 0
Current children cumulated CPU time: 3214.25 s
Current children cumulated vsize: 1596864 KiB
Current children cumulated memory: 1278608 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.11 5/268 20192
/proc/meminfo: memFree=124889564/131250000 swapFree=33010684/33010684
[pid=20028] ppid=20025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20028/stat : 20028 (run-dec-ls.sh) S 20025 20028 18961 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33229407 4292608 768 18446744073709551615 94283036700672 94283037595205 140722744127360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94283037834256 94283037882000 94283068166144 140722744129895 140722744130021 140722744130021 140722744135623 0
/proc/20028/statm: 1048 768 704 219 0 110 0
[pid=20030] ppid=20028 vsize=1592672 memory=1275536 CPUtime=3274.11 cores=1,3
/proc/20030/stat : 20030 (roundingsat) R 20028 20028 18961 0 -1 4194304 154694 0 0 0 324207 3204 0 0 20 0 1 0 33229408 1630896128 318884 18446744073709551615 4227072 8923433 140734305288880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41377792 140734305290656 140734305290792 140734305290792 140734305296362 0
/proc/20030/statm: 398168 318884 2400 1147 0 385595 0
Current children cumulated CPU time: 3274.11 s
Current children cumulated vsize: 1596864 KiB
Current children cumulated memory: 1278608 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.09 4.10 5/267 20194
/proc/meminfo: memFree=124889196/131250000 swapFree=33010684/33010684
[pid=20028] ppid=20025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20028/stat : 20028 (run-dec-ls.sh) S 20025 20028 18961 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33229407 4292608 768 18446744073709551615 94283036700672 94283037595205 140722744127360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94283037834256 94283037882000 94283068166144 140722744129895 140722744130021 140722744130021 140722744135623 0
/proc/20028/statm: 1048 768 704 219 0 110 0
[pid=20030] ppid=20028 vsize=1592672 memory=1275536 CPUtime=3333.97 cores=1,3
/proc/20030/stat : 20030 (roundingsat) R 20028 20028 18961 0 -1 4194304 154694 0 0 0 330138 3259 0 0 20 0 1 0 33229408 1630896128 318884 18446744073709551615 4227072 8923433 140734305288880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41377792 140734305290656 140734305290792 140734305290792 140734305296362 0
/proc/20030/statm: 398168 318884 2400 1147 0 385595 0
Current children cumulated CPU time: 3333.97 s
Current children cumulated vsize: 1596864 KiB
Current children cumulated memory: 1278608 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.10 5/267 20196
/proc/meminfo: memFree=124889068/131250000 swapFree=33010684/33010684
[pid=20028] ppid=20025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20028/stat : 20028 (run-dec-ls.sh) S 20025 20028 18961 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33229407 4292608 768 18446744073709551615 94283036700672 94283037595205 140722744127360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94283037834256 94283037882000 94283068166144 140722744129895 140722744130021 140722744130021 140722744135623 0
/proc/20028/statm: 1048 768 704 219 0 110 0
[pid=20030] ppid=20028 vsize=1592672 memory=1275536 CPUtime=3393.82 cores=1,3
/proc/20030/stat : 20030 (roundingsat) R 20028 20028 18961 0 -1 4194304 154706 0 0 0 336078 3304 0 0 20 0 1 0 33229408 1630896128 318884 18446744073709551615 4227072 8923433 140734305288880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41377792 140734305290656 140734305290792 140734305290792 140734305296362 0
/proc/20030/statm: 398168 318884 2400 1147 0 385595 0
Current children cumulated CPU time: 3393.82 s
Current children cumulated vsize: 1596864 KiB
Current children cumulated memory: 1278608 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/268 20199
/proc/meminfo: memFree=124873940/131250000 swapFree=33010684/33010684
[pid=20028] ppid=20025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20028/stat : 20028 (run-dec-ls.sh) S 20025 20028 18961 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33229407 4292608 768 18446744073709551615 94283036700672 94283037595205 140722744127360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94283037834256 94283037882000 94283068166144 140722744129895 140722744130021 140722744130021 140722744135623 0
/proc/20028/statm: 1048 768 704 219 0 110 0
[pid=20030] ppid=20028 vsize=1592672 memory=1275536 CPUtime=3453.69 cores=1,3
/proc/20030/stat : 20030 (roundingsat) R 20028 20028 18961 0 -1 4194304 154714 0 0 0 342031 3338 0 0 20 0 1 0 33229408 1630896128 318884 18446744073709551615 4227072 8923433 140734305288880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41377792 140734305290656 140734305290792 140734305290792 140734305296362 0
/proc/20030/statm: 398168 318884 2400 1147 0 385595 0
Current children cumulated CPU time: 3453.69 s
Current children cumulated vsize: 1596864 KiB
Current children cumulated memory: 1278608 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/268 20201
/proc/meminfo: memFree=124872844/131250000 swapFree=33010684/33010684
[pid=20028] ppid=20025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20028/stat : 20028 (run-dec-ls.sh) S 20025 20028 18961 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33229407 4292608 768 18446744073709551615 94283036700672 94283037595205 140722744127360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94283037834256 94283037882000 94283068166144 140722744129895 140722744130021 140722744130021 140722744135623 0
/proc/20028/statm: 1048 768 704 219 0 110 0
[pid=20030] ppid=20028 vsize=1592672 memory=1275536 CPUtime=3513.55 cores=1,3
/proc/20030/stat : 20030 (roundingsat) R 20028 20028 18961 0 -1 4194304 154715 0 0 0 347984 3371 0 0 20 0 1 0 33229408 1630896128 318884 18446744073709551615 4227072 8923433 140734305288880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41377792 140734305290656 140734305290792 140734305290792 140734305296362 0
/proc/20030/statm: 398168 318884 2400 1147 0 385595 0
Current children cumulated CPU time: 3513.55 s
Current children cumulated vsize: 1596864 KiB
Current children cumulated memory: 1278608 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/269 20206
/proc/meminfo: memFree=124886832/131250000 swapFree=33010684/33010684
[pid=20028] ppid=20025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20028/stat : 20028 (run-dec-ls.sh) S 20025 20028 18961 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33229407 4292608 768 18446744073709551615 94283036700672 94283037595205 140722744127360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94283037834256 94283037882000 94283068166144 140722744129895 140722744130021 140722744130021 140722744135623 0
/proc/20028/statm: 1048 768 704 219 0 110 0
[pid=20030] ppid=20028 vsize=1592672 memory=1275536 CPUtime=3573.41 cores=1,3
/proc/20030/stat : 20030 (roundingsat) R 20028 20028 18961 0 -1 4194304 154777 0 0 0 353895 3446 0 0 20 0 1 0 33229408 1630896128 318884 18446744073709551615 4227072 8923433 140734305288880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41377792 140734305290656 140734305290792 140734305290792 140734305296362 0
/proc/20030/statm: 398168 318884 2400 1147 0 385595 0
Current children cumulated CPU time: 3573.41 s
Current children cumulated vsize: 1596864 KiB
Current children cumulated memory: 1278608 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 3.82 4.03 4.07 2/248 20300
/proc/meminfo: memFree=128524168/131250000 swapFree=33010684/33010684
[pid=20028] ppid=20025 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20028/stat : 20028 (run-dec-ls.sh) S 20025 20028 18961 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33229407 4292608 768 18446744073709551615 94283036700672 94283037595205 140722744127360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94283037834256 94283037882000 94283068166144 140722744129895 140722744130021 140722744130021 140722744135623 0
/proc/20028/statm: 1048 768 704 219 0 110 0
[pid=20030] ppid=20028 vsize=1592672 memory=1275536 CPUtime=3600.05 cores=1,3
/proc/20030/stat : 20030 (roundingsat) R 20028 20028 18961 0 -1 4194304 154790 0 0 0 356538 3467 0 0 20 0 1 0 33229408 1630896128 318884 18446744073709551615 4227072 8923433 140734305288880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41377792 140734305290656 140734305290792 140734305290792 140734305296362 0
/proc/20030/statm: 398168 318884 2400 1147 0 385595 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1596864 KiB
Current children cumulated memory: 1278608 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.01 s]
# the end of solver process 20028 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001062 s, system=0.001061 s
Sleeping 2 seconds
[startup+3609.02 s]
# the end of solver process 20030 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3565.39 s, system=34.6808 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3609.02
CPU time (s): 3600.07
CPU user time (s): 3565.39
CPU system time (s): 34.6808
CPU usage (%): 99.7522
Max. virtual memory (cumulated for all children) (KiB): 1596864
Max. memory (cumulated for all children) (KiB): 1278608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.39
system time used= 34.6808
maximum resident set size= 1275920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155015
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 316
involuntary context switches= 2784
# summary of solver processes directly reported to runsolver:
# pid: 20028,20030
# total CPU time (s): 3600.07
# total CPU user time (s): 3565.39
# total CPU system time (s): 34.6808
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.04549 second user time and 16.3945 second system time
The end
Begin job on nodeC027 at 2025-06-29 07:38:15
IDJOB=4507158
IDBENCH=158327
IDSOLVER=3353
FILE ID=nodeC027/4507158-1751175495
RUNJOBID= nodeC027-1751168266-18973
SLURM_JOB_ID= 9587510
Free space on /tmp= 433036 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K194.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507158-1751175495/watcher-4507158-1751175495 -o /tmp/evaluation-result-4507158-1751175495/solver-4507158-1751175495 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751168266-18973 --watchdog 3760 run-dec-ls.sh HOME/instance-4507158-1751175495.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7d29d77727f08087434452962a118642
RANDOM SEED=1521542232
nodeC027 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.457
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.742
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3758.016
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.633
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.637
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.636
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3643.977
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.916
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129575680 kB
MemAvailable: 129575208 kB
Buffers: 3280 kB
Cached: 805292 kB
SwapCached: 0 kB
Active: 517920 kB
Inactive: 551404 kB
Active(anon): 278832 kB
Inactive(anon): 0 kB
Active(file): 239088 kB
Inactive(file): 551404 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 35004 kB
Writeback: 16 kB
AnonPages: 264012 kB
Mapped: 115892 kB
Shmem: 18068 kB
KReclaimable: 96152 kB
Slab: 181604 kB
SReclaimable: 96152 kB
SUnreclaim: 85452 kB
KernelStack: 4320 kB
PageTables: 3704 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 625716 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 67584 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203476 kB
DirectMap2M: 9005056 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433056 MiB
End job on nodeC027 at 2025-06-29 08:38:24