0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.01 c #variables 196 #constraints 154
0.00/0.01 c objective is ce32
0.00/0.01 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.01 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.01 c GLOBAL bounds - >= 0 @ 0.001484
0.08/0.13 c #Conflicts: 1000 | #Constraints: 1153
0.08/0.13 c GLOBAL bounds - >= 0 @ 0.109195
13.35/13.41 c #Conflicts: 2000 | #Constraints: 2154
13.35/13.41 c INPROCESSING
13.35/13.41 c GARBAGE COLLECT
13.35/13.41 c #Conflicts: 3000 | #Constraints: 2161
13.35/13.41 c #Conflicts: 4000 | #Constraints: 3161
13.35/13.41 c INPROCESSING
13.35/13.41 c GARBAGE COLLECT
13.35/13.41 c #Conflicts: 5000 | #Constraints: 2569
13.35/13.41 c #Conflicts: 6000 | #Constraints: 3569
13.35/13.41 c INPROCESSING
13.35/13.41 c GARBAGE COLLECT
13.35/13.41 c #Conflicts: 7000 | #Constraints: 2577
13.35/13.41 c #Conflicts: 8000 | #Constraints: 3577
13.35/13.41 c #Conflicts: 9000 | #Constraints: 4577
13.35/13.41 c INPROCESSING
13.35/13.41 c GARBAGE COLLECT
13.35/13.41 c #Conflicts: 10000 | #Constraints: 3282
13.35/13.41 c #Conflicts: 11000 | #Constraints: 4282
13.35/13.41 c #Conflicts: 12000 | #Constraints: 5282
13.35/13.41 c INPROCESSING
13.35/13.41 c GARBAGE COLLECT
13.35/13.41 c #Conflicts: 13000 | #Constraints: 3738
13.35/13.41 c #Conflicts: 14000 | #Constraints: 4738
13.35/13.41 c #Conflicts: 15000 | #Constraints: 5738
13.35/13.41 c INPROCESSING
13.35/13.41 c GARBAGE COLLECT
13.35/13.41 c #Conflicts: 16000 | #Constraints: 3965
13.35/13.41 c #Conflicts: 17000 | #Constraints: 4965
13.35/13.41 c #Conflicts: 18000 | #Constraints: 5965
13.35/13.41 c INPROCESSING
13.35/13.41 c GARBAGE COLLECT
13.35/13.41 c #Conflicts: 19000 | #Constraints: 3976
13.35/13.41 c #Conflicts: 20000 | #Constraints: 4976
13.35/13.41 c #Conflicts: 21000 | #Constraints: 5976
13.35/13.41 c INPROCESSING
13.35/13.41 c GARBAGE COLLECT
13.35/13.41 c #Conflicts: 22000 | #Constraints: 3785
13.35/13.41 c #Conflicts: 23000 | #Constraints: 4785
13.35/13.41 c #Conflicts: 24000 | #Constraints: 5785
13.35/13.41 c #Conflicts: 25000 | #Constraints: 6785
13.35/13.41 c INPROCESSING
13.35/13.41 c GARBAGE COLLECT
13.35/13.41 c #Conflicts: 26000 | #Constraints: 4389
13.35/13.41 c #Conflicts: 27000 | #Constraints: 5389
13.35/13.41 c #Conflicts: 28000 | #Constraints: 6389
13.35/13.41 c #Conflicts: 29000 | #Constraints: 7389
13.35/13.41 c INPROCESSING
13.35/13.41 c GARBAGE COLLECT
13.35/13.41 c #Conflicts: 30000 | #Constraints: 4790
13.35/13.41 c #Conflicts: 31000 | #Constraints: 5790
13.35/13.41 c #Conflicts: 32000 | #Constraints: 6790
13.35/13.41 c #Conflicts: 33000 | #Constraints: 7790
13.35/13.41 c INPROCESSING
13.35/13.41 c GARBAGE COLLECT
13.35/13.41 c #Conflicts: 34000 | #Constraints: 4992
13.35/13.41 c #Conflicts: 35000 | #Constraints: 5992
13.35/13.41 c #Conflicts: 36000 | #Constraints: 6992
13.35/13.41 c #Conflicts: 37000 | #Constraints: 7992
13.35/13.41 c INPROCESSING
13.35/13.41 c GARBAGE COLLECT
13.35/13.41 c #Conflicts: 38000 | #Constraints: 4992
13.35/13.41 c #Conflicts: 39000 | #Constraints: 5992
13.35/13.41 c #Conflicts: 40000 | #Constraints: 6992
13.35/13.41 c #Conflicts: 41000 | #Constraints: 7992
13.35/13.41 c INPROCESSING
13.35/13.41 c GARBAGE COLLECT
13.35/13.41 c #Conflicts: 42000 | #Constraints: 4795
13.35/13.41 c #Conflicts: 43000 | #Constraints: 5795
13.35/13.41 c #Conflicts: 44000 | #Constraints: 6795
13.35/13.41 c #Conflicts: 45000 | #Constraints: 7795
13.35/13.41 c #Conflicts: 46000 | #Constraints: 8795
13.35/13.41 c INPROCESSING
13.35/13.41 c GARBAGE COLLECT
13.35/13.41 c #Conflicts: 47000 | #Constraints: 5393
13.35/13.41 c #Conflicts: 48000 | #Constraints: 6393
13.35/13.41 c #Conflicts: 49000 | #Constraints: 7393
13.35/13.41 c #Conflicts: 50000 | #Constraints: 8393
13.35/13.41 c #Conflicts: 51000 | #Constraints: 9393
13.35/13.41 c INPROCESSING
13.35/13.41 c GARBAGE COLLECT
13.35/13.41 c #Conflicts: 52000 | #Constraints: 5796
13.35/13.41 c #Conflicts: 53000 | #Constraints: 6796
13.35/13.41 c #Conflicts: 54000 | #Constraints: 7796
13.35/13.41 c #Conflicts: 55000 | #Constraints: 8796
13.35/13.41 c #Conflicts: 56000 | #Constraints: 9796
13.35/13.41 c INPROCESSING
13.35/13.41 c GARBAGE COLLECT
13.35/13.41 c #Conflicts: 57000 | #Constraints: 5990
13.35/13.41 c #Conflicts: 58000 | #Constraints: 6990
13.35/13.41 c #Conflicts: 59000 | #Constraints: 7990
13.35/13.41 c #Conflicts: 60000 | #Constraints: 8990
13.35/13.41 c #Conflicts: 61000 | #Constraints: 9990
13.35/13.41 c INPROCESSING
13.35/13.41 c GARBAGE COLLECT
13.35/13.41 c #Conflicts: 62000 | #Constraints: 5996
13.35/13.41 c #Conflicts: 63000 | #Constraints: 6996
13.35/13.41 c #Conflicts: 64000 | #Constraints: 7996
13.35/13.41 c #Conflicts: 65000 | #Constraints: 8996
13.35/13.41 c #Conflicts: 66000 | #Constraints: 9996
13.35/13.41 c INPROCESSING
13.35/13.41 c GARBAGE COLLECT
13.35/13.41 c #Conflicts: 67000 | #Constraints: 5799
13.35/13.41 c #Conflicts: 68000 | #Constraints: 6799
13.35/13.41 c #Conflicts: 69000 | #Constraints: 7799
35.49/35.60 c #Conflicts: 70000 | #Constraints: 8799
35.49/35.60 c #Conflicts: 71000 | #Constraints: 9799
35.49/35.60 c #Conflicts: 72000 | #Constraints: 10799
35.49/35.60 c INPROCESSING
35.49/35.60 c GARBAGE COLLECT
35.49/35.60 c #Conflicts: 73000 | #Constraints: 6397
35.49/35.60 c #Conflicts: 74000 | #Constraints: 7397
35.49/35.60 c #Conflicts: 75000 | #Constraints: 8397
35.49/35.60 c #Conflicts: 76000 | #Constraints: 9397
35.49/35.60 c #Conflicts: 77000 | #Constraints: 10397
35.49/35.60 c #Conflicts: 78000 | #Constraints: 11397
35.49/35.60 c INPROCESSING
35.49/35.60 c GARBAGE COLLECT
35.49/35.60 c #Conflicts: 79000 | #Constraints: 6802
35.49/35.60 c #Conflicts: 80000 | #Constraints: 7802
35.49/35.60 c #Conflicts: 81000 | #Constraints: 8802
35.49/35.60 c #Conflicts: 82000 | #Constraints: 9802
35.49/35.60 c #Conflicts: 83000 | #Constraints: 10802
35.49/35.60 c #Conflicts: 84000 | #Constraints: 11802
35.49/35.60 c INPROCESSING
35.49/35.60 c GARBAGE COLLECT
35.49/35.60 c #Conflicts: 85000 | #Constraints: 7006
35.49/35.60 c #Conflicts: 86000 | #Constraints: 8006
35.49/35.60 c #Conflicts: 87000 | #Constraints: 9006
35.49/35.60 c #Conflicts: 88000 | #Constraints: 10006
35.49/35.60 c #Conflicts: 89000 | #Constraints: 11006
35.49/35.60 c #Conflicts: 90000 | #Constraints: 12006
35.49/35.60 c INPROCESSING
35.49/35.60 c GARBAGE COLLECT
35.49/35.60 c #Conflicts: 91000 | #Constraints: 7008
35.49/35.60 c #Conflicts: 92000 | #Constraints: 8008
35.49/35.60 c #Conflicts: 93000 | #Constraints: 9008
35.49/35.60 c #Conflicts: 94000 | #Constraints: 10008
35.49/35.60 c #Conflicts: 95000 | #Constraints: 11008
35.49/35.60 c #Conflicts: 96000 | #Constraints: 12008
35.49/35.60 c INPROCESSING
35.49/35.60 c GARBAGE COLLECT
35.49/35.60 c #Conflicts: 97000 | #Constraints: 6799
35.49/35.60 c #Conflicts: 98000 | #Constraints: 7799
35.49/35.60 c #Conflicts: 99000 | #Constraints: 8799
35.49/35.60 c #Conflicts: 100000 | #Constraints: 9799
35.49/35.60 c #Conflicts: 101000 | #Constraints: 10799
35.49/35.60 c #Conflicts: 102000 | #Constraints: 11799
35.49/35.60 c #Conflicts: 103000 | #Constraints: 12799
35.49/35.60 c INPROCESSING
35.49/35.60 c GARBAGE COLLECT
35.49/35.60 c #Conflicts: 104000 | #Constraints: 7395
35.49/35.60 c #Conflicts: 105000 | #Constraints: 8395
35.49/35.60 c #Conflicts: 106000 | #Constraints: 9395
35.49/35.60 c #Conflicts: 107000 | #Constraints: 10395
35.49/35.60 c #Conflicts: 108000 | #Constraints: 11395
35.49/35.60 c #Conflicts: 109000 | #Constraints: 12395
35.49/35.60 c #Conflicts: 110000 | #Constraints: 13395
35.49/35.60 c INPROCESSING
35.49/35.60 c GARBAGE COLLECT
35.49/35.60 c #Conflicts: 111000 | #Constraints: 7800
35.49/35.60 c #Conflicts: 112000 | #Constraints: 8800
35.49/35.60 c #Conflicts: 113000 | #Constraints: 9800
35.49/35.60 c #Conflicts: 114000 | #Constraints: 10800
35.49/35.60 c #Conflicts: 115000 | #Constraints: 11800
35.49/35.60 c #Conflicts: 116000 | #Constraints: 12800
35.49/35.60 c #Conflicts: 117000 | #Constraints: 13800
35.49/35.60 c INPROCESSING
35.49/35.60 c GARBAGE COLLECT
35.49/35.60 c #Conflicts: 118000 | #Constraints: 7995
35.49/35.60 c #Conflicts: 119000 | #Constraints: 8995
35.49/35.60 c #Conflicts: 120000 | #Constraints: 9995
35.49/35.60 c #Conflicts: 121000 | #Constraints: 10995
35.49/35.60 c #Conflicts: 122000 | #Constraints: 11995
35.49/35.60 c #Conflicts: 123000 | #Constraints: 12995
35.49/35.60 c #Conflicts: 124000 | #Constraints: 13995
35.49/35.60 c INPROCESSING
35.49/35.60 c GARBAGE COLLECT
35.49/35.60 c #Conflicts: 125000 | #Constraints: 7996
35.49/35.60 c #Conflicts: 126000 | #Constraints: 8996
35.49/35.60 c #Conflicts: 127000 | #Constraints: 9996
35.49/35.60 c #Conflicts: 128000 | #Constraints: 10996
35.49/35.60 c #Conflicts: 129000 | #Constraints: 11996
35.49/35.60 c #Conflicts: 130000 | #Constraints: 12996
35.49/35.60 c #Conflicts: 131000 | #Constraints: 13996
35.49/35.60 c INPROCESSING
35.49/35.60 c GARBAGE COLLECT
35.49/35.60 c #Conflicts: 132000 | #Constraints: 7796
35.49/35.60 c #Conflicts: 133000 | #Constraints: 8796
35.49/35.60 c #Conflicts: 134000 | #Constraints: 9796
35.49/35.60 c #Conflicts: 135000 | #Constraints: 10796
35.49/35.60 c #Conflicts: 136000 | #Constraints: 11796
35.49/35.60 c #Conflicts: 137000 | #Constraints: 12796
35.49/35.60 c #Conflicts: 138000 | #Constraints: 13796
35.49/35.60 c #Conflicts: 139000 | #Constraints: 14796
35.49/35.60 c INPROCESSING
35.49/35.60 c GARBAGE COLLECT
35.49/35.60 c #Conflicts: 140000 | #Constraints: 8401
35.49/35.60 c #Conflicts: 141000 | #Constraints: 9401
66.72/66.96 c #Conflicts: 142000 | #Constraints: 10401
66.72/66.96 c #Conflicts: 143000 | #Constraints: 11401
66.72/66.96 c #Conflicts: 144000 | #Constraints: 12401
66.72/66.96 c #Conflicts: 145000 | #Constraints: 13401
66.72/66.96 c #Conflicts: 146000 | #Constraints: 14401
66.72/66.96 c #Conflicts: 147000 | #Constraints: 15401
66.72/66.96 c INPROCESSING
66.72/66.96 c GARBAGE COLLECT
66.72/66.96 c #Conflicts: 148000 | #Constraints: 8801
66.72/66.96 c #Conflicts: 149000 | #Constraints: 9801
66.72/66.96 c #Conflicts: 150000 | #Constraints: 10801
66.72/66.96 c #Conflicts: 151000 | #Constraints: 11801
66.72/66.96 c #Conflicts: 152000 | #Constraints: 12801
66.72/66.96 c #Conflicts: 153000 | #Constraints: 13801
66.72/66.96 c #Conflicts: 154000 | #Constraints: 14801
66.72/66.96 c #Conflicts: 155000 | #Constraints: 15801
66.72/66.96 c INPROCESSING
66.72/66.96 c GARBAGE COLLECT
66.72/66.96 c #Conflicts: 156000 | #Constraints: 8999
66.72/66.96 c #Conflicts: 157000 | #Constraints: 9999
66.72/66.96 c #Conflicts: 158000 | #Constraints: 10999
66.72/66.96 c #Conflicts: 159000 | #Constraints: 11999
66.72/66.96 c #Conflicts: 160000 | #Constraints: 12999
66.72/66.96 c #Conflicts: 161000 | #Constraints: 13999
66.72/66.96 c #Conflicts: 162000 | #Constraints: 14999
66.72/66.96 c #Conflicts: 163000 | #Constraints: 15999
66.72/66.96 c INPROCESSING
66.72/66.96 c GARBAGE COLLECT
66.72/66.96 c #Conflicts: 164000 | #Constraints: 8998
66.72/66.96 c #Conflicts: 165000 | #Constraints: 9998
66.72/66.96 c #Conflicts: 166000 | #Constraints: 10998
66.72/66.96 c #Conflicts: 167000 | #Constraints: 11998
66.72/66.96 c #Conflicts: 168000 | #Constraints: 12998
66.72/66.96 c #Conflicts: 169000 | #Constraints: 13998
66.72/66.96 c #Conflicts: 170000 | #Constraints: 14998
66.72/66.96 c #Conflicts: 171000 | #Constraints: 15998
66.72/66.96 c INPROCESSING
66.72/66.96 c GARBAGE COLLECT
66.72/66.96 c #Conflicts: 172000 | #Constraints: 8801
66.72/66.96 c #Conflicts: 173000 | #Constraints: 9801
66.72/66.96 c #Conflicts: 174000 | #Constraints: 10801
66.72/66.96 c #Conflicts: 175000 | #Constraints: 11801
66.72/66.96 c #Conflicts: 176000 | #Constraints: 12801
66.72/66.96 c #Conflicts: 177000 | #Constraints: 13801
66.72/66.96 c #Conflicts: 178000 | #Constraints: 14801
66.72/66.96 c #Conflicts: 179000 | #Constraints: 15801
66.72/66.96 c #Conflicts: 180000 | #Constraints: 16801
66.72/66.96 c INPROCESSING
66.72/66.96 c GARBAGE COLLECT
66.72/66.96 c #Conflicts: 181000 | #Constraints: 9404
66.72/66.96 c #Conflicts: 182000 | #Constraints: 10404
66.72/66.96 c #Conflicts: 183000 | #Constraints: 11404
66.72/66.96 c #Conflicts: 184000 | #Constraints: 12404
66.72/66.96 c #Conflicts: 185000 | #Constraints: 13404
66.72/66.96 c #Conflicts: 186000 | #Constraints: 14404
66.72/66.96 c #Conflicts: 187000 | #Constraints: 15404
66.72/66.96 c #Conflicts: 188000 | #Constraints: 16404
66.72/66.96 c #Conflicts: 189000 | #Constraints: 17404
66.72/66.96 c INPROCESSING
66.72/66.96 c GARBAGE COLLECT
66.72/66.96 c #Conflicts: 190000 | #Constraints: 9801
66.72/66.96 c #Conflicts: 191000 | #Constraints: 10801
66.72/66.96 c #Conflicts: 192000 | #Constraints: 11801
66.72/66.96 c #Conflicts: 193000 | #Constraints: 12801
66.72/66.96 c #Conflicts: 194000 | #Constraints: 13801
66.72/66.96 c #Conflicts: 195000 | #Constraints: 14801
66.72/66.96 c #Conflicts: 196000 | #Constraints: 15801
66.72/66.96 c #Conflicts: 197000 | #Constraints: 16801
66.72/66.96 c #Conflicts: 198000 | #Constraints: 17801
66.72/66.96 c INPROCESSING
66.72/66.96 c GARBAGE COLLECT
66.72/66.96 c #Conflicts: 199000 | #Constraints: 10002
66.72/66.96 c #Conflicts: 200000 | #Constraints: 11002
66.72/66.96 c #Conflicts: 201000 | #Constraints: 12002
66.72/66.96 c #Conflicts: 202000 | #Constraints: 13002
66.72/66.96 c #Conflicts: 203000 | #Constraints: 14002
66.72/66.96 c #Conflicts: 204000 | #Constraints: 15002
66.72/66.96 c #Conflicts: 205000 | #Constraints: 16002
66.72/66.96 c #Conflicts: 206000 | #Constraints: 17002
66.72/66.96 c #Conflicts: 207000 | #Constraints: 18002
66.72/66.96 c INPROCESSING
66.72/66.96 c GARBAGE COLLECT
66.72/66.96 c #Conflicts: 208000 | #Constraints: 10002
66.72/66.96 c #Conflicts: 209000 | #Constraints: 11002
66.72/66.96 c #Conflicts: 210000 | #Constraints: 12002
66.72/66.96 c #Conflicts: 211000 | #Constraints: 13002
66.72/66.96 c #Conflicts: 212000 | #Constraints: 14002
66.72/66.96 c #Conflicts: 213000 | #Constraints: 15002
66.72/66.96 c #Conflicts: 214000 | #Constraints: 16002
104.32/104.69 c #Conflicts: 215000 | #Constraints: 17002
104.32/104.69 c #Conflicts: 216000 | #Constraints: 18002
104.32/104.69 c INPROCESSING
104.32/104.69 c GARBAGE COLLECT
104.32/104.69 c #Conflicts: 217000 | #Constraints: 9800
104.32/104.69 c #Conflicts: 218000 | #Constraints: 10800
104.32/104.69 c #Conflicts: 219000 | #Constraints: 11800
104.32/104.69 c #Conflicts: 220000 | #Constraints: 12800
104.32/104.69 c #Conflicts: 221000 | #Constraints: 13800
104.32/104.69 c #Conflicts: 222000 | #Constraints: 14800
104.32/104.69 c #Conflicts: 223000 | #Constraints: 15800
104.32/104.69 c #Conflicts: 224000 | #Constraints: 16800
104.32/104.69 c #Conflicts: 225000 | #Constraints: 17800
104.32/104.69 c #Conflicts: 226000 | #Constraints: 18800
104.32/104.69 c INPROCESSING
104.32/104.69 c GARBAGE COLLECT
104.32/104.69 c #Conflicts: 227000 | #Constraints: 10400
104.32/104.69 c #Conflicts: 228000 | #Constraints: 11400
104.32/104.69 c #Conflicts: 229000 | #Constraints: 12400
104.32/104.69 c #Conflicts: 230000 | #Constraints: 13400
104.32/104.69 c #Conflicts: 231000 | #Constraints: 14400
104.32/104.69 c #Conflicts: 232000 | #Constraints: 15400
104.32/104.69 c #Conflicts: 233000 | #Constraints: 16400
104.32/104.69 c #Conflicts: 234000 | #Constraints: 17400
104.32/104.69 c #Conflicts: 235000 | #Constraints: 18400
104.32/104.69 c #Conflicts: 236000 | #Constraints: 19400
104.32/104.69 c INPROCESSING
104.32/104.69 c GARBAGE COLLECT
104.32/104.69 c #Conflicts: 237000 | #Constraints: 10800
104.32/104.69 c #Conflicts: 238000 | #Constraints: 11800
104.32/104.69 c #Conflicts: 239000 | #Constraints: 12800
104.32/104.69 c #Conflicts: 240000 | #Constraints: 13800
104.32/104.69 c #Conflicts: 241000 | #Constraints: 14800
104.32/104.69 c #Conflicts: 242000 | #Constraints: 15800
104.32/104.69 c #Conflicts: 243000 | #Constraints: 16800
104.32/104.69 c #Conflicts: 244000 | #Constraints: 17800
104.32/104.69 c #Conflicts: 245000 | #Constraints: 18800
104.32/104.69 c #Conflicts: 246000 | #Constraints: 19800
104.32/104.69 c INPROCESSING
104.32/104.69 c GARBAGE COLLECT
104.32/104.69 c #Conflicts: 247000 | #Constraints: 11006
104.32/104.69 c #Conflicts: 248000 | #Constraints: 12006
104.32/104.69 c #Conflicts: 249000 | #Constraints: 13006
104.32/104.69 c #Conflicts: 250000 | #Constraints: 14006
104.32/104.69 c #Conflicts: 251000 | #Constraints: 15006
104.32/104.69 c #Conflicts: 252000 | #Constraints: 16006
104.32/104.69 c #Conflicts: 253000 | #Constraints: 17006
104.32/104.69 c #Conflicts: 254000 | #Constraints: 18006
104.32/104.69 c #Conflicts: 255000 | #Constraints: 19006
104.32/104.69 c #Conflicts: 256000 | #Constraints: 20006
104.32/104.69 c INPROCESSING
104.32/104.69 c GARBAGE COLLECT
104.32/104.69 c #Conflicts: 257000 | #Constraints: 11001
104.32/104.69 c #Conflicts: 258000 | #Constraints: 12001
104.32/104.69 c #Conflicts: 259000 | #Constraints: 13001
104.32/104.69 c #Conflicts: 260000 | #Constraints: 14001
104.32/104.69 c #Conflicts: 261000 | #Constraints: 15001
104.32/104.69 c #Conflicts: 262000 | #Constraints: 16001
104.32/104.69 c #Conflicts: 263000 | #Constraints: 17001
104.32/104.69 c #Conflicts: 264000 | #Constraints: 18001
104.32/104.69 c #Conflicts: 265000 | #Constraints: 19001
104.32/104.69 c #Conflicts: 266000 | #Constraints: 20001
104.32/104.69 c INPROCESSING
104.32/104.69 c GARBAGE COLLECT
104.32/104.69 c #Conflicts: 267000 | #Constraints: 10803
104.32/104.69 c #Conflicts: 268000 | #Constraints: 11803
104.32/104.69 c #Conflicts: 269000 | #Constraints: 12803
104.32/104.69 c #Conflicts: 270000 | #Constraints: 13803
104.32/104.69 c #Conflicts: 271000 | #Constraints: 14803
104.32/104.69 c #Conflicts: 272000 | #Constraints: 15803
104.32/104.69 c #Conflicts: 273000 | #Constraints: 16803
104.32/104.69 c #Conflicts: 274000 | #Constraints: 17803
104.32/104.69 c #Conflicts: 275000 | #Constraints: 18803
104.32/104.69 c #Conflicts: 276000 | #Constraints: 19803
104.32/104.69 c #Conflicts: 277000 | #Constraints: 20803
104.32/104.69 c INPROCESSING
104.32/104.69 c GARBAGE COLLECT
104.32/104.69 c #Conflicts: 278000 | #Constraints: 11406
104.32/104.69 c #Conflicts: 279000 | #Constraints: 12406
104.32/104.69 c #Conflicts: 280000 | #Constraints: 13406
104.32/104.69 c #Conflicts: 281000 | #Constraints: 14406
104.32/104.69 c #Conflicts: 282000 | #Constraints: 15406
104.32/104.69 c #Conflicts: 283000 | #Constraints: 16406
104.32/104.69 c #Conflicts: 284000 | #Constraints: 17406
104.32/104.69 c #Conflicts: 285000 | #Constraints: 18406
104.32/104.69 c #Conflicts: 286000 | #Constraints: 19406
104.32/104.69 c #Conflicts: 287000 | #Constraints: 20406
104.32/104.69 c #Conflicts: 288000 | #Constraints: 21406
104.32/104.69 c INPROCESSING
144.92/145.39 c GARBAGE COLLECT
144.92/145.39 c #Conflicts: 289000 | #Constraints: 11802
144.92/145.39 c #Conflicts: 290000 | #Constraints: 12802
144.92/145.39 c #Conflicts: 291000 | #Constraints: 13802
144.92/145.39 c #Conflicts: 292000 | #Constraints: 14802
144.92/145.39 c #Conflicts: 293000 | #Constraints: 15802
144.92/145.39 c #Conflicts: 294000 | #Constraints: 16802
144.92/145.39 c #Conflicts: 295000 | #Constraints: 17802
144.92/145.39 c #Conflicts: 296000 | #Constraints: 18802
144.92/145.39 c #Conflicts: 297000 | #Constraints: 19802
144.92/145.39 c #Conflicts: 298000 | #Constraints: 20802
144.92/145.39 c #Conflicts: 299000 | #Constraints: 21802
144.92/145.39 c INPROCESSING
144.92/145.39 c GARBAGE COLLECT
144.92/145.39 c #Conflicts: 300000 | #Constraints: 12003
144.92/145.39 c #Conflicts: 301000 | #Constraints: 13003
144.92/145.39 c #Conflicts: 302000 | #Constraints: 14003
144.92/145.39 c #Conflicts: 303000 | #Constraints: 15003
144.92/145.39 c #Conflicts: 304000 | #Constraints: 16003
144.92/145.39 c #Conflicts: 305000 | #Constraints: 17003
144.92/145.39 c #Conflicts: 306000 | #Constraints: 18003
144.92/145.39 c #Conflicts: 307000 | #Constraints: 19003
144.92/145.39 c #Conflicts: 308000 | #Constraints: 20003
144.92/145.39 c #Conflicts: 309000 | #Constraints: 21003
144.92/145.39 c #Conflicts: 310000 | #Constraints: 22003
144.92/145.39 c INPROCESSING
144.92/145.39 c GARBAGE COLLECT
144.92/145.39 c #Conflicts: 311000 | #Constraints: 12004
144.92/145.39 c #Conflicts: 312000 | #Constraints: 13004
144.92/145.39 c #Conflicts: 313000 | #Constraints: 14004
144.92/145.39 c #Conflicts: 314000 | #Constraints: 15004
144.92/145.39 c #Conflicts: 315000 | #Constraints: 16004
144.92/145.39 c #Conflicts: 316000 | #Constraints: 17004
144.92/145.39 c #Conflicts: 317000 | #Constraints: 18004
144.92/145.39 c #Conflicts: 318000 | #Constraints: 19004
144.92/145.39 c #Conflicts: 319000 | #Constraints: 20004
144.92/145.39 c #Conflicts: 320000 | #Constraints: 21004
144.92/145.39 c #Conflicts: 321000 | #Constraints: 22004
144.92/145.39 c INPROCESSING
144.92/145.39 c GARBAGE COLLECT
144.92/145.39 c #Conflicts: 322000 | #Constraints: 11804
144.92/145.39 c #Conflicts: 323000 | #Constraints: 12804
144.92/145.39 c #Conflicts: 324000 | #Constraints: 13804
144.92/145.39 c #Conflicts: 325000 | #Constraints: 14804
144.92/145.39 c #Conflicts: 326000 | #Constraints: 15804
144.92/145.39 c #Conflicts: 327000 | #Constraints: 16804
144.92/145.39 c #Conflicts: 328000 | #Constraints: 17804
144.92/145.39 c #Conflicts: 329000 | #Constraints: 18804
144.92/145.39 c #Conflicts: 330000 | #Constraints: 19804
144.92/145.39 c #Conflicts: 331000 | #Constraints: 20804
144.92/145.39 c #Conflicts: 332000 | #Constraints: 21804
144.92/145.39 c #Conflicts: 333000 | #Constraints: 22804
144.92/145.39 c INPROCESSING
144.92/145.39 c GARBAGE COLLECT
144.92/145.39 c #Conflicts: 334000 | #Constraints: 12402
144.92/145.39 c #Conflicts: 335000 | #Constraints: 13402
144.92/145.39 c #Conflicts: 336000 | #Constraints: 14402
144.92/145.39 c #Conflicts: 337000 | #Constraints: 15402
144.92/145.39 c #Conflicts: 338000 | #Constraints: 16402
144.92/145.39 c #Conflicts: 339000 | #Constraints: 17402
144.92/145.39 c #Conflicts: 340000 | #Constraints: 18402
144.92/145.39 c #Conflicts: 341000 | #Constraints: 19402
144.92/145.39 c #Conflicts: 342000 | #Constraints: 20402
144.92/145.39 c #Conflicts: 343000 | #Constraints: 21402
144.92/145.39 c #Conflicts: 344000 | #Constraints: 22402
144.92/145.39 c #Conflicts: 345000 | #Constraints: 23402
144.92/145.39 c INPROCESSING
144.92/145.39 c GARBAGE COLLECT
144.92/145.39 c #Conflicts: 346000 | #Constraints: 12805
144.92/145.39 c #Conflicts: 347000 | #Constraints: 13805
144.92/145.39 c #Conflicts: 348000 | #Constraints: 14805
144.92/145.39 c #Conflicts: 349000 | #Constraints: 15805
144.92/145.39 c #Conflicts: 350000 | #Constraints: 16805
144.92/145.39 c #Conflicts: 351000 | #Constraints: 17805
144.92/145.39 c #Conflicts: 352000 | #Constraints: 18805
144.92/145.39 c #Conflicts: 353000 | #Constraints: 19805
144.92/145.39 c #Conflicts: 354000 | #Constraints: 20805
144.92/145.39 c #Conflicts: 355000 | #Constraints: 21805
144.92/145.39 c #Conflicts: 356000 | #Constraints: 22805
144.92/145.39 c #Conflicts: 357000 | #Constraints: 23805
144.92/145.39 c INPROCESSING
144.92/145.39 c GARBAGE COLLECT
144.92/145.39 c #Conflicts: 358000 | #Constraints: 13004
144.92/145.39 c #Conflicts: 359000 | #Constraints: 14004
144.92/145.39 c #Conflicts: 360000 | #Constraints: 15004
144.92/145.39 c #Conflicts: 361000 | #Constraints: 16004
144.92/145.39 c #Conflicts: 362000 | #Constraints: 17004
144.92/145.39 c #Conflicts: 363000 | #Constraints: 18004
190.01/190.55 c #Conflicts: 364000 | #Constraints: 19004
190.01/190.55 c #Conflicts: 365000 | #Constraints: 20004
190.01/190.55 c #Conflicts: 366000 | #Constraints: 21004
190.01/190.55 c #Conflicts: 367000 | #Constraints: 22004
190.01/190.55 c #Conflicts: 368000 | #Constraints: 23004
190.01/190.55 c #Conflicts: 369000 | #Constraints: 24004
190.01/190.55 c INPROCESSING
190.01/190.55 c GARBAGE COLLECT
190.01/190.55 c #Conflicts: 370000 | #Constraints: 13004
190.01/190.55 c #Conflicts: 371000 | #Constraints: 14004
190.01/190.55 c #Conflicts: 372000 | #Constraints: 15004
190.01/190.55 c #Conflicts: 373000 | #Constraints: 16004
190.01/190.55 c #Conflicts: 374000 | #Constraints: 17004
190.01/190.55 c #Conflicts: 375000 | #Constraints: 18004
190.01/190.55 c #Conflicts: 376000 | #Constraints: 19004
190.01/190.55 c #Conflicts: 377000 | #Constraints: 20004
190.01/190.55 c #Conflicts: 378000 | #Constraints: 21004
190.01/190.55 c #Conflicts: 379000 | #Constraints: 22004
190.01/190.55 c #Conflicts: 380000 | #Constraints: 23004
190.01/190.55 c #Conflicts: 381000 | #Constraints: 24004
190.01/190.55 c INPROCESSING
190.01/190.55 c GARBAGE COLLECT
190.01/190.55 c #Conflicts: 382000 | #Constraints: 12803
190.01/190.55 c #Conflicts: 383000 | #Constraints: 13803
190.01/190.55 c #Conflicts: 384000 | #Constraints: 14803
190.01/190.55 c #Conflicts: 385000 | #Constraints: 15803
190.01/190.55 c #Conflicts: 386000 | #Constraints: 16803
190.01/190.55 c #Conflicts: 387000 | #Constraints: 17803
190.01/190.55 c #Conflicts: 388000 | #Constraints: 18803
190.01/190.55 c #Conflicts: 389000 | #Constraints: 19803
190.01/190.55 c #Conflicts: 390000 | #Constraints: 20803
190.01/190.55 c #Conflicts: 391000 | #Constraints: 21803
190.01/190.55 c #Conflicts: 392000 | #Constraints: 22803
190.01/190.55 c #Conflicts: 393000 | #Constraints: 23803
190.01/190.55 c #Conflicts: 394000 | #Constraints: 24803
190.01/190.55 c INPROCESSING
190.01/190.55 c GARBAGE COLLECT
190.01/190.55 c #Conflicts: 395000 | #Constraints: 13401
190.01/190.55 c #Conflicts: 396000 | #Constraints: 14401
190.01/190.55 c #Conflicts: 397000 | #Constraints: 15401
190.01/190.55 c #Conflicts: 398000 | #Constraints: 16401
190.01/190.55 c #Conflicts: 399000 | #Constraints: 17401
190.01/190.55 c #Conflicts: 400000 | #Constraints: 18401
190.01/190.55 c #Conflicts: 401000 | #Constraints: 19401
190.01/190.55 c #Conflicts: 402000 | #Constraints: 20401
190.01/190.55 c #Conflicts: 403000 | #Constraints: 21401
190.01/190.55 c #Conflicts: 404000 | #Constraints: 22401
190.01/190.55 c #Conflicts: 405000 | #Constraints: 23401
190.01/190.55 c #Conflicts: 406000 | #Constraints: 24401
190.01/190.55 c #Conflicts: 407000 | #Constraints: 25401
190.01/190.55 c INPROCESSING
190.01/190.55 c GARBAGE COLLECT
190.01/190.55 c #Conflicts: 408000 | #Constraints: 13800
190.01/190.55 c #Conflicts: 409000 | #Constraints: 14800
190.01/190.55 c #Conflicts: 410000 | #Constraints: 15800
190.01/190.55 c #Conflicts: 411000 | #Constraints: 16800
190.01/190.55 c #Conflicts: 412000 | #Constraints: 17800
190.01/190.55 c #Conflicts: 413000 | #Constraints: 18800
190.01/190.55 c #Conflicts: 414000 | #Constraints: 19800
190.01/190.55 c #Conflicts: 415000 | #Constraints: 20800
190.01/190.55 c #Conflicts: 416000 | #Constraints: 21800
190.01/190.55 c #Conflicts: 417000 | #Constraints: 22800
190.01/190.55 c #Conflicts: 418000 | #Constraints: 23800
190.01/190.55 c #Conflicts: 419000 | #Constraints: 24800
190.01/190.55 c #Conflicts: 420000 | #Constraints: 25800
190.01/190.55 c INPROCESSING
190.01/190.55 c GARBAGE COLLECT
190.01/190.55 c #Conflicts: 421000 | #Constraints: 14002
190.01/190.55 c #Conflicts: 422000 | #Constraints: 15002
190.01/190.55 c #Conflicts: 423000 | #Constraints: 16002
190.01/190.55 c #Conflicts: 424000 | #Constraints: 17002
190.01/190.55 c #Conflicts: 425000 | #Constraints: 18002
190.01/190.55 c #Conflicts: 426000 | #Constraints: 19002
190.01/190.55 c #Conflicts: 427000 | #Constraints: 20002
190.01/190.55 c #Conflicts: 428000 | #Constraints: 21002
190.01/190.55 c #Conflicts: 429000 | #Constraints: 22002
190.01/190.55 c #Conflicts: 430000 | #Constraints: 23002
190.01/190.55 c #Conflicts: 431000 | #Constraints: 24002
190.01/190.55 c #Conflicts: 432000 | #Constraints: 25002
190.01/190.55 c #Conflicts: 433000 | #Constraints: 26002
190.01/190.55 c INPROCESSING
190.01/190.55 c GARBAGE COLLECT
190.01/190.55 c #Conflicts: 434000 | #Constraints: 14005
190.01/190.55 c #Conflicts: 435000 | #Constraints: 15005
190.01/190.55 c #Conflicts: 436000 | #Constraints: 16005
190.01/190.55 c #Conflicts: 437000 | #Constraints: 17005
190.01/190.55 c #Conflicts: 438000 | #Constraints: 18005
239.58/240.26 c #Conflicts: 439000 | #Constraints: 19005
239.58/240.26 c #Conflicts: 440000 | #Constraints: 20005
239.58/240.26 c #Conflicts: 441000 | #Constraints: 21005
239.58/240.26 c #Conflicts: 442000 | #Constraints: 22005
239.58/240.26 c #Conflicts: 443000 | #Constraints: 23005
239.58/240.26 c #Conflicts: 444000 | #Constraints: 24005
239.58/240.26 c #Conflicts: 445000 | #Constraints: 25005
239.58/240.26 c #Conflicts: 446000 | #Constraints: 26005
239.58/240.26 c INPROCESSING
239.58/240.26 c GARBAGE COLLECT
239.58/240.26 c #Conflicts: 447000 | #Constraints: 13805
239.58/240.26 c #Conflicts: 448000 | #Constraints: 14805
239.58/240.26 c #Conflicts: 449000 | #Constraints: 15805
239.58/240.26 c #Conflicts: 450000 | #Constraints: 16805
239.58/240.26 c #Conflicts: 451000 | #Constraints: 17805
239.58/240.26 c #Conflicts: 452000 | #Constraints: 18805
239.58/240.26 c #Conflicts: 453000 | #Constraints: 19805
239.58/240.26 c #Conflicts: 454000 | #Constraints: 20805
239.58/240.26 c #Conflicts: 455000 | #Constraints: 21805
239.58/240.26 c #Conflicts: 456000 | #Constraints: 22805
239.58/240.26 c #Conflicts: 457000 | #Constraints: 23805
239.58/240.26 c #Conflicts: 458000 | #Constraints: 24805
239.58/240.26 c #Conflicts: 459000 | #Constraints: 25805
239.58/240.26 c #Conflicts: 460000 | #Constraints: 26805
239.58/240.26 c INPROCESSING
239.58/240.26 c GARBAGE COLLECT
239.58/240.26 c #Conflicts: 461000 | #Constraints: 14404
239.58/240.26 c #Conflicts: 462000 | #Constraints: 15404
239.58/240.26 c #Conflicts: 463000 | #Constraints: 16404
239.58/240.26 c #Conflicts: 464000 | #Constraints: 17404
239.58/240.26 c #Conflicts: 465000 | #Constraints: 18404
239.58/240.26 c #Conflicts: 466000 | #Constraints: 19404
239.58/240.26 c #Conflicts: 467000 | #Constraints: 20404
239.58/240.26 c #Conflicts: 468000 | #Constraints: 21404
239.58/240.26 c #Conflicts: 469000 | #Constraints: 22404
239.58/240.26 c #Conflicts: 470000 | #Constraints: 23404
239.58/240.26 c #Conflicts: 471000 | #Constraints: 24404
239.58/240.26 c #Conflicts: 472000 | #Constraints: 25404
239.58/240.26 c #Conflicts: 473000 | #Constraints: 26404
239.58/240.26 c #Conflicts: 474000 | #Constraints: 27404
239.58/240.26 c INPROCESSING
239.58/240.26 c GARBAGE COLLECT
239.58/240.26 c #Conflicts: 475000 | #Constraints: 14809
239.58/240.26 c #Conflicts: 476000 | #Constraints: 15809
239.58/240.26 c #Conflicts: 477000 | #Constraints: 16809
239.58/240.26 c #Conflicts: 478000 | #Constraints: 17809
239.58/240.26 c #Conflicts: 479000 | #Constraints: 18809
239.58/240.26 c #Conflicts: 480000 | #Constraints: 19809
239.58/240.26 c #Conflicts: 481000 | #Constraints: 20809
239.58/240.26 c #Conflicts: 482000 | #Constraints: 21809
239.58/240.26 c #Conflicts: 483000 | #Constraints: 22809
239.58/240.26 c #Conflicts: 484000 | #Constraints: 23809
239.58/240.26 c #Conflicts: 485000 | #Constraints: 24809
239.58/240.26 c #Conflicts: 486000 | #Constraints: 25809
239.58/240.26 c #Conflicts: 487000 | #Constraints: 26809
239.58/240.26 c #Conflicts: 488000 | #Constraints: 27809
239.58/240.26 c INPROCESSING
239.58/240.26 c GARBAGE COLLECT
239.58/240.26 c #Conflicts: 489000 | #Constraints: 15005
239.58/240.26 c #Conflicts: 490000 | #Constraints: 16005
239.58/240.26 c #Conflicts: 491000 | #Constraints: 17005
239.58/240.26 c #Conflicts: 492000 | #Constraints: 18005
239.58/240.26 c #Conflicts: 493000 | #Constraints: 19005
239.58/240.26 c #Conflicts: 494000 | #Constraints: 20005
239.58/240.26 c #Conflicts: 495000 | #Constraints: 21005
239.58/240.26 c #Conflicts: 496000 | #Constraints: 22005
239.58/240.26 c #Conflicts: 497000 | #Constraints: 23005
239.58/240.26 c #Conflicts: 498000 | #Constraints: 24005
239.58/240.26 c #Conflicts: 499000 | #Constraints: 25005
239.58/240.26 c #Conflicts: 500000 | #Constraints: 26005
239.58/240.26 c #Conflicts: 501000 | #Constraints: 27005
239.58/240.26 c #Conflicts: 502000 | #Constraints: 28005
239.58/240.26 c INPROCESSING
239.58/240.26 c GARBAGE COLLECT
239.58/240.26 c #Conflicts: 503000 | #Constraints: 15006
239.58/240.26 c #Conflicts: 504000 | #Constraints: 16006
239.58/240.26 c #Conflicts: 505000 | #Constraints: 17006
239.58/240.26 c #Conflicts: 506000 | #Constraints: 18006
239.58/240.26 c #Conflicts: 507000 | #Constraints: 19006
239.58/240.26 c #Conflicts: 508000 | #Constraints: 20006
239.58/240.26 c #Conflicts: 509000 | #Constraints: 21006
239.58/240.26 c #Conflicts: 510000 | #Constraints: 22006
239.58/240.26 c #Conflicts: 511000 | #Constraints: 23006
239.58/240.26 c #Conflicts: 512000 | #Constraints: 24006
239.58/240.26 c #Conflicts: 513000 | #Constraints: 25006
239.58/240.26 c #Conflicts: 514000 | #Constraints: 26006
288.85/289.60 c #Conflicts: 515000 | #Constraints: 27006
288.85/289.60 c #Conflicts: 516000 | #Constraints: 28006
288.85/289.60 c INPROCESSING
288.85/289.60 c GARBAGE COLLECT
288.85/289.60 c #Conflicts: 517000 | #Constraints: 14802
288.85/289.60 c #Conflicts: 518000 | #Constraints: 15802
288.85/289.60 c #Conflicts: 519000 | #Constraints: 16802
288.85/289.60 c #Conflicts: 520000 | #Constraints: 17802
288.85/289.60 c #Conflicts: 521000 | #Constraints: 18802
288.85/289.60 c #Conflicts: 522000 | #Constraints: 19802
288.85/289.60 c #Conflicts: 523000 | #Constraints: 20802
288.85/289.60 c #Conflicts: 524000 | #Constraints: 21802
288.85/289.60 c #Conflicts: 525000 | #Constraints: 22802
288.85/289.60 c #Conflicts: 526000 | #Constraints: 23802
288.85/289.60 c #Conflicts: 527000 | #Constraints: 24802
288.85/289.60 c #Conflicts: 528000 | #Constraints: 25802
288.85/289.60 c #Conflicts: 529000 | #Constraints: 26802
288.85/289.60 c #Conflicts: 530000 | #Constraints: 27802
288.85/289.60 c #Conflicts: 531000 | #Constraints: 28802
288.85/289.60 c INPROCESSING
288.85/289.60 c GARBAGE COLLECT
288.85/289.60 c #Conflicts: 532000 | #Constraints: 15406
288.85/289.60 c #Conflicts: 533000 | #Constraints: 16406
288.85/289.60 c #Conflicts: 534000 | #Constraints: 17406
288.85/289.60 c #Conflicts: 535000 | #Constraints: 18406
288.85/289.60 c #Conflicts: 536000 | #Constraints: 19406
288.85/289.60 c #Conflicts: 537000 | #Constraints: 20406
288.85/289.60 c #Conflicts: 538000 | #Constraints: 21406
288.85/289.60 c #Conflicts: 539000 | #Constraints: 22406
288.85/289.60 c #Conflicts: 540000 | #Constraints: 23406
288.85/289.60 c #Conflicts: 541000 | #Constraints: 24406
288.85/289.60 c #Conflicts: 542000 | #Constraints: 25406
288.85/289.60 c #Conflicts: 543000 | #Constraints: 26406
288.85/289.60 c #Conflicts: 544000 | #Constraints: 27406
288.85/289.60 c #Conflicts: 545000 | #Constraints: 28406
288.85/289.60 c #Conflicts: 546000 | #Constraints: 29406
288.85/289.60 c INPROCESSING
288.85/289.60 c GARBAGE COLLECT
288.85/289.60 c #Conflicts: 547000 | #Constraints: 15806
288.85/289.60 c #Conflicts: 548000 | #Constraints: 16806
288.85/289.60 c #Conflicts: 549000 | #Constraints: 17806
288.85/289.60 c #Conflicts: 550000 | #Constraints: 18806
288.85/289.60 c #Conflicts: 551000 | #Constraints: 19806
288.85/289.60 c #Conflicts: 552000 | #Constraints: 20806
288.85/289.60 c #Conflicts: 553000 | #Constraints: 21806
288.85/289.60 c #Conflicts: 554000 | #Constraints: 22806
288.85/289.60 c #Conflicts: 555000 | #Constraints: 23806
288.85/289.60 c #Conflicts: 556000 | #Constraints: 24806
288.85/289.60 c #Conflicts: 557000 | #Constraints: 25806
288.85/289.60 c #Conflicts: 558000 | #Constraints: 26806
288.85/289.60 c #Conflicts: 559000 | #Constraints: 27806
288.85/289.60 c #Conflicts: 560000 | #Constraints: 28806
288.85/289.60 c #Conflicts: 561000 | #Constraints: 29806
288.85/289.60 c INPROCESSING
288.85/289.60 c GARBAGE COLLECT
288.85/289.60 c #Conflicts: 562000 | #Constraints: 16001
288.85/289.60 c #Conflicts: 563000 | #Constraints: 17001
288.85/289.60 c #Conflicts: 564000 | #Constraints: 18001
288.85/289.60 c #Conflicts: 565000 | #Constraints: 19001
288.85/289.60 c #Conflicts: 566000 | #Constraints: 20001
288.85/289.60 c #Conflicts: 567000 | #Constraints: 21001
288.85/289.60 c #Conflicts: 568000 | #Constraints: 22001
288.85/289.60 c #Conflicts: 569000 | #Constraints: 23001
288.85/289.60 c #Conflicts: 570000 | #Constraints: 24001
288.85/289.60 c #Conflicts: 571000 | #Constraints: 25001
288.85/289.60 c #Conflicts: 572000 | #Constraints: 26001
288.85/289.60 c #Conflicts: 573000 | #Constraints: 27001
288.85/289.60 c #Conflicts: 574000 | #Constraints: 28001
288.85/289.60 c #Conflicts: 575000 | #Constraints: 29001
288.85/289.60 c #Conflicts: 576000 | #Constraints: 30001
288.85/289.60 c INPROCESSING
288.85/289.60 c GARBAGE COLLECT
288.85/289.60 c #Conflicts: 577000 | #Constraints: 16006
288.85/289.60 c #Conflicts: 578000 | #Constraints: 17006
288.85/289.60 c #Conflicts: 579000 | #Constraints: 18006
288.85/289.60 c #Conflicts: 580000 | #Constraints: 19006
288.85/289.60 c #Conflicts: 581000 | #Constraints: 20006
288.85/289.60 c #Conflicts: 582000 | #Constraints: 21006
288.85/289.60 c #Conflicts: 583000 | #Constraints: 22006
288.85/289.60 c #Conflicts: 584000 | #Constraints: 23006
288.85/289.60 c #Conflicts: 585000 | #Constraints: 24006
288.85/289.60 c #Conflicts: 586000 | #Constraints: 25006
288.85/289.60 c #Conflicts: 587000 | #Constraints: 26006
288.85/289.60 c #Conflicts: 588000 | #Constraints: 27006
288.85/289.60 c #Conflicts: 589000 | #Constraints: 28006
342.83/343.72 c #Conflicts: 590000 | #Constraints: 29006
342.83/343.72 c #Conflicts: 591000 | #Constraints: 30006
342.83/343.72 c INPROCESSING
342.83/343.72 c GARBAGE COLLECT
342.83/343.72 c #Conflicts: 592000 | #Constraints: 15804
342.83/343.72 c #Conflicts: 593000 | #Constraints: 16804
342.83/343.72 c #Conflicts: 594000 | #Constraints: 17804
342.83/343.72 c #Conflicts: 595000 | #Constraints: 18804
342.83/343.72 c #Conflicts: 596000 | #Constraints: 19804
342.83/343.72 c #Conflicts: 597000 | #Constraints: 20804
342.83/343.72 c #Conflicts: 598000 | #Constraints: 21804
342.83/343.72 c #Conflicts: 599000 | #Constraints: 22804
342.83/343.72 c #Conflicts: 600000 | #Constraints: 23804
342.83/343.72 c #Conflicts: 601000 | #Constraints: 24804
342.83/343.72 c #Conflicts: 602000 | #Constraints: 25804
342.83/343.72 c #Conflicts: 603000 | #Constraints: 26804
342.83/343.72 c #Conflicts: 604000 | #Constraints: 27804
342.83/343.72 c #Conflicts: 605000 | #Constraints: 28804
342.83/343.72 c #Conflicts: 606000 | #Constraints: 29804
342.83/343.72 c #Conflicts: 607000 | #Constraints: 30804
342.83/343.72 c INPROCESSING
342.83/343.72 c GARBAGE COLLECT
342.83/343.72 c #Conflicts: 608000 | #Constraints: 16408
342.83/343.72 c #Conflicts: 609000 | #Constraints: 17408
342.83/343.72 c #Conflicts: 610000 | #Constraints: 18408
342.83/343.72 c #Conflicts: 611000 | #Constraints: 19408
342.83/343.72 c #Conflicts: 612000 | #Constraints: 20408
342.83/343.72 c #Conflicts: 613000 | #Constraints: 21408
342.83/343.72 c #Conflicts: 614000 | #Constraints: 22408
342.83/343.72 c #Conflicts: 615000 | #Constraints: 23408
342.83/343.72 c #Conflicts: 616000 | #Constraints: 24408
342.83/343.72 c #Conflicts: 617000 | #Constraints: 25408
342.83/343.72 c #Conflicts: 618000 | #Constraints: 26408
342.83/343.72 c #Conflicts: 619000 | #Constraints: 27408
342.83/343.72 c #Conflicts: 620000 | #Constraints: 28408
342.83/343.72 c #Conflicts: 621000 | #Constraints: 29408
342.83/343.72 c #Conflicts: 622000 | #Constraints: 30408
342.83/343.72 c #Conflicts: 623000 | #Constraints: 31408
342.83/343.72 c INPROCESSING
342.83/343.72 c GARBAGE COLLECT
342.83/343.72 c #Conflicts: 624000 | #Constraints: 16803
342.83/343.72 c #Conflicts: 625000 | #Constraints: 17803
342.83/343.72 c #Conflicts: 626000 | #Constraints: 18803
342.83/343.72 c #Conflicts: 627000 | #Constraints: 19803
342.83/343.72 c #Conflicts: 628000 | #Constraints: 20803
342.83/343.72 c #Conflicts: 629000 | #Constraints: 21803
342.83/343.72 c #Conflicts: 630000 | #Constraints: 22803
342.83/343.72 c #Conflicts: 631000 | #Constraints: 23803
342.83/343.72 c #Conflicts: 632000 | #Constraints: 24803
342.83/343.72 c #Conflicts: 633000 | #Constraints: 25803
342.83/343.72 c #Conflicts: 634000 | #Constraints: 26803
342.83/343.72 c #Conflicts: 635000 | #Constraints: 27803
342.83/343.72 c #Conflicts: 636000 | #Constraints: 28803
342.83/343.72 c #Conflicts: 637000 | #Constraints: 29803
342.83/343.72 c #Conflicts: 638000 | #Constraints: 30803
342.83/343.72 c #Conflicts: 639000 | #Constraints: 31803
342.83/343.72 c INPROCESSING
342.83/343.72 c GARBAGE COLLECT
342.83/343.72 c #Conflicts: 640000 | #Constraints: 17007
342.83/343.72 c #Conflicts: 641000 | #Constraints: 18007
342.83/343.72 c #Conflicts: 642000 | #Constraints: 19007
342.83/343.72 c #Conflicts: 643000 | #Constraints: 20007
342.83/343.72 c #Conflicts: 644000 | #Constraints: 21007
342.83/343.72 c #Conflicts: 645000 | #Constraints: 22007
342.83/343.72 c #Conflicts: 646000 | #Constraints: 23007
342.83/343.72 c #Conflicts: 647000 | #Constraints: 24007
342.83/343.72 c #Conflicts: 648000 | #Constraints: 25007
342.83/343.72 c #Conflicts: 649000 | #Constraints: 26007
342.83/343.72 c #Conflicts: 650000 | #Constraints: 27007
342.83/343.72 c #Conflicts: 651000 | #Constraints: 28007
342.83/343.72 c #Conflicts: 652000 | #Constraints: 29007
342.83/343.72 c #Conflicts: 653000 | #Constraints: 30007
342.83/343.72 c #Conflicts: 654000 | #Constraints: 31007
342.83/343.72 c #Conflicts: 655000 | #Constraints: 32007
342.83/343.72 c INPROCESSING
342.83/343.72 c GARBAGE COLLECT
342.83/343.72 c #Conflicts: 656000 | #Constraints: 17009
342.83/343.72 c #Conflicts: 657000 | #Constraints: 18009
342.83/343.72 c #Conflicts: 658000 | #Constraints: 19009
342.83/343.72 c #Conflicts: 659000 | #Constraints: 20009
342.83/343.72 c #Conflicts: 660000 | #Constraints: 21009
342.83/343.72 c #Conflicts: 661000 | #Constraints: 22009
342.83/343.72 c #Conflicts: 662000 | #Constraints: 23009
342.83/343.72 c #Conflicts: 663000 | #Constraints: 24009
342.83/343.72 c #Conflicts: 664000 | #Constraints: 25009
342.83/343.72 c #Conflicts: 665000 | #Constraints: 26009
403.48/404.56 c #Conflicts: 666000 | #Constraints: 27009
403.48/404.56 c #Conflicts: 667000 | #Constraints: 28009
403.48/404.56 c #Conflicts: 668000 | #Constraints: 29009
403.48/404.56 c #Conflicts: 669000 | #Constraints: 30009
403.48/404.56 c #Conflicts: 670000 | #Constraints: 31009
403.48/404.56 c #Conflicts: 671000 | #Constraints: 32009
403.48/404.56 c INPROCESSING
403.48/404.56 c GARBAGE COLLECT
403.48/404.56 c #Conflicts: 672000 | #Constraints: 16809
403.48/404.56 c #Conflicts: 673000 | #Constraints: 17809
403.48/404.56 c #Conflicts: 674000 | #Constraints: 18809
403.48/404.56 c #Conflicts: 675000 | #Constraints: 19809
403.48/404.56 c #Conflicts: 676000 | #Constraints: 20809
403.48/404.56 c #Conflicts: 677000 | #Constraints: 21809
403.48/404.56 c #Conflicts: 678000 | #Constraints: 22809
403.48/404.56 c #Conflicts: 679000 | #Constraints: 23809
403.48/404.56 c #Conflicts: 680000 | #Constraints: 24809
403.48/404.56 c #Conflicts: 681000 | #Constraints: 25809
403.48/404.56 c #Conflicts: 682000 | #Constraints: 26809
403.48/404.56 c #Conflicts: 683000 | #Constraints: 27809
403.48/404.56 c #Conflicts: 684000 | #Constraints: 28809
403.48/404.56 c #Conflicts: 685000 | #Constraints: 29809
403.48/404.56 c #Conflicts: 686000 | #Constraints: 30809
403.48/404.56 c #Conflicts: 687000 | #Constraints: 31809
403.48/404.56 c #Conflicts: 688000 | #Constraints: 32809
403.48/404.56 c INPROCESSING
403.48/404.56 c GARBAGE COLLECT
403.48/404.56 c #Conflicts: 689000 | #Constraints: 17414
403.48/404.56 c #Conflicts: 690000 | #Constraints: 18414
403.48/404.56 c #Conflicts: 691000 | #Constraints: 19414
403.48/404.56 c #Conflicts: 692000 | #Constraints: 20414
403.48/404.56 c #Conflicts: 693000 | #Constraints: 21414
403.48/404.56 c #Conflicts: 694000 | #Constraints: 22414
403.48/404.56 c #Conflicts: 695000 | #Constraints: 23414
403.48/404.56 c #Conflicts: 696000 | #Constraints: 24414
403.48/404.56 c #Conflicts: 697000 | #Constraints: 25414
403.48/404.56 c #Conflicts: 698000 | #Constraints: 26414
403.48/404.56 c #Conflicts: 699000 | #Constraints: 27414
403.48/404.56 c #Conflicts: 700000 | #Constraints: 28414
403.48/404.56 c #Conflicts: 701000 | #Constraints: 29414
403.48/404.56 c #Conflicts: 702000 | #Constraints: 30414
403.48/404.56 c #Conflicts: 703000 | #Constraints: 31414
403.48/404.56 c #Conflicts: 704000 | #Constraints: 32414
403.48/404.56 c #Conflicts: 705000 | #Constraints: 33414
403.48/404.56 c INPROCESSING
403.48/404.56 c GARBAGE COLLECT
403.48/404.56 c #Conflicts: 706000 | #Constraints: 17806
403.48/404.56 c #Conflicts: 707000 | #Constraints: 18806
403.48/404.56 c #Conflicts: 708000 | #Constraints: 19806
403.48/404.56 c #Conflicts: 709000 | #Constraints: 20806
403.48/404.56 c #Conflicts: 710000 | #Constraints: 21806
403.48/404.56 c #Conflicts: 711000 | #Constraints: 22806
403.48/404.56 c #Conflicts: 712000 | #Constraints: 23806
403.48/404.56 c #Conflicts: 713000 | #Constraints: 24806
403.48/404.56 c #Conflicts: 714000 | #Constraints: 25806
403.48/404.56 c #Conflicts: 715000 | #Constraints: 26806
403.48/404.56 c #Conflicts: 716000 | #Constraints: 27806
403.48/404.56 c #Conflicts: 717000 | #Constraints: 28806
403.48/404.56 c #Conflicts: 718000 | #Constraints: 29806
403.48/404.56 c #Conflicts: 719000 | #Constraints: 30806
403.48/404.56 c #Conflicts: 720000 | #Constraints: 31806
403.48/404.56 c #Conflicts: 721000 | #Constraints: 32806
403.48/404.56 c #Conflicts: 722000 | #Constraints: 33806
403.48/404.56 c INPROCESSING
403.48/404.56 c GARBAGE COLLECT
403.48/404.56 c #Conflicts: 723000 | #Constraints: 17999
403.48/404.56 c #Conflicts: 724000 | #Constraints: 18999
403.48/404.56 c #Conflicts: 725000 | #Constraints: 19999
403.48/404.56 c #Conflicts: 726000 | #Constraints: 20999
403.48/404.56 c #Conflicts: 727000 | #Constraints: 21999
403.48/404.56 c #Conflicts: 728000 | #Constraints: 22999
403.48/404.56 c #Conflicts: 729000 | #Constraints: 23999
403.48/404.56 c #Conflicts: 730000 | #Constraints: 24999
403.48/404.56 c #Conflicts: 731000 | #Constraints: 25999
403.48/404.56 c #Conflicts: 732000 | #Constraints: 26999
403.48/404.56 c #Conflicts: 733000 | #Constraints: 27999
403.48/404.56 c #Conflicts: 734000 | #Constraints: 28999
403.48/404.56 c #Conflicts: 735000 | #Constraints: 29999
403.48/404.56 c #Conflicts: 736000 | #Constraints: 30999
403.48/404.56 c #Conflicts: 737000 | #Constraints: 31999
403.48/404.56 c #Conflicts: 738000 | #Constraints: 32999
403.48/404.56 c #Conflicts: 739000 | #Constraints: 33999
403.48/404.56 c INPROCESSING
403.48/404.56 c GARBAGE COLLECT
403.48/404.56 c #Conflicts: 740000 | #Constraints: 18001
465.72/466.97 c #Conflicts: 741000 | #Constraints: 19001
465.72/466.97 c #Conflicts: 742000 | #Constraints: 20001
465.72/466.97 c #Conflicts: 743000 | #Constraints: 21001
465.72/466.97 c #Conflicts: 744000 | #Constraints: 22001
465.72/466.97 c #Conflicts: 745000 | #Constraints: 23001
465.72/466.97 c #Conflicts: 746000 | #Constraints: 24001
465.72/466.97 c #Conflicts: 747000 | #Constraints: 25001
465.72/466.97 c #Conflicts: 748000 | #Constraints: 26001
465.72/466.97 c #Conflicts: 749000 | #Constraints: 27001
465.72/466.97 c #Conflicts: 750000 | #Constraints: 28001
465.72/466.97 c #Conflicts: 751000 | #Constraints: 29001
465.72/466.97 c #Conflicts: 752000 | #Constraints: 30001
465.72/466.97 c #Conflicts: 753000 | #Constraints: 31001
465.72/466.97 c #Conflicts: 754000 | #Constraints: 32001
465.72/466.97 c #Conflicts: 755000 | #Constraints: 33001
465.72/466.97 c #Conflicts: 756000 | #Constraints: 34001
465.72/466.97 c INPROCESSING
465.72/466.97 c GARBAGE COLLECT
465.72/466.97 c #Conflicts: 757000 | #Constraints: 17807
465.72/466.97 c #Conflicts: 758000 | #Constraints: 18807
465.72/466.97 c #Conflicts: 759000 | #Constraints: 19807
465.72/466.97 c #Conflicts: 760000 | #Constraints: 20807
465.72/466.97 c #Conflicts: 761000 | #Constraints: 21807
465.72/466.97 c #Conflicts: 762000 | #Constraints: 22807
465.72/466.97 c #Conflicts: 763000 | #Constraints: 23807
465.72/466.97 c #Conflicts: 764000 | #Constraints: 24807
465.72/466.97 c #Conflicts: 765000 | #Constraints: 25807
465.72/466.97 c #Conflicts: 766000 | #Constraints: 26807
465.72/466.97 c #Conflicts: 767000 | #Constraints: 27807
465.72/466.97 c #Conflicts: 768000 | #Constraints: 28807
465.72/466.97 c #Conflicts: 769000 | #Constraints: 29807
465.72/466.97 c #Conflicts: 770000 | #Constraints: 30807
465.72/466.97 c #Conflicts: 771000 | #Constraints: 31807
465.72/466.97 c #Conflicts: 772000 | #Constraints: 32807
465.72/466.97 c #Conflicts: 773000 | #Constraints: 33807
465.72/466.97 c #Conflicts: 774000 | #Constraints: 34807
465.72/466.97 c INPROCESSING
465.72/466.97 c GARBAGE COLLECT
465.72/466.97 c #Conflicts: 775000 | #Constraints: 18405
465.72/466.97 c #Conflicts: 776000 | #Constraints: 19405
465.72/466.97 c #Conflicts: 777000 | #Constraints: 20405
465.72/466.97 c #Conflicts: 778000 | #Constraints: 21405
465.72/466.97 c #Conflicts: 779000 | #Constraints: 22405
465.72/466.97 c #Conflicts: 780000 | #Constraints: 23405
465.72/466.97 c #Conflicts: 781000 | #Constraints: 24405
465.72/466.97 c #Conflicts: 782000 | #Constraints: 25405
465.72/466.97 c #Conflicts: 783000 | #Constraints: 26405
465.72/466.97 c #Conflicts: 784000 | #Constraints: 27405
465.72/466.97 c #Conflicts: 785000 | #Constraints: 28405
465.72/466.97 c #Conflicts: 786000 | #Constraints: 29405
465.72/466.97 c #Conflicts: 787000 | #Constraints: 30405
465.72/466.97 c #Conflicts: 788000 | #Constraints: 31405
465.72/466.97 c #Conflicts: 789000 | #Constraints: 32405
465.72/466.97 c #Conflicts: 790000 | #Constraints: 33405
465.72/466.97 c #Conflicts: 791000 | #Constraints: 34405
465.72/466.97 c #Conflicts: 792000 | #Constraints: 35405
465.72/466.97 c INPROCESSING
465.72/466.97 c GARBAGE COLLECT
465.72/466.97 c #Conflicts: 793000 | #Constraints: 18806
465.72/466.97 c #Conflicts: 794000 | #Constraints: 19806
465.72/466.97 c #Conflicts: 795000 | #Constraints: 20806
465.72/466.97 c #Conflicts: 796000 | #Constraints: 21806
465.72/466.97 c #Conflicts: 797000 | #Constraints: 22806
465.72/466.97 c #Conflicts: 798000 | #Constraints: 23806
465.72/466.97 c #Conflicts: 799000 | #Constraints: 24806
465.72/466.97 c #Conflicts: 800000 | #Constraints: 25806
465.72/466.97 c #Conflicts: 801000 | #Constraints: 26806
465.72/466.97 c #Conflicts: 802000 | #Constraints: 27806
465.72/466.97 c #Conflicts: 803000 | #Constraints: 28806
465.72/466.97 c #Conflicts: 804000 | #Constraints: 29806
465.72/466.97 c #Conflicts: 805000 | #Constraints: 30806
465.72/466.97 c #Conflicts: 806000 | #Constraints: 31806
465.72/466.97 c #Conflicts: 807000 | #Constraints: 32806
465.72/466.97 c #Conflicts: 808000 | #Constraints: 33806
465.72/466.97 c #Conflicts: 809000 | #Constraints: 34806
465.72/466.97 c #Conflicts: 810000 | #Constraints: 35806
465.72/466.97 c INPROCESSING
465.72/466.97 c GARBAGE COLLECT
465.72/466.97 c #Conflicts: 811000 | #Constraints: 19001
465.72/466.97 c #Conflicts: 812000 | #Constraints: 20001
465.72/466.97 c #Conflicts: 813000 | #Constraints: 21001
465.72/466.97 c #Conflicts: 814000 | #Constraints: 22001
465.72/466.97 c #Conflicts: 815000 | #Constraints: 23001
465.72/466.97 c #Conflicts: 816000 | #Constraints: 24001
465.72/466.97 c #Conflicts: 817000 | #Constraints: 25001
531.66/533.07 c #Conflicts: 818000 | #Constraints: 26001
531.66/533.07 c #Conflicts: 819000 | #Constraints: 27001
531.66/533.07 c #Conflicts: 820000 | #Constraints: 28001
531.66/533.07 c #Conflicts: 821000 | #Constraints: 29001
531.66/533.07 c #Conflicts: 822000 | #Constraints: 30001
531.66/533.07 c #Conflicts: 823000 | #Constraints: 31001
531.66/533.07 c #Conflicts: 824000 | #Constraints: 32001
531.66/533.07 c #Conflicts: 825000 | #Constraints: 33001
531.66/533.07 c #Conflicts: 826000 | #Constraints: 34001
531.66/533.07 c #Conflicts: 827000 | #Constraints: 35001
531.66/533.07 c #Conflicts: 828000 | #Constraints: 36001
531.66/533.07 c INPROCESSING
531.66/533.07 c GARBAGE COLLECT
531.66/533.07 c #Conflicts: 829000 | #Constraints: 19009
531.66/533.07 c #Conflicts: 830000 | #Constraints: 20009
531.66/533.07 c #Conflicts: 831000 | #Constraints: 21009
531.66/533.07 c #Conflicts: 832000 | #Constraints: 22009
531.66/533.07 c #Conflicts: 833000 | #Constraints: 23009
531.66/533.07 c #Conflicts: 834000 | #Constraints: 24009
531.66/533.07 c #Conflicts: 835000 | #Constraints: 25009
531.66/533.07 c #Conflicts: 836000 | #Constraints: 26009
531.66/533.07 c #Conflicts: 837000 | #Constraints: 27009
531.66/533.07 c #Conflicts: 838000 | #Constraints: 28009
531.66/533.07 c #Conflicts: 839000 | #Constraints: 29009
531.66/533.07 c #Conflicts: 840000 | #Constraints: 30009
531.66/533.07 c #Conflicts: 841000 | #Constraints: 31009
531.66/533.07 c #Conflicts: 842000 | #Constraints: 32009
531.66/533.07 c #Conflicts: 843000 | #Constraints: 33009
531.66/533.07 c #Conflicts: 844000 | #Constraints: 34009
531.66/533.07 c #Conflicts: 845000 | #Constraints: 35009
531.66/533.07 c #Conflicts: 846000 | #Constraints: 36009
531.66/533.07 c INPROCESSING
531.66/533.07 c GARBAGE COLLECT
531.66/533.07 c #Conflicts: 847000 | #Constraints: 18806
531.66/533.07 c #Conflicts: 848000 | #Constraints: 19806
531.66/533.07 c #Conflicts: 849000 | #Constraints: 20806
531.66/533.07 c #Conflicts: 850000 | #Constraints: 21806
531.66/533.07 c #Conflicts: 851000 | #Constraints: 22806
531.66/533.07 c #Conflicts: 852000 | #Constraints: 23806
531.66/533.07 c #Conflicts: 853000 | #Constraints: 24806
531.66/533.07 c #Conflicts: 854000 | #Constraints: 25806
531.66/533.07 c #Conflicts: 855000 | #Constraints: 26806
531.66/533.07 c #Conflicts: 856000 | #Constraints: 27806
531.66/533.07 c #Conflicts: 857000 | #Constraints: 28806
531.66/533.07 c #Conflicts: 858000 | #Constraints: 29806
531.66/533.07 c #Conflicts: 859000 | #Constraints: 30806
531.66/533.07 c #Conflicts: 860000 | #Constraints: 31806
531.66/533.07 c #Conflicts: 861000 | #Constraints: 32806
531.66/533.07 c #Conflicts: 862000 | #Constraints: 33806
531.66/533.07 c #Conflicts: 863000 | #Constraints: 34806
531.66/533.07 c #Conflicts: 864000 | #Constraints: 35806
531.66/533.07 c #Conflicts: 865000 | #Constraints: 36806
531.66/533.07 c INPROCESSING
531.66/533.07 c GARBAGE COLLECT
531.66/533.07 c #Conflicts: 866000 | #Constraints: 19402
531.66/533.07 c #Conflicts: 867000 | #Constraints: 20402
531.66/533.07 c #Conflicts: 868000 | #Constraints: 21402
531.66/533.07 c #Conflicts: 869000 | #Constraints: 22402
531.66/533.07 c #Conflicts: 870000 | #Constraints: 23402
531.66/533.07 c #Conflicts: 871000 | #Constraints: 24402
531.66/533.07 c #Conflicts: 872000 | #Constraints: 25402
531.66/533.07 c #Conflicts: 873000 | #Constraints: 26402
531.66/533.07 c #Conflicts: 874000 | #Constraints: 27402
531.66/533.08 c #Conflicts: 875000 | #Constraints: 28402
531.66/533.08 c #Conflicts: 876000 | #Constraints: 29402
531.66/533.08 c #Conflicts: 877000 | #Constraints: 30402
531.66/533.08 c #Conflicts: 878000 | #Constraints: 31402
531.66/533.08 c #Conflicts: 879000 | #Constraints: 32402
531.66/533.08 c #Conflicts: 880000 | #Constraints: 33402
531.66/533.08 c #Conflicts: 881000 | #Constraints: 34402
531.66/533.08 c #Conflicts: 882000 | #Constraints: 35402
531.66/533.08 c #Conflicts: 883000 | #Constraints: 36402
531.66/533.08 c #Conflicts: 884000 | #Constraints: 37402
531.66/533.08 c INPROCESSING
531.66/533.08 c GARBAGE COLLECT
531.66/533.08 c #Conflicts: 885000 | #Constraints: 19803
531.66/533.08 c #Conflicts: 886000 | #Constraints: 20803
531.66/533.08 c #Conflicts: 887000 | #Constraints: 21803
531.66/533.08 c #Conflicts: 888000 | #Constraints: 22803
531.66/533.08 c #Conflicts: 889000 | #Constraints: 23803
531.66/533.08 c #Conflicts: 890000 | #Constraints: 24803
531.66/533.08 c #Conflicts: 891000 | #Constraints: 25803
531.66/533.08 c #Conflicts: 892000 | #Constraints: 26803
531.66/533.08 c #Conflicts: 893000 | #Constraints: 27803
600.56/602.14 c #Conflicts: 894000 | #Constraints: 28803
600.56/602.14 c #Conflicts: 895000 | #Constraints: 29803
600.56/602.14 c #Conflicts: 896000 | #Constraints: 30803
600.56/602.14 c #Conflicts: 897000 | #Constraints: 31803
600.56/602.14 c #Conflicts: 898000 | #Constraints: 32803
600.56/602.14 c #Conflicts: 899000 | #Constraints: 33803
600.56/602.14 c #Conflicts: 900000 | #Constraints: 34803
600.56/602.14 c #Conflicts: 901000 | #Constraints: 35803
600.56/602.14 c #Conflicts: 902000 | #Constraints: 36803
600.56/602.14 c #Conflicts: 903000 | #Constraints: 37803
600.56/602.14 c INPROCESSING
600.56/602.14 c GARBAGE COLLECT
600.56/602.14 c #Conflicts: 904000 | #Constraints: 20016
600.56/602.14 c #Conflicts: 905000 | #Constraints: 21016
600.56/602.14 c #Conflicts: 906000 | #Constraints: 22016
600.56/602.14 c #Conflicts: 907000 | #Constraints: 23016
600.56/602.14 c #Conflicts: 908000 | #Constraints: 24016
600.56/602.14 c #Conflicts: 909000 | #Constraints: 25016
600.56/602.14 c #Conflicts: 910000 | #Constraints: 26016
600.56/602.14 c #Conflicts: 911000 | #Constraints: 27016
600.56/602.14 c #Conflicts: 912000 | #Constraints: 28016
600.56/602.14 c #Conflicts: 913000 | #Constraints: 29016
600.56/602.14 c #Conflicts: 914000 | #Constraints: 30016
600.56/602.14 c #Conflicts: 915000 | #Constraints: 31016
600.56/602.14 c #Conflicts: 916000 | #Constraints: 32016
600.56/602.14 c #Conflicts: 917000 | #Constraints: 33016
600.56/602.14 c #Conflicts: 918000 | #Constraints: 34016
600.56/602.14 c #Conflicts: 919000 | #Constraints: 35016
600.56/602.14 c #Conflicts: 920000 | #Constraints: 36016
600.56/602.14 c #Conflicts: 921000 | #Constraints: 37016
600.56/602.14 c #Conflicts: 922000 | #Constraints: 38016
600.56/602.14 c INPROCESSING
600.56/602.14 c GARBAGE COLLECT
600.56/602.14 c #Conflicts: 923000 | #Constraints: 20011
600.56/602.14 c #Conflicts: 924000 | #Constraints: 21011
600.56/602.14 c #Conflicts: 925000 | #Constraints: 22011
600.56/602.14 c #Conflicts: 926000 | #Constraints: 23011
600.56/602.14 c #Conflicts: 927000 | #Constraints: 24011
600.56/602.14 c #Conflicts: 928000 | #Constraints: 25011
600.56/602.14 c #Conflicts: 929000 | #Constraints: 26011
600.56/602.14 c #Conflicts: 930000 | #Constraints: 27011
600.56/602.14 c #Conflicts: 931000 | #Constraints: 28011
600.56/602.14 c #Conflicts: 932000 | #Constraints: 29011
600.56/602.14 c #Conflicts: 933000 | #Constraints: 30011
600.56/602.14 c #Conflicts: 934000 | #Constraints: 31011
600.56/602.14 c #Conflicts: 935000 | #Constraints: 32011
600.56/602.14 c #Conflicts: 936000 | #Constraints: 33011
600.56/602.14 c #Conflicts: 937000 | #Constraints: 34011
600.56/602.14 c #Conflicts: 938000 | #Constraints: 35011
600.56/602.14 c #Conflicts: 939000 | #Constraints: 36011
600.56/602.14 c #Conflicts: 940000 | #Constraints: 37011
600.56/602.14 c #Conflicts: 941000 | #Constraints: 38011
600.56/602.14 c INPROCESSING
600.56/602.14 c GARBAGE COLLECT
600.56/602.14 c #Conflicts: 942000 | #Constraints: 19813
600.56/602.14 c #Conflicts: 943000 | #Constraints: 20813
600.56/602.14 c #Conflicts: 944000 | #Constraints: 21813
600.56/602.14 c #Conflicts: 945000 | #Constraints: 22813
600.56/602.14 c #Conflicts: 946000 | #Constraints: 23813
600.56/602.14 c #Conflicts: 947000 | #Constraints: 24813
600.56/602.14 c #Conflicts: 948000 | #Constraints: 25813
600.56/602.14 c #Conflicts: 949000 | #Constraints: 26813
600.56/602.14 c #Conflicts: 950000 | #Constraints: 27813
600.56/602.14 c #Conflicts: 951000 | #Constraints: 28813
600.56/602.14 c #Conflicts: 952000 | #Constraints: 29813
600.56/602.14 c #Conflicts: 953000 | #Constraints: 30813
600.56/602.14 c #Conflicts: 954000 | #Constraints: 31813
600.56/602.14 c #Conflicts: 955000 | #Constraints: 32813
600.56/602.14 c #Conflicts: 956000 | #Constraints: 33813
600.56/602.14 c #Conflicts: 957000 | #Constraints: 34813
600.56/602.14 c #Conflicts: 958000 | #Constraints: 35813
600.56/602.14 c #Conflicts: 959000 | #Constraints: 36813
600.56/602.14 c #Conflicts: 960000 | #Constraints: 37813
600.56/602.14 c #Conflicts: 961000 | #Constraints: 38813
600.56/602.14 c INPROCESSING
600.56/602.14 c GARBAGE COLLECT
600.56/602.14 c #Conflicts: 962000 | #Constraints: 20417
600.56/602.14 c #Conflicts: 963000 | #Constraints: 21417
600.56/602.14 c #Conflicts: 964000 | #Constraints: 22417
600.56/602.14 c #Conflicts: 965000 | #Constraints: 23417
600.56/602.14 c #Conflicts: 966000 | #Constraints: 24417
600.56/602.14 c #Conflicts: 967000 | #Constraints: 25417
600.56/602.14 c #Conflicts: 968000 | #Constraints: 26417
600.56/602.14 c #Conflicts: 969000 | #Constraints: 27417
675.44/677.22 c #Conflicts: 970000 | #Constraints: 28417
675.44/677.22 c #Conflicts: 971000 | #Constraints: 29417
675.44/677.22 c #Conflicts: 972000 | #Constraints: 30417
675.44/677.22 c #Conflicts: 973000 | #Constraints: 31417
675.44/677.22 c #Conflicts: 974000 | #Constraints: 32417
675.44/677.22 c #Conflicts: 975000 | #Constraints: 33417
675.44/677.22 c #Conflicts: 976000 | #Constraints: 34417
675.44/677.22 c #Conflicts: 977000 | #Constraints: 35417
675.44/677.22 c #Conflicts: 978000 | #Constraints: 36417
675.44/677.22 c #Conflicts: 979000 | #Constraints: 37417
675.44/677.22 c #Conflicts: 980000 | #Constraints: 38417
675.44/677.22 c #Conflicts: 981000 | #Constraints: 39417
675.44/677.22 c INPROCESSING
675.44/677.22 c GARBAGE COLLECT
675.44/677.22 c #Conflicts: 982000 | #Constraints: 20807
675.44/677.22 c #Conflicts: 983000 | #Constraints: 21807
675.44/677.22 c #Conflicts: 984000 | #Constraints: 22807
675.44/677.22 c #Conflicts: 985000 | #Constraints: 23807
675.44/677.22 c #Conflicts: 986000 | #Constraints: 24807
675.44/677.22 c #Conflicts: 987000 | #Constraints: 25807
675.44/677.22 c #Conflicts: 988000 | #Constraints: 26807
675.44/677.22 c #Conflicts: 989000 | #Constraints: 27807
675.44/677.22 c #Conflicts: 990000 | #Constraints: 28807
675.44/677.22 c #Conflicts: 991000 | #Constraints: 29807
675.44/677.22 c #Conflicts: 992000 | #Constraints: 30807
675.44/677.22 c #Conflicts: 993000 | #Constraints: 31807
675.44/677.22 c #Conflicts: 994000 | #Constraints: 32807
675.44/677.22 c #Conflicts: 995000 | #Constraints: 33807
675.44/677.22 c #Conflicts: 996000 | #Constraints: 34807
675.44/677.22 c #Conflicts: 997000 | #Constraints: 35807
675.44/677.22 c #Conflicts: 998000 | #Constraints: 36807
675.44/677.22 c #Conflicts: 999000 | #Constraints: 37807
675.44/677.22 c #Conflicts: 1000000 | #Constraints: 38807
675.44/677.22 c #Conflicts: 1001000 | #Constraints: 39807
675.44/677.22 c INPROCESSING
675.44/677.22 c GARBAGE COLLECT
675.44/677.22 c #Conflicts: 1002000 | #Constraints: 21011
675.44/677.22 c #Conflicts: 1003000 | #Constraints: 22011
675.44/677.22 c #Conflicts: 1004000 | #Constraints: 23011
675.44/677.22 c #Conflicts: 1005000 | #Constraints: 24011
675.44/677.22 c #Conflicts: 1006000 | #Constraints: 25011
675.44/677.22 c #Conflicts: 1007000 | #Constraints: 26011
675.44/677.22 c #Conflicts: 1008000 | #Constraints: 27011
675.44/677.22 c #Conflicts: 1009000 | #Constraints: 28011
675.44/677.22 c #Conflicts: 1010000 | #Constraints: 29011
675.44/677.22 c #Conflicts: 1011000 | #Constraints: 30011
675.44/677.22 c #Conflicts: 1012000 | #Constraints: 31011
675.44/677.22 c #Conflicts: 1013000 | #Constraints: 32011
675.44/677.22 c #Conflicts: 1014000 | #Constraints: 33011
675.44/677.22 c #Conflicts: 1015000 | #Constraints: 34011
675.44/677.22 c #Conflicts: 1016000 | #Constraints: 35011
675.44/677.22 c #Conflicts: 1017000 | #Constraints: 36011
675.44/677.22 c #Conflicts: 1018000 | #Constraints: 37011
675.44/677.22 c #Conflicts: 1019000 | #Constraints: 38011
675.44/677.22 c #Conflicts: 1020000 | #Constraints: 39011
675.44/677.22 c #Conflicts: 1021000 | #Constraints: 40011
675.44/677.22 c INPROCESSING
675.44/677.22 c GARBAGE COLLECT
675.44/677.22 c #Conflicts: 1022000 | #Constraints: 21013
675.44/677.22 c #Conflicts: 1023000 | #Constraints: 22013
675.44/677.22 c #Conflicts: 1024000 | #Constraints: 23013
675.44/677.22 c #Conflicts: 1025000 | #Constraints: 24013
675.44/677.22 c #Conflicts: 1026000 | #Constraints: 25013
675.44/677.22 c #Conflicts: 1027000 | #Constraints: 26013
675.44/677.22 c #Conflicts: 1028000 | #Constraints: 27013
675.44/677.22 c #Conflicts: 1029000 | #Constraints: 28013
675.44/677.22 c #Conflicts: 1030000 | #Constraints: 29013
675.44/677.22 c #Conflicts: 1031000 | #Constraints: 30013
675.44/677.22 c #Conflicts: 1032000 | #Constraints: 31013
675.44/677.22 c #Conflicts: 1033000 | #Constraints: 32013
675.44/677.22 c #Conflicts: 1034000 | #Constraints: 33013
675.44/677.22 c #Conflicts: 1035000 | #Constraints: 34013
675.44/677.22 c #Conflicts: 1036000 | #Constraints: 35013
675.44/677.22 c #Conflicts: 1037000 | #Constraints: 36013
675.44/677.22 c #Conflicts: 1038000 | #Constraints: 37013
675.44/677.22 c #Conflicts: 1039000 | #Constraints: 38013
675.44/677.22 c #Conflicts: 1040000 | #Constraints: 39013
675.44/677.22 c #Conflicts: 1041000 | #Constraints: 40013
675.44/677.22 c INPROCESSING
675.44/677.22 c GARBAGE COLLECT
675.44/677.22 c #Conflicts: 1042000 | #Constraints: 20808
675.44/677.22 c #Conflicts: 1043000 | #Constraints: 21808
675.44/677.22 c #Conflicts: 1044000 | #Constraints: 22808
675.44/677.22 c #Conflicts: 1045000 | #Constraints: 23808
756.23/758.26 c #Conflicts: 1046000 | #Constraints: 24808
756.23/758.26 c #Conflicts: 1047000 | #Constraints: 25808
756.23/758.26 c #Conflicts: 1048000 | #Constraints: 26808
756.23/758.26 c #Conflicts: 1049000 | #Constraints: 27808
756.23/758.26 c #Conflicts: 1050000 | #Constraints: 28808
756.23/758.26 c #Conflicts: 1051000 | #Constraints: 29808
756.23/758.26 c #Conflicts: 1052000 | #Constraints: 30808
756.23/758.26 c #Conflicts: 1053000 | #Constraints: 31808
756.23/758.26 c #Conflicts: 1054000 | #Constraints: 32808
756.23/758.26 c #Conflicts: 1055000 | #Constraints: 33808
756.23/758.26 c #Conflicts: 1056000 | #Constraints: 34808
756.23/758.26 c #Conflicts: 1057000 | #Constraints: 35808
756.23/758.26 c #Conflicts: 1058000 | #Constraints: 36808
756.23/758.26 c #Conflicts: 1059000 | #Constraints: 37808
756.23/758.26 c #Conflicts: 1060000 | #Constraints: 38808
756.23/758.26 c #Conflicts: 1061000 | #Constraints: 39808
756.23/758.26 c #Conflicts: 1062000 | #Constraints: 40808
756.23/758.26 c INPROCESSING
756.23/758.26 c GARBAGE COLLECT
756.23/758.26 c #Conflicts: 1063000 | #Constraints: 21414
756.23/758.26 c #Conflicts: 1064000 | #Constraints: 22414
756.23/758.26 c #Conflicts: 1065000 | #Constraints: 23414
756.23/758.26 c #Conflicts: 1066000 | #Constraints: 24414
756.23/758.26 c #Conflicts: 1067000 | #Constraints: 25414
756.23/758.26 c #Conflicts: 1068000 | #Constraints: 26414
756.23/758.26 c #Conflicts: 1069000 | #Constraints: 27414
756.23/758.26 c #Conflicts: 1070000 | #Constraints: 28414
756.23/758.26 c #Conflicts: 1071000 | #Constraints: 29414
756.23/758.26 c #Conflicts: 1072000 | #Constraints: 30414
756.23/758.26 c #Conflicts: 1073000 | #Constraints: 31414
756.23/758.26 c #Conflicts: 1074000 | #Constraints: 32414
756.23/758.26 c #Conflicts: 1075000 | #Constraints: 33414
756.23/758.26 c #Conflicts: 1076000 | #Constraints: 34414
756.23/758.26 c #Conflicts: 1077000 | #Constraints: 35414
756.23/758.26 c #Conflicts: 1078000 | #Constraints: 36414
756.23/758.26 c #Conflicts: 1079000 | #Constraints: 37414
756.23/758.26 c #Conflicts: 1080000 | #Constraints: 38414
756.23/758.26 c #Conflicts: 1081000 | #Constraints: 39414
756.23/758.26 c #Conflicts: 1082000 | #Constraints: 40414
756.23/758.26 c #Conflicts: 1083000 | #Constraints: 41414
756.23/758.26 c INPROCESSING
756.23/758.26 c GARBAGE COLLECT
756.23/758.26 c #Conflicts: 1084000 | #Constraints: 21811
756.23/758.26 c #Conflicts: 1085000 | #Constraints: 22811
756.23/758.26 c #Conflicts: 1086000 | #Constraints: 23811
756.23/758.26 c #Conflicts: 1087000 | #Constraints: 24811
756.23/758.26 c #Conflicts: 1088000 | #Constraints: 25811
756.23/758.26 c #Conflicts: 1089000 | #Constraints: 26811
756.23/758.26 c #Conflicts: 1090000 | #Constraints: 27811
756.23/758.26 c #Conflicts: 1091000 | #Constraints: 28811
756.23/758.26 c #Conflicts: 1092000 | #Constraints: 29811
756.23/758.26 c #Conflicts: 1093000 | #Constraints: 30811
756.23/758.26 c #Conflicts: 1094000 | #Constraints: 31811
756.23/758.26 c #Conflicts: 1095000 | #Constraints: 32811
756.23/758.26 c #Conflicts: 1096000 | #Constraints: 33811
756.23/758.26 c #Conflicts: 1097000 | #Constraints: 34811
756.23/758.26 c #Conflicts: 1098000 | #Constraints: 35811
756.23/758.26 c #Conflicts: 1099000 | #Constraints: 36811
756.23/758.26 c #Conflicts: 1100000 | #Constraints: 37811
756.23/758.26 c #Conflicts: 1101000 | #Constraints: 38811
756.23/758.26 c #Conflicts: 1102000 | #Constraints: 39811
756.23/758.26 c #Conflicts: 1103000 | #Constraints: 40811
756.23/758.26 c #Conflicts: 1104000 | #Constraints: 41811
756.23/758.26 c INPROCESSING
756.23/758.26 c GARBAGE COLLECT
756.23/758.26 c #Conflicts: 1105000 | #Constraints: 22015
756.23/758.26 c #Conflicts: 1106000 | #Constraints: 23015
756.23/758.26 c #Conflicts: 1107000 | #Constraints: 24015
756.23/758.26 c #Conflicts: 1108000 | #Constraints: 25015
756.23/758.26 c #Conflicts: 1109000 | #Constraints: 26015
756.23/758.26 c #Conflicts: 1110000 | #Constraints: 27015
756.23/758.26 c #Conflicts: 1111000 | #Constraints: 28015
756.23/758.26 c #Conflicts: 1112000 | #Constraints: 29015
756.23/758.26 c #Conflicts: 1113000 | #Constraints: 30015
756.23/758.26 c #Conflicts: 1114000 | #Constraints: 31015
756.23/758.26 c #Conflicts: 1115000 | #Constraints: 32015
756.23/758.26 c #Conflicts: 1116000 | #Constraints: 33015
756.23/758.26 c #Conflicts: 1117000 | #Constraints: 34015
756.23/758.26 c #Conflicts: 1118000 | #Constraints: 35015
756.23/758.26 c #Conflicts: 1119000 | #Constraints: 36015
756.23/758.26 c #Conflicts: 1120000 | #Constraints: 37015
756.23/758.26 c #Conflicts: 1121000 | #Constraints: 38015
756.23/758.26 c #Conflicts: 1122000 | #Constraints: 39015
835.73/837.90 c #Conflicts: 1123000 | #Constraints: 40015
835.73/837.90 c #Conflicts: 1124000 | #Constraints: 41015
835.73/837.90 c #Conflicts: 1125000 | #Constraints: 42015
835.73/837.90 c INPROCESSING
835.73/837.90 c GARBAGE COLLECT
835.73/837.90 c #Conflicts: 1126000 | #Constraints: 22015
835.73/837.90 c #Conflicts: 1127000 | #Constraints: 23015
835.73/837.90 c #Conflicts: 1128000 | #Constraints: 24015
835.73/837.90 c #Conflicts: 1129000 | #Constraints: 25015
835.73/837.90 c #Conflicts: 1130000 | #Constraints: 26015
835.73/837.90 c #Conflicts: 1131000 | #Constraints: 27015
835.73/837.90 c #Conflicts: 1132000 | #Constraints: 28015
835.73/837.90 c #Conflicts: 1133000 | #Constraints: 29015
835.73/837.90 c #Conflicts: 1134000 | #Constraints: 30015
835.73/837.90 c #Conflicts: 1135000 | #Constraints: 31015
835.73/837.90 c #Conflicts: 1136000 | #Constraints: 32015
835.73/837.90 c #Conflicts: 1137000 | #Constraints: 33015
835.73/837.90 c #Conflicts: 1138000 | #Constraints: 34015
835.73/837.90 c #Conflicts: 1139000 | #Constraints: 35015
835.73/837.90 c #Conflicts: 1140000 | #Constraints: 36015
835.73/837.90 c #Conflicts: 1141000 | #Constraints: 37015
835.73/837.90 c #Conflicts: 1142000 | #Constraints: 38015
835.73/837.90 c #Conflicts: 1143000 | #Constraints: 39015
835.73/837.90 c #Conflicts: 1144000 | #Constraints: 40015
835.73/837.90 c #Conflicts: 1145000 | #Constraints: 41015
835.73/837.90 c #Conflicts: 1146000 | #Constraints: 42015
835.73/837.90 c INPROCESSING
835.73/837.90 c GARBAGE COLLECT
835.73/837.90 c #Conflicts: 1147000 | #Constraints: 21810
835.73/837.90 c #Conflicts: 1148000 | #Constraints: 22810
835.73/837.90 c #Conflicts: 1149000 | #Constraints: 23810
835.73/837.90 c #Conflicts: 1150000 | #Constraints: 24810
835.73/837.90 c #Conflicts: 1151000 | #Constraints: 25810
835.73/837.90 c #Conflicts: 1152000 | #Constraints: 26810
835.73/837.90 c #Conflicts: 1153000 | #Constraints: 27810
835.73/837.90 c #Conflicts: 1154000 | #Constraints: 28810
835.73/837.90 c #Conflicts: 1155000 | #Constraints: 29810
835.73/837.90 c #Conflicts: 1156000 | #Constraints: 30810
835.73/837.90 c #Conflicts: 1157000 | #Constraints: 31810
835.73/837.90 c #Conflicts: 1158000 | #Constraints: 32810
835.73/837.90 c #Conflicts: 1159000 | #Constraints: 33810
835.73/837.90 c #Conflicts: 1160000 | #Constraints: 34810
835.73/837.90 c #Conflicts: 1161000 | #Constraints: 35810
835.73/837.90 c #Conflicts: 1162000 | #Constraints: 36810
835.73/837.90 c #Conflicts: 1163000 | #Constraints: 37810
835.73/837.90 c #Conflicts: 1164000 | #Constraints: 38810
835.73/837.90 c #Conflicts: 1165000 | #Constraints: 39810
835.73/837.90 c #Conflicts: 1166000 | #Constraints: 40810
835.73/837.90 c #Conflicts: 1167000 | #Constraints: 41810
835.73/837.90 c #Conflicts: 1168000 | #Constraints: 42810
835.73/837.90 c INPROCESSING
835.73/837.90 c GARBAGE COLLECT
835.73/837.90 c #Conflicts: 1169000 | #Constraints: 22407
835.73/837.90 c #Conflicts: 1170000 | #Constraints: 23407
835.73/837.90 c #Conflicts: 1171000 | #Constraints: 24407
835.73/837.90 c #Conflicts: 1172000 | #Constraints: 25407
835.73/837.90 c #Conflicts: 1173000 | #Constraints: 26407
835.73/837.90 c #Conflicts: 1174000 | #Constraints: 27407
835.73/837.90 c #Conflicts: 1175000 | #Constraints: 28407
835.73/837.90 c #Conflicts: 1176000 | #Constraints: 29407
835.73/837.90 c #Conflicts: 1177000 | #Constraints: 30407
835.73/837.90 c #Conflicts: 1178000 | #Constraints: 31407
835.73/837.90 c #Conflicts: 1179000 | #Constraints: 32407
835.73/837.90 c #Conflicts: 1180000 | #Constraints: 33407
835.73/837.90 c #Conflicts: 1181000 | #Constraints: 34407
835.73/837.90 c #Conflicts: 1182000 | #Constraints: 35407
835.73/837.90 c #Conflicts: 1183000 | #Constraints: 36407
835.73/837.90 c #Conflicts: 1184000 | #Constraints: 37407
835.73/837.90 c #Conflicts: 1185000 | #Constraints: 38407
835.73/837.90 c #Conflicts: 1186000 | #Constraints: 39407
835.73/837.90 c #Conflicts: 1187000 | #Constraints: 40407
835.73/837.90 c #Conflicts: 1188000 | #Constraints: 41407
835.73/837.90 c #Conflicts: 1189000 | #Constraints: 42407
835.73/837.90 c #Conflicts: 1190000 | #Constraints: 43407
835.73/837.90 c INPROCESSING
835.73/837.90 c GARBAGE COLLECT
835.73/837.90 c #Conflicts: 1191000 | #Constraints: 22801
835.73/837.90 c #Conflicts: 1192000 | #Constraints: 23801
835.73/837.90 c #Conflicts: 1193000 | #Constraints: 24801
835.73/837.90 c #Conflicts: 1194000 | #Constraints: 25801
835.73/837.90 c #Conflicts: 1195000 | #Constraints: 26801
835.73/837.90 c #Conflicts: 1196000 | #Constraints: 27801
835.73/837.90 c #Conflicts: 1197000 | #Constraints: 28801
835.73/837.90 c #Conflicts: 1198000 | #Constraints: 29801
905.45/907.81 c #Conflicts: 1199000 | #Constraints: 30801
905.45/907.81 c #Conflicts: 1200000 | #Constraints: 31801
905.45/907.81 c #Conflicts: 1201000 | #Constraints: 32801
905.45/907.81 c #Conflicts: 1202000 | #Constraints: 33801
905.45/907.81 c #Conflicts: 1203000 | #Constraints: 34801
905.45/907.81 c #Conflicts: 1204000 | #Constraints: 35801
905.45/907.81 c #Conflicts: 1205000 | #Constraints: 36801
905.45/907.81 c #Conflicts: 1206000 | #Constraints: 37801
905.45/907.81 c #Conflicts: 1207000 | #Constraints: 38801
905.45/907.81 c #Conflicts: 1208000 | #Constraints: 39801
905.45/907.81 c #Conflicts: 1209000 | #Constraints: 40801
905.45/907.81 c #Conflicts: 1210000 | #Constraints: 41801
905.45/907.81 c #Conflicts: 1211000 | #Constraints: 42801
905.45/907.81 c #Conflicts: 1212000 | #Constraints: 43801
905.45/907.81 c INPROCESSING
905.45/907.81 c GARBAGE COLLECT
905.45/907.81 c #Conflicts: 1213000 | #Constraints: 23000
905.45/907.81 c #Conflicts: 1214000 | #Constraints: 24000
905.45/907.81 c #Conflicts: 1215000 | #Constraints: 25000
905.45/907.81 c #Conflicts: 1216000 | #Constraints: 26000
905.45/907.81 c #Conflicts: 1217000 | #Constraints: 27000
905.45/907.81 c #Conflicts: 1218000 | #Constraints: 28000
905.45/907.81 c #Conflicts: 1219000 | #Constraints: 29000
905.45/907.81 c #Conflicts: 1220000 | #Constraints: 30000
905.45/907.81 c #Conflicts: 1221000 | #Constraints: 31000
905.45/907.81 c #Conflicts: 1222000 | #Constraints: 32000
905.45/907.81 c #Conflicts: 1223000 | #Constraints: 33000
905.45/907.81 c #Conflicts: 1224000 | #Constraints: 34000
905.45/907.81 c #Conflicts: 1225000 | #Constraints: 35000
905.45/907.81 c #Conflicts: 1226000 | #Constraints: 36000
905.45/907.81 c #Conflicts: 1227000 | #Constraints: 37000
905.45/907.81 c #Conflicts: 1228000 | #Constraints: 38000
905.45/907.81 c #Conflicts: 1229000 | #Constraints: 39000
905.45/907.81 c #Conflicts: 1230000 | #Constraints: 40000
905.45/907.81 c #Conflicts: 1231000 | #Constraints: 41000
905.45/907.81 c #Conflicts: 1232000 | #Constraints: 42000
905.45/907.81 c #Conflicts: 1233000 | #Constraints: 43000
905.45/907.81 c #Conflicts: 1234000 | #Constraints: 44000
905.45/907.81 c INPROCESSING
905.45/907.81 c GARBAGE COLLECT
905.45/907.81 c #Conflicts: 1235000 | #Constraints: 23001
905.45/907.81 c #Conflicts: 1236000 | #Constraints: 24001
905.45/907.81 c #Conflicts: 1237000 | #Constraints: 25001
905.45/907.81 c #Conflicts: 1238000 | #Constraints: 26001
905.45/907.81 c #Conflicts: 1239000 | #Constraints: 27001
905.45/907.81 c #Conflicts: 1240000 | #Constraints: 28001
905.45/907.81 c #Conflicts: 1241000 | #Constraints: 29001
905.45/907.81 c #Conflicts: 1242000 | #Constraints: 30001
905.45/907.81 c #Conflicts: 1243000 | #Constraints: 31001
905.45/907.81 c #Conflicts: 1244000 | #Constraints: 32001
905.45/907.81 c #Conflicts: 1245000 | #Constraints: 33001
905.45/907.81 c #Conflicts: 1246000 | #Constraints: 34001
905.45/907.81 c #Conflicts: 1247000 | #Constraints: 35001
905.45/907.81 c #Conflicts: 1248000 | #Constraints: 36001
905.45/907.81 c #Conflicts: 1249000 | #Constraints: 37001
905.45/907.81 c #Conflicts: 1250000 | #Constraints: 38001
905.45/907.81 c #Conflicts: 1251000 | #Constraints: 39001
905.45/907.81 c #Conflicts: 1252000 | #Constraints: 40001
905.45/907.81 c #Conflicts: 1253000 | #Constraints: 41001
905.45/907.81 c #Conflicts: 1254000 | #Constraints: 42001
905.45/907.81 c #Conflicts: 1255000 | #Constraints: 43001
905.45/907.81 c #Conflicts: 1256000 | #Constraints: 44001
905.45/907.81 c INPROCESSING
905.45/907.81 c GARBAGE COLLECT
905.45/907.81 c #Conflicts: 1257000 | #Constraints: 22797
905.45/907.81 c #Conflicts: 1258000 | #Constraints: 23797
905.45/907.81 c #Conflicts: 1259000 | #Constraints: 24797
905.45/907.81 c #Conflicts: 1260000 | #Constraints: 25797
905.45/907.81 c #Conflicts: 1261000 | #Constraints: 26797
905.45/907.81 c #Conflicts: 1262000 | #Constraints: 27797
905.45/907.81 c #Conflicts: 1263000 | #Constraints: 28797
905.45/907.81 c #Conflicts: 1264000 | #Constraints: 29797
905.45/907.81 c #Conflicts: 1265000 | #Constraints: 30797
905.45/907.81 c #Conflicts: 1266000 | #Constraints: 31797
905.45/907.81 c #Conflicts: 1267000 | #Constraints: 32797
905.45/907.81 c #Conflicts: 1268000 | #Constraints: 33797
905.45/907.81 c #Conflicts: 1269000 | #Constraints: 34797
905.45/907.81 c #Conflicts: 1270000 | #Constraints: 35797
905.45/907.81 c #Conflicts: 1271000 | #Constraints: 36797
905.45/907.81 c #Conflicts: 1272000 | #Constraints: 37797
905.45/907.81 c #Conflicts: 1273000 | #Constraints: 38797
905.45/907.81 c #Conflicts: 1274000 | #Constraints: 39797
905.45/907.81 c #Conflicts: 1275000 | #Constraints: 40797
963.30/965.82 c #Conflicts: 1276000 | #Constraints: 41797
963.30/965.82 c #Conflicts: 1277000 | #Constraints: 42797
963.30/965.82 c #Conflicts: 1278000 | #Constraints: 43797
963.30/965.82 c #Conflicts: 1279000 | #Constraints: 44797
963.30/965.82 c INPROCESSING
963.30/965.82 c GARBAGE COLLECT
963.30/965.82 c #Conflicts: 1280000 | #Constraints: 23406
963.30/965.82 c #Conflicts: 1281000 | #Constraints: 24406
963.30/965.82 c #Conflicts: 1282000 | #Constraints: 25406
963.30/965.82 c #Conflicts: 1283000 | #Constraints: 26406
963.30/965.82 c #Conflicts: 1284000 | #Constraints: 27406
963.30/965.82 c #Conflicts: 1285000 | #Constraints: 28406
963.30/965.82 c #Conflicts: 1286000 | #Constraints: 29406
963.30/965.82 c #Conflicts: 1287000 | #Constraints: 30406
963.30/965.82 c #Conflicts: 1288000 | #Constraints: 31406
963.30/965.82 c #Conflicts: 1289000 | #Constraints: 32406
963.30/965.82 c #Conflicts: 1290000 | #Constraints: 33406
963.30/965.82 c #Conflicts: 1291000 | #Constraints: 34406
963.30/965.82 c #Conflicts: 1292000 | #Constraints: 35406
963.30/965.82 c #Conflicts: 1293000 | #Constraints: 36406
963.30/965.82 c #Conflicts: 1294000 | #Constraints: 37406
963.30/965.82 c #Conflicts: 1295000 | #Constraints: 38406
963.30/965.82 c #Conflicts: 1296000 | #Constraints: 39406
963.30/965.82 c #Conflicts: 1297000 | #Constraints: 40406
963.30/965.82 c #Conflicts: 1298000 | #Constraints: 41406
963.30/965.82 c #Conflicts: 1299000 | #Constraints: 42406
963.30/965.82 c #Conflicts: 1300000 | #Constraints: 43406
963.30/965.82 c #Conflicts: 1301000 | #Constraints: 44406
963.30/965.82 c #Conflicts: 1302000 | #Constraints: 45406
963.30/965.82 c INPROCESSING
963.30/965.82 c GARBAGE COLLECT
963.30/965.82 c #Conflicts: 1303000 | #Constraints: 23804
963.30/965.82 c #Conflicts: 1304000 | #Constraints: 24804
963.30/965.82 c #Conflicts: 1305000 | #Constraints: 25804
963.30/965.82 c #Conflicts: 1306000 | #Constraints: 26804
963.30/965.82 c #Conflicts: 1307000 | #Constraints: 27804
963.30/965.82 c #Conflicts: 1308000 | #Constraints: 28804
963.30/965.82 c #Conflicts: 1309000 | #Constraints: 29804
963.30/965.82 c #Conflicts: 1310000 | #Constraints: 30804
963.30/965.82 c #Conflicts: 1311000 | #Constraints: 31804
963.30/965.82 c #Conflicts: 1312000 | #Constraints: 32804
963.30/965.82 c #Conflicts: 1313000 | #Constraints: 33804
963.30/965.82 c #Conflicts: 1314000 | #Constraints: 34804
963.30/965.82 c #Conflicts: 1315000 | #Constraints: 35804
963.30/965.82 c #Conflicts: 1316000 | #Constraints: 36804
963.30/965.82 c #Conflicts: 1317000 | #Constraints: 37804
963.30/965.82 c #Conflicts: 1318000 | #Constraints: 38804
963.30/965.82 c #Conflicts: 1319000 | #Constraints: 39804
963.30/965.82 c #Conflicts: 1320000 | #Constraints: 40804
963.30/965.82 c #Conflicts: 1321000 | #Constraints: 41804
963.30/965.82 c #Conflicts: 1322000 | #Constraints: 42804
963.30/965.82 c #Conflicts: 1323000 | #Constraints: 43804
963.30/965.82 c #Conflicts: 1324000 | #Constraints: 44804
963.30/965.82 c #Conflicts: 1325000 | #Constraints: 45804
963.30/965.82 c INPROCESSING
963.30/965.82 c GARBAGE COLLECT
963.30/965.82 c #Conflicts: 1326000 | #Constraints: 24003
963.30/965.82 c #Conflicts: 1327000 | #Constraints: 25003
963.30/965.82 c #Conflicts: 1328000 | #Constraints: 26003
963.30/965.82 c #Conflicts: 1329000 | #Constraints: 27003
963.30/965.82 c #Conflicts: 1330000 | #Constraints: 28003
963.30/965.82 c #Conflicts: 1331000 | #Constraints: 29003
963.30/965.82 c GLOBAL bounds - >= 96 @ 958.386
963.30/965.83 c rational objective 96
963.30/965.85 c Conflict after adding new constraint
963.30/965.85 c cpu time 958.417 s
963.30/965.85 c deterministic time 3650 3.65e+03
963.30/965.85 c optimization time 958.392 s
963.30/965.85 c total solve time 0.023868 s
963.30/965.85 c core-guided solve time 0 s
963.30/965.85 c propagation time 0.000778 s
963.30/965.85 c conflict analysis time 0 s
963.30/965.85 c propagations 156
963.30/965.85 c resolve steps 0
963.30/965.85 c decisions 41
963.30/965.85 c conflicts 0
963.30/965.85 c restarts 1
963.30/965.85 c inprocessing phases 0
963.30/965.85 c garbage collections 0 ,( -nan )
963.30/965.85 c input clauses 17 ,( 8.99 )
963.30/965.85 c input cardinalities 171 ,( 90.48 )
963.30/965.85 c input general constraints 1 ,( 0.53 )
963.30/965.85 c input average constraint length 10.17
963.30/965.85 c input average constraint degree 5.79
963.30/965.85 c learned clauses 0 ,( 0.00 )
963.30/965.85 c learned cardinalities 0 ,( 0.00 )
963.30/965.85 c learned general constraints 1 ,( 100.00 )
963.30/965.85 c learned average constraint length 153.00
963.30/965.85 c learned average constraint degree 13042055364.00
963.30/965.85 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
963.30/965.85 c counting CF 32, 64, 128, Arb: 3 , 0 , 0 , 0
963.30/965.85 c watched constraints 0 ,( 0.00 )
963.30/965.85 c counting constraints 2 ,( 100.00 )
963.30/965.85 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 17 , 535 , 1 ,( 0 , 1 )
963.30/965.85 c gcd simplifications 0
963.30/965.85 c detected cardinalities 0
963.30/965.85 c weakened non-implied lits 0
963.30/965.85 c weakened non-implying lits 0
963.30/965.85 c original variables 196
963.30/965.85 c clausal propagations 4
963.30/965.85 c cardinality propagations 130
963.30/965.85 c watched propagations 0
963.30/965.85 c counting propagations 0
963.30/965.85 c watch lookups 642
963.30/965.85 c watch backjump lookups 0
963.30/965.85 c watch checks 1104
963.30/965.85 c propagation checks 1085
963.30/965.85 c constraint additions 0
963.30/965.85 c trail pops 175
963.30/965.85 c formula constraints 154
963.30/965.85 c learned constraints 0
963.30/965.85 c bound constraints 0
963.30/965.85 c core-guided constraints 0
963.30/965.85 c encountered formula constraints 0
963.30/965.85 c encountered learned constraints 0
963.30/965.85 c encountered bound constraints 0
963.30/965.85 c encountered core-guided constraints 0
963.30/965.85 c LP total time 0.023743 s
963.30/965.85 c LP solve time 0 s
963.30/965.85 c LP constraints added 155
963.30/965.85 c LP constraints removed 0
963.30/965.85 c LP pivots internal 16
963.30/965.85 c LP pivots root 430
963.30/965.85 c LP calls 2
963.30/965.85 c LP optimalities 2
963.30/965.85 c LP no pivot count 0
963.30/965.85 c LP infeasibilities 0
963.30/965.85 c LP valid Farkas constraints 0
963.30/965.85 c LP learned Farkas constraints 0
963.30/965.85 c LP basis resets 0
963.30/965.85 c LP cycling count 0
963.30/965.85 c LP singular count 0
963.30/965.85 c LP no primal count 0
963.30/965.85 c LP no farkas count 0
963.30/965.85 c LP other issue count 0
963.30/965.85 c LP Gomory cuts 1
963.30/965.85 c LP learned cuts 0
963.30/965.85 c LP deleted cuts 0
963.30/965.85 c LP encountered Gomory constraints 0
963.30/965.85 c LP encountered Farkas constraints 0
963.30/965.85 c LP encountered learned Farkas constraints 0
963.30/965.85 c CG auxiliary variables introduced 1
963.30/965.85 c CG solutions found 1
963.30/965.85 c CG cores constructed 0
963.30/965.85 c CG core cardinality constraints returned 0
963.30/965.85 c CG unit cores 0
963.30/965.85 c CG single cores 0
963.30/965.85 c CG blocks removed during cardinality reduction 0
963.30/965.85 c CG first core best 0
963.30/965.85 c CG decision core best 0
963.30/965.85 c CG core reduction tie 0
963.30/965.85 c CG core degree average 0.00
963.30/965.85 c CG core slack average 0.00
963.30/965.85 c CG core upper bound improvements 0
963.30/965.85 c STR number of successful calls 0
963.30/965.85 c STR number of unsuccessful calls 0
963.30/965.85 c STR number of inconclusive calls 0
963.30/965.85 c STR number of successful attempts 0
963.30/965.85 c STR number of unsuccessful attempts 0
963.30/965.85 c STR number of inconclusive attempts 0
963.30/965.85 c STR average degree increase per successful call inf
963.30/965.85 c STR average degree increase per successful attempt inf
963.30/965.85 c STR total number of conflicts for successful attempts 0
963.30/965.85 c STR total number of conflicts for unsuccessful attempts 0
963.30/965.85 c STR total number of conflicts for inconclusive attempts 0
963.30/965.85 c STR average number of conflicts per successful attempt inf
963.30/965.85 c STR average number of conflicts per unsuccessful attempt inf
963.30/965.85 c STR average number of conflicts per inconclusive attempt inf
963.30/965.85 c AVG.sumWPerc 80.27
963.30/965.85 c bigint constraints 0
963.30/965.85 o 96
963.30/965.85 s OPTIMUM FOUND
963.30/965.85 v -x1 x2 x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 x13 x14 x15 x16 x17 x18 x19 -x20 -x21 x22 x23 -x24 x25 x26 -x27 -x28 x29 -x30 x31 x32 x33 x34 -x35 -x36 x37 x38 -x39 -x40 -x41 x42 x43 x44 -x45 x46 x47 -x48 x49 x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 x59 -x60 -x61 x62 -x63 x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 x72 x73 -x74 x75 x76 x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 x85 -x86 x87 -x88 -x89 x90 x91 -x92 x93 -x94 -x95 x96 x97 x98 -x99 x100 x101 x102 x103 -x104 -x105 x106 x107 x108 x109 x110 -x111 -x112 x113 -x114 -x115 -x116 x117 -x118 x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 x127 -x128 x129 -x130 x131 x132 -x133 x134 -x135 x136 x137 -x138 x139 x140 x141 x142 -x143 -x144 -x145 -x146 x147 x148 -x149 x150 x151 -x152 -x153 -x154 x155 -x156 x157 x158 x159 -x160 -x161 x162 -x163 -x164 -x165 x166 -x167 x168 -x169 -x170 x171 -x172 -x173 x174 -x175 x176 x177 -x178 x179 -x180 x181 -x182 x183 -x184 -x185 x186 x187 -x188 -x189 -x190 x191 x192 x193 x194 -x195 x196
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: 63708 MiB (62002 MiB free)
memory of node 1: 64465 MiB (63853 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508274-1751515108/watcher-4508274-1751515108 -o /tmp/evaluation-result-4508274-1751515108/solver-4508274-1751515108 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751510521-81229 --watchdog 3760 run-opt.sh HOME/instance-4508274-1751515108.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=81749, runsolver pid=81746
[startup+0.100057 s]*
/proc/loadavg: 4.13 4.11 4.07 5/268 81751
/proc/meminfo: memFree=128875204/131249992 swapFree=33010160/33010684
[pid=81749] ppid=81746 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81749/stat : 81749 (run-opt.sh) S 81746 81749 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67189576 4292608 736 18446744073709551615 94641316929536 94641317824069 140736029636560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94641318063120 94641318110864 94641337913344 140736029641069 140736029641192 140736029641192 140736029646794 0
/proc/81749/statm: 1048 736 672 219 0 110 0
[pid=81751] ppid=81749 vsize=61348 memory=14272 CPUtime=0.08 cores=1,3
/proc/81751/stat : 81751 (roundingsat) R 81749 81749 81217 0 -1 4194304 885 0 0 0 8 0 0 0 20 0 1 0 67189577 62820352 3568 18446744073709551615 4227072 8923433 140731634145888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22855680 140731634153890 140731634154024 140731634154024 140731634159594 0
/proc/81751/statm: 15337 3568 2400 1147 0 2764 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 65540 KiB
Current children cumulated memory: 17216 KiB
[startup+0.205004 s]*
/proc/loadavg: 4.13 4.11 4.07 5/268 81751
/proc/meminfo: memFree=128873188/131249992 swapFree=33010160/33010684
[pid=81749] ppid=81746 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81749/stat : 81749 (run-opt.sh) S 81746 81749 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67189576 4292608 736 18446744073709551615 94641316929536 94641317824069 140736029636560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94641318063120 94641318110864 94641337913344 140736029641069 140736029641192 140736029641192 140736029646794 0
/proc/81749/statm: 1048 736 672 219 0 110 0
[pid=81751] ppid=81749 vsize=62320 memory=15040 CPUtime=0.19 cores=1,3
/proc/81751/stat : 81751 (roundingsat) R 81749 81749 81217 0 -1 4194304 1083 0 0 0 18 1 0 0 20 0 1 0 67189577 63815680 3760 18446744073709551615 4227072 8923433 140731634145888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22855680 140731634153890 140731634154024 140731634154024 140731634159594 0
/proc/81751/statm: 15580 3760 2400 1147 0 3007 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 66512 KiB
Current children cumulated memory: 17984 KiB
[startup+0.304532 s]*
/proc/loadavg: 4.13 4.11 4.07 5/268 81751
/proc/meminfo: memFree=128873188/131249992 swapFree=33010160/33010684
[pid=81749] ppid=81746 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81749/stat : 81749 (run-opt.sh) S 81746 81749 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67189576 4292608 736 18446744073709551615 94641316929536 94641317824069 140736029636560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94641318063120 94641318110864 94641337913344 140736029641069 140736029641192 140736029641192 140736029646794 0
/proc/81749/statm: 1048 736 672 219 0 110 0
[pid=81751] ppid=81749 vsize=63104 memory=15680 CPUtime=0.29 cores=1,3
/proc/81751/stat : 81751 (roundingsat) R 81749 81749 81217 0 -1 4194304 1251 0 0 0 28 1 0 0 20 0 1 0 67189577 64618496 3920 18446744073709551615 4227072 8923433 140731634145888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22855680 140731634153890 140731634154024 140731634154024 140731634159594 0
/proc/81751/statm: 15776 3920 2400 1147 0 3203 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 67296 KiB
Current children cumulated memory: 18624 KiB
[startup+0.700122 s]
/proc/loadavg: 4.13 4.11 4.07 5/268 81751
/proc/meminfo: memFree=128873188/131249992 swapFree=33010160/33010684
[pid=81749] ppid=81746 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81749/stat : 81749 (run-opt.sh) S 81746 81749 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67189576 4292608 736 18446744073709551615 94641316929536 94641317824069 140736029636560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94641318063120 94641318110864 94641337913344 140736029641069 140736029641192 140736029641192 140736029646794 0
/proc/81749/statm: 1048 736 672 219 0 110 0
[pid=81751] ppid=81749 vsize=64192 memory=16576 CPUtime=0.67 cores=1,3
/proc/81751/stat : 81751 (roundingsat) R 81749 81749 81217 0 -1 4194304 1476 0 0 0 65 2 0 0 20 0 1 0 67189577 65732608 4144 18446744073709551615 4227072 8923433 140731634145888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22855680 140731634153890 140731634154024 140731634154024 140731634159594 0
/proc/81751/statm: 16048 4144 2400 1147 0 3475 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 68384 KiB
Current children cumulated memory: 19520 KiB
[startup+1.50015 s]
/proc/loadavg: 4.13 4.11 4.07 5/268 81751
/proc/meminfo: memFree=128869156/131249992 swapFree=33010160/33010684
[pid=81749] ppid=81746 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81749/stat : 81749 (run-opt.sh) S 81746 81749 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67189576 4292608 736 18446744073709551615 94641316929536 94641317824069 140736029636560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94641318063120 94641318110864 94641337913344 140736029641069 140736029641192 140736029641192 140736029646794 0
/proc/81749/statm: 1048 736 672 219 0 110 0
[pid=81751] ppid=81749 vsize=65568 memory=17856 CPUtime=1.48 cores=1,3
/proc/81751/stat : 81751 (roundingsat) R 81749 81749 81217 0 -1 4194304 1785 0 0 0 144 4 0 0 20 0 1 0 67189577 67141632 4464 18446744073709551615 4227072 8923433 140731634145888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22855680 140731634153890 140731634154024 140731634154024 140731634159594 0
/proc/81751/statm: 16392 4464 2400 1147 0 3819 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 69760 KiB
Current children cumulated memory: 20800 KiB
[startup+3.10556 s]
/proc/loadavg: 4.13 4.11 4.07 5/268 81751
/proc/meminfo: memFree=128869320/131249992 swapFree=33010160/33010684
[pid=81749] ppid=81746 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81749/stat : 81749 (run-opt.sh) S 81746 81749 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67189576 4292608 736 18446744073709551615 94641316929536 94641317824069 140736029636560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94641318063120 94641318110864 94641337913344 140736029641069 140736029641192 140736029641192 140736029646794 0
/proc/81749/statm: 1048 736 672 219 0 110 0
[pid=81751] ppid=81749 vsize=66496 memory=19008 CPUtime=3.07 cores=1,3
/proc/81751/stat : 81751 (roundingsat) R 81749 81749 81217 0 -1 4194304 2078 0 0 0 301 6 0 0 20 0 1 0 67189577 68091904 4752 18446744073709551615 4227072 8923433 140731634145888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22855680 140731634153890 140731634154024 140731634154024 140731634159594 0
/proc/81751/statm: 16624 4752 2400 1147 0 4051 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 70688 KiB
Current children cumulated memory: 21952 KiB
[startup+6.30016 s]
/proc/loadavg: 4.12 4.10 4.07 5/268 81751
/proc/meminfo: memFree=128869620/131249992 swapFree=33010160/33010684
[pid=81749] ppid=81746 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81749/stat : 81749 (run-opt.sh) S 81746 81749 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67189576 4292608 736 18446744073709551615 94641316929536 94641317824069 140736029636560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94641318063120 94641318110864 94641337913344 140736029641069 140736029641192 140736029641192 140736029646794 0
/proc/81749/statm: 1048 736 672 219 0 110 0
[pid=81751] ppid=81749 vsize=68032 memory=21056 CPUtime=6.27 cores=1,3
/proc/81751/stat : 81751 (roundingsat) R 81749 81749 81217 0 -1 4194304 2588 0 0 0 615 12 0 0 20 0 1 0 67189577 69664768 5264 18446744073709551615 4227072 8923433 140731634145888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22855680 140731634153890 140731634154024 140731634154024 140731634159594 0
/proc/81751/statm: 17008 5264 2400 1147 0 4435 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 72224 KiB
Current children cumulated memory: 24000 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.10 4.07 5/268 81751
/proc/meminfo: memFree=128866092/131249992 swapFree=33010160/33010684
[pid=81749] ppid=81746 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81749/stat : 81749 (run-opt.sh) S 81746 81749 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67189576 4292608 736 18446744073709551615 94641316929536 94641317824069 140736029636560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94641318063120 94641318110864 94641337913344 140736029641069 140736029641192 140736029641192 140736029646794 0
/proc/81749/statm: 1048 736 672 219 0 110 0
[pid=81751] ppid=81749 vsize=70472 memory=23744 CPUtime=12.65 cores=1,3
/proc/81751/stat : 81751 (roundingsat) R 81749 81749 81217 0 -1 4194304 3289 0 0 0 1245 20 0 0 20 0 1 0 67189577 72163328 5936 18446744073709551615 4227072 8923433 140731634145888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22855680 140731634153890 140731634154024 140731634154024 140731634159594 0
/proc/81751/statm: 17618 5936 2400 1147 0 5045 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 74664 KiB
Current children cumulated memory: 26688 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.10 4.07 5/268 81752
/proc/meminfo: memFree=128863140/131249992 swapFree=33010160/33010684
[pid=81749] ppid=81746 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81749/stat : 81749 (run-opt.sh) S 81746 81749 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67189576 4292608 736 18446744073709551615 94641316929536 94641317824069 140736029636560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94641318063120 94641318110864 94641337913344 140736029641069 140736029641192 140736029641192 140736029646794 0
/proc/81749/statm: 1048 736 672 219 0 110 0
[pid=81751] ppid=81749 vsize=77128 memory=28608 CPUtime=25.42 cores=1,3
/proc/81751/stat : 81751 (roundingsat) R 81749 81749 81217 0 -1 4194304 4633 0 0 0 2508 34 0 0 20 0 1 0 67189577 78979072 7152 18446744073709551615 4227072 8923433 140731634145888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22855680 140731634153890 140731634154024 140731634154024 140731634159594 0
/proc/81751/statm: 19282 7152 2400 1147 0 6709 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 81320 KiB
Current children cumulated memory: 31552 KiB
[startup+51.1056 s]
/proc/loadavg: 4.12 4.10 4.07 5/268 81752
/proc/meminfo: memFree=128856844/131249992 swapFree=33010160/33010684
[pid=81749] ppid=81746 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81749/stat : 81749 (run-opt.sh) S 81746 81749 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67189576 4292608 736 18446744073709551615 94641316929536 94641317824069 140736029636560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94641318063120 94641318110864 94641337913344 140736029641069 140736029641192 140736029641192 140736029646794 0
/proc/81749/statm: 1048 736 672 219 0 110 0
[pid=81751] ppid=81749 vsize=87040 memory=34368 CPUtime=50.96 cores=1,3
/proc/81751/stat : 81751 (roundingsat) R 81749 81749 81217 0 -1 4194304 6353 0 0 0 5040 56 0 0 20 0 1 0 67189577 89128960 8592 18446744073709551615 4227072 8923433 140731634145888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22855680 140731634153890 140731634154024 140731634154024 140731634159594 0
/proc/81751/statm: 21760 8592 2400 1147 0 9187 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 91232 KiB
Current children cumulated memory: 37312 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.07 5/268 81754
/proc/meminfo: memFree=128850676/131249992 swapFree=33010160/33010684
[pid=81749] ppid=81746 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81749/stat : 81749 (run-opt.sh) S 81746 81749 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67189576 4292608 736 18446744073709551615 94641316929536 94641317824069 140736029636560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94641318063120 94641318110864 94641337913344 140736029641069 140736029641192 140736029641192 140736029646794 0
/proc/81749/statm: 1048 736 672 219 0 110 0
[pid=81751] ppid=81749 vsize=91748 memory=41696 CPUtime=102.03 cores=1,3
/proc/81751/stat : 81751 (roundingsat) R 81749 81749 81217 0 -1 4194304 8312 0 0 0 10108 95 0 0 20 0 1 0 67189577 93949952 10424 18446744073709551615 4227072 8923433 140731634145888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22855680 140731634153890 140731634154024 140731634154024 140731634159594 0
/proc/81751/statm: 22937 10424 2400 1147 0 10364 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 95940 KiB
Current children cumulated memory: 44640 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.11 4.08 6/268 81767
/proc/meminfo: memFree=128854104/131249992 swapFree=33010160/33010684
[pid=81749] ppid=81746 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81749/stat : 81749 (run-opt.sh) S 81746 81749 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67189576 4292608 736 18446744073709551615 94641316929536 94641317824069 140736029636560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94641318063120 94641318110864 94641337913344 140736029641069 140736029641192 140736029641192 140736029646794 0
/proc/81749/statm: 1048 736 672 219 0 110 0
[pid=81751] ppid=81749 vsize=94960 memory=44460 CPUtime=161.88 cores=1,3
/proc/81751/stat : 81751 (roundingsat) R 81749 81749 81217 0 -1 4194304 9507 0 0 0 16053 135 0 0 20 0 1 0 67189577 97239040 11115 18446744073709551615 4227072 8923433 140731634145888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22855680 140731634153890 140731634154024 140731634154024 140731634159594 0
/proc/81751/statm: 23740 11115 2400 1147 0 11167 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 99152 KiB
Current children cumulated memory: 47404 KiB
[startup+222.3 s]
/proc/loadavg: 4.40 4.20 4.11 5/268 81769
/proc/meminfo: memFree=128832480/131249992 swapFree=33010160/33010684
[pid=81749] ppid=81746 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81749/stat : 81749 (run-opt.sh) S 81746 81749 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67189576 4292608 736 18446744073709551615 94641316929536 94641317824069 140736029636560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94641318063120 94641318110864 94641337913344 140736029641069 140736029641192 140736029641192 140736029646794 0
/proc/81749/statm: 1048 736 672 219 0 110 0
[pid=81751] ppid=81749 vsize=105460 memory=50796 CPUtime=221.72 cores=1,3
/proc/81751/stat : 81751 (roundingsat) R 81749 81749 81217 0 -1 4194304 11219 0 0 0 22000 172 0 0 20 0 1 0 67189577 107991040 12699 18446744073709551615 4227072 8923433 140731634145888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22855680 140731634153890 140731634154024 140731634154024 140731634159594 0
/proc/81751/statm: 26365 12699 2400 1147 0 13792 0
Current children cumulated CPU time: 221.72 s
################
# More data... #
################
/proc/81751/stat : 81751 (roundingsat) R 81749 81749 81217 0 -1 4194304 18359 0 0 0 69670 377 0 0 20 0 1 0 67189577 139894784 19297 18446744073709551615 4227072 8923433 140731634145888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22855680 140731634153890 140731634154024 140731634154024 140731634159594 0
/proc/81751/statm: 34154 19297 2400 1147 0 21581 0
Current children cumulated CPU time: 700.47 s
Current children cumulated vsize: 140808 KiB
Current children cumulated memory: 80132 KiB
[startup+762.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/268 81980
/proc/meminfo: memFree=128942960/131249992 swapFree=33010160/33010684
[pid=81749] ppid=81746 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81749/stat : 81749 (run-opt.sh) S 81746 81749 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67189576 4292608 736 18446744073709551615 94641316929536 94641317824069 140736029636560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94641318063120 94641318110864 94641337913344 140736029641069 140736029641192 140736029641192 140736029646794 0
/proc/81749/statm: 1048 736 672 219 0 110 0
[pid=81751] ppid=81749 vsize=137736 memory=77728 CPUtime=760.32 cores=1,3
/proc/81751/stat : 81751 (roundingsat) R 81749 81749 81217 0 -1 4194304 18882 0 0 0 75631 401 0 0 20 0 1 0 67189577 141041664 19432 18446744073709551615 4227072 8923433 140731634145888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22855680 140731634153890 140731634154024 140731634154024 140731634159594 0
/proc/81751/statm: 34434 19432 2400 1147 0 21861 0
Current children cumulated CPU time: 760.32 s
Current children cumulated vsize: 141928 KiB
Current children cumulated memory: 80672 KiB
[startup+822.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/267 81982
/proc/meminfo: memFree=128940144/131249992 swapFree=33010160/33010684
[pid=81749] ppid=81746 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81749/stat : 81749 (run-opt.sh) S 81746 81749 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67189576 4292608 736 18446744073709551615 94641316929536 94641317824069 140736029636560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94641318063120 94641318110864 94641337913344 140736029641069 140736029641192 140736029641192 140736029646794 0
/proc/81749/statm: 1048 736 672 219 0 110 0
[pid=81751] ppid=81749 vsize=138248 memory=77944 CPUtime=820.18 cores=1,3
/proc/81751/stat : 81751 (roundingsat) R 81749 81749 81217 0 -1 4194304 19492 0 0 0 81591 427 0 0 20 0 1 0 67189577 141565952 19486 18446744073709551615 4227072 8923433 140731634145888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22855680 140731634153890 140731634154024 140731634154024 140731634159594 0
/proc/81751/statm: 34562 19486 2400 1147 0 21989 0
Current children cumulated CPU time: 820.18 s
Current children cumulated vsize: 142440 KiB
Current children cumulated memory: 80888 KiB
[startup+882.3 s]
/proc/loadavg: 4.07 4.09 4.09 6/268 81987
/proc/meminfo: memFree=128950744/131249992 swapFree=33010160/33010684
[pid=81749] ppid=81746 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81749/stat : 81749 (run-opt.sh) S 81746 81749 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67189576 4292608 736 18446744073709551615 94641316929536 94641317824069 140736029636560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94641318063120 94641318110864 94641337913344 140736029641069 140736029641192 140736029641192 140736029646794 0
/proc/81749/statm: 1048 736 672 219 0 110 0
[pid=81751] ppid=81749 vsize=141424 memory=80328 CPUtime=880.02 cores=1,3
/proc/81751/stat : 81751 (roundingsat) R 81749 81749 81217 0 -1 4194304 20472 0 0 0 87549 453 0 0 20 0 1 0 67189577 144818176 20082 18446744073709551615 4227072 8923433 140731634145888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22855680 140731634153890 140731634154024 140731634154024 140731634159594 0
/proc/81751/statm: 35356 20082 2400 1147 0 22783 0
Current children cumulated CPU time: 880.02 s
Current children cumulated vsize: 145616 KiB
Current children cumulated memory: 83272 KiB
[startup+942.3 s]
/proc/loadavg: 4.19 4.12 4.10 5/267 81992
/proc/meminfo: memFree=128932936/131249992 swapFree=33010160/33010684
[pid=81749] ppid=81746 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81749/stat : 81749 (run-opt.sh) S 81746 81749 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67189576 4292608 736 18446744073709551615 94641316929536 94641317824069 140736029636560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94641318063120 94641318110864 94641337913344 140736029641069 140736029641192 140736029641192 140736029646794 0
/proc/81749/statm: 1048 736 672 219 0 110 0
[pid=81751] ppid=81749 vsize=145792 memory=82992 CPUtime=939.86 cores=1,3
/proc/81751/stat : 81751 (roundingsat) R 81749 81749 81217 0 -1 4194304 21684 0 0 0 93503 483 0 0 20 0 1 0 67189577 149291008 20748 18446744073709551615 4227072 8923433 140731634145888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22855680 140731634153890 140731634154024 140731634154024 140731634159594 0
/proc/81751/statm: 36448 20748 2400 1147 0 23875 0
Current children cumulated CPU time: 939.86 s
Current children cumulated vsize: 149984 KiB
Current children cumulated memory: 85936 KiB
[startup+965.856 s]
# the end of solver process 81749 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=958.42 s, system=4.94926 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+947.2 s]
/proc/loadavg: 4.17 4.12 4.09 5/267 81993
/proc/meminfo: memFree=128932432/131249992 swapFree=33010160/33010684
[pid=81749] ppid=81746 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81749/stat : 81749 (run-opt.sh) S 81746 81749 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67189576 4292608 736 18446744073709551615 94641316929536 94641317824069 140736029636560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94641318063120 94641318110864 94641337913344 140736029641069 140736029641192 140736029641192 140736029646794 0
/proc/81749/statm: 1048 736 672 219 0 110 0
[pid=81751] ppid=81749 vsize=145792 memory=82992 CPUtime=944.75 cores=1,3
/proc/81751/stat : 81751 (roundingsat) R 81749 81749 81217 0 -1 4194304 21684 0 0 0 93990 485 0 0 20 0 1 0 67189577 149291008 20748 18446744073709551615 4227072 8923433 140731634145888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22855680 140731634153890 140731634154024 140731634154024 140731634159594 0
/proc/81751/statm: 36448 20748 2400 1147 0 23875 0
Current children cumulated CPU time: 944.75 s
Current children cumulated vsize: 149984 KiB
Current children cumulated memory: 85936 KiB
[startup+953.6 s]
/proc/loadavg: 4.16 4.12 4.09 5/267 81993
/proc/meminfo: memFree=128935072/131249992 swapFree=33010160/33010684
[pid=81749] ppid=81746 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81749/stat : 81749 (run-opt.sh) S 81746 81749 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67189576 4292608 736 18446744073709551615 94641316929536 94641317824069 140736029636560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94641318063120 94641318110864 94641337913344 140736029641069 140736029641192 140736029641192 140736029646794 0
/proc/81749/statm: 1048 736 672 219 0 110 0
[pid=81751] ppid=81749 vsize=145792 memory=82992 CPUtime=951.14 cores=1,3
/proc/81751/stat : 81751 (roundingsat) R 81749 81749 81217 0 -1 4194304 21684 0 0 0 94625 489 0 0 20 0 1 0 67189577 149291008 20748 18446744073709551615 4227072 8923433 140731634145888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22855680 140731634153890 140731634154024 140731634154024 140731634159594 0
/proc/81751/statm: 36448 20748 2400 1147 0 23875 0
Current children cumulated CPU time: 951.14 s
Current children cumulated vsize: 149984 KiB
Current children cumulated memory: 85936 KiB
[startup+960 s]*
/proc/loadavg: 4.13 4.11 4.09 5/267 81993
/proc/meminfo: memFree=128928824/131249992 swapFree=33010160/33010684
[pid=81749] ppid=81746 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81749/stat : 81749 (run-opt.sh) S 81746 81749 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67189576 4292608 736 18446744073709551615 94641316929536 94641317824069 140736029636560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94641318063120 94641318110864 94641337913344 140736029641069 140736029641192 140736029641192 140736029646794 0
/proc/81749/statm: 1048 736 672 219 0 110 0
[pid=81751] ppid=81749 vsize=145792 memory=83120 CPUtime=957.52 cores=1,3
/proc/81751/stat : 81751 (roundingsat) R 81749 81749 81217 0 -1 4194304 21722 0 0 0 95260 492 0 0 20 0 1 0 67189577 149291008 20780 18446744073709551615 4227072 8923433 140731634145888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22855680 140731634153890 140731634154024 140731634154024 140731634159594 0
/proc/81751/statm: 36448 20780 2400 1147 0 23875 0
Current children cumulated CPU time: 957.52 s
Current children cumulated vsize: 149984 KiB
Current children cumulated memory: 86064 KiB
[startup+963.2 s]
/proc/loadavg: 4.13 4.11 4.09 5/267 81993
/proc/meminfo: memFree=128928824/131249992 swapFree=33010160/33010684
[pid=81749] ppid=81746 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81749/stat : 81749 (run-opt.sh) S 81746 81749 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67189576 4292608 736 18446744073709551615 94641316929536 94641317824069 140736029636560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94641318063120 94641318110864 94641337913344 140736029641069 140736029641192 140736029641192 140736029646794 0
/proc/81749/statm: 1048 736 672 219 0 110 0
[pid=81751] ppid=81749 vsize=146140 memory=83488 CPUtime=960.71 cores=1,3
/proc/81751/stat : 81751 (roundingsat) R 81749 81749 81217 0 -1 4194304 21896 0 0 0 95578 493 0 0 20 0 1 0 67189577 149647360 20872 18446744073709551615 4227072 8923433 140731634145888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22855680 140731634153890 140731634154024 140731634154024 140731634159594 0
/proc/81751/statm: 36535 20872 2400 1147 0 23962 0
Current children cumulated CPU time: 960.71 s
Current children cumulated vsize: 150332 KiB
Current children cumulated memory: 86432 KiB
[startup+964.8 s]
/proc/loadavg: 4.12 4.11 4.09 5/267 81993
/proc/meminfo: memFree=128928824/131249992 swapFree=33010160/33010684
[pid=81749] ppid=81746 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81749/stat : 81749 (run-opt.sh) S 81746 81749 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67189576 4292608 736 18446744073709551615 94641316929536 94641317824069 140736029636560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94641318063120 94641318110864 94641337913344 140736029641069 140736029641192 140736029641192 140736029646794 0
/proc/81749/statm: 1048 736 672 219 0 110 0
[pid=81751] ppid=81749 vsize=146140 memory=83488 CPUtime=962.31 cores=1,3
/proc/81751/stat : 81751 (roundingsat) R 81749 81749 81217 0 -1 4194304 21896 0 0 0 95737 494 0 0 20 0 1 0 67189577 149647360 20872 18446744073709551615 4227072 8923433 140731634145888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22855680 140731634153890 140731634154024 140731634154024 140731634159594 0
/proc/81751/statm: 36535 20872 2400 1147 0 23962 0
Current children cumulated CPU time: 962.31 s
Current children cumulated vsize: 150332 KiB
Current children cumulated memory: 86432 KiB
[startup+965.6 s]
/proc/loadavg: 4.12 4.11 4.09 5/267 81993
/proc/meminfo: memFree=128928824/131249992 swapFree=33010160/33010684
[pid=81749] ppid=81746 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81749/stat : 81749 (run-opt.sh) S 81746 81749 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67189576 4292608 736 18446744073709551615 94641316929536 94641317824069 140736029636560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94641318063120 94641318110864 94641337913344 140736029641069 140736029641192 140736029641192 140736029646794 0
/proc/81749/statm: 1048 736 672 219 0 110 0
[pid=81751] ppid=81749 vsize=146140 memory=83488 CPUtime=963.1 cores=1,3
/proc/81751/stat : 81751 (roundingsat) R 81749 81749 81217 0 -1 4194304 21896 0 0 0 95816 494 0 0 20 0 1 0 67189577 149647360 20872 18446744073709551615 4227072 8923433 140731634145888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22855680 140731634153890 140731634154024 140731634154024 140731634159594 0
/proc/81751/statm: 36535 20872 2400 1147 0 23962 0
Current children cumulated CPU time: 963.1 s
Current children cumulated vsize: 150332 KiB
Current children cumulated memory: 86432 KiB
[startup+965.8 s]
/proc/loadavg: 4.12 4.11 4.09 5/267 81993
/proc/meminfo: memFree=128928824/131249992 swapFree=33010160/33010684
[pid=81749] ppid=81746 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/81749/stat : 81749 (run-opt.sh) S 81746 81749 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 67189576 4292608 736 18446744073709551615 94641316929536 94641317824069 140736029636560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94641318063120 94641318110864 94641337913344 140736029641069 140736029641192 140736029641192 140736029646794 0
/proc/81749/statm: 1048 736 672 219 0 110 0
[pid=81751] ppid=81749 vsize=146140 memory=83488 CPUtime=963.3 cores=1,3
/proc/81751/stat : 81751 (roundingsat) R 81749 81749 81217 0 -1 4194304 21896 0 0 0 95836 494 0 0 20 0 1 0 67189577 149647360 20872 18446744073709551615 4227072 8923433 140731634145888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22855680 140731634153890 140731634154024 140731634154024 140731634159594 0
/proc/81751/statm: 36535 20872 2400 1147 0 23962 0
Current children cumulated CPU time: 963.3 s
Current children cumulated vsize: 150332 KiB
Current children cumulated memory: 86432 KiB
Child status: 0
Real time (s): 965.856
CPU time (s): 963.369
CPU user time (s): 958.42
CPU system time (s): 4.94926
CPU usage (%): 99.7426
Max. virtual memory (cumulated for all children) (KiB): 150332
Max. memory (cumulated for all children) (KiB): 86432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 958.42
system time used= 4.94926
maximum resident set size= 83760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22128
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= 166
involuntary context switches= 1623
# summary of solver processes directly reported to runsolver:
# pid: 81749
# total CPU time (s): 963.369
# total CPU user time (s): 958.42
# total CPU system time (s): 4.94926
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.83801 second user time and 4.48611 second system time
The end
Begin job on nodeC025 at 2025-07-03 05:58:28
IDJOB=4508274
IDBENCH=158408
IDSOLVER=3350
FILE ID=nodeC025/4508274-1751515108
RUNJOBID= nodeC025-1751510521-81229
SLURM_JOB_ID= 9598611
Free space on /tmp= 432956 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/dt-problems/normalized-lo_14x14_007.opb.metafix.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508274-1751515108/watcher-4508274-1751515108 -o /tmp/evaluation-result-4508274-1751515108/solver-4508274-1751515108 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751510521-81229 --watchdog 3760 run-opt.sh HOME/instance-4508274-1751515108.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 55dad17a7c182b30d547793b054532a6
RANDOM SEED=2082750160
nodeC025 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.793
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.511
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3666.084
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.181
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.823
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.827
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3556.533
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.682
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 128877128 kB
MemAvailable: 129347180 kB
Buffers: 2128 kB
Cached: 1261912 kB
SwapCached: 200 kB
Active: 724208 kB
Inactive: 1015336 kB
Active(anon): 471736 kB
Inactive(anon): 21624 kB
Active(file): 252472 kB
Inactive(file): 993712 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7128 kB
Writeback: 0 kB
AnonPages: 476576 kB
Mapped: 117312 kB
Shmem: 17856 kB
KReclaimable: 126216 kB
Slab: 215372 kB
SReclaimable: 126216 kB
SUnreclaim: 89156 kB
KernelStack: 4304 kB
PageTables: 4216 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 839048 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 376832 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: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432948 MiB
End job on nodeC025 at 2025-07-03 06:14:34