0.00/0.02 c RoundingSat 2
0.00/0.02 c branch
0.00/0.02 c commit
0.00/0.02 c with Papilo
0.00/0.02 c with SCIP
0.00/0.02 c [STEP] parsing instance
0.20/0.25 c [STEP] preprocessing with Papilo
0.30/0.35 c [STEP] solving with SCIP
299.40/300.58 c [STEP] preprocessing done, loading into solver
299.51/300.64 c [STEP] solving
299.51/300.64 c #variables 8880 #constraints 32242
299.51/300.64 c SMALL=int, LARGE=long long
299.51/300.64 d SCIPUB 18
299.51/300.64 c bounds - >= 0 @ 299.243
299.51/300.64 c stratification level: 0
421.01/422.59 c bounds - >= 1 @ 299.289
421.01/422.59 c bounds - >= 2 @ 299.291
421.01/422.59 c bounds - >= 3 @ 299.292
421.01/422.59 c bounds - >= 4 @ 299.293
421.01/422.59 c bounds - >= 5 @ 299.294
421.01/422.59 c #Conflicts: 1000 | #Constraints: 33251
421.01/422.59 c #Conflicts: 2000 | #Constraints: 34251
421.01/422.59 c INPROCESSING
421.01/422.59 c GARBAGE COLLECT
421.01/422.59 c #Conflicts: 3000 | #Constraints: 34254
421.01/422.59 c #Conflicts: 4000 | #Constraints: 35254
421.01/422.59 c INPROCESSING
421.01/422.59 c GARBAGE COLLECT
421.01/422.59 c #Conflicts: 5000 | #Constraints: 34664
421.01/422.59 c #Conflicts: 6000 | #Constraints: 35664
421.01/422.59 c INPROCESSING
421.01/422.59 c GARBAGE COLLECT
421.01/422.59 c #Conflicts: 7000 | #Constraints: 34666
421.01/422.59 c #Conflicts: 8000 | #Constraints: 35666
421.01/422.59 c #Conflicts: 9000 | #Constraints: 36666
421.01/422.59 c INPROCESSING
421.01/422.59 c GARBAGE COLLECT
421.01/422.59 c #Conflicts: 10000 | #Constraints: 35366
421.01/422.59 c #Conflicts: 11000 | #Constraints: 36366
421.01/422.59 c #Conflicts: 12000 | #Constraints: 37366
421.01/422.59 c INPROCESSING
421.01/422.59 c GARBAGE COLLECT
421.01/422.59 c #Conflicts: 13000 | #Constraints: 35816
421.01/422.59 c #Conflicts: 14000 | #Constraints: 36816
421.01/422.59 c #Conflicts: 15000 | #Constraints: 37816
421.01/422.59 c INPROCESSING
421.01/422.59 c GARBAGE COLLECT
421.01/422.59 c #Conflicts: 16000 | #Constraints: 36048
421.01/422.59 c #Conflicts: 17000 | #Constraints: 37048
421.01/422.59 c #Conflicts: 18000 | #Constraints: 38048
421.01/422.59 c INPROCESSING
421.01/422.59 c GARBAGE COLLECT
421.01/422.59 c #Conflicts: 19000 | #Constraints: 36087
421.01/422.59 c #Conflicts: 20000 | #Constraints: 37087
421.01/422.59 c #Conflicts: 21000 | #Constraints: 38087
421.01/422.59 c INPROCESSING
421.01/422.59 c GARBAGE COLLECT
421.01/422.59 c #Conflicts: 22000 | #Constraints: 35882
421.01/422.59 c #Conflicts: 23000 | #Constraints: 36882
421.01/422.59 c #Conflicts: 24000 | #Constraints: 37882
421.01/422.59 c #Conflicts: 25000 | #Constraints: 38882
421.01/422.59 c INPROCESSING
421.01/422.59 c GARBAGE COLLECT
421.01/422.59 c #Conflicts: 26000 | #Constraints: 36489
421.01/422.59 c #Conflicts: 27000 | #Constraints: 37489
421.01/422.59 c #Conflicts: 28000 | #Constraints: 38489
421.01/422.59 c #Conflicts: 29000 | #Constraints: 39489
421.01/422.59 c INPROCESSING
421.01/422.59 c GARBAGE COLLECT
421.01/422.59 c #Conflicts: 30000 | #Constraints: 36884
421.01/422.59 c #Conflicts: 31000 | #Constraints: 37884
421.01/422.59 c #Conflicts: 32000 | #Constraints: 38884
421.01/422.59 c #Conflicts: 33000 | #Constraints: 39884
421.01/422.59 c INPROCESSING
421.01/422.59 c GARBAGE COLLECT
421.01/422.59 c #Conflicts: 34000 | #Constraints: 37082
421.01/422.59 c #Conflicts: 35000 | #Constraints: 38082
421.01/422.59 c #Conflicts: 36000 | #Constraints: 39082
421.01/422.59 c #Conflicts: 37000 | #Constraints: 40082
421.01/422.59 c INPROCESSING
421.01/422.59 c GARBAGE COLLECT
421.01/422.59 c #Conflicts: 38000 | #Constraints: 37109
421.01/422.59 c #Conflicts: 39000 | #Constraints: 38109
421.01/422.59 c #Conflicts: 40000 | #Constraints: 39109
421.01/422.59 c #Conflicts: 41000 | #Constraints: 40109
421.01/422.59 c INPROCESSING
421.01/422.59 c GARBAGE COLLECT
421.01/422.59 c #Conflicts: 42000 | #Constraints: 36900
421.01/422.59 c #Conflicts: 43000 | #Constraints: 37900
421.01/422.59 c #Conflicts: 44000 | #Constraints: 38900
421.01/422.59 c #Conflicts: 45000 | #Constraints: 39900
421.01/422.59 c #Conflicts: 46000 | #Constraints: 40900
421.01/422.59 c INPROCESSING
421.01/422.59 c GARBAGE COLLECT
421.01/422.59 c #Conflicts: 47000 | #Constraints: 37486
421.01/422.59 c #Conflicts: 48000 | #Constraints: 38486
421.01/422.59 c #Conflicts: 49000 | #Constraints: 39486
421.01/422.59 c #Conflicts: 50000 | #Constraints: 40486
421.01/422.59 c #Conflicts: 51000 | #Constraints: 41486
421.01/422.59 c INPROCESSING
421.01/422.59 c GARBAGE COLLECT
421.01/422.59 c #Conflicts: 52000 | #Constraints: 37895
421.01/422.59 c #Conflicts: 53000 | #Constraints: 38895
421.01/422.59 c #Conflicts: 54000 | #Constraints: 39895
421.01/422.59 c #Conflicts: 55000 | #Constraints: 40895
421.01/422.59 c #Conflicts: 56000 | #Constraints: 41895
421.01/422.59 c INPROCESSING
421.01/422.59 c GARBAGE COLLECT
421.01/422.59 c #Conflicts: 57000 | #Constraints: 38091
421.01/422.59 c #Conflicts: 58000 | #Constraints: 39091
421.01/422.59 c #Conflicts: 59000 | #Constraints: 40091
421.01/422.59 c #Conflicts: 60000 | #Constraints: 41091
421.01/422.59 c #Conflicts: 61000 | #Constraints: 42091
421.01/422.59 c INPROCESSING
421.01/422.59 c GARBAGE COLLECT
421.01/422.59 c #Conflicts: 62000 | #Constraints: 38096
421.01/422.59 c #Conflicts: 63000 | #Constraints: 39096
421.01/422.59 c #Conflicts: 64000 | #Constraints: 40096
421.01/422.59 c #Conflicts: 65000 | #Constraints: 41096
421.01/422.59 c #Conflicts: 66000 | #Constraints: 42096
570.14/572.12 c INPROCESSING
570.14/572.12 c GARBAGE COLLECT
570.14/572.12 c #Conflicts: 67000 | #Constraints: 37896
570.14/572.12 c #Conflicts: 68000 | #Constraints: 38896
570.14/572.12 c #Conflicts: 69000 | #Constraints: 39896
570.14/572.12 c #Conflicts: 70000 | #Constraints: 40896
570.14/572.12 c #Conflicts: 71000 | #Constraints: 41896
570.14/572.12 c #Conflicts: 72000 | #Constraints: 42896
570.14/572.12 c INPROCESSING
570.14/572.12 c GARBAGE COLLECT
570.14/572.12 c #Conflicts: 73000 | #Constraints: 38490
570.14/572.12 c #Conflicts: 74000 | #Constraints: 39490
570.14/572.12 c #Conflicts: 75000 | #Constraints: 40490
570.14/572.12 c #Conflicts: 76000 | #Constraints: 41490
570.14/572.12 c #Conflicts: 77000 | #Constraints: 42490
570.14/572.12 c #Conflicts: 78000 | #Constraints: 43490
570.14/572.12 c INPROCESSING
570.14/572.12 c GARBAGE COLLECT
570.14/572.12 c #Conflicts: 79000 | #Constraints: 38888
570.14/572.12 c #Conflicts: 80000 | #Constraints: 39888
570.14/572.12 c #Conflicts: 81000 | #Constraints: 40888
570.14/572.12 c #Conflicts: 82000 | #Constraints: 41888
570.14/572.12 c #Conflicts: 83000 | #Constraints: 42888
570.14/572.12 c #Conflicts: 84000 | #Constraints: 43888
570.14/572.12 c INPROCESSING
570.14/572.12 c GARBAGE COLLECT
570.14/572.12 c #Conflicts: 85000 | #Constraints: 39092
570.14/572.12 c #Conflicts: 86000 | #Constraints: 40092
570.14/572.12 c #Conflicts: 87000 | #Constraints: 41092
570.14/572.12 c #Conflicts: 88000 | #Constraints: 42092
570.14/572.12 c #Conflicts: 89000 | #Constraints: 43092
570.14/572.12 c #Conflicts: 90000 | #Constraints: 44092
570.14/572.12 c INPROCESSING
570.14/572.12 c GARBAGE COLLECT
570.14/572.12 c #Conflicts: 91000 | #Constraints: 39104
570.14/572.12 c #Conflicts: 92000 | #Constraints: 40104
570.14/572.12 c #Conflicts: 93000 | #Constraints: 41104
570.14/572.12 c #Conflicts: 94000 | #Constraints: 42104
570.14/572.12 c #Conflicts: 95000 | #Constraints: 43104
570.14/572.12 c #Conflicts: 96000 | #Constraints: 44104
570.14/572.12 c INPROCESSING
570.14/572.12 c GARBAGE COLLECT
570.14/572.12 c #Conflicts: 97000 | #Constraints: 38915
570.14/572.12 c #Conflicts: 98000 | #Constraints: 39915
570.14/572.12 c #Conflicts: 99000 | #Constraints: 40915
570.14/572.12 c #Conflicts: 100000 | #Constraints: 41915
570.14/572.12 c #Conflicts: 101000 | #Constraints: 42915
570.14/572.12 c #Conflicts: 102000 | #Constraints: 43915
570.14/572.12 c #Conflicts: 103000 | #Constraints: 44915
570.14/572.12 c INPROCESSING
570.14/572.12 c GARBAGE COLLECT
570.14/572.12 c #Conflicts: 104000 | #Constraints: 39508
570.14/572.12 c #Conflicts: 105000 | #Constraints: 40508
570.14/572.12 c #Conflicts: 106000 | #Constraints: 41508
570.14/572.12 c #Conflicts: 107000 | #Constraints: 42508
570.14/572.12 c #Conflicts: 108000 | #Constraints: 43508
570.14/572.12 c #Conflicts: 109000 | #Constraints: 44508
570.14/572.12 c #Conflicts: 110000 | #Constraints: 45508
570.14/572.12 c INPROCESSING
570.14/572.12 c GARBAGE COLLECT
570.14/572.12 c #Conflicts: 111000 | #Constraints: 39897
570.14/572.12 c #Conflicts: 112000 | #Constraints: 40897
570.14/572.12 c #Conflicts: 113000 | #Constraints: 41897
570.14/572.12 c #Conflicts: 114000 | #Constraints: 42897
570.14/572.12 c #Conflicts: 115000 | #Constraints: 43897
570.14/572.12 c #Conflicts: 116000 | #Constraints: 44897
570.14/572.12 c #Conflicts: 117000 | #Constraints: 45897
570.14/572.12 c INPROCESSING
570.14/572.12 c GARBAGE COLLECT
570.14/572.12 c #Conflicts: 118000 | #Constraints: 40094
570.14/572.12 c #Conflicts: 119000 | #Constraints: 41094
570.14/572.12 c #Conflicts: 120000 | #Constraints: 42094
570.14/572.12 c #Conflicts: 121000 | #Constraints: 43094
570.14/572.12 c #Conflicts: 122000 | #Constraints: 44094
570.14/572.12 c #Conflicts: 123000 | #Constraints: 45094
570.14/572.12 c #Conflicts: 124000 | #Constraints: 46094
570.14/572.12 c INPROCESSING
570.14/572.12 c GARBAGE COLLECT
570.14/572.12 c #Conflicts: 125000 | #Constraints: 40099
570.14/572.12 c #Conflicts: 126000 | #Constraints: 41099
570.14/572.12 c #Conflicts: 127000 | #Constraints: 42099
570.14/572.12 c #Conflicts: 128000 | #Constraints: 43099
570.14/572.12 c #Conflicts: 129000 | #Constraints: 44099
570.14/572.12 c #Conflicts: 130000 | #Constraints: 45099
570.14/572.12 c #Conflicts: 131000 | #Constraints: 46099
570.14/572.12 c INPROCESSING
570.14/572.12 c GARBAGE COLLECT
570.14/572.12 c #Conflicts: 132000 | #Constraints: 39906
570.14/572.12 c #Conflicts: 133000 | #Constraints: 40906
570.14/572.12 c #Conflicts: 134000 | #Constraints: 41906
570.14/572.12 c #Conflicts: 135000 | #Constraints: 42906
570.14/572.12 c #Conflicts: 136000 | #Constraints: 43906
570.14/572.12 c #Conflicts: 137000 | #Constraints: 44906
570.14/572.12 c #Conflicts: 138000 | #Constraints: 45906
721.70/724.16 c #Conflicts: 139000 | #Constraints: 46906
721.70/724.16 c INPROCESSING
721.70/724.16 c GARBAGE COLLECT
721.70/724.16 c #Conflicts: 140000 | #Constraints: 40516
721.70/724.16 c #Conflicts: 141000 | #Constraints: 41516
721.70/724.16 c #Conflicts: 142000 | #Constraints: 42516
721.70/724.16 c #Conflicts: 143000 | #Constraints: 43516
721.70/724.16 c #Conflicts: 144000 | #Constraints: 44516
721.70/724.16 c #Conflicts: 145000 | #Constraints: 45516
721.70/724.16 c #Conflicts: 146000 | #Constraints: 46516
721.70/724.16 c #Conflicts: 147000 | #Constraints: 47516
721.70/724.16 c INPROCESSING
721.70/724.16 c GARBAGE COLLECT
721.70/724.16 c #Conflicts: 148000 | #Constraints: 40928
721.70/724.16 c #Conflicts: 149000 | #Constraints: 41928
721.70/724.16 c #Conflicts: 150000 | #Constraints: 42928
721.70/724.16 c #Conflicts: 151000 | #Constraints: 43928
721.70/724.16 c #Conflicts: 152000 | #Constraints: 44928
721.70/724.16 c #Conflicts: 153000 | #Constraints: 45928
721.70/724.16 c #Conflicts: 154000 | #Constraints: 46928
721.70/724.16 c #Conflicts: 155000 | #Constraints: 47928
721.70/724.16 c INPROCESSING
721.70/724.16 c GARBAGE COLLECT
721.70/724.16 c #Conflicts: 156000 | #Constraints: 41128
721.70/724.16 c #Conflicts: 157000 | #Constraints: 42128
721.70/724.16 c #Conflicts: 158000 | #Constraints: 43128
721.70/724.16 c #Conflicts: 159000 | #Constraints: 44128
721.70/724.16 c #Conflicts: 160000 | #Constraints: 45128
721.70/724.16 c #Conflicts: 161000 | #Constraints: 46128
721.70/724.16 c #Conflicts: 162000 | #Constraints: 47128
721.70/724.16 c #Conflicts: 163000 | #Constraints: 48128
721.70/724.16 c INPROCESSING
721.70/724.16 c GARBAGE COLLECT
721.70/724.16 c #Conflicts: 164000 | #Constraints: 41115
721.70/724.16 c #Conflicts: 165000 | #Constraints: 42115
721.70/724.16 c #Conflicts: 166000 | #Constraints: 43115
721.70/724.16 c #Conflicts: 167000 | #Constraints: 44115
721.70/724.16 c #Conflicts: 168000 | #Constraints: 45115
721.70/724.16 c #Conflicts: 169000 | #Constraints: 46115
721.70/724.16 c #Conflicts: 170000 | #Constraints: 47115
721.70/724.16 c #Conflicts: 171000 | #Constraints: 48115
721.70/724.16 c INPROCESSING
721.70/724.16 c GARBAGE COLLECT
721.70/724.16 c #Conflicts: 172000 | #Constraints: 40911
721.70/724.16 c #Conflicts: 173000 | #Constraints: 41911
721.70/724.16 c #Conflicts: 174000 | #Constraints: 42911
721.70/724.16 c #Conflicts: 175000 | #Constraints: 43911
721.70/724.16 c #Conflicts: 176000 | #Constraints: 44911
721.70/724.16 c #Conflicts: 177000 | #Constraints: 45911
721.70/724.16 c #Conflicts: 178000 | #Constraints: 46911
721.70/724.16 c #Conflicts: 179000 | #Constraints: 47911
721.70/724.16 c #Conflicts: 180000 | #Constraints: 48911
721.70/724.16 c INPROCESSING
721.70/724.16 c GARBAGE COLLECT
721.70/724.16 c #Conflicts: 181000 | #Constraints: 41511
721.70/724.16 c #Conflicts: 182000 | #Constraints: 42511
721.70/724.16 c #Conflicts: 183000 | #Constraints: 43511
721.70/724.16 c #Conflicts: 184000 | #Constraints: 44511
721.70/724.16 c #Conflicts: 185000 | #Constraints: 45511
721.70/724.16 c #Conflicts: 186000 | #Constraints: 46511
721.70/724.16 c #Conflicts: 187000 | #Constraints: 47511
721.70/724.16 c #Conflicts: 188000 | #Constraints: 48511
721.70/724.16 c #Conflicts: 189000 | #Constraints: 49511
721.70/724.16 c INPROCESSING
721.70/724.16 c GARBAGE COLLECT
721.70/724.16 c #Conflicts: 190000 | #Constraints: 41915
721.70/724.16 c #Conflicts: 191000 | #Constraints: 42915
721.70/724.16 c #Conflicts: 192000 | #Constraints: 43915
721.70/724.16 c #Conflicts: 193000 | #Constraints: 44915
721.70/724.16 c #Conflicts: 194000 | #Constraints: 45915
721.70/724.16 c #Conflicts: 195000 | #Constraints: 46915
721.70/724.16 c #Conflicts: 196000 | #Constraints: 47915
721.70/724.16 c #Conflicts: 197000 | #Constraints: 48915
721.70/724.16 c #Conflicts: 198000 | #Constraints: 49915
721.70/724.16 c INPROCESSING
721.70/724.16 c GARBAGE COLLECT
721.70/724.16 c #Conflicts: 199000 | #Constraints: 42118
721.70/724.16 c #Conflicts: 200000 | #Constraints: 43118
721.70/724.16 c #Conflicts: 201000 | #Constraints: 44118
721.70/724.16 c #Conflicts: 202000 | #Constraints: 45118
721.70/724.16 c #Conflicts: 203000 | #Constraints: 46118
721.70/724.16 c #Conflicts: 204000 | #Constraints: 47118
721.70/724.16 c #Conflicts: 205000 | #Constraints: 48118
721.70/724.16 c #Conflicts: 206000 | #Constraints: 49118
721.70/724.16 c #Conflicts: 207000 | #Constraints: 50118
721.70/724.16 c INPROCESSING
721.70/724.16 c GARBAGE COLLECT
721.70/724.16 c #Conflicts: 208000 | #Constraints: 42129
721.70/724.16 c #Conflicts: 209000 | #Constraints: 43129
721.70/724.16 c #Conflicts: 210000 | #Constraints: 44129
721.70/724.16 c #Conflicts: 211000 | #Constraints: 45129
892.30/895.24 c #Conflicts: 212000 | #Constraints: 46129
892.30/895.24 c #Conflicts: 213000 | #Constraints: 47129
892.30/895.24 c #Conflicts: 214000 | #Constraints: 48129
892.30/895.24 c #Conflicts: 215000 | #Constraints: 49129
892.30/895.24 c #Conflicts: 216000 | #Constraints: 50129
892.30/895.24 c INPROCESSING
892.30/895.24 c GARBAGE COLLECT
892.30/895.24 c #Conflicts: 217000 | #Constraints: 41929
892.30/895.24 c #Conflicts: 218000 | #Constraints: 42929
892.30/895.24 c #Conflicts: 219000 | #Constraints: 43929
892.30/895.24 c #Conflicts: 220000 | #Constraints: 44929
892.30/895.24 c #Conflicts: 221000 | #Constraints: 45929
892.30/895.24 c #Conflicts: 222000 | #Constraints: 46929
892.30/895.24 c #Conflicts: 223000 | #Constraints: 47929
892.30/895.24 c #Conflicts: 224000 | #Constraints: 48929
892.30/895.24 c #Conflicts: 225000 | #Constraints: 49929
892.30/895.24 c #Conflicts: 226000 | #Constraints: 50929
892.30/895.24 c INPROCESSING
892.30/895.24 c GARBAGE COLLECT
892.30/895.24 c #Conflicts: 227000 | #Constraints: 42534
892.30/895.24 c #Conflicts: 228000 | #Constraints: 43534
892.30/895.24 c #Conflicts: 229000 | #Constraints: 44534
892.30/895.24 c #Conflicts: 230000 | #Constraints: 45534
892.30/895.24 c #Conflicts: 231000 | #Constraints: 46534
892.30/895.24 c #Conflicts: 232000 | #Constraints: 47534
892.30/895.24 c #Conflicts: 233000 | #Constraints: 48534
892.30/895.24 c #Conflicts: 234000 | #Constraints: 49534
892.30/895.24 c #Conflicts: 235000 | #Constraints: 50534
892.30/895.24 c #Conflicts: 236000 | #Constraints: 51534
892.30/895.24 c INPROCESSING
892.30/895.24 c GARBAGE COLLECT
892.30/895.24 c #Conflicts: 237000 | #Constraints: 42926
892.30/895.24 c #Conflicts: 238000 | #Constraints: 43926
892.30/895.24 c #Conflicts: 239000 | #Constraints: 44926
892.30/895.24 c #Conflicts: 240000 | #Constraints: 45926
892.30/895.24 c #Conflicts: 241000 | #Constraints: 46926
892.30/895.24 c #Conflicts: 242000 | #Constraints: 47926
892.30/895.24 c #Conflicts: 243000 | #Constraints: 48926
892.30/895.24 c #Conflicts: 244000 | #Constraints: 49926
892.30/895.24 c #Conflicts: 245000 | #Constraints: 50926
892.30/895.24 c #Conflicts: 246000 | #Constraints: 51926
892.30/895.24 c INPROCESSING
892.30/895.24 c GARBAGE COLLECT
892.30/895.24 c #Conflicts: 247000 | #Constraints: 43122
892.30/895.24 c #Conflicts: 248000 | #Constraints: 44122
892.30/895.24 c #Conflicts: 249000 | #Constraints: 45122
892.30/895.24 c #Conflicts: 250000 | #Constraints: 46122
892.30/895.24 c #Conflicts: 251000 | #Constraints: 47122
892.30/895.24 c #Conflicts: 252000 | #Constraints: 48122
892.30/895.24 c #Conflicts: 253000 | #Constraints: 49122
892.30/895.24 c #Conflicts: 254000 | #Constraints: 50122
892.30/895.24 c #Conflicts: 255000 | #Constraints: 51122
892.30/895.24 c #Conflicts: 256000 | #Constraints: 52122
892.30/895.24 c INPROCESSING
892.30/895.24 c GARBAGE COLLECT
892.30/895.24 c #Conflicts: 257000 | #Constraints: 43123
892.30/895.24 c #Conflicts: 258000 | #Constraints: 44123
892.30/895.24 c #Conflicts: 259000 | #Constraints: 45123
892.30/895.24 c #Conflicts: 260000 | #Constraints: 46123
892.30/895.24 c #Conflicts: 261000 | #Constraints: 47123
892.30/895.24 c #Conflicts: 262000 | #Constraints: 48123
892.30/895.24 c #Conflicts: 263000 | #Constraints: 49123
892.30/895.24 c #Conflicts: 264000 | #Constraints: 50123
892.30/895.24 c #Conflicts: 265000 | #Constraints: 51123
892.30/895.24 c #Conflicts: 266000 | #Constraints: 52123
892.30/895.24 c INPROCESSING
892.30/895.24 c GARBAGE COLLECT
892.30/895.24 c #Conflicts: 267000 | #Constraints: 42937
892.30/895.24 c #Conflicts: 268000 | #Constraints: 43937
892.30/895.24 c #Conflicts: 269000 | #Constraints: 44937
892.30/895.24 c #Conflicts: 270000 | #Constraints: 45937
892.30/895.24 c #Conflicts: 271000 | #Constraints: 46937
892.30/895.24 c #Conflicts: 272000 | #Constraints: 47937
892.30/895.24 c #Conflicts: 273000 | #Constraints: 48937
892.30/895.24 c #Conflicts: 274000 | #Constraints: 49937
892.30/895.24 c #Conflicts: 275000 | #Constraints: 50937
892.30/895.24 c #Conflicts: 276000 | #Constraints: 51937
892.30/895.24 c #Conflicts: 277000 | #Constraints: 52937
892.30/895.24 c INPROCESSING
892.30/895.24 c GARBAGE COLLECT
892.30/895.24 c #Conflicts: 278000 | #Constraints: 43540
892.30/895.24 c #Conflicts: 279000 | #Constraints: 44540
892.30/895.24 c #Conflicts: 280000 | #Constraints: 45540
892.30/895.24 c #Conflicts: 281000 | #Constraints: 46540
892.30/895.24 c #Conflicts: 282000 | #Constraints: 47540
892.30/895.24 c #Conflicts: 283000 | #Constraints: 48540
892.30/895.24 c #Conflicts: 284000 | #Constraints: 49540
892.30/895.24 c #Conflicts: 285000 | #Constraints: 50540
1095.39/1099.00 c #Conflicts: 286000 | #Constraints: 51540
1095.39/1099.00 c #Conflicts: 287000 | #Constraints: 52540
1095.39/1099.00 c #Conflicts: 288000 | #Constraints: 53540
1095.39/1099.00 c INPROCESSING
1095.39/1099.00 c GARBAGE COLLECT
1095.39/1099.00 c #Conflicts: 289000 | #Constraints: 43937
1095.39/1099.00 c #Conflicts: 290000 | #Constraints: 44937
1095.39/1099.00 c #Conflicts: 291000 | #Constraints: 45937
1095.39/1099.00 c #Conflicts: 292000 | #Constraints: 46937
1095.39/1099.00 c #Conflicts: 293000 | #Constraints: 47937
1095.39/1099.00 c #Conflicts: 294000 | #Constraints: 48937
1095.39/1099.00 c #Conflicts: 295000 | #Constraints: 49937
1095.39/1099.00 c #Conflicts: 296000 | #Constraints: 50937
1095.39/1099.00 c #Conflicts: 297000 | #Constraints: 51937
1095.39/1099.00 c #Conflicts: 298000 | #Constraints: 52937
1095.39/1099.00 c #Conflicts: 299000 | #Constraints: 53937
1095.39/1099.00 c INPROCESSING
1095.39/1099.00 c GARBAGE COLLECT
1095.39/1099.00 c #Conflicts: 300000 | #Constraints: 44131
1095.39/1099.00 c #Conflicts: 301000 | #Constraints: 45131
1095.39/1099.00 c #Conflicts: 302000 | #Constraints: 46131
1095.39/1099.00 c #Conflicts: 303000 | #Constraints: 47131
1095.39/1099.00 c #Conflicts: 304000 | #Constraints: 48131
1095.39/1099.00 c #Conflicts: 305000 | #Constraints: 49131
1095.39/1099.00 c #Conflicts: 306000 | #Constraints: 50131
1095.39/1099.00 c #Conflicts: 307000 | #Constraints: 51131
1095.39/1099.00 c #Conflicts: 308000 | #Constraints: 52131
1095.39/1099.00 c #Conflicts: 309000 | #Constraints: 53131
1095.39/1099.00 c #Conflicts: 310000 | #Constraints: 54131
1095.39/1099.00 c INPROCESSING
1095.39/1099.00 c GARBAGE COLLECT
1095.39/1099.00 c #Conflicts: 311000 | #Constraints: 44124
1095.39/1099.00 c #Conflicts: 312000 | #Constraints: 45124
1095.39/1099.00 c #Conflicts: 313000 | #Constraints: 46124
1095.39/1099.00 c #Conflicts: 314000 | #Constraints: 47124
1095.39/1099.00 c #Conflicts: 315000 | #Constraints: 48124
1095.39/1099.00 c #Conflicts: 316000 | #Constraints: 49124
1095.39/1099.00 c #Conflicts: 317000 | #Constraints: 50124
1095.39/1099.00 c #Conflicts: 318000 | #Constraints: 51124
1095.39/1099.00 c #Conflicts: 319000 | #Constraints: 52124
1095.39/1099.00 c #Conflicts: 320000 | #Constraints: 53124
1095.39/1099.00 c #Conflicts: 321000 | #Constraints: 54124
1095.39/1099.00 c INPROCESSING
1095.39/1099.00 c GARBAGE COLLECT
1095.39/1099.00 c #Conflicts: 322000 | #Constraints: 43925
1095.39/1099.00 c #Conflicts: 323000 | #Constraints: 44925
1095.39/1099.00 c #Conflicts: 324000 | #Constraints: 45925
1095.39/1099.00 c #Conflicts: 325000 | #Constraints: 46925
1095.39/1099.00 c #Conflicts: 326000 | #Constraints: 47925
1095.39/1099.00 c #Conflicts: 327000 | #Constraints: 48925
1095.39/1099.00 c #Conflicts: 328000 | #Constraints: 49925
1095.39/1099.00 c #Conflicts: 329000 | #Constraints: 50925
1095.39/1099.00 c #Conflicts: 330000 | #Constraints: 51925
1095.39/1099.00 c #Conflicts: 331000 | #Constraints: 52925
1095.39/1099.00 c #Conflicts: 332000 | #Constraints: 53925
1095.39/1099.00 c #Conflicts: 333000 | #Constraints: 54925
1095.39/1099.00 c INPROCESSING
1095.39/1099.00 c GARBAGE COLLECT
1095.39/1099.00 c #Conflicts: 334000 | #Constraints: 44534
1095.39/1099.00 c #Conflicts: 335000 | #Constraints: 45534
1095.39/1099.00 c #Conflicts: 336000 | #Constraints: 46534
1095.39/1099.00 c #Conflicts: 337000 | #Constraints: 47534
1095.39/1099.00 c #Conflicts: 338000 | #Constraints: 48534
1095.39/1099.00 c #Conflicts: 339000 | #Constraints: 49534
1095.39/1099.00 c #Conflicts: 340000 | #Constraints: 50534
1095.39/1099.00 c #Conflicts: 341000 | #Constraints: 51534
1095.39/1099.00 c #Conflicts: 342000 | #Constraints: 52534
1095.39/1099.00 c #Conflicts: 343000 | #Constraints: 53534
1095.39/1099.00 c #Conflicts: 344000 | #Constraints: 54534
1095.39/1099.00 c #Conflicts: 345000 | #Constraints: 55534
1095.39/1099.00 c INPROCESSING
1095.39/1099.00 c GARBAGE COLLECT
1095.39/1099.00 c #Conflicts: 346000 | #Constraints: 44934
1095.39/1099.00 c #Conflicts: 347000 | #Constraints: 45934
1095.39/1099.00 c #Conflicts: 348000 | #Constraints: 46934
1095.39/1099.00 c #Conflicts: 349000 | #Constraints: 47934
1095.39/1099.00 c #Conflicts: 350000 | #Constraints: 48934
1095.39/1099.00 c #Conflicts: 351000 | #Constraints: 49934
1095.39/1099.00 c #Conflicts: 352000 | #Constraints: 50934
1095.39/1099.00 c #Conflicts: 353000 | #Constraints: 51934
1095.39/1099.00 c #Conflicts: 354000 | #Constraints: 52934
1095.39/1099.00 c #Conflicts: 355000 | #Constraints: 53934
1095.39/1099.00 c #Conflicts: 356000 | #Constraints: 54934
1095.39/1099.00 c #Conflicts: 357000 | #Constraints: 55934
1095.39/1099.00 c INPROCESSING
1095.39/1099.00 c GARBAGE COLLECT
1095.39/1099.00 c #Conflicts: 358000 | #Constraints: 45137
1095.39/1099.00 c #Conflicts: 359000 | #Constraints: 46137
1296.17/1300.31 c #Conflicts: 360000 | #Constraints: 47137
1296.17/1300.31 c #Conflicts: 361000 | #Constraints: 48137
1296.17/1300.31 c #Conflicts: 362000 | #Constraints: 49137
1296.17/1300.31 c #Conflicts: 363000 | #Constraints: 50137
1296.17/1300.31 c #Conflicts: 364000 | #Constraints: 51137
1296.17/1300.31 c #Conflicts: 365000 | #Constraints: 52137
1296.17/1300.31 c #Conflicts: 366000 | #Constraints: 53137
1296.17/1300.31 c #Conflicts: 367000 | #Constraints: 54137
1296.17/1300.31 c #Conflicts: 368000 | #Constraints: 55137
1296.17/1300.31 c #Conflicts: 369000 | #Constraints: 56137
1296.17/1300.31 c INPROCESSING
1296.17/1300.31 c GARBAGE COLLECT
1296.17/1300.31 c #Conflicts: 370000 | #Constraints: 45126
1296.17/1300.31 c #Conflicts: 371000 | #Constraints: 46126
1296.17/1300.31 c #Conflicts: 372000 | #Constraints: 47126
1296.17/1300.31 c #Conflicts: 373000 | #Constraints: 48126
1296.17/1300.31 c #Conflicts: 374000 | #Constraints: 49126
1296.17/1300.31 c #Conflicts: 375000 | #Constraints: 50126
1296.17/1300.31 c #Conflicts: 376000 | #Constraints: 51126
1296.17/1300.31 c #Conflicts: 377000 | #Constraints: 52126
1296.17/1300.31 c #Conflicts: 378000 | #Constraints: 53126
1296.17/1300.31 c #Conflicts: 379000 | #Constraints: 54126
1296.17/1300.31 c #Conflicts: 380000 | #Constraints: 55126
1296.17/1300.31 c #Conflicts: 381000 | #Constraints: 56126
1296.17/1300.31 c INPROCESSING
1296.17/1300.31 c GARBAGE COLLECT
1296.17/1300.31 c #Conflicts: 382000 | #Constraints: 44927
1296.17/1300.31 c #Conflicts: 383000 | #Constraints: 45927
1296.17/1300.31 c #Conflicts: 384000 | #Constraints: 46927
1296.17/1300.31 c #Conflicts: 385000 | #Constraints: 47927
1296.17/1300.31 c #Conflicts: 386000 | #Constraints: 48927
1296.17/1300.31 c #Conflicts: 387000 | #Constraints: 49927
1296.17/1300.31 c #Conflicts: 388000 | #Constraints: 50927
1296.17/1300.31 c #Conflicts: 389000 | #Constraints: 51927
1296.17/1300.31 c #Conflicts: 390000 | #Constraints: 52927
1296.17/1300.31 c #Conflicts: 391000 | #Constraints: 53927
1296.17/1300.31 c #Conflicts: 392000 | #Constraints: 54927
1296.17/1300.31 c #Conflicts: 393000 | #Constraints: 55927
1296.17/1300.31 c #Conflicts: 394000 | #Constraints: 56927
1296.17/1300.31 c INPROCESSING
1296.17/1300.31 c GARBAGE COLLECT
1296.17/1300.31 c #Conflicts: 395000 | #Constraints: 45524
1296.17/1300.31 c #Conflicts: 396000 | #Constraints: 46524
1296.17/1300.31 c #Conflicts: 397000 | #Constraints: 47524
1296.17/1300.31 c #Conflicts: 398000 | #Constraints: 48524
1296.17/1300.31 c #Conflicts: 399000 | #Constraints: 49524
1296.17/1300.31 c #Conflicts: 400000 | #Constraints: 50524
1296.17/1300.31 c #Conflicts: 401000 | #Constraints: 51524
1296.17/1300.31 c #Conflicts: 402000 | #Constraints: 52524
1296.17/1300.31 c #Conflicts: 403000 | #Constraints: 53524
1296.17/1300.31 c #Conflicts: 404000 | #Constraints: 54524
1296.17/1300.31 c #Conflicts: 405000 | #Constraints: 55524
1296.17/1300.31 c #Conflicts: 406000 | #Constraints: 56524
1296.17/1300.31 c #Conflicts: 407000 | #Constraints: 57524
1296.17/1300.31 c INPROCESSING
1296.17/1300.31 c GARBAGE COLLECT
1296.17/1300.31 c #Conflicts: 408000 | #Constraints: 45922
1296.17/1300.31 c #Conflicts: 409000 | #Constraints: 46922
1296.17/1300.31 c #Conflicts: 410000 | #Constraints: 47922
1296.17/1300.31 c #Conflicts: 411000 | #Constraints: 48922
1296.17/1300.31 c #Conflicts: 412000 | #Constraints: 49922
1296.17/1300.31 c #Conflicts: 413000 | #Constraints: 50922
1296.17/1300.31 c #Conflicts: 414000 | #Constraints: 51922
1296.17/1300.31 c #Conflicts: 415000 | #Constraints: 52922
1296.17/1300.31 c #Conflicts: 416000 | #Constraints: 53922
1296.17/1300.31 c #Conflicts: 417000 | #Constraints: 54922
1296.17/1300.31 c #Conflicts: 418000 | #Constraints: 55922
1296.17/1300.31 c #Conflicts: 419000 | #Constraints: 56922
1296.17/1300.31 c #Conflicts: 420000 | #Constraints: 57922
1296.17/1300.31 c INPROCESSING
1296.17/1300.31 c GARBAGE COLLECT
1296.17/1300.31 c #Conflicts: 421000 | #Constraints: 46165
1296.17/1300.31 c #Conflicts: 422000 | #Constraints: 47165
1296.17/1300.31 c #Conflicts: 423000 | #Constraints: 48165
1296.17/1300.31 c #Conflicts: 424000 | #Constraints: 49165
1296.17/1300.31 c #Conflicts: 425000 | #Constraints: 50165
1296.17/1300.31 c #Conflicts: 426000 | #Constraints: 51165
1296.17/1300.31 c #Conflicts: 427000 | #Constraints: 52165
1296.17/1300.31 c #Conflicts: 428000 | #Constraints: 53165
1296.17/1300.31 c #Conflicts: 429000 | #Constraints: 54165
1296.17/1300.31 c #Conflicts: 430000 | #Constraints: 55165
1296.17/1300.31 c #Conflicts: 431000 | #Constraints: 56165
1296.17/1300.31 c #Conflicts: 432000 | #Constraints: 57165
1296.17/1300.31 c #Conflicts: 433000 | #Constraints: 58165
1296.17/1300.31 c INPROCESSING
1296.17/1300.31 c GARBAGE COLLECT
1296.17/1300.31 c #Conflicts: 434000 | #Constraints: 46145
1571.25/1576.37 c #Conflicts: 435000 | #Constraints: 47145
1571.25/1576.37 c #Conflicts: 436000 | #Constraints: 48145
1571.25/1576.37 c #Conflicts: 437000 | #Constraints: 49145
1571.25/1576.37 c #Conflicts: 438000 | #Constraints: 50145
1571.25/1576.37 c #Conflicts: 439000 | #Constraints: 51145
1571.25/1576.37 c #Conflicts: 440000 | #Constraints: 52145
1571.25/1576.37 c #Conflicts: 441000 | #Constraints: 53145
1571.25/1576.37 c #Conflicts: 442000 | #Constraints: 54145
1571.25/1576.37 c #Conflicts: 443000 | #Constraints: 55145
1571.25/1576.37 c #Conflicts: 444000 | #Constraints: 56145
1571.25/1576.37 c #Conflicts: 445000 | #Constraints: 57145
1571.25/1576.37 c #Conflicts: 446000 | #Constraints: 58145
1571.25/1576.37 c INPROCESSING
1571.25/1576.37 c GARBAGE COLLECT
1571.25/1576.37 c #Conflicts: 447000 | #Constraints: 45943
1571.25/1576.37 c #Conflicts: 448000 | #Constraints: 46943
1571.25/1576.37 c #Conflicts: 449000 | #Constraints: 47943
1571.25/1576.37 c #Conflicts: 450000 | #Constraints: 48943
1571.25/1576.37 c #Conflicts: 451000 | #Constraints: 49943
1571.25/1576.37 c #Conflicts: 452000 | #Constraints: 50943
1571.25/1576.37 c #Conflicts: 453000 | #Constraints: 51943
1571.25/1576.37 c #Conflicts: 454000 | #Constraints: 52943
1571.25/1576.37 c #Conflicts: 455000 | #Constraints: 53943
1571.25/1576.37 c #Conflicts: 456000 | #Constraints: 54943
1571.25/1576.37 c #Conflicts: 457000 | #Constraints: 55943
1571.25/1576.37 c #Conflicts: 458000 | #Constraints: 56943
1571.25/1576.37 c #Conflicts: 459000 | #Constraints: 57943
1571.25/1576.37 c #Conflicts: 460000 | #Constraints: 58943
1571.25/1576.37 c INPROCESSING
1571.25/1576.37 c GARBAGE COLLECT
1571.25/1576.37 c #Conflicts: 461000 | #Constraints: 46536
1571.25/1576.37 c #Conflicts: 462000 | #Constraints: 47536
1571.25/1576.37 c #Conflicts: 463000 | #Constraints: 48536
1571.25/1576.37 c #Conflicts: 464000 | #Constraints: 49536
1571.25/1576.37 c #Conflicts: 465000 | #Constraints: 50536
1571.25/1576.37 c #Conflicts: 466000 | #Constraints: 51536
1571.25/1576.37 c #Conflicts: 467000 | #Constraints: 52536
1571.25/1576.37 c #Conflicts: 468000 | #Constraints: 53536
1571.25/1576.37 c #Conflicts: 469000 | #Constraints: 54536
1571.25/1576.37 c #Conflicts: 470000 | #Constraints: 55536
1571.25/1576.37 c #Conflicts: 471000 | #Constraints: 56536
1571.25/1576.37 c #Conflicts: 472000 | #Constraints: 57536
1571.25/1576.37 c #Conflicts: 473000 | #Constraints: 58536
1571.25/1576.37 c #Conflicts: 474000 | #Constraints: 59536
1571.25/1576.37 c INPROCESSING
1571.25/1576.37 c GARBAGE COLLECT
1571.25/1576.37 c #Conflicts: 475000 | #Constraints: 46943
1571.25/1576.37 c #Conflicts: 476000 | #Constraints: 47943
1571.25/1576.37 c #Conflicts: 477000 | #Constraints: 48943
1571.25/1576.37 c #Conflicts: 478000 | #Constraints: 49943
1571.25/1576.37 c #Conflicts: 479000 | #Constraints: 50943
1571.25/1576.37 c #Conflicts: 480000 | #Constraints: 51943
1571.25/1576.37 c #Conflicts: 481000 | #Constraints: 52943
1571.25/1576.37 c #Conflicts: 482000 | #Constraints: 53943
1571.25/1576.37 c #Conflicts: 483000 | #Constraints: 54943
1571.25/1576.37 c #Conflicts: 484000 | #Constraints: 55943
1571.25/1576.37 c #Conflicts: 485000 | #Constraints: 56943
1571.25/1576.37 c #Conflicts: 486000 | #Constraints: 57943
1571.25/1576.37 c #Conflicts: 487000 | #Constraints: 58943
1571.25/1576.37 c #Conflicts: 488000 | #Constraints: 59943
1571.25/1576.37 c INPROCESSING
1571.25/1576.37 c GARBAGE COLLECT
1571.25/1576.37 c #Conflicts: 489000 | #Constraints: 47148
1571.25/1576.37 c #Conflicts: 490000 | #Constraints: 48148
1571.25/1576.37 c #Conflicts: 491000 | #Constraints: 49148
1571.25/1576.37 c #Conflicts: 492000 | #Constraints: 50148
1571.25/1576.37 c #Conflicts: 493000 | #Constraints: 51148
1571.25/1576.37 c #Conflicts: 494000 | #Constraints: 52148
1571.25/1576.37 c #Conflicts: 495000 | #Constraints: 53148
1571.25/1576.37 c #Conflicts: 496000 | #Constraints: 54148
1571.25/1576.37 c #Conflicts: 497000 | #Constraints: 55148
1571.25/1576.37 c #Conflicts: 498000 | #Constraints: 56148
1571.25/1576.37 c #Conflicts: 499000 | #Constraints: 57148
1571.25/1576.37 c #Conflicts: 500000 | #Constraints: 58148
1571.25/1576.37 c #Conflicts: 501000 | #Constraints: 59148
1571.25/1576.37 c #Conflicts: 502000 | #Constraints: 60148
1571.25/1576.37 c INPROCESSING
1571.25/1576.37 c GARBAGE COLLECT
1571.25/1576.37 c #Conflicts: 503000 | #Constraints: 47152
1571.25/1576.37 c #Conflicts: 504000 | #Constraints: 48152
1571.25/1576.37 c #Conflicts: 505000 | #Constraints: 49152
1571.25/1576.37 c #Conflicts: 506000 | #Constraints: 50152
1571.25/1576.37 c #Conflicts: 507000 | #Constraints: 51152
1571.25/1576.37 c #Conflicts: 508000 | #Constraints: 52152
1571.25/1576.37 c #Conflicts: 509000 | #Constraints: 53152
1571.25/1576.37 c #Conflicts: 510000 | #Constraints: 54152
1778.80/1784.65 c #Conflicts: 511000 | #Constraints: 55152
1778.80/1784.65 c #Conflicts: 512000 | #Constraints: 56152
1778.80/1784.65 c #Conflicts: 513000 | #Constraints: 57152
1778.80/1784.65 c #Conflicts: 514000 | #Constraints: 58152
1778.80/1784.65 c #Conflicts: 515000 | #Constraints: 59152
1778.80/1784.65 c #Conflicts: 516000 | #Constraints: 60152
1778.80/1784.65 c INPROCESSING
1778.80/1784.65 c GARBAGE COLLECT
1778.80/1784.65 c #Conflicts: 517000 | #Constraints: 46943
1778.80/1784.65 c #Conflicts: 518000 | #Constraints: 47943
1778.80/1784.65 c #Conflicts: 519000 | #Constraints: 48943
1778.80/1784.65 c #Conflicts: 520000 | #Constraints: 49943
1778.80/1784.65 c #Conflicts: 521000 | #Constraints: 50943
1778.80/1784.65 c #Conflicts: 522000 | #Constraints: 51943
1778.80/1784.65 c #Conflicts: 523000 | #Constraints: 52943
1778.80/1784.65 c #Conflicts: 524000 | #Constraints: 53943
1778.80/1784.65 c #Conflicts: 525000 | #Constraints: 54943
1778.80/1784.65 c #Conflicts: 526000 | #Constraints: 55943
1778.80/1784.65 c #Conflicts: 527000 | #Constraints: 56943
1778.80/1784.65 c #Conflicts: 528000 | #Constraints: 57943
1778.80/1784.65 c #Conflicts: 529000 | #Constraints: 58943
1778.80/1784.65 c #Conflicts: 530000 | #Constraints: 59943
1778.80/1784.65 c #Conflicts: 531000 | #Constraints: 60943
1778.80/1784.65 c INPROCESSING
1778.80/1784.65 c GARBAGE COLLECT
1778.80/1784.65 c #Conflicts: 532000 | #Constraints: 47525
1778.80/1784.65 c #Conflicts: 533000 | #Constraints: 48525
1778.80/1784.65 c #Conflicts: 534000 | #Constraints: 49525
1778.80/1784.65 c #Conflicts: 535000 | #Constraints: 50525
1778.80/1784.65 c #Conflicts: 536000 | #Constraints: 51525
1778.80/1784.65 c #Conflicts: 537000 | #Constraints: 52525
1778.80/1784.65 c #Conflicts: 538000 | #Constraints: 53525
1778.80/1784.65 c #Conflicts: 539000 | #Constraints: 54525
1778.80/1784.65 c #Conflicts: 540000 | #Constraints: 55525
1778.80/1784.65 c #Conflicts: 541000 | #Constraints: 56525
1778.80/1784.65 c #Conflicts: 542000 | #Constraints: 57525
1778.80/1784.65 c #Conflicts: 543000 | #Constraints: 58525
1778.80/1784.65 c #Conflicts: 544000 | #Constraints: 59525
1778.80/1784.65 c #Conflicts: 545000 | #Constraints: 60525
1778.80/1784.65 c #Conflicts: 546000 | #Constraints: 61525
1778.80/1784.65 c INPROCESSING
1778.80/1784.65 c GARBAGE COLLECT
1778.80/1784.65 c #Conflicts: 547000 | #Constraints: 47927
1778.80/1784.65 c #Conflicts: 548000 | #Constraints: 48927
1778.80/1784.65 c #Conflicts: 549000 | #Constraints: 49927
1778.80/1784.65 c #Conflicts: 550000 | #Constraints: 50927
1778.80/1784.65 c #Conflicts: 551000 | #Constraints: 51927
1778.80/1784.65 c #Conflicts: 552000 | #Constraints: 52927
1778.80/1784.65 c #Conflicts: 553000 | #Constraints: 53927
1778.80/1784.65 c #Conflicts: 554000 | #Constraints: 54927
1778.80/1784.65 c #Conflicts: 555000 | #Constraints: 55927
1778.80/1784.65 c #Conflicts: 556000 | #Constraints: 56927
1778.80/1784.65 c #Conflicts: 557000 | #Constraints: 57927
1778.80/1784.65 c #Conflicts: 558000 | #Constraints: 58927
1778.80/1784.65 c #Conflicts: 559000 | #Constraints: 59927
1778.80/1784.65 c #Conflicts: 560000 | #Constraints: 60927
1778.80/1784.65 c #Conflicts: 561000 | #Constraints: 61927
1778.80/1784.65 c INPROCESSING
1778.80/1784.65 c GARBAGE COLLECT
1778.80/1784.65 c #Conflicts: 562000 | #Constraints: 48142
1778.80/1784.65 c #Conflicts: 563000 | #Constraints: 49142
1778.80/1784.65 c #Conflicts: 564000 | #Constraints: 50142
1778.80/1784.65 c #Conflicts: 565000 | #Constraints: 51142
1778.80/1784.65 c #Conflicts: 566000 | #Constraints: 52142
1778.80/1784.65 c #Conflicts: 567000 | #Constraints: 53142
1778.80/1784.65 c #Conflicts: 568000 | #Constraints: 54142
1778.80/1784.65 c #Conflicts: 569000 | #Constraints: 55142
1778.80/1784.65 c #Conflicts: 570000 | #Constraints: 56142
1778.80/1784.65 c #Conflicts: 571000 | #Constraints: 57142
1778.80/1784.65 c #Conflicts: 572000 | #Constraints: 58142
1778.80/1784.65 c #Conflicts: 573000 | #Constraints: 59142
1778.80/1784.65 c #Conflicts: 574000 | #Constraints: 60142
1778.80/1784.65 c #Conflicts: 575000 | #Constraints: 61142
1778.80/1784.65 c #Conflicts: 576000 | #Constraints: 62142
1778.80/1784.65 c INPROCESSING
1778.80/1784.65 c GARBAGE COLLECT
1778.80/1784.65 c #Conflicts: 577000 | #Constraints: 48127
1778.80/1784.65 c #Conflicts: 578000 | #Constraints: 49127
1778.80/1784.65 c #Conflicts: 579000 | #Constraints: 50127
1778.80/1784.65 c #Conflicts: 580000 | #Constraints: 51127
1778.80/1784.65 c #Conflicts: 581000 | #Constraints: 52127
1778.80/1784.65 c #Conflicts: 582000 | #Constraints: 53127
1778.80/1784.65 c #Conflicts: 583000 | #Constraints: 54127
1778.80/1784.65 c #Conflicts: 584000 | #Constraints: 55127
1778.80/1784.65 c #Conflicts: 585000 | #Constraints: 56127
1778.80/1784.65 c #Conflicts: 586000 | #Constraints: 57127
1997.70/2004.23 c #Conflicts: 587000 | #Constraints: 58127
1997.70/2004.23 c #Conflicts: 588000 | #Constraints: 59127
1997.70/2004.23 c #Conflicts: 589000 | #Constraints: 60127
1997.70/2004.23 c #Conflicts: 590000 | #Constraints: 61127
1997.70/2004.23 c #Conflicts: 591000 | #Constraints: 62127
1997.70/2004.23 c INPROCESSING
1997.70/2004.23 c GARBAGE COLLECT
1997.70/2004.23 c #Conflicts: 592000 | #Constraints: 47918
1997.70/2004.23 c #Conflicts: 593000 | #Constraints: 48918
1997.70/2004.23 c #Conflicts: 594000 | #Constraints: 49918
1997.70/2004.23 c #Conflicts: 595000 | #Constraints: 50918
1997.70/2004.23 c #Conflicts: 596000 | #Constraints: 51918
1997.70/2004.23 c #Conflicts: 597000 | #Constraints: 52918
1997.70/2004.23 c #Conflicts: 598000 | #Constraints: 53918
1997.70/2004.23 c #Conflicts: 599000 | #Constraints: 54918
1997.70/2004.23 c #Conflicts: 600000 | #Constraints: 55918
1997.70/2004.23 c #Conflicts: 601000 | #Constraints: 56918
1997.70/2004.23 c #Conflicts: 602000 | #Constraints: 57918
1997.70/2004.23 c #Conflicts: 603000 | #Constraints: 58918
1997.70/2004.23 c #Conflicts: 604000 | #Constraints: 59918
1997.70/2004.23 c #Conflicts: 605000 | #Constraints: 60918
1997.70/2004.23 c #Conflicts: 606000 | #Constraints: 61918
1997.70/2004.23 c #Conflicts: 607000 | #Constraints: 62918
1997.70/2004.23 c INPROCESSING
1997.70/2004.23 c GARBAGE COLLECT
1997.70/2004.23 c #Conflicts: 608000 | #Constraints: 48533
1997.70/2004.23 c #Conflicts: 609000 | #Constraints: 49533
1997.70/2004.23 c #Conflicts: 610000 | #Constraints: 50533
1997.70/2004.23 c #Conflicts: 611000 | #Constraints: 51533
1997.70/2004.23 c #Conflicts: 612000 | #Constraints: 52533
1997.70/2004.23 c #Conflicts: 613000 | #Constraints: 53533
1997.70/2004.23 c #Conflicts: 614000 | #Constraints: 54533
1997.70/2004.23 c #Conflicts: 615000 | #Constraints: 55533
1997.70/2004.23 c #Conflicts: 616000 | #Constraints: 56533
1997.70/2004.23 c #Conflicts: 617000 | #Constraints: 57533
1997.70/2004.23 c #Conflicts: 618000 | #Constraints: 58533
1997.70/2004.23 c #Conflicts: 619000 | #Constraints: 59533
1997.70/2004.23 c #Conflicts: 620000 | #Constraints: 60533
1997.70/2004.23 c #Conflicts: 621000 | #Constraints: 61533
1997.70/2004.23 c #Conflicts: 622000 | #Constraints: 62533
1997.70/2004.23 c #Conflicts: 623000 | #Constraints: 63533
1997.70/2004.23 c INPROCESSING
1997.70/2004.23 c GARBAGE COLLECT
1997.70/2004.23 c #Conflicts: 624000 | #Constraints: 48924
1997.70/2004.23 c #Conflicts: 625000 | #Constraints: 49924
1997.70/2004.23 c #Conflicts: 626000 | #Constraints: 50924
1997.70/2004.23 c #Conflicts: 627000 | #Constraints: 51924
1997.70/2004.23 c #Conflicts: 628000 | #Constraints: 52924
1997.70/2004.23 c #Conflicts: 629000 | #Constraints: 53924
1997.70/2004.23 c #Conflicts: 630000 | #Constraints: 54924
1997.70/2004.23 c #Conflicts: 631000 | #Constraints: 55924
1997.70/2004.23 c #Conflicts: 632000 | #Constraints: 56924
1997.70/2004.23 c #Conflicts: 633000 | #Constraints: 57924
1997.70/2004.23 c #Conflicts: 634000 | #Constraints: 58924
1997.70/2004.23 c #Conflicts: 635000 | #Constraints: 59924
1997.70/2004.23 c #Conflicts: 636000 | #Constraints: 60924
1997.70/2004.23 c #Conflicts: 637000 | #Constraints: 61924
1997.70/2004.23 c #Conflicts: 638000 | #Constraints: 62924
1997.70/2004.23 c #Conflicts: 639000 | #Constraints: 63924
1997.70/2004.23 c INPROCESSING
1997.70/2004.23 c GARBAGE COLLECT
1997.70/2004.23 c #Conflicts: 640000 | #Constraints: 49124
1997.70/2004.23 c #Conflicts: 641000 | #Constraints: 50124
1997.70/2004.23 c #Conflicts: 642000 | #Constraints: 51124
1997.70/2004.23 c #Conflicts: 643000 | #Constraints: 52124
1997.70/2004.23 c #Conflicts: 644000 | #Constraints: 53124
1997.70/2004.23 c #Conflicts: 645000 | #Constraints: 54124
1997.70/2004.23 c #Conflicts: 646000 | #Constraints: 55124
1997.70/2004.23 c #Conflicts: 647000 | #Constraints: 56124
1997.70/2004.23 c #Conflicts: 648000 | #Constraints: 57124
1997.70/2004.23 c #Conflicts: 649000 | #Constraints: 58124
1997.70/2004.23 c #Conflicts: 650000 | #Constraints: 59124
1997.70/2004.23 c #Conflicts: 651000 | #Constraints: 60124
1997.70/2004.23 c #Conflicts: 652000 | #Constraints: 61124
1997.70/2004.23 c #Conflicts: 653000 | #Constraints: 62124
1997.70/2004.23 c #Conflicts: 654000 | #Constraints: 63124
1997.70/2004.23 c #Conflicts: 655000 | #Constraints: 64124
1997.70/2004.23 c INPROCESSING
1997.70/2004.23 c GARBAGE COLLECT
1997.70/2004.23 c #Conflicts: 656000 | #Constraints: 49129
1997.70/2004.23 c #Conflicts: 657000 | #Constraints: 50129
1997.70/2004.23 c #Conflicts: 658000 | #Constraints: 51129
1997.70/2004.23 c #Conflicts: 659000 | #Constraints: 52129
1997.70/2004.23 c #Conflicts: 660000 | #Constraints: 53129
1997.70/2004.23 c #Conflicts: 661000 | #Constraints: 54129
2204.90/2212.08 c #Conflicts: 662000 | #Constraints: 55129
2204.90/2212.08 c #Conflicts: 663000 | #Constraints: 56129
2204.90/2212.08 c #Conflicts: 664000 | #Constraints: 57129
2204.90/2212.08 c #Conflicts: 665000 | #Constraints: 58129
2204.90/2212.08 c #Conflicts: 666000 | #Constraints: 59129
2204.90/2212.08 c #Conflicts: 667000 | #Constraints: 60129
2204.90/2212.08 c #Conflicts: 668000 | #Constraints: 61129
2204.90/2212.08 c #Conflicts: 669000 | #Constraints: 62129
2204.90/2212.08 c #Conflicts: 670000 | #Constraints: 63129
2204.90/2212.08 c #Conflicts: 671000 | #Constraints: 64129
2204.90/2212.08 c INPROCESSING
2204.90/2212.08 c GARBAGE COLLECT
2204.90/2212.08 c #Conflicts: 672000 | #Constraints: 48931
2204.90/2212.08 c #Conflicts: 673000 | #Constraints: 49931
2204.90/2212.08 c #Conflicts: 674000 | #Constraints: 50931
2204.90/2212.08 c #Conflicts: 675000 | #Constraints: 51931
2204.90/2212.08 c #Conflicts: 676000 | #Constraints: 52931
2204.90/2212.08 c #Conflicts: 677000 | #Constraints: 53931
2204.90/2212.08 c #Conflicts: 678000 | #Constraints: 54931
2204.90/2212.08 c #Conflicts: 679000 | #Constraints: 55931
2204.90/2212.08 c #Conflicts: 680000 | #Constraints: 56931
2204.90/2212.08 c #Conflicts: 681000 | #Constraints: 57931
2204.90/2212.08 c #Conflicts: 682000 | #Constraints: 58931
2204.90/2212.08 c #Conflicts: 683000 | #Constraints: 59931
2204.90/2212.08 c #Conflicts: 684000 | #Constraints: 60931
2204.90/2212.08 c #Conflicts: 685000 | #Constraints: 61931
2204.90/2212.08 c #Conflicts: 686000 | #Constraints: 62931
2204.90/2212.08 c #Conflicts: 687000 | #Constraints: 63931
2204.90/2212.08 c #Conflicts: 688000 | #Constraints: 64931
2204.90/2212.08 c INPROCESSING
2204.90/2212.08 c GARBAGE COLLECT
2204.90/2212.08 c #Conflicts: 689000 | #Constraints: 49523
2204.90/2212.08 c #Conflicts: 690000 | #Constraints: 50523
2204.90/2212.08 c #Conflicts: 691000 | #Constraints: 51523
2204.90/2212.08 c #Conflicts: 692000 | #Constraints: 52523
2204.90/2212.08 c #Conflicts: 693000 | #Constraints: 53523
2204.90/2212.08 c #Conflicts: 694000 | #Constraints: 54523
2204.90/2212.08 c #Conflicts: 695000 | #Constraints: 55523
2204.90/2212.08 c #Conflicts: 696000 | #Constraints: 56523
2204.90/2212.08 c #Conflicts: 697000 | #Constraints: 57523
2204.90/2212.08 c #Conflicts: 698000 | #Constraints: 58523
2204.90/2212.08 c #Conflicts: 699000 | #Constraints: 59523
2204.90/2212.08 c #Conflicts: 700000 | #Constraints: 60523
2204.90/2212.08 c #Conflicts: 701000 | #Constraints: 61523
2204.90/2212.08 c #Conflicts: 702000 | #Constraints: 62523
2204.90/2212.08 c #Conflicts: 703000 | #Constraints: 63523
2204.90/2212.08 c #Conflicts: 704000 | #Constraints: 64523
2204.90/2212.08 c #Conflicts: 705000 | #Constraints: 65523
2204.90/2212.08 c INPROCESSING
2204.90/2212.08 c GARBAGE COLLECT
2204.90/2212.08 c #Conflicts: 706000 | #Constraints: 49923
2204.90/2212.08 c #Conflicts: 707000 | #Constraints: 50923
2204.90/2212.08 c #Conflicts: 708000 | #Constraints: 51923
2204.90/2212.08 c #Conflicts: 709000 | #Constraints: 52923
2204.90/2212.08 c #Conflicts: 710000 | #Constraints: 53923
2204.90/2212.08 c #Conflicts: 711000 | #Constraints: 54923
2204.90/2212.08 c #Conflicts: 712000 | #Constraints: 55923
2204.90/2212.08 c #Conflicts: 713000 | #Constraints: 56923
2204.90/2212.08 c #Conflicts: 714000 | #Constraints: 57923
2204.90/2212.08 c #Conflicts: 715000 | #Constraints: 58923
2204.90/2212.08 c #Conflicts: 716000 | #Constraints: 59923
2204.90/2212.08 c #Conflicts: 717000 | #Constraints: 60923
2204.90/2212.08 c #Conflicts: 718000 | #Constraints: 61923
2204.90/2212.08 c #Conflicts: 719000 | #Constraints: 62923
2204.90/2212.08 c #Conflicts: 720000 | #Constraints: 63923
2204.90/2212.08 c #Conflicts: 721000 | #Constraints: 64923
2204.90/2212.08 c #Conflicts: 722000 | #Constraints: 65923
2204.90/2212.08 c INPROCESSING
2204.90/2212.08 c GARBAGE COLLECT
2204.90/2212.08 c #Conflicts: 723000 | #Constraints: 50138
2204.90/2212.08 c #Conflicts: 724000 | #Constraints: 51138
2204.90/2212.08 c #Conflicts: 725000 | #Constraints: 52138
2204.90/2212.08 c #Conflicts: 726000 | #Constraints: 53138
2204.90/2212.08 c #Conflicts: 727000 | #Constraints: 54138
2204.90/2212.08 c #Conflicts: 728000 | #Constraints: 55138
2204.90/2212.08 c #Conflicts: 729000 | #Constraints: 56138
2204.90/2212.08 c #Conflicts: 730000 | #Constraints: 57138
2204.90/2212.08 c #Conflicts: 731000 | #Constraints: 58138
2204.90/2212.08 c #Conflicts: 732000 | #Constraints: 59138
2204.90/2212.08 c #Conflicts: 733000 | #Constraints: 60138
2204.90/2212.08 c #Conflicts: 734000 | #Constraints: 61138
2204.90/2212.08 c #Conflicts: 735000 | #Constraints: 62138
2204.90/2212.08 c #Conflicts: 736000 | #Constraints: 63138
2204.90/2212.08 c #Conflicts: 737000 | #Constraints: 64138
2385.27/2392.96 c #Conflicts: 738000 | #Constraints: 65138
2385.27/2392.96 c #Conflicts: 739000 | #Constraints: 66138
2385.27/2392.96 c INPROCESSING
2385.27/2392.96 c GARBAGE COLLECT
2385.27/2392.96 c #Conflicts: 740000 | #Constraints: 50141
2385.27/2392.96 c #Conflicts: 741000 | #Constraints: 51141
2385.27/2392.96 c #Conflicts: 742000 | #Constraints: 52141
2385.27/2392.96 c #Conflicts: 743000 | #Constraints: 53141
2385.27/2392.96 c #Conflicts: 744000 | #Constraints: 54141
2385.27/2392.96 c #Conflicts: 745000 | #Constraints: 55141
2385.27/2392.96 c #Conflicts: 746000 | #Constraints: 56141
2385.27/2392.96 c #Conflicts: 747000 | #Constraints: 57141
2385.27/2392.96 c #Conflicts: 748000 | #Constraints: 58141
2385.27/2392.96 c #Conflicts: 749000 | #Constraints: 59141
2385.27/2392.96 c #Conflicts: 750000 | #Constraints: 60141
2385.27/2392.96 c #Conflicts: 751000 | #Constraints: 61141
2385.27/2392.96 c #Conflicts: 752000 | #Constraints: 62141
2385.27/2392.96 c #Conflicts: 753000 | #Constraints: 63141
2385.27/2392.96 c #Conflicts: 754000 | #Constraints: 64141
2385.27/2392.96 c #Conflicts: 755000 | #Constraints: 65141
2385.27/2392.96 c #Conflicts: 756000 | #Constraints: 66141
2385.27/2392.96 c INPROCESSING
2385.27/2392.96 c GARBAGE COLLECT
2385.27/2392.96 c #Conflicts: 757000 | #Constraints: 49934
2385.27/2392.96 c #Conflicts: 758000 | #Constraints: 50934
2385.27/2392.96 c #Conflicts: 759000 | #Constraints: 51934
2385.27/2392.96 c #Conflicts: 760000 | #Constraints: 52934
2385.27/2392.96 c #Conflicts: 761000 | #Constraints: 53934
2385.27/2392.96 c #Conflicts: 762000 | #Constraints: 54934
2385.27/2392.96 c #Conflicts: 763000 | #Constraints: 55934
2385.27/2392.96 c #Conflicts: 764000 | #Constraints: 56934
2385.27/2392.96 c #Conflicts: 765000 | #Constraints: 57934
2385.27/2392.96 c #Conflicts: 766000 | #Constraints: 58934
2385.27/2392.96 c #Conflicts: 767000 | #Constraints: 59934
2385.27/2392.96 c #Conflicts: 768000 | #Constraints: 60934
2385.27/2392.96 c #Conflicts: 769000 | #Constraints: 61934
2385.27/2392.96 c #Conflicts: 770000 | #Constraints: 62934
2385.27/2392.96 c #Conflicts: 771000 | #Constraints: 63934
2385.27/2392.96 c #Conflicts: 772000 | #Constraints: 64934
2385.27/2392.96 c #Conflicts: 773000 | #Constraints: 65934
2385.27/2392.96 c #Conflicts: 774000 | #Constraints: 66934
2385.27/2392.96 c INPROCESSING
2385.27/2392.96 c GARBAGE COLLECT
2385.27/2392.96 c #Conflicts: 775000 | #Constraints: 50529
2385.27/2392.96 c #Conflicts: 776000 | #Constraints: 51529
2385.27/2392.96 c #Conflicts: 777000 | #Constraints: 52529
2385.27/2392.96 c #Conflicts: 778000 | #Constraints: 53529
2385.27/2392.96 c #Conflicts: 779000 | #Constraints: 54529
2385.27/2392.96 c #Conflicts: 780000 | #Constraints: 55529
2385.27/2392.96 c #Conflicts: 781000 | #Constraints: 56529
2385.27/2392.96 c #Conflicts: 782000 | #Constraints: 57529
2385.27/2392.96 c #Conflicts: 783000 | #Constraints: 58529
2385.27/2392.96 c #Conflicts: 784000 | #Constraints: 59529
2385.27/2392.96 c #Conflicts: 785000 | #Constraints: 60529
2385.27/2392.96 c #Conflicts: 786000 | #Constraints: 61529
2385.27/2392.96 c #Conflicts: 787000 | #Constraints: 62529
2385.27/2392.96 c #Conflicts: 788000 | #Constraints: 63529
2385.27/2392.96 c #Conflicts: 789000 | #Constraints: 64529
2385.27/2392.96 c #Conflicts: 790000 | #Constraints: 65529
2385.27/2392.96 c #Conflicts: 791000 | #Constraints: 66529
2385.27/2392.96 c #Conflicts: 792000 | #Constraints: 67529
2385.27/2392.96 c INPROCESSING
2385.27/2392.96 c GARBAGE COLLECT
2385.27/2392.96 c #Conflicts: 793000 | #Constraints: 50946
2385.27/2392.96 c #Conflicts: 794000 | #Constraints: 51946
2385.27/2392.96 c #Conflicts: 795000 | #Constraints: 52946
2385.27/2392.96 c #Conflicts: 796000 | #Constraints: 53946
2385.27/2392.96 c #Conflicts: 797000 | #Constraints: 54946
2385.27/2392.96 c #Conflicts: 798000 | #Constraints: 55946
2385.27/2392.96 c #Conflicts: 799000 | #Constraints: 56946
2385.27/2392.96 c #Conflicts: 800000 | #Constraints: 57946
2385.27/2392.96 c #Conflicts: 801000 | #Constraints: 58946
2385.27/2392.96 c #Conflicts: 802000 | #Constraints: 59946
2385.27/2392.96 c #Conflicts: 803000 | #Constraints: 60946
2385.27/2392.96 c #Conflicts: 804000 | #Constraints: 61946
2385.27/2392.96 c #Conflicts: 805000 | #Constraints: 62946
2385.27/2392.96 c #Conflicts: 806000 | #Constraints: 63946
2385.27/2392.96 c #Conflicts: 807000 | #Constraints: 64946
2385.27/2392.96 c #Conflicts: 808000 | #Constraints: 65946
2385.27/2392.96 c #Conflicts: 809000 | #Constraints: 66946
2385.27/2392.96 c #Conflicts: 810000 | #Constraints: 67946
2385.27/2392.96 c INPROCESSING
2385.27/2392.96 c GARBAGE COLLECT
2385.27/2392.96 c #Conflicts: 811000 | #Constraints: 51132
2385.27/2392.96 c #Conflicts: 812000 | #Constraints: 52132
2385.27/2392.96 c #Conflicts: 813000 | #Constraints: 53132
2576.03/2584.27 c #Conflicts: 814000 | #Constraints: 54132
2576.03/2584.27 c #Conflicts: 815000 | #Constraints: 55132
2576.03/2584.27 c #Conflicts: 816000 | #Constraints: 56132
2576.03/2584.27 c #Conflicts: 817000 | #Constraints: 57132
2576.03/2584.27 c #Conflicts: 818000 | #Constraints: 58132
2576.03/2584.27 c #Conflicts: 819000 | #Constraints: 59132
2576.03/2584.27 c #Conflicts: 820000 | #Constraints: 60132
2576.03/2584.27 c #Conflicts: 821000 | #Constraints: 61132
2576.03/2584.27 c #Conflicts: 822000 | #Constraints: 62132
2576.03/2584.27 c #Conflicts: 823000 | #Constraints: 63132
2576.03/2584.27 c #Conflicts: 824000 | #Constraints: 64132
2576.03/2584.27 c #Conflicts: 825000 | #Constraints: 65132
2576.03/2584.27 c #Conflicts: 826000 | #Constraints: 66132
2576.03/2584.27 c #Conflicts: 827000 | #Constraints: 67132
2576.03/2584.27 c #Conflicts: 828000 | #Constraints: 68132
2576.03/2584.27 c INPROCESSING
2576.03/2584.27 c GARBAGE COLLECT
2576.03/2584.27 c #Conflicts: 829000 | #Constraints: 51127
2576.03/2584.27 c #Conflicts: 830000 | #Constraints: 52127
2576.03/2584.27 c #Conflicts: 831000 | #Constraints: 53127
2576.03/2584.27 c #Conflicts: 832000 | #Constraints: 54127
2576.03/2584.27 c #Conflicts: 833000 | #Constraints: 55127
2576.03/2584.27 c #Conflicts: 834000 | #Constraints: 56127
2576.03/2584.27 c #Conflicts: 835000 | #Constraints: 57127
2576.03/2584.27 c #Conflicts: 836000 | #Constraints: 58127
2576.03/2584.27 c #Conflicts: 837000 | #Constraints: 59127
2576.03/2584.27 c #Conflicts: 838000 | #Constraints: 60127
2576.03/2584.27 c #Conflicts: 839000 | #Constraints: 61127
2576.03/2584.27 c #Conflicts: 840000 | #Constraints: 62127
2576.03/2584.27 c #Conflicts: 841000 | #Constraints: 63127
2576.03/2584.27 c #Conflicts: 842000 | #Constraints: 64127
2576.03/2584.27 c #Conflicts: 843000 | #Constraints: 65127
2576.03/2584.27 c #Conflicts: 844000 | #Constraints: 66127
2576.03/2584.27 c #Conflicts: 845000 | #Constraints: 67127
2576.03/2584.27 c #Conflicts: 846000 | #Constraints: 68127
2576.03/2584.27 c INPROCESSING
2576.03/2584.27 c GARBAGE COLLECT
2576.03/2584.27 c #Conflicts: 847000 | #Constraints: 50940
2576.03/2584.27 c #Conflicts: 848000 | #Constraints: 51940
2576.03/2584.27 c #Conflicts: 849000 | #Constraints: 52940
2576.03/2584.27 c #Conflicts: 850000 | #Constraints: 53940
2576.03/2584.27 c #Conflicts: 851000 | #Constraints: 54940
2576.03/2584.27 c #Conflicts: 852000 | #Constraints: 55940
2576.03/2584.27 c #Conflicts: 853000 | #Constraints: 56940
2576.03/2584.27 c #Conflicts: 854000 | #Constraints: 57940
2576.03/2584.27 c #Conflicts: 855000 | #Constraints: 58940
2576.03/2584.27 c #Conflicts: 856000 | #Constraints: 59940
2576.03/2584.27 c #Conflicts: 857000 | #Constraints: 60940
2576.03/2584.27 c #Conflicts: 858000 | #Constraints: 61940
2576.03/2584.27 c #Conflicts: 859000 | #Constraints: 62940
2576.03/2584.27 c #Conflicts: 860000 | #Constraints: 63940
2576.03/2584.27 c #Conflicts: 861000 | #Constraints: 64940
2576.03/2584.27 c #Conflicts: 862000 | #Constraints: 65940
2576.03/2584.27 c #Conflicts: 863000 | #Constraints: 66940
2576.03/2584.27 c #Conflicts: 864000 | #Constraints: 67940
2576.03/2584.27 c #Conflicts: 865000 | #Constraints: 68940
2576.03/2584.27 c INPROCESSING
2576.03/2584.27 c GARBAGE COLLECT
2576.03/2584.27 c #Conflicts: 866000 | #Constraints: 51554
2576.03/2584.27 c #Conflicts: 867000 | #Constraints: 52554
2576.03/2584.27 c #Conflicts: 868000 | #Constraints: 53554
2576.03/2584.27 c #Conflicts: 869000 | #Constraints: 54554
2576.03/2584.27 c #Conflicts: 870000 | #Constraints: 55554
2576.03/2584.27 c #Conflicts: 871000 | #Constraints: 56554
2576.03/2584.27 c #Conflicts: 872000 | #Constraints: 57554
2576.03/2584.27 c #Conflicts: 873000 | #Constraints: 58554
2576.03/2584.27 c #Conflicts: 874000 | #Constraints: 59554
2576.03/2584.27 c #Conflicts: 875000 | #Constraints: 60554
2576.03/2584.27 c #Conflicts: 876000 | #Constraints: 61554
2576.03/2584.27 c #Conflicts: 877000 | #Constraints: 62554
2576.03/2584.27 c #Conflicts: 878000 | #Constraints: 63554
2576.03/2584.27 c #Conflicts: 879000 | #Constraints: 64554
2576.03/2584.27 c #Conflicts: 880000 | #Constraints: 65554
2576.03/2584.27 c #Conflicts: 881000 | #Constraints: 66554
2576.03/2584.27 c #Conflicts: 882000 | #Constraints: 67554
2576.03/2584.27 c #Conflicts: 883000 | #Constraints: 68554
2576.03/2584.27 c #Conflicts: 884000 | #Constraints: 69554
2576.03/2584.27 c INPROCESSING
2576.03/2584.27 c GARBAGE COLLECT
2576.03/2584.27 c #Conflicts: 885000 | #Constraints: 51952
2576.03/2584.27 c #Conflicts: 886000 | #Constraints: 52952
2576.03/2584.27 c #Conflicts: 887000 | #Constraints: 53952
2576.03/2584.27 c #Conflicts: 888000 | #Constraints: 54952
2576.03/2584.27 c #Conflicts: 889000 | #Constraints: 55952
2775.66/2784.46 c #Conflicts: 890000 | #Constraints: 56952
2775.66/2784.46 c #Conflicts: 891000 | #Constraints: 57952
2775.66/2784.46 c #Conflicts: 892000 | #Constraints: 58952
2775.66/2784.46 c #Conflicts: 893000 | #Constraints: 59952
2775.66/2784.46 c #Conflicts: 894000 | #Constraints: 60952
2775.66/2784.46 c #Conflicts: 895000 | #Constraints: 61952
2775.66/2784.46 c #Conflicts: 896000 | #Constraints: 62952
2775.66/2784.46 c #Conflicts: 897000 | #Constraints: 63952
2775.66/2784.46 c #Conflicts: 898000 | #Constraints: 64952
2775.66/2784.46 c #Conflicts: 899000 | #Constraints: 65952
2775.66/2784.46 c #Conflicts: 900000 | #Constraints: 66952
2775.66/2784.46 c #Conflicts: 901000 | #Constraints: 67952
2775.66/2784.46 c #Conflicts: 902000 | #Constraints: 68952
2775.66/2784.46 c #Conflicts: 903000 | #Constraints: 69952
2775.66/2784.46 c INPROCESSING
2775.66/2784.46 c GARBAGE COLLECT
2775.66/2784.46 c #Conflicts: 904000 | #Constraints: 52151
2775.66/2784.46 c #Conflicts: 905000 | #Constraints: 53151
2775.66/2784.46 c #Conflicts: 906000 | #Constraints: 54151
2775.66/2784.46 c #Conflicts: 907000 | #Constraints: 55151
2775.66/2784.46 c #Conflicts: 908000 | #Constraints: 56151
2775.66/2784.46 c #Conflicts: 909000 | #Constraints: 57151
2775.66/2784.46 c #Conflicts: 910000 | #Constraints: 58151
2775.66/2784.46 c #Conflicts: 911000 | #Constraints: 59151
2775.66/2784.46 c #Conflicts: 912000 | #Constraints: 60151
2775.66/2784.46 c #Conflicts: 913000 | #Constraints: 61151
2775.66/2784.46 c #Conflicts: 914000 | #Constraints: 62151
2775.66/2784.46 c #Conflicts: 915000 | #Constraints: 63151
2775.66/2784.46 c #Conflicts: 916000 | #Constraints: 64151
2775.66/2784.46 c #Conflicts: 917000 | #Constraints: 65151
2775.66/2784.46 c #Conflicts: 918000 | #Constraints: 66151
2775.66/2784.46 c #Conflicts: 919000 | #Constraints: 67151
2775.66/2784.46 c #Conflicts: 920000 | #Constraints: 68151
2775.66/2784.46 c #Conflicts: 921000 | #Constraints: 69151
2775.66/2784.46 c #Conflicts: 922000 | #Constraints: 70151
2775.66/2784.46 c INPROCESSING
2775.66/2784.46 c GARBAGE COLLECT
2775.66/2784.46 c #Conflicts: 923000 | #Constraints: 52135
2775.66/2784.46 c #Conflicts: 924000 | #Constraints: 53135
2775.66/2784.46 c #Conflicts: 925000 | #Constraints: 54135
2775.66/2784.46 c #Conflicts: 926000 | #Constraints: 55135
2775.66/2784.46 c #Conflicts: 927000 | #Constraints: 56135
2775.66/2784.46 c #Conflicts: 928000 | #Constraints: 57135
2775.66/2784.46 c #Conflicts: 929000 | #Constraints: 58135
2775.66/2784.46 c #Conflicts: 930000 | #Constraints: 59135
2775.66/2784.46 c #Conflicts: 931000 | #Constraints: 60135
2775.66/2784.46 c #Conflicts: 932000 | #Constraints: 61135
2775.66/2784.46 c #Conflicts: 933000 | #Constraints: 62135
2775.66/2784.46 c #Conflicts: 934000 | #Constraints: 63135
2775.66/2784.46 c #Conflicts: 935000 | #Constraints: 64135
2775.66/2784.46 c #Conflicts: 936000 | #Constraints: 65135
2775.66/2784.46 c #Conflicts: 937000 | #Constraints: 66135
2775.66/2784.46 c #Conflicts: 938000 | #Constraints: 67135
2775.66/2784.46 c #Conflicts: 939000 | #Constraints: 68135
2775.66/2784.46 c #Conflicts: 940000 | #Constraints: 69135
2775.66/2784.46 c #Conflicts: 941000 | #Constraints: 70135
2775.66/2784.46 c INPROCESSING
2775.66/2784.46 c GARBAGE COLLECT
2775.66/2784.46 c #Conflicts: 942000 | #Constraints: 51950
2775.66/2784.46 c #Conflicts: 943000 | #Constraints: 52950
2775.66/2784.46 c #Conflicts: 944000 | #Constraints: 53950
2775.66/2784.46 c #Conflicts: 945000 | #Constraints: 54950
2775.66/2784.46 c #Conflicts: 946000 | #Constraints: 55950
2775.66/2784.46 c #Conflicts: 947000 | #Constraints: 56950
2775.66/2784.46 c #Conflicts: 948000 | #Constraints: 57950
2775.66/2784.46 c #Conflicts: 949000 | #Constraints: 58950
2775.66/2784.46 c #Conflicts: 950000 | #Constraints: 59950
2775.66/2784.46 c #Conflicts: 951000 | #Constraints: 60950
2775.66/2784.46 c #Conflicts: 952000 | #Constraints: 61950
2775.66/2784.46 c #Conflicts: 953000 | #Constraints: 62950
2775.66/2784.46 c #Conflicts: 954000 | #Constraints: 63950
2775.66/2784.46 c #Conflicts: 955000 | #Constraints: 64950
2775.66/2784.46 c #Conflicts: 956000 | #Constraints: 65950
2775.66/2784.46 c #Conflicts: 957000 | #Constraints: 66950
2775.66/2784.46 c #Conflicts: 958000 | #Constraints: 67950
2775.66/2784.46 c #Conflicts: 959000 | #Constraints: 68950
2775.66/2784.46 c #Conflicts: 960000 | #Constraints: 69950
2775.66/2784.46 c #Conflicts: 961000 | #Constraints: 70950
2775.66/2784.46 c INPROCESSING
2775.66/2784.46 c GARBAGE COLLECT
2775.66/2784.46 c #Conflicts: 962000 | #Constraints: 52557
2775.66/2784.46 c #Conflicts: 963000 | #Constraints: 53557
2775.66/2784.46 c #Conflicts: 964000 | #Constraints: 54557
2775.66/2784.46 c #Conflicts: 965000 | #Constraints: 55557
2775.66/2784.46 c #Conflicts: 966000 | #Constraints: 56557
3095.55/3105.24 c #Conflicts: 967000 | #Constraints: 57557
3095.55/3105.24 c #Conflicts: 968000 | #Constraints: 58557
3095.55/3105.24 c #Conflicts: 969000 | #Constraints: 59557
3095.55/3105.24 c #Conflicts: 970000 | #Constraints: 60557
3095.55/3105.24 c #Conflicts: 971000 | #Constraints: 61557
3095.55/3105.24 c #Conflicts: 972000 | #Constraints: 62557
3095.55/3105.24 c #Conflicts: 973000 | #Constraints: 63557
3095.55/3105.24 c #Conflicts: 974000 | #Constraints: 64557
3095.55/3105.24 c #Conflicts: 975000 | #Constraints: 65557
3095.55/3105.24 c #Conflicts: 976000 | #Constraints: 66557
3095.55/3105.24 c #Conflicts: 977000 | #Constraints: 67557
3095.55/3105.24 c #Conflicts: 978000 | #Constraints: 68557
3095.55/3105.24 c #Conflicts: 979000 | #Constraints: 69557
3095.55/3105.24 c #Conflicts: 980000 | #Constraints: 70557
3095.55/3105.24 c #Conflicts: 981000 | #Constraints: 71557
3095.55/3105.24 c INPROCESSING
3095.55/3105.24 c GARBAGE COLLECT
3095.55/3105.24 c #Conflicts: 982000 | #Constraints: 52936
3095.55/3105.24 c #Conflicts: 983000 | #Constraints: 53936
3095.55/3105.24 c #Conflicts: 984000 | #Constraints: 54936
3095.55/3105.24 c #Conflicts: 985000 | #Constraints: 55936
3095.55/3105.24 c #Conflicts: 986000 | #Constraints: 56936
3095.55/3105.24 c #Conflicts: 987000 | #Constraints: 57936
3095.55/3105.24 c #Conflicts: 988000 | #Constraints: 58936
3095.55/3105.24 c #Conflicts: 989000 | #Constraints: 59936
3095.55/3105.24 c #Conflicts: 990000 | #Constraints: 60936
3095.55/3105.24 c #Conflicts: 991000 | #Constraints: 61936
3095.55/3105.24 c #Conflicts: 992000 | #Constraints: 62936
3095.55/3105.24 c #Conflicts: 993000 | #Constraints: 63936
3095.55/3105.24 c #Conflicts: 994000 | #Constraints: 64936
3095.55/3105.24 c #Conflicts: 995000 | #Constraints: 65936
3095.55/3105.24 c #Conflicts: 996000 | #Constraints: 66936
3095.55/3105.24 c #Conflicts: 997000 | #Constraints: 67936
3095.55/3105.24 c #Conflicts: 998000 | #Constraints: 68936
3095.55/3105.24 c #Conflicts: 999000 | #Constraints: 69936
3095.55/3105.24 c #Conflicts: 1000000 | #Constraints: 70936
3095.55/3105.24 c #Conflicts: 1001000 | #Constraints: 71936
3095.55/3105.24 c INPROCESSING
3095.55/3105.24 c GARBAGE COLLECT
3095.55/3105.24 c #Conflicts: 1002000 | #Constraints: 53168
3095.55/3105.24 c #Conflicts: 1003000 | #Constraints: 54168
3095.55/3105.24 c #Conflicts: 1004000 | #Constraints: 55168
3095.55/3105.24 c #Conflicts: 1005000 | #Constraints: 56168
3095.55/3105.24 c #Conflicts: 1006000 | #Constraints: 57168
3095.55/3105.24 c #Conflicts: 1007000 | #Constraints: 58168
3095.55/3105.24 c #Conflicts: 1008000 | #Constraints: 59168
3095.55/3105.24 c #Conflicts: 1009000 | #Constraints: 60168
3095.55/3105.24 c #Conflicts: 1010000 | #Constraints: 61168
3095.55/3105.24 c #Conflicts: 1011000 | #Constraints: 62168
3095.55/3105.24 c #Conflicts: 1012000 | #Constraints: 63168
3095.55/3105.24 c #Conflicts: 1013000 | #Constraints: 64168
3095.55/3105.24 c #Conflicts: 1014000 | #Constraints: 65168
3095.55/3105.24 c #Conflicts: 1015000 | #Constraints: 66168
3095.55/3105.24 c #Conflicts: 1016000 | #Constraints: 67168
3095.55/3105.24 c #Conflicts: 1017000 | #Constraints: 68168
3095.55/3105.24 c #Conflicts: 1018000 | #Constraints: 69168
3095.55/3105.24 c #Conflicts: 1019000 | #Constraints: 70168
3095.55/3105.24 c #Conflicts: 1020000 | #Constraints: 71168
3095.55/3105.24 c #Conflicts: 1021000 | #Constraints: 72168
3095.55/3105.24 c INPROCESSING
3095.55/3105.24 c GARBAGE COLLECT
3095.55/3105.24 c #Conflicts: 1022000 | #Constraints: 53158
3095.55/3105.24 c #Conflicts: 1023000 | #Constraints: 54158
3095.55/3105.24 c #Conflicts: 1024000 | #Constraints: 55158
3095.55/3105.24 c #Conflicts: 1025000 | #Constraints: 56158
3095.55/3105.24 c #Conflicts: 1026000 | #Constraints: 57158
3095.55/3105.24 c #Conflicts: 1027000 | #Constraints: 58158
3095.55/3105.24 c #Conflicts: 1028000 | #Constraints: 59158
3095.55/3105.24 c #Conflicts: 1029000 | #Constraints: 60158
3095.55/3105.24 c #Conflicts: 1030000 | #Constraints: 61158
3095.55/3105.24 c #Conflicts: 1031000 | #Constraints: 62158
3095.55/3105.24 c #Conflicts: 1032000 | #Constraints: 63158
3095.55/3105.24 c #Conflicts: 1033000 | #Constraints: 64158
3095.55/3105.24 c #Conflicts: 1034000 | #Constraints: 65158
3095.55/3105.24 c #Conflicts: 1035000 | #Constraints: 66158
3095.55/3105.24 c #Conflicts: 1036000 | #Constraints: 67158
3095.55/3105.24 c #Conflicts: 1037000 | #Constraints: 68158
3095.55/3105.24 c #Conflicts: 1038000 | #Constraints: 69158
3095.55/3105.24 c #Conflicts: 1039000 | #Constraints: 70158
3095.55/3105.24 c #Conflicts: 1040000 | #Constraints: 71158
3095.55/3105.24 c #Conflicts: 1041000 | #Constraints: 72158
3095.55/3105.24 c INPROCESSING
3095.55/3105.24 c GARBAGE COLLECT
3095.55/3105.24 c #Conflicts: 1042000 | #Constraints: 52941
3396.59/3407.15 c #Conflicts: 1043000 | #Constraints: 53941
3396.59/3407.15 c #Conflicts: 1044000 | #Constraints: 54941
3396.59/3407.15 c #Conflicts: 1045000 | #Constraints: 55941
3396.59/3407.15 c #Conflicts: 1046000 | #Constraints: 56941
3396.59/3407.15 c #Conflicts: 1047000 | #Constraints: 57941
3396.59/3407.15 c #Conflicts: 1048000 | #Constraints: 58941
3396.59/3407.15 c #Conflicts: 1049000 | #Constraints: 59941
3396.59/3407.15 c #Conflicts: 1050000 | #Constraints: 60941
3396.59/3407.15 c #Conflicts: 1051000 | #Constraints: 61941
3396.59/3407.15 c #Conflicts: 1052000 | #Constraints: 62941
3396.59/3407.15 c #Conflicts: 1053000 | #Constraints: 63941
3396.59/3407.15 c #Conflicts: 1054000 | #Constraints: 64941
3396.59/3407.15 c #Conflicts: 1055000 | #Constraints: 65941
3396.59/3407.15 c #Conflicts: 1056000 | #Constraints: 66941
3396.59/3407.15 c #Conflicts: 1057000 | #Constraints: 67941
3396.59/3407.15 c #Conflicts: 1058000 | #Constraints: 68941
3396.59/3407.15 c #Conflicts: 1059000 | #Constraints: 69941
3396.59/3407.15 c #Conflicts: 1060000 | #Constraints: 70941
3396.59/3407.15 c #Conflicts: 1061000 | #Constraints: 71941
3396.59/3407.15 c #Conflicts: 1062000 | #Constraints: 72941
3396.59/3407.15 c INPROCESSING
3396.59/3407.15 c GARBAGE COLLECT
3396.59/3407.15 c #Conflicts: 1063000 | #Constraints: 53548
3396.59/3407.15 c #Conflicts: 1064000 | #Constraints: 54548
3396.59/3407.15 c #Conflicts: 1065000 | #Constraints: 55548
3396.59/3407.15 c #Conflicts: 1066000 | #Constraints: 56548
3396.59/3407.15 c #Conflicts: 1067000 | #Constraints: 57548
3396.59/3407.15 c #Conflicts: 1068000 | #Constraints: 58548
3396.59/3407.15 c #Conflicts: 1069000 | #Constraints: 59548
3396.59/3407.15 c #Conflicts: 1070000 | #Constraints: 60548
3396.59/3407.15 c #Conflicts: 1071000 | #Constraints: 61548
3396.59/3407.15 c #Conflicts: 1072000 | #Constraints: 62548
3396.59/3407.15 c #Conflicts: 1073000 | #Constraints: 63548
3396.59/3407.15 c #Conflicts: 1074000 | #Constraints: 64548
3396.59/3407.15 c #Conflicts: 1075000 | #Constraints: 65548
3396.59/3407.15 c #Conflicts: 1076000 | #Constraints: 66548
3396.59/3407.15 c #Conflicts: 1077000 | #Constraints: 67548
3396.59/3407.15 c #Conflicts: 1078000 | #Constraints: 68548
3396.59/3407.15 c #Conflicts: 1079000 | #Constraints: 69548
3396.59/3407.15 c #Conflicts: 1080000 | #Constraints: 70548
3396.59/3407.15 c #Conflicts: 1081000 | #Constraints: 71548
3396.59/3407.15 c #Conflicts: 1082000 | #Constraints: 72548
3396.59/3407.15 c #Conflicts: 1083000 | #Constraints: 73548
3396.59/3407.15 c INPROCESSING
3396.59/3407.15 c GARBAGE COLLECT
3396.59/3407.15 c #Conflicts: 1084000 | #Constraints: 53962
3396.59/3407.15 c #Conflicts: 1085000 | #Constraints: 54962
3396.59/3407.15 c #Conflicts: 1086000 | #Constraints: 55962
3396.59/3407.15 c #Conflicts: 1087000 | #Constraints: 56962
3396.59/3407.15 c #Conflicts: 1088000 | #Constraints: 57962
3396.59/3407.15 c #Conflicts: 1089000 | #Constraints: 58962
3396.59/3407.15 c #Conflicts: 1090000 | #Constraints: 59962
3396.59/3407.15 c #Conflicts: 1091000 | #Constraints: 60962
3396.59/3407.15 c #Conflicts: 1092000 | #Constraints: 61962
3396.59/3407.15 c #Conflicts: 1093000 | #Constraints: 62962
3396.59/3407.15 c #Conflicts: 1094000 | #Constraints: 63962
3396.59/3407.15 c #Conflicts: 1095000 | #Constraints: 64962
3396.59/3407.15 c #Conflicts: 1096000 | #Constraints: 65962
3396.59/3407.15 c #Conflicts: 1097000 | #Constraints: 66962
3396.59/3407.15 c #Conflicts: 1098000 | #Constraints: 67962
3396.59/3407.15 c #Conflicts: 1099000 | #Constraints: 68962
3396.59/3407.15 c #Conflicts: 1100000 | #Constraints: 69962
3396.59/3407.15 c #Conflicts: 1101000 | #Constraints: 70962
3396.59/3407.15 c #Conflicts: 1102000 | #Constraints: 71962
3396.59/3407.15 c #Conflicts: 1103000 | #Constraints: 72962
3396.59/3407.15 c #Conflicts: 1104000 | #Constraints: 73962
3396.59/3407.15 c INPROCESSING
3396.59/3407.15 c GARBAGE COLLECT
3396.59/3407.15 c #Conflicts: 1105000 | #Constraints: 54133
3396.59/3407.15 c #Conflicts: 1106000 | #Constraints: 55133
3396.59/3407.15 c #Conflicts: 1107000 | #Constraints: 56133
3396.59/3407.15 c #Conflicts: 1108000 | #Constraints: 57133
3396.59/3407.15 c #Conflicts: 1109000 | #Constraints: 58133
3396.59/3407.15 c #Conflicts: 1110000 | #Constraints: 59133
3396.59/3407.15 c #Conflicts: 1111000 | #Constraints: 60133
3396.59/3407.15 c #Conflicts: 1112000 | #Constraints: 61133
3396.59/3407.15 c #Conflicts: 1113000 | #Constraints: 62133
3396.59/3407.15 c #Conflicts: 1114000 | #Constraints: 63133
3396.59/3407.15 c #Conflicts: 1115000 | #Constraints: 64133
3396.59/3407.15 c #Conflicts: 1116000 | #Constraints: 65133
3396.59/3407.15 c #Conflicts: 1117000 | #Constraints: 66133
3396.59/3407.15 c #Conflicts: 1118000 | #Constraints: 67133
3396.59/3407.15 c #Conflicts: 1119000 | #Constraints: 68133
3600.01/3611.11 c #Conflicts: 1120000 | #Constraints: 69133
3600.01/3611.11 c #Conflicts: 1121000 | #Constraints: 70133
3600.01/3611.11 c #Conflicts: 1122000 | #Constraints: 71133
3600.01/3611.11 c #Conflicts: 1123000 | #Constraints: 72133
3600.01/3611.11 c #Conflicts: 1124000 | #Constraints: 73133
3600.01/3611.11 c #Conflicts: 1125000 | #Constraints: 74133
3600.01/3611.11 c INPROCESSING
3600.01/3611.11 c GARBAGE COLLECT
3600.01/3611.11 c #Conflicts: 1126000 | #Constraints: 54125
3600.01/3611.11 c #Conflicts: 1127000 | #Constraints: 55125
3600.01/3611.11 c #Conflicts: 1128000 | #Constraints: 56125
3600.01/3611.11 c #Conflicts: 1129000 | #Constraints: 57125
3600.01/3611.11 c #Conflicts: 1130000 | #Constraints: 58125
3600.01/3611.11 c #Conflicts: 1131000 | #Constraints: 59125
3600.01/3611.11 c #Conflicts: 1132000 | #Constraints: 60125
3600.01/3611.11 c #Conflicts: 1133000 | #Constraints: 61125
3600.01/3611.11 c #Conflicts: 1134000 | #Constraints: 62125
3600.01/3611.11 c #Conflicts: 1135000 | #Constraints: 63125
3600.01/3611.11 c #Conflicts: 1136000 | #Constraints: 64125
3600.01/3611.11 c #Conflicts: 1137000 | #Constraints: 65125
3600.01/3611.11 c #Conflicts: 1138000 | #Constraints: 66125
3600.01/3611.11 c #Conflicts: 1139000 | #Constraints: 67125
3600.01/3611.11 c #Conflicts: 1140000 | #Constraints: 68125
3600.01/3611.11 c #Conflicts: 1141000 | #Constraints: 69125
3600.01/3611.11 c #Conflicts: 1142000 | #Constraints: 70125
3600.01/3611.11 c #Conflicts: 1143000 | #Constraints: 71125
3600.01/3611.11 c #Conflicts: 1144000 | #Constraints: 72125
3600.01/3611.11 c #Conflicts: 1145000 | #Constraints: 73125
3600.01/3611.11 c #Conflicts: 1146000 | #Constraints: 74125
3600.01/3611.11 c INPROCESSING
3600.01/3611.11 c GARBAGE COLLECT
3600.01/3611.11 c #Conflicts: 1147000 | #Constraints: 53934
3600.01/3611.11 c #Conflicts: 1148000 | #Constraints: 54934
3600.01/3611.11 c #Conflicts: 1149000 | #Constraints: 55934
3600.01/3611.11 c #Conflicts: 1150000 | #Constraints: 56934
3600.01/3611.11 c #Conflicts: 1151000 | #Constraints: 57934
3600.01/3611.11 c #Conflicts: 1152000 | #Constraints: 58934
3600.01/3611.11 c #Conflicts: 1153000 | #Constraints: 59934
3600.01/3611.11 c #Conflicts: 1154000 | #Constraints: 60934
3600.01/3611.11 c #Conflicts: 1155000 | #Constraints: 61934
3600.01/3611.11 c #Conflicts: 1156000 | #Constraints: 62934
3600.01/3611.11 c #Conflicts: 1157000 | #Constraints: 63934
3600.01/3611.11 c #Conflicts: 1158000 | #Constraints: 64934
3600.01/3611.11 c #Conflicts: 1159000 | #Constraints: 65934
3600.01/3611.11 c #Conflicts: 1160000 | #Constraints: 66934
3600.01/3611.11 c #Conflicts: 1161000 | #Constraints: 67934
3600.01/3611.11 c #Conflicts: 1162000 | #Constraints: 68934
3600.01/3611.11 c #Conflicts: 1163000 | #Constraints: 69934
3600.01/3611.11 c #Conflicts: 1164000 | #Constraints: 70934
3600.01/3611.11 c #Conflicts: 1165000 | #Constraints: 71934
3600.01/3611.11 c #Conflicts: 1166000 | #Constraints: 72934
3600.01/3611.11 c #Conflicts: 1167000 | #Constraints: 73934
3600.01/3611.11 c #Conflicts: 1168000 | #Constraints: 74934
3600.01/3611.11 c INPROCESSING
3600.01/3611.11 c GARBAGE COLLECT
3600.01/3611.11 c #Conflicts: 1169000 | #Constraints: 54546
3600.01/3611.11 c #Conflicts: 1170000 | #Constraints: 55546
3600.01/3611.11 c #Conflicts: 1171000 | #Constraints: 56546
3600.01/3611.11 c #Conflicts: 1172000 | #Constraints: 57546
3600.01/3611.11 c #Conflicts: 1173000 | #Constraints: 58546
3600.01/3611.11 c #Conflicts: 1174000 | #Constraints: 59546
3600.01/3611.11 c #Conflicts: 1175000 | #Constraints: 60546
3600.01/3611.11 c #Conflicts: 1176000 | #Constraints: 61546
3600.01/3611.11 c #Conflicts: 1177000 | #Constraints: 62546
3600.01/3611.11 c #Conflicts: 1178000 | #Constraints: 63546
3600.01/3611.11 c #Conflicts: 1179000 | #Constraints: 64546
3600.01/3611.11 c #Conflicts: 1180000 | #Constraints: 65546
3600.01/3611.11 c #Conflicts: 1181000 | #Constraints: 66546
3600.01/3611.11 c #Conflicts: 1182000 | #Constraints: 67546
3600.01/3611.11 c Program interrupted by user.
3600.01/3611.11 c cpu time 3590.36 s
3600.01/3611.11 c deterministic time 852061104385 8.52e+11
3600.01/3611.11 c optimization time 42.9463 s
3600.01/3611.11 c total solve time 3248.17 s
3600.01/3611.11 c core-guided solve time 3248.17 s
3600.01/3611.11 c propagation time 2228.82 s
3600.01/3611.11 c conflict analysis time 971.526 s
3600.01/3611.11 c propagations 702278600
3600.01/3611.11 c resolve steps 40202646
3600.01/3611.11 c decisions 6130468
3600.01/3611.11 c conflicts 1182962
3600.01/3611.11 c restarts 2210
3600.01/3611.11 c inprocessing phases 99
3600.01/3611.11 c input clauses 32242
3600.01/3611.11 c input cardinalities 6
3600.01/3611.11 c input general constraints 0
3600.01/3611.11 c input average constraint length 2.68
3600.01/3611.11 c input average constraint degree 1.05
3600.01/3611.11 c learned clauses 863151
3600.01/3611.11 c learned cardinalities 11400
3600.01/3611.11 c learned general constraints 308414
3600.01/3611.11 c learned average constraint length 1943.61
3600.01/3611.11 c learned average constraint degree 1272927.40
3600.01/3611.11 c watched constraints 255349
3600.01/3611.11 c counting constraints 53065
3600.01/3611.11 c gcd simplifications 5593
3600.01/3611.11 c detected cardinalities 18
3600.01/3611.11 c weakened non-implied lits 394852219
3600.01/3611.11 c weakened non-implying lits 106578
3600.01/3611.11 c original variables 8901
3600.01/3611.11 c clausal propagations 623893673
3600.01/3611.11 c cardinality propagations 20904481
3600.01/3611.11 c watched propagations 11843818
3600.01/3611.11 c counting propagations 41410944
3600.01/3611.11 c watch lookups 13133764483
3600.01/3611.11 c watch backjump lookups 9478753235
3600.01/3611.11 c watch checks 759810787915
3600.01/3611.11 c propagation checks 62112253843
3600.01/3611.11 c constraint additions 6107550369
3600.01/3611.11 c trail pops 709585471
3600.01/3611.11 c formula constraints 32242
3600.01/3611.11 c learned constraints 1182965
3600.01/3611.11 c bound constraints 6
3600.01/3611.11 c core-guided constraints 0
3600.01/3611.11 c encountered formula constraints 36362971
3600.01/3611.11 c encountered learned constraints 5022582
3600.01/3611.11 c encountered bound constraints 55
3600.01/3611.11 c encountered core-guided constraints 0
3600.01/3611.11 c LP total time 0 s
3600.01/3611.11 c LP solve time 0 s
3600.01/3611.11 c LP constraints added 0
3600.01/3611.11 c LP constraints removed 0
3600.01/3611.11 c LP pivots internal 0
3600.01/3611.11 c LP pivots root 0
3600.01/3611.11 c LP calls 0
3600.01/3611.11 c LP optimalities 0
3600.01/3611.11 c LP no pivot count 0
3600.01/3611.11 c LP infeasibilities 0
3600.01/3611.11 c LP valid Farkas constraints 0
3600.01/3611.11 c LP learned Farkas constraints 0
3600.01/3611.11 c LP basis resets 0
3600.01/3611.11 c LP cycling count 0
3600.01/3611.11 c LP singular count 0
3600.01/3611.11 c LP no primal count 0
3600.01/3611.11 c LP no farkas count 0
3600.01/3611.11 c LP other issue count 0
3600.01/3611.11 c LP Gomory cuts 0
3600.01/3611.11 c LP learned cuts 0
3600.01/3611.11 c LP deleted cuts 0
3600.01/3611.11 c LP encountered Gomory constraints 0
3600.01/3611.11 c LP encountered Farkas constraints 0
3600.01/3611.11 c LP encountered learned Farkas constraints 0
3600.01/3611.11 c CG auxiliary variables introduced 0
3600.01/3611.11 c CG solutions found 0
3600.01/3611.11 c CG cores constructed 5
3600.01/3611.11 c CG core cardinality constraints returned 0
3600.01/3611.11 c CG unit cores 0
3600.01/3611.11 c CG single cores 5
3600.01/3611.11 c CG blocks removed during cardinality reduction 0
3600.01/3611.11 c CG first core best 0
3600.01/3611.11 c CG decision core best 0
3600.01/3611.11 c CG core reduction tie 0
3600.01/3611.11 c CG core degree average 1.00
3600.01/3611.11 c CG core slack average 82.20
3600.01/3611.11 c CG exhausted 0
3600.01/3611.11 c CG exhaust time 0 s
3600.01/3611.11 c CG trimmed 0
3600.01/3611.11 c CG trim time 0.000909 s
3600.01/3611.11 c CG minimized 0
3600.01/3611.11 c CG minimize time 0 s
3600.01/3611.11 c CG am1 prop time 0.001975 s
3600.01/3611.11 c CG # am1s reformulated 0
3600.01/3611.11 c CG lower bound derived from am1s 0
3600.01/3611.11 c CG # clausal cores 5
3600.01/3611.11 c CG # cardinality cores 0
3600.01/3611.11 c CG # pb cores 0
3600.01/3611.11 c CG # pb reforms 0
3600.01/3611.11 c CG # cores discarded because of pb reform 0
3600.01/3611.11 d LOWERBOUND 5
3600.01/3611.11 d NCORES 5
3600.01/3611.11 d NPBCORES 0
3600.01/3611.11 d NPBREFORM 0
3600.01/3611.11 d NTRIMMED 0
3600.01/3611.11 d NEXHAUSTED 0
3600.01/3611.11 d NAM1S 0
3600.01/3611.11 d AM1LB 0
3600.01/3611.11 c [Papilo Statistics]
3600.01/3611.11 c prepro time 0.0983875s
3600.01/3611.11 c # tsx applied 51
3600.01/3611.11 c # tsx conflicts 0
3600.01/3611.11 c # bound changes 5
3600.01/3611.11 c # side changes 34
3600.01/3611.11 c # coef changes 119
3600.01/3611.11 c # rounds 2
3600.01/3611.11 c # deted vars 22
3600.01/3611.11 c # deted constrs 56
3600.01/3611.11 c # consecutive rounds of only bound changes 0
3600.01/3611.11 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (62898 MiB free)
memory of node 1: 64465 MiB (63552 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529015-1752258848/watcher-4529015-1752258848 -o /tmp/evaluation-result-4529015-1752258848/solver-4529015-1752258848 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1752258848-113062 --watchdog 3760 mixed-bag HOME/instance-4529015-1752258848.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=113115, runsolver pid=113107
Current StackSize limit: 8192 KiB
[startup+0.100072 s]*
/proc/loadavg: 0.88 1.07 1.56 6/252 113120
/proc/meminfo: memFree=129472048/131382120 swapFree=33010160/33010684
[pid=113115] ppid=113107 vsize=84728 memory=13076 CPUtime=0.09 cores=1,3
/proc/113115/stat : 113115 (mixed-bag) R 113107 113115 113047 0 -1 4194304 1875 0 0 0 8 1 0 0 20 0 1 0 141563984 86761472 3269 18446744073709551615 4235264 15840557 140733862573872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56127488 140733862582682 140733862582759 140733862582759 140733862588363 0
/proc/113115/statm: 21182 3269 2144 2834 0 3934 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 84728 KiB
Current children cumulated memory: 13076 KiB
[startup+0.212813 s]*
/proc/loadavg: 0.88 1.07 1.56 6/252 113120
/proc/meminfo: memFree=129447664/131382120 swapFree=33010160/33010684
[pid=113115] ppid=113107 vsize=86776 memory=15408 CPUtime=0.2 cores=1,3
/proc/113115/stat : 113115 (mixed-bag) R 113107 113115 113047 0 -1 4194304 2456 0 0 0 19 1 0 0 20 0 1 0 141563984 88858624 3852 18446744073709551615 4235264 15840557 140733862573872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56127488 140733862582682 140733862582759 140733862582759 140733862588363 0
/proc/113115/statm: 21694 3852 2144 2834 0 4446 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 86776 KiB
Current children cumulated memory: 15408 KiB
[startup+0.313681 s]*
/proc/loadavg: 0.88 1.07 1.56 6/252 113120
/proc/meminfo: memFree=129367528/131382120 swapFree=33010160/33010684
[pid=113115] ppid=113107 vsize=111396 memory=32092 CPUtime=0.3 cores=1,3
/proc/113115/stat : 113115 (mixed-bag) R 113107 113115 113047 0 -1 4194304 7183 0 0 0 27 3 0 0 20 0 1 0 141563984 114069504 8023 18446744073709551615 4235264 15840557 140733862573872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56127488 140733862582682 140733862582759 140733862582759 140733862588363 0
/proc/113115/statm: 27849 8023 2304 2834 0 10054 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 111396 KiB
Current children cumulated memory: 32092 KiB
[startup+0.700317 s]
/proc/loadavg: 0.88 1.07 1.56 6/252 113120
/proc/meminfo: memFree=129253256/131382120 swapFree=33010160/33010684
[pid=113115] ppid=113107 vsize=179256 memory=102564 CPUtime=0.67 cores=1,3
/proc/113115/stat : 113115 (mixed-bag) R 113107 113115 113047 0 -1 4194304 23801 0 0 0 59 8 0 0 20 0 1 0 141563984 183558144 25609 18446744073709551615 4235264 15840557 140733862573872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56127488 140733862582682 140733862582759 140733862582759 140733862588363 0
/proc/113115/statm: 44814 25641 3968 2834 0 27019 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 179256 KiB
Current children cumulated memory: 102564 KiB
[startup+1.50028 s]
/proc/loadavg: 0.88 1.07 1.56 6/252 113120
/proc/meminfo: memFree=129069564/131382120 swapFree=33010160/33010684
[pid=113115] ppid=113107 vsize=240656 memory=154216 CPUtime=1.46 cores=1,3
/proc/113115/stat : 113115 (mixed-bag) R 113107 113115 113047 0 -1 4194304 40314 0 0 0 134 12 0 0 20 0 1 0 141563984 246431744 38554 18446744073709551615 4235264 15840557 140733862573872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56127488 140733862582682 140733862582759 140733862582759 140733862588363 0
/proc/113115/statm: 60164 38554 4096 2834 0 42369 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 240656 KiB
Current children cumulated memory: 154216 KiB
[startup+3.11209 s]
/proc/loadavg: 0.88 1.07 1.56 6/252 113120
/proc/meminfo: memFree=128523752/131382120 swapFree=33010160/33010684
[pid=113115] ppid=113107 vsize=323256 memory=232348 CPUtime=3.07 cores=1,3
/proc/113115/stat : 113115 (mixed-bag) R 113107 113115 113047 0 -1 4194304 61003 0 0 0 290 17 0 0 20 0 1 0 141563984 331014144 58087 18446744073709551615 4235264 15840557 140733862573872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56127488 140733862582682 140733862582759 140733862582759 140733862588363 0
/proc/113115/statm: 80814 58087 4256 2834 0 63019 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 323256 KiB
Current children cumulated memory: 232348 KiB
[startup+6.30026 s]
/proc/loadavg: 1.13 1.12 1.58 6/252 113120
/proc/meminfo: memFree=127026640/131382120 swapFree=33010160/33010684
[pid=113115] ppid=113107 vsize=338872 memory=245404 CPUtime=6.25 cores=1,3
/proc/113115/stat : 113115 (mixed-bag) R 113107 113115 113047 0 -1 4194304 64266 0 0 0 607 18 0 0 20 0 1 0 141563984 347004928 61351 18446744073709551615 4235264 15840557 140733862573872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56127488 140733862582682 140733862582759 140733862582759 140733862588363 0
/proc/113115/statm: 84718 61351 4256 2834 0 66923 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 338872 KiB
Current children cumulated memory: 245404 KiB
[startup+12.7003 s]
/proc/loadavg: 1.36 1.17 1.59 6/249 113155
/proc/meminfo: memFree=128348788/131382120 swapFree=33010160/33010684
[pid=113115] ppid=113107 vsize=376992 memory=265372 CPUtime=12.62 cores=1,3
/proc/113115/stat : 113115 (mixed-bag) R 113107 113115 113047 0 -1 4194304 69276 0 0 0 1242 20 0 0 20 0 1 0 141563984 386039808 66343 18446744073709551615 4235264 15840557 140733862573872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56127488 140733862582682 140733862582759 140733862582759 140733862588363 0
/proc/113115/statm: 94248 66343 4256 2834 0 76453 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 376992 KiB
Current children cumulated memory: 265372 KiB
[startup+25.5003 s]
/proc/loadavg: 1.94 1.31 1.63 6/252 113166
/proc/meminfo: memFree=125620404/131382120 swapFree=33010160/33010684
[pid=113115] ppid=113107 vsize=382684 memory=271004 CPUtime=25.38 cores=1,3
/proc/113115/stat : 113115 (mixed-bag) R 113107 113115 113047 0 -1 4194304 70706 0 0 0 2517 21 0 0 20 0 1 0 141563984 391868416 67751 18446744073709551615 4235264 15840557 140733862573872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56127488 140733862582682 140733862582759 140733862582759 140733862588363 0
/proc/113115/statm: 95671 67751 4256 2834 0 77876 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 382684 KiB
Current children cumulated memory: 271004 KiB
[startup+51.1121 s]
/proc/loadavg: 2.71 1.54 1.70 6/251 113166
/proc/meminfo: memFree=117337724/131382120 swapFree=33010160/33010684
[pid=113115] ppid=113107 vsize=450596 memory=337820 CPUtime=50.9 cores=1,3
/proc/113115/stat : 113115 (mixed-bag) R 113107 113115 113047 0 -1 4194304 87435 0 0 0 5066 24 0 0 20 0 1 0 141563984 461410304 84455 18446744073709551615 4235264 15840557 140733862573872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56127488 140733862582682 140733862582759 140733862582759 140733862588363 0
/proc/113115/statm: 112649 84455 4256 2834 0 94854 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 450596 KiB
Current children cumulated memory: 337820 KiB
[startup+102.3 s]
/proc/loadavg: 3.56 1.95 1.83 7/252 113236
/proc/meminfo: memFree=128074188/131382120 swapFree=33010160/33010684
[pid=113115] ppid=113107 vsize=450596 memory=337948 CPUtime=101.91 cores=1,3
/proc/113115/stat : 113115 (mixed-bag) R 113107 113115 113047 0 -1 4194304 87450 0 0 0 10167 24 0 0 20 0 1 0 141563984 461410304 84487 18446744073709551615 4235264 15840557 140733862573872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56127488 140733862582682 140733862582759 140733862582759 140733862588363 0
/proc/113115/statm: 112649 84487 4256 2834 0 94854 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 450596 KiB
Current children cumulated memory: 337948 KiB
[startup+162.3 s]
/proc/loadavg: 3.96 2.36 1.98 6/254 113453
/proc/meminfo: memFree=120827436/131382120 swapFree=33010160/33010684
[pid=113115] ppid=113107 vsize=450596 memory=338204 CPUtime=161.69 cores=1,3
/proc/113115/stat : 113115 (mixed-bag) R 113107 113115 113047 0 -1 4194304 87519 0 0 0 16143 26 0 0 20 0 1 0 141563984 461410304 84551 18446744073709551615 4235264 15840557 140733862573872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56127488 140733862582682 140733862582759 140733862582759 140733862588363 0
/proc/113115/statm: 112649 84551 4256 2834 0 94854 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 450596 KiB
Current children cumulated memory: 338204 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.68 2.12 6/254 113455
/proc/meminfo: memFree=116473104/131382120 swapFree=33010160/33010684
[pid=113115] ppid=113107 vsize=450596 memory=338588 CPUtime=221.48 cores=1,3
/proc/113115/stat : 113115 (mixed-bag) R 113107 113115 113047 0 -1 4194304 87949 0 0 0 22121 27 0 0 20 0 1 0 141563984 461410304 84647 18446744073709551615 4235264 15840557 140733862573872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56127488 140733862582682 140733862582759 140733862582759 140733862588363 0
/proc/113115/statm: 112649 84647 4256 2834 0 94854 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 450596 KiB
Current children cumulated memory: 338588 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 2.93 2.24 6/256 113512
/proc/meminfo: memFree=119609324/131382120 swapFree=33010160/33010684
[pid=113115] ppid=113107 vsize=450596 memory=338716 CPUtime=281.27 cores=1,3
/proc/113115/stat : 113115 (mixed-bag) R 113107 113115 113047 0 -1 4194304 87979 0 0 0 28100 27 0 0 20 0 1 0 141563984 461410304 84679 18446744073709551615 4235264 15840557 140733862573872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56127488 140733862582682 140733862582759 140733862582759 140733862588363 0
/proc/113115/statm: 112649 84679 4256 2834 0 94854 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 450596 KiB
Current children cumulated memory: 338716 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 3.15 2.36 6/254 113611
/proc/meminfo: memFree=127656204/131382120 swapFree=33010160/33010684
[pid=113115] ppid=113107 vsize=477396 memory=385628 CPUtime=341.07 cores=1,3
/proc/113115/stat : 113115 (mixed-bag) R 113107 113115 113047 0 -1 4194304 90102 0 0 0 34047 60 0 0 20 0 1 0 141563984 488853504 96407 18446744073709551615 4235264 15840557 140733862573872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56127488 140733862582682 140733862582759 140733862582759 140733862588363 0
/proc/113115/statm: 119349 96407 4448 2834 0 101554 0
Current children cumulated CPU time: 341.07 s
Current children cumulated vsize: 477396 KiB
Current children cumulated memory: 385628 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 3.34 2.48 6/253 113613
/proc/meminfo: memFree=127892176/131382120 swapFree=33010160/33010684
[pid=113115] ppid=113107 vsize=508216 memory=403512 CPUtime=400.87 cores=1,3
/proc/113115/stat : 113115 (mixed-bag) R 113107 113115 113047 0 -1 4194304 90730 0 0 0 40000 87 0 0 20 0 1 0 141563984 520413184 100878 18446744073709551615 4235264 15840557 140733862573872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56127488 140733862582682 140733862582759 140733862582759 140733862588363 0
/proc/113115/statm: 127054 100878 4448 2834 0 109259 0
Current children cumulated CPU time: 400.87 s
Current children cumulated vsize: 508216 KiB
Current children cumulated memory: 403512 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.47 2.58 6/253 113615
/proc/meminfo: memFree=127802704/131382120 swapFree=33010160/33010684
[pid=113115] ppid=113107 vsize=558304 memory=450744 CPUtime=460.68 cores=1,3
/proc/113115/stat : 113115 (mixed-bag) R 113107 113115 113047 0 -1 4194304 91304 0 0 0 45959 109 0 0 20 0 1 0 141563984 571703296 112686 18446744073709551615 4235264 15840557 140733862573872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56127488 140733862582682 140733862582759 140733862582759 140733862588363 0
/proc/113115/statm: 139576 112686 4448 2834 0 121781 0
Current children cumulated CPU time: 460.68 s
################
# More data... #
################
Current children cumulated memory: 615384 KiB
[startup+2922.3 s]
/proc/loadavg: 4.19 4.11 4.02 6/249 113737
/proc/meminfo: memFree=127117448/131382120 swapFree=33010160/33010684
[pid=113115] ppid=113107 vsize=771952 memory=615384 CPUtime=2913.17 cores=1,3
/proc/113115/stat : 113115 (mixed-bag) R 113107 113115 113047 0 -1 4194304 93460 0 0 0 290494 823 0 0 20 0 1 0 141563984 790478848 153846 18446744073709551615 4235264 15840557 140733862573872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56127488 140733862582682 140733862582759 140733862582759 140733862588363 0
/proc/113115/statm: 192988 153846 4448 2834 0 175193 0
Current children cumulated CPU time: 2913.17 s
Current children cumulated vsize: 771952 KiB
Current children cumulated memory: 615384 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.09 4.01 6/250 113740
/proc/meminfo: memFree=127103904/131382120 swapFree=33010160/33010684
[pid=113115] ppid=113107 vsize=771952 memory=615384 CPUtime=2972.99 cores=1,3
/proc/113115/stat : 113115 (mixed-bag) R 113107 113115 113047 0 -1 4194304 93460 0 0 0 296468 831 0 0 20 0 1 0 141563984 790478848 153846 18446744073709551615 4235264 15840557 140733862573872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56127488 140733862582682 140733862582759 140733862582759 140733862588363 0
/proc/113115/statm: 192988 153846 4448 2834 0 175193 0
Current children cumulated CPU time: 2972.99 s
Current children cumulated vsize: 771952 KiB
Current children cumulated memory: 615384 KiB
[startup+3042.3 s]
/proc/loadavg: 4.06 4.09 4.01 6/251 113743
/proc/meminfo: memFree=127075468/131382120 swapFree=33010160/33010684
[pid=113115] ppid=113107 vsize=771952 memory=644056 CPUtime=3032.82 cores=1,3
/proc/113115/stat : 113115 (mixed-bag) R 113107 113115 113047 0 -1 4194304 93475 0 0 0 302441 841 0 0 20 0 1 0 141563984 790478848 161014 18446744073709551615 4235264 15840557 140733862573872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56127488 140733862582682 140733862582759 140733862582759 140733862588363 0
/proc/113115/statm: 192988 161014 4448 2834 0 175193 0
Current children cumulated CPU time: 3032.82 s
Current children cumulated vsize: 771952 KiB
Current children cumulated memory: 644056 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.10 4.02 6/251 113747
/proc/meminfo: memFree=127075640/131382120 swapFree=33010160/33010684
[pid=113115] ppid=113107 vsize=771952 memory=644056 CPUtime=3092.65 cores=1,3
/proc/113115/stat : 113115 (mixed-bag) R 113107 113115 113047 0 -1 4194304 93475 0 0 0 308415 850 0 0 20 0 1 0 141563984 790478848 161014 18446744073709551615 4235264 15840557 140733862573872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56127488 140733862582682 140733862582759 140733862582759 140733862588363 0
/proc/113115/statm: 192988 161014 4448 2834 0 175193 0
Current children cumulated CPU time: 3092.65 s
Current children cumulated vsize: 771952 KiB
Current children cumulated memory: 644056 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.02 6/251 113749
/proc/meminfo: memFree=127075688/131382120 swapFree=33010160/33010684
[pid=113115] ppid=113107 vsize=771952 memory=644056 CPUtime=3152.48 cores=1,3
/proc/113115/stat : 113115 (mixed-bag) R 113107 113115 113047 0 -1 4194304 93475 0 0 0 314387 861 0 0 20 0 1 0 141563984 790478848 161014 18446744073709551615 4235264 15840557 140733862573872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56127488 140733862582682 140733862582759 140733862582759 140733862588363 0
/proc/113115/statm: 192988 161014 4448 2834 0 175193 0
Current children cumulated CPU time: 3152.48 s
Current children cumulated vsize: 771952 KiB
Current children cumulated memory: 644056 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.09 4.02 6/251 113755
/proc/meminfo: memFree=127071532/131382120 swapFree=33010160/33010684
[pid=113115] ppid=113107 vsize=771952 memory=644056 CPUtime=3212.32 cores=1,3
/proc/113115/stat : 113115 (mixed-bag) R 113107 113115 113047 0 -1 4194304 93476 0 0 0 320358 874 0 0 20 0 1 0 141563984 790478848 161014 18446744073709551615 4235264 15840557 140733862573872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56127488 140733862582682 140733862582759 140733862582759 140733862588363 0
/proc/113115/statm: 192988 161014 4448 2834 0 175193 0
Current children cumulated CPU time: 3212.32 s
Current children cumulated vsize: 771952 KiB
Current children cumulated memory: 644056 KiB
[startup+3282.3 s]
/proc/loadavg: 4.38 4.15 4.04 6/251 113757
/proc/meminfo: memFree=127062968/131382120 swapFree=33010160/33010684
[pid=113115] ppid=113107 vsize=771952 memory=644056 CPUtime=3272.13 cores=1,3
/proc/113115/stat : 113115 (mixed-bag) R 113107 113115 113047 0 -1 4194304 93476 0 0 0 326331 882 0 0 20 0 1 0 141563984 790478848 161014 18446744073709551615 4235264 15840557 140733862573872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56127488 140733862582682 140733862582759 140733862582759 140733862588363 0
/proc/113115/statm: 192988 161014 4448 2834 0 175193 0
Current children cumulated CPU time: 3272.13 s
Current children cumulated vsize: 771952 KiB
Current children cumulated memory: 644056 KiB
[startup+3342.3 s]
/proc/loadavg: 4.63 4.29 4.10 6/249 113758
/proc/meminfo: memFree=127014440/131382120 swapFree=33010160/33010684
[pid=113115] ppid=113107 vsize=771952 memory=654296 CPUtime=3331.96 cores=1,3
/proc/113115/stat : 113115 (mixed-bag) R 113107 113115 113047 0 -1 4194304 93481 0 0 0 332301 895 0 0 20 0 1 0 141563984 790478848 163574 18446744073709551615 4235264 15840557 140733862573872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56127488 140733862582682 140733862582759 140733862582759 140733862588363 0
/proc/113115/statm: 192988 163574 4448 2834 0 175193 0
Current children cumulated CPU time: 3331.96 s
Current children cumulated vsize: 771952 KiB
Current children cumulated memory: 654296 KiB
[startup+3402.3 s]
/proc/loadavg: 4.55 4.31 4.11 6/249 113760
/proc/meminfo: memFree=126994012/131382120 swapFree=33010160/33010684
[pid=113115] ppid=113107 vsize=771952 memory=654296 CPUtime=3391.79 cores=1,3
/proc/113115/stat : 113115 (mixed-bag) R 113107 113115 113047 0 -1 4194304 93482 0 0 0 338269 910 0 0 20 0 1 0 141563984 790478848 163574 18446744073709551615 4235264 15840557 140733862573872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56127488 140733862582682 140733862582759 140733862582759 140733862588363 0
/proc/113115/statm: 192988 163574 4448 2834 0 175193 0
Current children cumulated CPU time: 3391.79 s
Current children cumulated vsize: 771952 KiB
Current children cumulated memory: 654296 KiB
[startup+3462.3 s]
/proc/loadavg: 4.66 4.41 4.16 6/249 113762
/proc/meminfo: memFree=126994092/131382120 swapFree=33010160/33010684
[pid=113115] ppid=113107 vsize=771952 memory=654296 CPUtime=3451.62 cores=1,3
/proc/113115/stat : 113115 (mixed-bag) R 113107 113115 113047 0 -1 4194304 93630 0 0 0 344236 926 0 0 20 0 1 0 141563984 790478848 163574 18446744073709551615 4235264 15840557 140733862573872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56127488 140733862582682 140733862582759 140733862582759 140733862588363 0
/proc/113115/statm: 192988 163574 4448 2834 0 175193 0
Current children cumulated CPU time: 3451.62 s
Current children cumulated vsize: 771952 KiB
Current children cumulated memory: 654296 KiB
[startup+3522.3 s]
/proc/loadavg: 5.56 4.70 4.28 6/249 113764
/proc/meminfo: memFree=126993840/131382120 swapFree=33010160/33010684
[pid=113115] ppid=113107 vsize=771952 memory=654296 CPUtime=3511.45 cores=1,3
/proc/113115/stat : 113115 (mixed-bag) R 113107 113115 113047 0 -1 4194304 93676 0 0 0 350202 943 0 0 20 0 1 0 141563984 790478848 163574 18446744073709551615 4235264 15840557 140733862573872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56127488 140733862582682 140733862582759 140733862582759 140733862588363 0
/proc/113115/statm: 192988 163574 4448 2834 0 175193 0
Current children cumulated CPU time: 3511.45 s
Current children cumulated vsize: 771952 KiB
Current children cumulated memory: 654296 KiB
[startup+3582.3 s]
/proc/loadavg: 4.73 4.63 4.28 6/249 113766
/proc/meminfo: memFree=126993964/131382120 swapFree=33010160/33010684
[pid=113115] ppid=113107 vsize=771952 memory=654296 CPUtime=3571.28 cores=1,3
/proc/113115/stat : 113115 (mixed-bag) R 113107 113115 113047 0 -1 4194304 93678 0 0 0 356171 957 0 0 20 0 1 0 141563984 790478848 163574 18446744073709551615 4235264 15840557 140733862573872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56127488 140733862582682 140733862582759 140733862582759 140733862588363 0
/proc/113115/statm: 192988 163574 4448 2834 0 175193 0
Current children cumulated CPU time: 3571.28 s
Current children cumulated vsize: 771952 KiB
Current children cumulated memory: 654296 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.11 s]
/proc/loadavg: 4.44 4.57 4.27 6/249 113768
/proc/meminfo: memFree=126994160/131382120 swapFree=33010160/33010684
[pid=113115] ppid=113107 vsize=771952 memory=654296 CPUtime=3600.01 cores=1,3
/proc/113115/stat : 113115 (mixed-bag) R 113107 113115 113047 0 -1 4194304 93678 0 0 0 359036 965 0 0 20 0 1 0 141563984 790478848 163574 18446744073709551615 4235264 15840557 140733862573872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56127488 140733862582682 140733862582759 140733862582759 140733862588363 0
/proc/113115/statm: 192988 163574 4448 2834 0 175193 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 771952 KiB
Current children cumulated memory: 654296 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.12 s]
# the end of solver process 113115 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.37 s, system=9.65238 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.11 s]
/proc/loadavg: 4.44 4.57 4.27 6/249 113768
/proc/meminfo: memFree=126994160/131382120 swapFree=33010160/33010684
[pid=113115] ppid=113107 vsize=771952 memory=654296 CPUtime=3600.01 cores=1,3
/proc/113115/stat : 113115 (mixed-bag) R 113107 113115 113047 0 -1 4194304 93678 0 0 0 359036 965 0 0 20 0 1 0 141563984 790478848 163574 18446744073709551615 4235264 15840557 140733862573872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56127488 140733862582682 140733862582759 140733862582759 140733862588363 0
/proc/113115/statm: 192988 163574 4448 2834 0 175193 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 771952 KiB
Current children cumulated memory: 654296 KiB
Child status: 0
Real time (s): 3611.12
CPU time (s): 3600.02
CPU user time (s): 3590.37
CPU system time (s): 9.65238
CPU usage (%): 99.6927
Max. virtual memory (cumulated for all children) (KiB): 771952
Max. memory (cumulated for all children) (KiB): 654296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.37
system time used= 9.65239
maximum resident set size= 655320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93707
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= 227
involuntary context switches= 2153
# summary of solver processes directly reported to runsolver:
# pid: 113115
# total CPU time (s): 3600.02
# total CPU user time (s): 3590.37
# total CPU system time (s): 9.65238
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7586 second user time and 31.4787 second system time
The end
Begin job on nodeC008 at 2025-07-11 20:34:09
IDJOB=4529015
IDBENCH=148193
IDSOLVER=3386
FILE ID=nodeC008/4529015-1752258848
RUNJOBID= nodeC008-1752258848-113062
SLURM_JOB_ID= 9682616
Free space on /tmp= 432812 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529015-1752258848/watcher-4529015-1752258848 -o /tmp/evaluation-result-4529015-1752258848/solver-4529015-1752258848 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1752258848-113062 --watchdog 3760 mixed-bag HOME/instance-4529015-1752258848.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a7d8f923a6cdb36d5c6f2d05cbd48ec7
RANDOM SEED=1090145543
nodeC008 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.373
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.984
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.209
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.491
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.210
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.196
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.200
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129486304 kB
MemAvailable: 129884964 kB
Buffers: 2128 kB
Cached: 1190340 kB
SwapCached: 16 kB
Active: 656468 kB
Inactive: 607472 kB
Active(anon): 55644 kB
Inactive(anon): 33748 kB
Active(file): 600824 kB
Inactive(file): 573724 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 65796 kB
Writeback: 8 kB
AnonPages: 74536 kB
Mapped: 105196 kB
Shmem: 17920 kB
KReclaimable: 127480 kB
Slab: 215336 kB
SReclaimable: 127480 kB
SUnreclaim: 87856 kB
KernelStack: 3904 kB
PageTables: 2780 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 332696 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149272 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 16384 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: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432568 MiB
End job on nodeC008 at 2025-07-11 21:34:20