0.00/0.04 c RoundingSat 2
0.00/0.04 c branch pb25
0.00/0.04 c commit 63f22ad
0.00/0.07 c #variables 196 #constraints 154
0.00/0.07 c objective is ce32
0.00/0.07 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.07 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.07 c GLOBAL bounds - >= 0 @ 0.005302
0.34/0.51 c #Conflicts: 1000 | #Constraints: 1153
0.34/0.51 c GLOBAL bounds - >= 0 @ 0.405881
16.48/16.65 c #Conflicts: 2000 | #Constraints: 2154
16.48/16.65 c INPROCESSING
16.48/16.65 c GARBAGE COLLECT
16.48/16.65 c #Conflicts: 3000 | #Constraints: 2161
16.48/16.65 c #Conflicts: 4000 | #Constraints: 3161
16.48/16.65 c INPROCESSING
16.48/16.65 c GARBAGE COLLECT
16.48/16.65 c #Conflicts: 5000 | #Constraints: 2569
16.48/16.65 c #Conflicts: 6000 | #Constraints: 3569
16.48/16.65 c INPROCESSING
16.48/16.65 c GARBAGE COLLECT
16.48/16.65 c #Conflicts: 7000 | #Constraints: 2577
16.48/16.65 c #Conflicts: 8000 | #Constraints: 3577
16.48/16.65 c #Conflicts: 9000 | #Constraints: 4577
16.48/16.65 c INPROCESSING
16.48/16.65 c GARBAGE COLLECT
16.48/16.65 c #Conflicts: 10000 | #Constraints: 3282
16.48/16.65 c #Conflicts: 11000 | #Constraints: 4282
16.48/16.65 c #Conflicts: 12000 | #Constraints: 5282
16.48/16.65 c INPROCESSING
16.48/16.65 c GARBAGE COLLECT
16.48/16.65 c #Conflicts: 13000 | #Constraints: 3738
16.48/16.65 c #Conflicts: 14000 | #Constraints: 4738
16.48/16.65 c #Conflicts: 15000 | #Constraints: 5738
16.48/16.65 c INPROCESSING
16.48/16.65 c GARBAGE COLLECT
16.48/16.65 c #Conflicts: 16000 | #Constraints: 3965
16.48/16.65 c #Conflicts: 17000 | #Constraints: 4965
16.48/16.65 c #Conflicts: 18000 | #Constraints: 5965
16.48/16.65 c INPROCESSING
16.48/16.65 c GARBAGE COLLECT
16.48/16.65 c #Conflicts: 19000 | #Constraints: 3976
16.48/16.65 c #Conflicts: 20000 | #Constraints: 4976
16.48/16.65 c #Conflicts: 21000 | #Constraints: 5976
16.48/16.65 c INPROCESSING
16.48/16.65 c GARBAGE COLLECT
16.48/16.65 c #Conflicts: 22000 | #Constraints: 3785
16.48/16.65 c #Conflicts: 23000 | #Constraints: 4785
16.48/16.65 c #Conflicts: 24000 | #Constraints: 5785
16.48/16.65 c #Conflicts: 25000 | #Constraints: 6785
16.48/16.65 c INPROCESSING
16.48/16.65 c GARBAGE COLLECT
16.48/16.65 c #Conflicts: 26000 | #Constraints: 4389
16.48/16.65 c #Conflicts: 27000 | #Constraints: 5389
16.48/16.65 c #Conflicts: 28000 | #Constraints: 6389
16.48/16.65 c #Conflicts: 29000 | #Constraints: 7389
16.48/16.65 c INPROCESSING
16.48/16.65 c GARBAGE COLLECT
16.48/16.65 c #Conflicts: 30000 | #Constraints: 4790
16.48/16.65 c #Conflicts: 31000 | #Constraints: 5790
16.48/16.65 c #Conflicts: 32000 | #Constraints: 6790
16.48/16.65 c #Conflicts: 33000 | #Constraints: 7790
16.48/16.65 c INPROCESSING
16.48/16.65 c GARBAGE COLLECT
16.48/16.65 c #Conflicts: 34000 | #Constraints: 4992
16.48/16.65 c #Conflicts: 35000 | #Constraints: 5992
16.48/16.65 c #Conflicts: 36000 | #Constraints: 6992
16.48/16.65 c #Conflicts: 37000 | #Constraints: 7992
16.48/16.65 c INPROCESSING
16.48/16.65 c GARBAGE COLLECT
16.48/16.65 c #Conflicts: 38000 | #Constraints: 4992
16.48/16.65 c #Conflicts: 39000 | #Constraints: 5992
16.48/16.65 c #Conflicts: 40000 | #Constraints: 6992
16.48/16.65 c #Conflicts: 41000 | #Constraints: 7992
16.48/16.65 c INPROCESSING
16.48/16.65 c GARBAGE COLLECT
16.48/16.65 c #Conflicts: 42000 | #Constraints: 4795
16.48/16.65 c #Conflicts: 43000 | #Constraints: 5795
16.48/16.65 c #Conflicts: 44000 | #Constraints: 6795
16.48/16.65 c #Conflicts: 45000 | #Constraints: 7795
16.48/16.65 c #Conflicts: 46000 | #Constraints: 8795
16.48/16.65 c INPROCESSING
16.48/16.65 c GARBAGE COLLECT
16.48/16.65 c #Conflicts: 47000 | #Constraints: 5393
16.48/16.65 c #Conflicts: 48000 | #Constraints: 6393
16.48/16.65 c #Conflicts: 49000 | #Constraints: 7393
16.48/16.65 c #Conflicts: 50000 | #Constraints: 8393
16.48/16.65 c #Conflicts: 51000 | #Constraints: 9393
16.48/16.65 c INPROCESSING
16.48/16.65 c GARBAGE COLLECT
16.48/16.65 c #Conflicts: 52000 | #Constraints: 5796
16.48/16.65 c #Conflicts: 53000 | #Constraints: 6796
16.48/16.65 c #Conflicts: 54000 | #Constraints: 7796
16.48/16.65 c #Conflicts: 55000 | #Constraints: 8796
16.48/16.65 c #Conflicts: 56000 | #Constraints: 9796
16.48/16.65 c INPROCESSING
16.48/16.65 c GARBAGE COLLECT
16.48/16.65 c #Conflicts: 57000 | #Constraints: 5990
16.48/16.65 c #Conflicts: 58000 | #Constraints: 6990
16.48/16.65 c #Conflicts: 59000 | #Constraints: 7990
16.48/16.65 c #Conflicts: 60000 | #Constraints: 8990
16.48/16.65 c #Conflicts: 61000 | #Constraints: 9990
16.48/16.65 c INPROCESSING
16.48/16.65 c GARBAGE COLLECT
16.48/16.65 c #Conflicts: 62000 | #Constraints: 5996
16.48/16.65 c #Conflicts: 63000 | #Constraints: 6996
16.48/16.65 c #Conflicts: 64000 | #Constraints: 7996
16.48/16.65 c #Conflicts: 65000 | #Constraints: 8996
16.48/16.65 c #Conflicts: 66000 | #Constraints: 9996
16.48/16.65 c INPROCESSING
16.48/16.65 c GARBAGE COLLECT
16.48/16.65 c #Conflicts: 67000 | #Constraints: 5799
16.48/16.65 c #Conflicts: 68000 | #Constraints: 6799
16.48/16.65 c #Conflicts: 69000 | #Constraints: 7799
41.61/41.84 c #Conflicts: 70000 | #Constraints: 8799
41.61/41.84 c #Conflicts: 71000 | #Constraints: 9799
41.61/41.84 c #Conflicts: 72000 | #Constraints: 10799
41.61/41.84 c INPROCESSING
41.61/41.84 c GARBAGE COLLECT
41.61/41.84 c #Conflicts: 73000 | #Constraints: 6397
41.61/41.84 c #Conflicts: 74000 | #Constraints: 7397
41.61/41.84 c #Conflicts: 75000 | #Constraints: 8397
41.61/41.84 c #Conflicts: 76000 | #Constraints: 9397
41.61/41.84 c #Conflicts: 77000 | #Constraints: 10397
41.61/41.84 c #Conflicts: 78000 | #Constraints: 11397
41.61/41.84 c INPROCESSING
41.61/41.84 c GARBAGE COLLECT
41.61/41.84 c #Conflicts: 79000 | #Constraints: 6802
41.61/41.84 c #Conflicts: 80000 | #Constraints: 7802
41.61/41.84 c #Conflicts: 81000 | #Constraints: 8802
41.61/41.84 c #Conflicts: 82000 | #Constraints: 9802
41.61/41.84 c #Conflicts: 83000 | #Constraints: 10802
41.61/41.84 c #Conflicts: 84000 | #Constraints: 11802
41.61/41.84 c INPROCESSING
41.61/41.84 c GARBAGE COLLECT
41.61/41.84 c #Conflicts: 85000 | #Constraints: 7006
41.61/41.84 c #Conflicts: 86000 | #Constraints: 8006
41.61/41.84 c #Conflicts: 87000 | #Constraints: 9006
41.61/41.84 c #Conflicts: 88000 | #Constraints: 10006
41.61/41.84 c #Conflicts: 89000 | #Constraints: 11006
41.61/41.84 c #Conflicts: 90000 | #Constraints: 12006
41.61/41.84 c INPROCESSING
41.61/41.84 c GARBAGE COLLECT
41.61/41.84 c #Conflicts: 91000 | #Constraints: 7008
41.61/41.84 c #Conflicts: 92000 | #Constraints: 8008
41.61/41.84 c #Conflicts: 93000 | #Constraints: 9008
41.61/41.84 c #Conflicts: 94000 | #Constraints: 10008
41.61/41.84 c #Conflicts: 95000 | #Constraints: 11008
41.61/41.84 c #Conflicts: 96000 | #Constraints: 12008
41.61/41.84 c INPROCESSING
41.61/41.84 c GARBAGE COLLECT
41.61/41.84 c #Conflicts: 97000 | #Constraints: 6799
41.61/41.84 c #Conflicts: 98000 | #Constraints: 7799
41.61/41.84 c #Conflicts: 99000 | #Constraints: 8799
41.61/41.84 c #Conflicts: 100000 | #Constraints: 9799
41.61/41.84 c #Conflicts: 101000 | #Constraints: 10799
41.61/41.84 c #Conflicts: 102000 | #Constraints: 11799
41.61/41.84 c #Conflicts: 103000 | #Constraints: 12799
41.61/41.84 c INPROCESSING
41.61/41.84 c GARBAGE COLLECT
41.61/41.84 c #Conflicts: 104000 | #Constraints: 7395
41.61/41.84 c #Conflicts: 105000 | #Constraints: 8395
41.61/41.84 c #Conflicts: 106000 | #Constraints: 9395
41.61/41.84 c #Conflicts: 107000 | #Constraints: 10395
41.61/41.84 c #Conflicts: 108000 | #Constraints: 11395
41.61/41.84 c #Conflicts: 109000 | #Constraints: 12395
41.61/41.84 c #Conflicts: 110000 | #Constraints: 13395
41.61/41.84 c INPROCESSING
41.61/41.84 c GARBAGE COLLECT
41.61/41.84 c #Conflicts: 111000 | #Constraints: 7800
41.61/41.84 c #Conflicts: 112000 | #Constraints: 8800
41.61/41.84 c #Conflicts: 113000 | #Constraints: 9800
41.61/41.84 c #Conflicts: 114000 | #Constraints: 10800
41.61/41.84 c #Conflicts: 115000 | #Constraints: 11800
41.61/41.84 c #Conflicts: 116000 | #Constraints: 12800
41.61/41.84 c #Conflicts: 117000 | #Constraints: 13800
41.61/41.84 c INPROCESSING
41.61/41.84 c GARBAGE COLLECT
41.61/41.84 c #Conflicts: 118000 | #Constraints: 7995
41.61/41.84 c #Conflicts: 119000 | #Constraints: 8995
41.61/41.84 c #Conflicts: 120000 | #Constraints: 9995
41.61/41.84 c #Conflicts: 121000 | #Constraints: 10995
41.61/41.84 c #Conflicts: 122000 | #Constraints: 11995
41.61/41.84 c #Conflicts: 123000 | #Constraints: 12995
41.61/41.84 c #Conflicts: 124000 | #Constraints: 13995
41.61/41.84 c INPROCESSING
41.61/41.84 c GARBAGE COLLECT
41.61/41.84 c #Conflicts: 125000 | #Constraints: 7996
41.61/41.84 c #Conflicts: 126000 | #Constraints: 8996
41.61/41.84 c #Conflicts: 127000 | #Constraints: 9996
41.61/41.84 c #Conflicts: 128000 | #Constraints: 10996
41.61/41.84 c #Conflicts: 129000 | #Constraints: 11996
41.61/41.84 c #Conflicts: 130000 | #Constraints: 12996
41.61/41.84 c #Conflicts: 131000 | #Constraints: 13996
41.61/41.84 c INPROCESSING
41.61/41.84 c GARBAGE COLLECT
41.61/41.84 c #Conflicts: 132000 | #Constraints: 7796
41.61/41.84 c #Conflicts: 133000 | #Constraints: 8796
41.61/41.84 c #Conflicts: 134000 | #Constraints: 9796
41.61/41.84 c #Conflicts: 135000 | #Constraints: 10796
41.61/41.84 c #Conflicts: 136000 | #Constraints: 11796
41.61/41.84 c #Conflicts: 137000 | #Constraints: 12796
41.61/41.84 c #Conflicts: 138000 | #Constraints: 13796
41.61/41.84 c #Conflicts: 139000 | #Constraints: 14796
41.61/41.84 c INPROCESSING
41.61/41.84 c GARBAGE COLLECT
41.61/41.84 c #Conflicts: 140000 | #Constraints: 8401
41.61/41.84 c #Conflicts: 141000 | #Constraints: 9401
76.62/76.97 c #Conflicts: 142000 | #Constraints: 10401
76.62/76.97 c #Conflicts: 143000 | #Constraints: 11401
76.62/76.97 c #Conflicts: 144000 | #Constraints: 12401
76.62/76.97 c #Conflicts: 145000 | #Constraints: 13401
76.62/76.97 c #Conflicts: 146000 | #Constraints: 14401
76.62/76.97 c #Conflicts: 147000 | #Constraints: 15401
76.62/76.97 c INPROCESSING
76.62/76.97 c GARBAGE COLLECT
76.62/76.97 c #Conflicts: 148000 | #Constraints: 8801
76.62/76.97 c #Conflicts: 149000 | #Constraints: 9801
76.62/76.97 c #Conflicts: 150000 | #Constraints: 10801
76.62/76.97 c #Conflicts: 151000 | #Constraints: 11801
76.62/76.97 c #Conflicts: 152000 | #Constraints: 12801
76.62/76.97 c #Conflicts: 153000 | #Constraints: 13801
76.62/76.97 c #Conflicts: 154000 | #Constraints: 14801
76.62/76.97 c #Conflicts: 155000 | #Constraints: 15801
76.62/76.97 c INPROCESSING
76.62/76.97 c GARBAGE COLLECT
76.62/76.97 c #Conflicts: 156000 | #Constraints: 8999
76.62/76.97 c #Conflicts: 157000 | #Constraints: 9999
76.62/76.97 c #Conflicts: 158000 | #Constraints: 10999
76.62/76.97 c #Conflicts: 159000 | #Constraints: 11999
76.62/76.97 c #Conflicts: 160000 | #Constraints: 12999
76.62/76.97 c #Conflicts: 161000 | #Constraints: 13999
76.62/76.97 c #Conflicts: 162000 | #Constraints: 14999
76.62/76.97 c #Conflicts: 163000 | #Constraints: 15999
76.62/76.97 c INPROCESSING
76.62/76.97 c GARBAGE COLLECT
76.62/76.97 c #Conflicts: 164000 | #Constraints: 8998
76.62/76.97 c #Conflicts: 165000 | #Constraints: 9998
76.62/76.97 c #Conflicts: 166000 | #Constraints: 10998
76.62/76.97 c #Conflicts: 167000 | #Constraints: 11998
76.62/76.97 c #Conflicts: 168000 | #Constraints: 12998
76.62/76.97 c #Conflicts: 169000 | #Constraints: 13998
76.62/76.97 c #Conflicts: 170000 | #Constraints: 14998
76.62/76.97 c #Conflicts: 171000 | #Constraints: 15998
76.62/76.97 c INPROCESSING
76.62/76.97 c GARBAGE COLLECT
76.62/76.97 c #Conflicts: 172000 | #Constraints: 8801
76.62/76.97 c #Conflicts: 173000 | #Constraints: 9801
76.62/76.97 c #Conflicts: 174000 | #Constraints: 10801
76.62/76.97 c #Conflicts: 175000 | #Constraints: 11801
76.62/76.97 c #Conflicts: 176000 | #Constraints: 12801
76.62/76.97 c #Conflicts: 177000 | #Constraints: 13801
76.62/76.97 c #Conflicts: 178000 | #Constraints: 14801
76.62/76.97 c #Conflicts: 179000 | #Constraints: 15801
76.62/76.97 c #Conflicts: 180000 | #Constraints: 16801
76.62/76.97 c INPROCESSING
76.62/76.97 c GARBAGE COLLECT
76.62/76.97 c #Conflicts: 181000 | #Constraints: 9404
76.62/76.97 c #Conflicts: 182000 | #Constraints: 10404
76.62/76.97 c #Conflicts: 183000 | #Constraints: 11404
76.62/76.97 c #Conflicts: 184000 | #Constraints: 12404
76.62/76.97 c #Conflicts: 185000 | #Constraints: 13404
76.62/76.97 c #Conflicts: 186000 | #Constraints: 14404
76.62/76.97 c #Conflicts: 187000 | #Constraints: 15404
76.62/76.97 c #Conflicts: 188000 | #Constraints: 16404
76.62/76.97 c #Conflicts: 189000 | #Constraints: 17404
76.62/76.97 c INPROCESSING
76.62/76.97 c GARBAGE COLLECT
76.62/76.97 c #Conflicts: 190000 | #Constraints: 9801
76.62/76.97 c #Conflicts: 191000 | #Constraints: 10801
76.62/76.97 c #Conflicts: 192000 | #Constraints: 11801
76.62/76.97 c #Conflicts: 193000 | #Constraints: 12801
76.62/76.97 c #Conflicts: 194000 | #Constraints: 13801
76.62/76.97 c #Conflicts: 195000 | #Constraints: 14801
76.62/76.97 c #Conflicts: 196000 | #Constraints: 15801
76.62/76.97 c #Conflicts: 197000 | #Constraints: 16801
76.62/76.97 c #Conflicts: 198000 | #Constraints: 17801
76.62/76.97 c INPROCESSING
76.62/76.97 c GARBAGE COLLECT
76.62/76.97 c #Conflicts: 199000 | #Constraints: 10002
76.62/76.97 c #Conflicts: 200000 | #Constraints: 11002
76.62/76.97 c #Conflicts: 201000 | #Constraints: 12002
76.62/76.97 c #Conflicts: 202000 | #Constraints: 13002
76.62/76.97 c #Conflicts: 203000 | #Constraints: 14002
76.62/76.97 c #Conflicts: 204000 | #Constraints: 15002
76.62/76.97 c #Conflicts: 205000 | #Constraints: 16002
76.62/76.97 c #Conflicts: 206000 | #Constraints: 17002
76.62/76.97 c #Conflicts: 207000 | #Constraints: 18002
76.62/76.97 c INPROCESSING
76.62/76.97 c GARBAGE COLLECT
76.62/76.97 c #Conflicts: 208000 | #Constraints: 10002
76.62/76.97 c #Conflicts: 209000 | #Constraints: 11002
76.62/76.97 c #Conflicts: 210000 | #Constraints: 12002
76.62/76.97 c #Conflicts: 211000 | #Constraints: 13002
76.62/76.97 c #Conflicts: 212000 | #Constraints: 14002
76.62/76.97 c #Conflicts: 213000 | #Constraints: 15002
76.62/76.97 c #Conflicts: 214000 | #Constraints: 16002
117.90/118.39 c #Conflicts: 215000 | #Constraints: 17002
117.90/118.39 c #Conflicts: 216000 | #Constraints: 18002
117.90/118.39 c INPROCESSING
117.90/118.39 c GARBAGE COLLECT
117.90/118.39 c #Conflicts: 217000 | #Constraints: 9800
117.90/118.39 c #Conflicts: 218000 | #Constraints: 10800
117.90/118.39 c #Conflicts: 219000 | #Constraints: 11800
117.90/118.39 c #Conflicts: 220000 | #Constraints: 12800
117.90/118.39 c #Conflicts: 221000 | #Constraints: 13800
117.90/118.39 c #Conflicts: 222000 | #Constraints: 14800
117.90/118.39 c #Conflicts: 223000 | #Constraints: 15800
117.90/118.39 c #Conflicts: 224000 | #Constraints: 16800
117.90/118.39 c #Conflicts: 225000 | #Constraints: 17800
117.90/118.39 c #Conflicts: 226000 | #Constraints: 18800
117.90/118.39 c INPROCESSING
117.90/118.39 c GARBAGE COLLECT
117.90/118.39 c #Conflicts: 227000 | #Constraints: 10400
117.90/118.39 c #Conflicts: 228000 | #Constraints: 11400
117.90/118.39 c #Conflicts: 229000 | #Constraints: 12400
117.90/118.39 c #Conflicts: 230000 | #Constraints: 13400
117.90/118.39 c #Conflicts: 231000 | #Constraints: 14400
117.90/118.39 c #Conflicts: 232000 | #Constraints: 15400
117.90/118.39 c #Conflicts: 233000 | #Constraints: 16400
117.90/118.39 c #Conflicts: 234000 | #Constraints: 17400
117.90/118.39 c #Conflicts: 235000 | #Constraints: 18400
117.90/118.39 c #Conflicts: 236000 | #Constraints: 19400
117.90/118.39 c INPROCESSING
117.90/118.39 c GARBAGE COLLECT
117.90/118.39 c #Conflicts: 237000 | #Constraints: 10800
117.90/118.39 c #Conflicts: 238000 | #Constraints: 11800
117.90/118.39 c #Conflicts: 239000 | #Constraints: 12800
117.90/118.39 c #Conflicts: 240000 | #Constraints: 13800
117.90/118.39 c #Conflicts: 241000 | #Constraints: 14800
117.90/118.39 c #Conflicts: 242000 | #Constraints: 15800
117.90/118.39 c #Conflicts: 243000 | #Constraints: 16800
117.90/118.39 c #Conflicts: 244000 | #Constraints: 17800
117.90/118.39 c #Conflicts: 245000 | #Constraints: 18800
117.90/118.39 c #Conflicts: 246000 | #Constraints: 19800
117.90/118.39 c INPROCESSING
117.90/118.39 c GARBAGE COLLECT
117.90/118.39 c #Conflicts: 247000 | #Constraints: 11006
117.90/118.39 c #Conflicts: 248000 | #Constraints: 12006
117.90/118.39 c #Conflicts: 249000 | #Constraints: 13006
117.90/118.39 c #Conflicts: 250000 | #Constraints: 14006
117.90/118.39 c #Conflicts: 251000 | #Constraints: 15006
117.90/118.39 c #Conflicts: 252000 | #Constraints: 16006
117.90/118.39 c #Conflicts: 253000 | #Constraints: 17006
117.90/118.39 c #Conflicts: 254000 | #Constraints: 18006
117.90/118.39 c #Conflicts: 255000 | #Constraints: 19006
117.90/118.39 c #Conflicts: 256000 | #Constraints: 20006
117.90/118.39 c INPROCESSING
117.90/118.39 c GARBAGE COLLECT
117.90/118.39 c #Conflicts: 257000 | #Constraints: 11001
117.90/118.39 c #Conflicts: 258000 | #Constraints: 12001
117.90/118.39 c #Conflicts: 259000 | #Constraints: 13001
117.90/118.39 c #Conflicts: 260000 | #Constraints: 14001
117.90/118.39 c #Conflicts: 261000 | #Constraints: 15001
117.90/118.39 c #Conflicts: 262000 | #Constraints: 16001
117.90/118.39 c #Conflicts: 263000 | #Constraints: 17001
117.90/118.39 c #Conflicts: 264000 | #Constraints: 18001
117.90/118.39 c #Conflicts: 265000 | #Constraints: 19001
117.90/118.39 c #Conflicts: 266000 | #Constraints: 20001
117.90/118.39 c INPROCESSING
117.90/118.39 c GARBAGE COLLECT
117.90/118.39 c #Conflicts: 267000 | #Constraints: 10803
117.90/118.39 c #Conflicts: 268000 | #Constraints: 11803
117.90/118.39 c #Conflicts: 269000 | #Constraints: 12803
117.90/118.39 c #Conflicts: 270000 | #Constraints: 13803
117.90/118.39 c #Conflicts: 271000 | #Constraints: 14803
117.90/118.39 c #Conflicts: 272000 | #Constraints: 15803
117.90/118.39 c #Conflicts: 273000 | #Constraints: 16803
117.90/118.39 c #Conflicts: 274000 | #Constraints: 17803
117.90/118.39 c #Conflicts: 275000 | #Constraints: 18803
117.90/118.39 c #Conflicts: 276000 | #Constraints: 19803
117.90/118.39 c #Conflicts: 277000 | #Constraints: 20803
117.90/118.39 c INPROCESSING
117.90/118.39 c GARBAGE COLLECT
117.90/118.39 c #Conflicts: 278000 | #Constraints: 11406
117.90/118.39 c #Conflicts: 279000 | #Constraints: 12406
117.90/118.39 c #Conflicts: 280000 | #Constraints: 13406
117.90/118.39 c #Conflicts: 281000 | #Constraints: 14406
117.90/118.39 c #Conflicts: 282000 | #Constraints: 15406
117.90/118.39 c #Conflicts: 283000 | #Constraints: 16406
117.90/118.39 c #Conflicts: 284000 | #Constraints: 17406
117.90/118.39 c #Conflicts: 285000 | #Constraints: 18406
117.90/118.39 c #Conflicts: 286000 | #Constraints: 19406
117.90/118.39 c #Conflicts: 287000 | #Constraints: 20406
117.90/118.39 c #Conflicts: 288000 | #Constraints: 21406
117.90/118.39 c INPROCESSING
161.87/162.44 c GARBAGE COLLECT
161.87/162.44 c #Conflicts: 289000 | #Constraints: 11802
161.87/162.44 c #Conflicts: 290000 | #Constraints: 12802
161.87/162.44 c #Conflicts: 291000 | #Constraints: 13802
161.87/162.44 c #Conflicts: 292000 | #Constraints: 14802
161.87/162.44 c #Conflicts: 293000 | #Constraints: 15802
161.87/162.44 c #Conflicts: 294000 | #Constraints: 16802
161.87/162.44 c #Conflicts: 295000 | #Constraints: 17802
161.87/162.44 c #Conflicts: 296000 | #Constraints: 18802
161.87/162.44 c #Conflicts: 297000 | #Constraints: 19802
161.87/162.44 c #Conflicts: 298000 | #Constraints: 20802
161.87/162.44 c #Conflicts: 299000 | #Constraints: 21802
161.87/162.44 c INPROCESSING
161.87/162.44 c GARBAGE COLLECT
161.87/162.44 c #Conflicts: 300000 | #Constraints: 12003
161.87/162.44 c #Conflicts: 301000 | #Constraints: 13003
161.87/162.44 c #Conflicts: 302000 | #Constraints: 14003
161.87/162.44 c #Conflicts: 303000 | #Constraints: 15003
161.87/162.44 c #Conflicts: 304000 | #Constraints: 16003
161.87/162.44 c #Conflicts: 305000 | #Constraints: 17003
161.87/162.44 c #Conflicts: 306000 | #Constraints: 18003
161.87/162.44 c #Conflicts: 307000 | #Constraints: 19003
161.87/162.44 c #Conflicts: 308000 | #Constraints: 20003
161.87/162.44 c #Conflicts: 309000 | #Constraints: 21003
161.87/162.44 c #Conflicts: 310000 | #Constraints: 22003
161.87/162.44 c INPROCESSING
161.87/162.44 c GARBAGE COLLECT
161.87/162.44 c #Conflicts: 311000 | #Constraints: 12004
161.87/162.44 c #Conflicts: 312000 | #Constraints: 13004
161.87/162.44 c #Conflicts: 313000 | #Constraints: 14004
161.87/162.44 c #Conflicts: 314000 | #Constraints: 15004
161.87/162.44 c #Conflicts: 315000 | #Constraints: 16004
161.87/162.44 c #Conflicts: 316000 | #Constraints: 17004
161.87/162.44 c #Conflicts: 317000 | #Constraints: 18004
161.87/162.44 c #Conflicts: 318000 | #Constraints: 19004
161.87/162.44 c #Conflicts: 319000 | #Constraints: 20004
161.87/162.44 c #Conflicts: 320000 | #Constraints: 21004
161.87/162.44 c #Conflicts: 321000 | #Constraints: 22004
161.87/162.44 c INPROCESSING
161.87/162.44 c GARBAGE COLLECT
161.87/162.44 c #Conflicts: 322000 | #Constraints: 11804
161.87/162.44 c #Conflicts: 323000 | #Constraints: 12804
161.87/162.44 c #Conflicts: 324000 | #Constraints: 13804
161.87/162.44 c #Conflicts: 325000 | #Constraints: 14804
161.87/162.44 c #Conflicts: 326000 | #Constraints: 15804
161.87/162.44 c #Conflicts: 327000 | #Constraints: 16804
161.87/162.44 c #Conflicts: 328000 | #Constraints: 17804
161.87/162.44 c #Conflicts: 329000 | #Constraints: 18804
161.87/162.44 c #Conflicts: 330000 | #Constraints: 19804
161.87/162.44 c #Conflicts: 331000 | #Constraints: 20804
161.87/162.44 c #Conflicts: 332000 | #Constraints: 21804
161.87/162.44 c #Conflicts: 333000 | #Constraints: 22804
161.87/162.44 c INPROCESSING
161.87/162.44 c GARBAGE COLLECT
161.87/162.44 c #Conflicts: 334000 | #Constraints: 12402
161.87/162.44 c #Conflicts: 335000 | #Constraints: 13402
161.87/162.44 c #Conflicts: 336000 | #Constraints: 14402
161.87/162.44 c #Conflicts: 337000 | #Constraints: 15402
161.87/162.44 c #Conflicts: 338000 | #Constraints: 16402
161.87/162.44 c #Conflicts: 339000 | #Constraints: 17402
161.87/162.44 c #Conflicts: 340000 | #Constraints: 18402
161.87/162.44 c #Conflicts: 341000 | #Constraints: 19402
161.87/162.44 c #Conflicts: 342000 | #Constraints: 20402
161.87/162.44 c #Conflicts: 343000 | #Constraints: 21402
161.87/162.44 c #Conflicts: 344000 | #Constraints: 22402
161.87/162.44 c #Conflicts: 345000 | #Constraints: 23402
161.87/162.44 c INPROCESSING
161.87/162.44 c GARBAGE COLLECT
161.87/162.44 c #Conflicts: 346000 | #Constraints: 12805
161.87/162.44 c #Conflicts: 347000 | #Constraints: 13805
161.87/162.44 c #Conflicts: 348000 | #Constraints: 14805
161.87/162.44 c #Conflicts: 349000 | #Constraints: 15805
161.87/162.44 c #Conflicts: 350000 | #Constraints: 16805
161.87/162.44 c #Conflicts: 351000 | #Constraints: 17805
161.87/162.44 c #Conflicts: 352000 | #Constraints: 18805
161.87/162.44 c #Conflicts: 353000 | #Constraints: 19805
161.87/162.44 c #Conflicts: 354000 | #Constraints: 20805
161.87/162.44 c #Conflicts: 355000 | #Constraints: 21805
161.87/162.44 c #Conflicts: 356000 | #Constraints: 22805
161.87/162.44 c #Conflicts: 357000 | #Constraints: 23805
161.87/162.44 c INPROCESSING
161.87/162.44 c GARBAGE COLLECT
161.87/162.44 c #Conflicts: 358000 | #Constraints: 13004
161.87/162.44 c #Conflicts: 359000 | #Constraints: 14004
161.87/162.44 c #Conflicts: 360000 | #Constraints: 15004
161.87/162.44 c #Conflicts: 361000 | #Constraints: 16004
161.87/162.44 c #Conflicts: 362000 | #Constraints: 17004
161.87/162.44 c #Conflicts: 363000 | #Constraints: 18004
210.72/211.43 c #Conflicts: 364000 | #Constraints: 19004
210.72/211.43 c #Conflicts: 365000 | #Constraints: 20004
210.72/211.43 c #Conflicts: 366000 | #Constraints: 21004
210.72/211.43 c #Conflicts: 367000 | #Constraints: 22004
210.72/211.43 c #Conflicts: 368000 | #Constraints: 23004
210.72/211.43 c #Conflicts: 369000 | #Constraints: 24004
210.72/211.43 c INPROCESSING
210.72/211.43 c GARBAGE COLLECT
210.72/211.43 c #Conflicts: 370000 | #Constraints: 13004
210.72/211.43 c #Conflicts: 371000 | #Constraints: 14004
210.72/211.43 c #Conflicts: 372000 | #Constraints: 15004
210.72/211.43 c #Conflicts: 373000 | #Constraints: 16004
210.72/211.43 c #Conflicts: 374000 | #Constraints: 17004
210.72/211.43 c #Conflicts: 375000 | #Constraints: 18004
210.72/211.43 c #Conflicts: 376000 | #Constraints: 19004
210.72/211.43 c #Conflicts: 377000 | #Constraints: 20004
210.72/211.43 c #Conflicts: 378000 | #Constraints: 21004
210.72/211.43 c #Conflicts: 379000 | #Constraints: 22004
210.72/211.43 c #Conflicts: 380000 | #Constraints: 23004
210.72/211.43 c #Conflicts: 381000 | #Constraints: 24004
210.72/211.43 c INPROCESSING
210.72/211.43 c GARBAGE COLLECT
210.72/211.43 c #Conflicts: 382000 | #Constraints: 12803
210.72/211.43 c #Conflicts: 383000 | #Constraints: 13803
210.72/211.43 c #Conflicts: 384000 | #Constraints: 14803
210.72/211.43 c #Conflicts: 385000 | #Constraints: 15803
210.72/211.43 c #Conflicts: 386000 | #Constraints: 16803
210.72/211.43 c #Conflicts: 387000 | #Constraints: 17803
210.72/211.43 c #Conflicts: 388000 | #Constraints: 18803
210.72/211.43 c #Conflicts: 389000 | #Constraints: 19803
210.72/211.43 c #Conflicts: 390000 | #Constraints: 20803
210.72/211.43 c #Conflicts: 391000 | #Constraints: 21803
210.72/211.43 c #Conflicts: 392000 | #Constraints: 22803
210.72/211.43 c #Conflicts: 393000 | #Constraints: 23803
210.72/211.43 c #Conflicts: 394000 | #Constraints: 24803
210.72/211.43 c INPROCESSING
210.72/211.43 c GARBAGE COLLECT
210.72/211.43 c #Conflicts: 395000 | #Constraints: 13401
210.72/211.43 c #Conflicts: 396000 | #Constraints: 14401
210.72/211.43 c #Conflicts: 397000 | #Constraints: 15401
210.72/211.43 c #Conflicts: 398000 | #Constraints: 16401
210.72/211.43 c #Conflicts: 399000 | #Constraints: 17401
210.72/211.43 c #Conflicts: 400000 | #Constraints: 18401
210.72/211.43 c #Conflicts: 401000 | #Constraints: 19401
210.72/211.43 c #Conflicts: 402000 | #Constraints: 20401
210.72/211.43 c #Conflicts: 403000 | #Constraints: 21401
210.72/211.43 c #Conflicts: 404000 | #Constraints: 22401
210.72/211.43 c #Conflicts: 405000 | #Constraints: 23401
210.72/211.43 c #Conflicts: 406000 | #Constraints: 24401
210.72/211.43 c #Conflicts: 407000 | #Constraints: 25401
210.72/211.43 c INPROCESSING
210.72/211.43 c GARBAGE COLLECT
210.72/211.43 c #Conflicts: 408000 | #Constraints: 13800
210.72/211.43 c #Conflicts: 409000 | #Constraints: 14800
210.72/211.43 c #Conflicts: 410000 | #Constraints: 15800
210.72/211.43 c #Conflicts: 411000 | #Constraints: 16800
210.72/211.43 c #Conflicts: 412000 | #Constraints: 17800
210.72/211.43 c #Conflicts: 413000 | #Constraints: 18800
210.72/211.43 c #Conflicts: 414000 | #Constraints: 19800
210.72/211.43 c #Conflicts: 415000 | #Constraints: 20800
210.72/211.43 c #Conflicts: 416000 | #Constraints: 21800
210.72/211.43 c #Conflicts: 417000 | #Constraints: 22800
210.72/211.43 c #Conflicts: 418000 | #Constraints: 23800
210.72/211.43 c #Conflicts: 419000 | #Constraints: 24800
210.72/211.43 c #Conflicts: 420000 | #Constraints: 25800
210.72/211.43 c INPROCESSING
210.72/211.43 c GARBAGE COLLECT
210.72/211.43 c #Conflicts: 421000 | #Constraints: 14002
210.72/211.43 c #Conflicts: 422000 | #Constraints: 15002
210.72/211.43 c #Conflicts: 423000 | #Constraints: 16002
210.72/211.43 c #Conflicts: 424000 | #Constraints: 17002
210.72/211.43 c #Conflicts: 425000 | #Constraints: 18002
210.72/211.43 c #Conflicts: 426000 | #Constraints: 19002
210.72/211.43 c #Conflicts: 427000 | #Constraints: 20002
210.72/211.43 c #Conflicts: 428000 | #Constraints: 21002
210.72/211.43 c #Conflicts: 429000 | #Constraints: 22002
210.72/211.43 c #Conflicts: 430000 | #Constraints: 23002
210.72/211.43 c #Conflicts: 431000 | #Constraints: 24002
210.72/211.43 c #Conflicts: 432000 | #Constraints: 25002
210.72/211.43 c #Conflicts: 433000 | #Constraints: 26002
210.72/211.43 c INPROCESSING
210.72/211.43 c GARBAGE COLLECT
210.72/211.43 c #Conflicts: 434000 | #Constraints: 14005
210.72/211.43 c #Conflicts: 435000 | #Constraints: 15005
210.72/211.43 c #Conflicts: 436000 | #Constraints: 16005
210.72/211.43 c #Conflicts: 437000 | #Constraints: 17005
210.72/211.43 c #Conflicts: 438000 | #Constraints: 18005
265.66/266.56 c #Conflicts: 439000 | #Constraints: 19005
265.66/266.56 c #Conflicts: 440000 | #Constraints: 20005
265.66/266.56 c #Conflicts: 441000 | #Constraints: 21005
265.66/266.56 c #Conflicts: 442000 | #Constraints: 22005
265.66/266.56 c #Conflicts: 443000 | #Constraints: 23005
265.66/266.56 c #Conflicts: 444000 | #Constraints: 24005
265.66/266.56 c #Conflicts: 445000 | #Constraints: 25005
265.66/266.56 c #Conflicts: 446000 | #Constraints: 26005
265.66/266.56 c INPROCESSING
265.66/266.56 c GARBAGE COLLECT
265.66/266.56 c #Conflicts: 447000 | #Constraints: 13805
265.66/266.56 c #Conflicts: 448000 | #Constraints: 14805
265.66/266.56 c #Conflicts: 449000 | #Constraints: 15805
265.66/266.56 c #Conflicts: 450000 | #Constraints: 16805
265.66/266.56 c #Conflicts: 451000 | #Constraints: 17805
265.66/266.56 c #Conflicts: 452000 | #Constraints: 18805
265.66/266.56 c #Conflicts: 453000 | #Constraints: 19805
265.66/266.56 c #Conflicts: 454000 | #Constraints: 20805
265.66/266.56 c #Conflicts: 455000 | #Constraints: 21805
265.66/266.56 c #Conflicts: 456000 | #Constraints: 22805
265.66/266.56 c #Conflicts: 457000 | #Constraints: 23805
265.66/266.56 c #Conflicts: 458000 | #Constraints: 24805
265.66/266.56 c #Conflicts: 459000 | #Constraints: 25805
265.66/266.56 c #Conflicts: 460000 | #Constraints: 26805
265.66/266.56 c INPROCESSING
265.66/266.56 c GARBAGE COLLECT
265.66/266.56 c #Conflicts: 461000 | #Constraints: 14404
265.66/266.56 c #Conflicts: 462000 | #Constraints: 15404
265.66/266.56 c #Conflicts: 463000 | #Constraints: 16404
265.66/266.56 c #Conflicts: 464000 | #Constraints: 17404
265.66/266.56 c #Conflicts: 465000 | #Constraints: 18404
265.66/266.56 c #Conflicts: 466000 | #Constraints: 19404
265.66/266.56 c #Conflicts: 467000 | #Constraints: 20404
265.66/266.56 c #Conflicts: 468000 | #Constraints: 21404
265.66/266.56 c #Conflicts: 469000 | #Constraints: 22404
265.66/266.56 c #Conflicts: 470000 | #Constraints: 23404
265.66/266.56 c #Conflicts: 471000 | #Constraints: 24404
265.66/266.56 c #Conflicts: 472000 | #Constraints: 25404
265.66/266.56 c #Conflicts: 473000 | #Constraints: 26404
265.66/266.56 c #Conflicts: 474000 | #Constraints: 27404
265.66/266.56 c INPROCESSING
265.66/266.56 c GARBAGE COLLECT
265.66/266.56 c #Conflicts: 475000 | #Constraints: 14809
265.66/266.56 c #Conflicts: 476000 | #Constraints: 15809
265.66/266.56 c #Conflicts: 477000 | #Constraints: 16809
265.66/266.56 c #Conflicts: 478000 | #Constraints: 17809
265.66/266.56 c #Conflicts: 479000 | #Constraints: 18809
265.66/266.56 c #Conflicts: 480000 | #Constraints: 19809
265.66/266.56 c #Conflicts: 481000 | #Constraints: 20809
265.66/266.56 c #Conflicts: 482000 | #Constraints: 21809
265.66/266.56 c #Conflicts: 483000 | #Constraints: 22809
265.66/266.56 c #Conflicts: 484000 | #Constraints: 23809
265.66/266.56 c #Conflicts: 485000 | #Constraints: 24809
265.66/266.56 c #Conflicts: 486000 | #Constraints: 25809
265.66/266.56 c #Conflicts: 487000 | #Constraints: 26809
265.66/266.56 c #Conflicts: 488000 | #Constraints: 27809
265.66/266.56 c INPROCESSING
265.66/266.56 c GARBAGE COLLECT
265.66/266.56 c #Conflicts: 489000 | #Constraints: 15005
265.66/266.56 c #Conflicts: 490000 | #Constraints: 16005
265.66/266.56 c #Conflicts: 491000 | #Constraints: 17005
265.66/266.56 c #Conflicts: 492000 | #Constraints: 18005
265.66/266.56 c #Conflicts: 493000 | #Constraints: 19005
265.66/266.56 c #Conflicts: 494000 | #Constraints: 20005
265.66/266.56 c #Conflicts: 495000 | #Constraints: 21005
265.66/266.56 c #Conflicts: 496000 | #Constraints: 22005
265.66/266.56 c #Conflicts: 497000 | #Constraints: 23005
265.66/266.56 c #Conflicts: 498000 | #Constraints: 24005
265.66/266.56 c #Conflicts: 499000 | #Constraints: 25005
265.66/266.56 c #Conflicts: 500000 | #Constraints: 26005
265.66/266.56 c #Conflicts: 501000 | #Constraints: 27005
265.66/266.56 c #Conflicts: 502000 | #Constraints: 28005
265.66/266.56 c INPROCESSING
265.66/266.56 c GARBAGE COLLECT
265.66/266.56 c #Conflicts: 503000 | #Constraints: 15006
265.66/266.56 c #Conflicts: 504000 | #Constraints: 16006
265.66/266.56 c #Conflicts: 505000 | #Constraints: 17006
265.66/266.56 c #Conflicts: 506000 | #Constraints: 18006
265.66/266.56 c #Conflicts: 507000 | #Constraints: 19006
265.66/266.56 c #Conflicts: 508000 | #Constraints: 20006
265.66/266.56 c #Conflicts: 509000 | #Constraints: 21006
265.66/266.56 c #Conflicts: 510000 | #Constraints: 22006
265.66/266.56 c #Conflicts: 511000 | #Constraints: 23006
265.66/266.56 c #Conflicts: 512000 | #Constraints: 24006
265.66/266.56 c #Conflicts: 513000 | #Constraints: 25006
265.66/266.56 c #Conflicts: 514000 | #Constraints: 26006
321.78/322.82 c #Conflicts: 515000 | #Constraints: 27006
321.78/322.82 c #Conflicts: 516000 | #Constraints: 28006
321.78/322.82 c INPROCESSING
321.78/322.82 c GARBAGE COLLECT
321.78/322.82 c #Conflicts: 517000 | #Constraints: 14802
321.78/322.82 c #Conflicts: 518000 | #Constraints: 15802
321.78/322.82 c #Conflicts: 519000 | #Constraints: 16802
321.78/322.82 c #Conflicts: 520000 | #Constraints: 17802
321.78/322.82 c #Conflicts: 521000 | #Constraints: 18802
321.78/322.82 c #Conflicts: 522000 | #Constraints: 19802
321.78/322.82 c #Conflicts: 523000 | #Constraints: 20802
321.78/322.82 c #Conflicts: 524000 | #Constraints: 21802
321.78/322.82 c #Conflicts: 525000 | #Constraints: 22802
321.78/322.82 c #Conflicts: 526000 | #Constraints: 23802
321.78/322.82 c #Conflicts: 527000 | #Constraints: 24802
321.78/322.82 c #Conflicts: 528000 | #Constraints: 25802
321.78/322.82 c #Conflicts: 529000 | #Constraints: 26802
321.78/322.82 c #Conflicts: 530000 | #Constraints: 27802
321.78/322.82 c #Conflicts: 531000 | #Constraints: 28802
321.78/322.82 c INPROCESSING
321.78/322.82 c GARBAGE COLLECT
321.78/322.82 c #Conflicts: 532000 | #Constraints: 15406
321.78/322.82 c #Conflicts: 533000 | #Constraints: 16406
321.78/322.82 c #Conflicts: 534000 | #Constraints: 17406
321.78/322.82 c #Conflicts: 535000 | #Constraints: 18406
321.78/322.82 c #Conflicts: 536000 | #Constraints: 19406
321.78/322.82 c #Conflicts: 537000 | #Constraints: 20406
321.78/322.82 c #Conflicts: 538000 | #Constraints: 21406
321.78/322.82 c #Conflicts: 539000 | #Constraints: 22406
321.78/322.82 c #Conflicts: 540000 | #Constraints: 23406
321.78/322.82 c #Conflicts: 541000 | #Constraints: 24406
321.78/322.82 c #Conflicts: 542000 | #Constraints: 25406
321.78/322.82 c #Conflicts: 543000 | #Constraints: 26406
321.78/322.82 c #Conflicts: 544000 | #Constraints: 27406
321.78/322.82 c #Conflicts: 545000 | #Constraints: 28406
321.78/322.82 c #Conflicts: 546000 | #Constraints: 29406
321.78/322.82 c INPROCESSING
321.78/322.82 c GARBAGE COLLECT
321.78/322.82 c #Conflicts: 547000 | #Constraints: 15806
321.78/322.82 c #Conflicts: 548000 | #Constraints: 16806
321.78/322.82 c #Conflicts: 549000 | #Constraints: 17806
321.78/322.82 c #Conflicts: 550000 | #Constraints: 18806
321.78/322.82 c #Conflicts: 551000 | #Constraints: 19806
321.78/322.82 c #Conflicts: 552000 | #Constraints: 20806
321.78/322.82 c #Conflicts: 553000 | #Constraints: 21806
321.78/322.82 c #Conflicts: 554000 | #Constraints: 22806
321.78/322.82 c #Conflicts: 555000 | #Constraints: 23806
321.78/322.82 c #Conflicts: 556000 | #Constraints: 24806
321.78/322.82 c #Conflicts: 557000 | #Constraints: 25806
321.78/322.82 c #Conflicts: 558000 | #Constraints: 26806
321.78/322.82 c #Conflicts: 559000 | #Constraints: 27806
321.78/322.82 c #Conflicts: 560000 | #Constraints: 28806
321.78/322.82 c #Conflicts: 561000 | #Constraints: 29806
321.78/322.82 c INPROCESSING
321.78/322.82 c GARBAGE COLLECT
321.78/322.82 c #Conflicts: 562000 | #Constraints: 16001
321.78/322.82 c #Conflicts: 563000 | #Constraints: 17001
321.78/322.82 c #Conflicts: 564000 | #Constraints: 18001
321.78/322.82 c #Conflicts: 565000 | #Constraints: 19001
321.78/322.82 c #Conflicts: 566000 | #Constraints: 20001
321.78/322.82 c #Conflicts: 567000 | #Constraints: 21001
321.78/322.82 c #Conflicts: 568000 | #Constraints: 22001
321.78/322.82 c #Conflicts: 569000 | #Constraints: 23001
321.78/322.82 c #Conflicts: 570000 | #Constraints: 24001
321.78/322.82 c #Conflicts: 571000 | #Constraints: 25001
321.78/322.82 c #Conflicts: 572000 | #Constraints: 26001
321.78/322.82 c #Conflicts: 573000 | #Constraints: 27001
321.78/322.82 c #Conflicts: 574000 | #Constraints: 28001
321.78/322.82 c #Conflicts: 575000 | #Constraints: 29001
321.78/322.82 c #Conflicts: 576000 | #Constraints: 30001
321.78/322.82 c INPROCESSING
321.78/322.82 c GARBAGE COLLECT
321.78/322.82 c #Conflicts: 577000 | #Constraints: 16006
321.78/322.82 c #Conflicts: 578000 | #Constraints: 17006
321.78/322.82 c #Conflicts: 579000 | #Constraints: 18006
321.78/322.82 c #Conflicts: 580000 | #Constraints: 19006
321.78/322.82 c #Conflicts: 581000 | #Constraints: 20006
321.78/322.82 c #Conflicts: 582000 | #Constraints: 21006
321.78/322.82 c #Conflicts: 583000 | #Constraints: 22006
321.78/322.82 c #Conflicts: 584000 | #Constraints: 23006
321.78/322.82 c #Conflicts: 585000 | #Constraints: 24006
321.78/322.82 c #Conflicts: 586000 | #Constraints: 25006
321.78/322.82 c #Conflicts: 587000 | #Constraints: 26006
321.78/322.82 c #Conflicts: 588000 | #Constraints: 27006
321.78/322.82 c #Conflicts: 589000 | #Constraints: 28006
383.09/384.37 c #Conflicts: 590000 | #Constraints: 29006
383.09/384.37 c #Conflicts: 591000 | #Constraints: 30006
383.09/384.37 c INPROCESSING
383.09/384.37 c GARBAGE COLLECT
383.09/384.37 c #Conflicts: 592000 | #Constraints: 15804
383.09/384.37 c #Conflicts: 593000 | #Constraints: 16804
383.09/384.37 c #Conflicts: 594000 | #Constraints: 17804
383.09/384.37 c #Conflicts: 595000 | #Constraints: 18804
383.09/384.37 c #Conflicts: 596000 | #Constraints: 19804
383.09/384.37 c #Conflicts: 597000 | #Constraints: 20804
383.09/384.37 c #Conflicts: 598000 | #Constraints: 21804
383.09/384.37 c #Conflicts: 599000 | #Constraints: 22804
383.09/384.37 c #Conflicts: 600000 | #Constraints: 23804
383.09/384.37 c #Conflicts: 601000 | #Constraints: 24804
383.09/384.37 c #Conflicts: 602000 | #Constraints: 25804
383.09/384.37 c #Conflicts: 603000 | #Constraints: 26804
383.09/384.37 c #Conflicts: 604000 | #Constraints: 27804
383.09/384.37 c #Conflicts: 605000 | #Constraints: 28804
383.09/384.37 c #Conflicts: 606000 | #Constraints: 29804
383.09/384.37 c #Conflicts: 607000 | #Constraints: 30804
383.09/384.37 c INPROCESSING
383.09/384.37 c GARBAGE COLLECT
383.09/384.37 c #Conflicts: 608000 | #Constraints: 16408
383.09/384.37 c #Conflicts: 609000 | #Constraints: 17408
383.09/384.37 c #Conflicts: 610000 | #Constraints: 18408
383.09/384.37 c #Conflicts: 611000 | #Constraints: 19408
383.09/384.37 c #Conflicts: 612000 | #Constraints: 20408
383.09/384.37 c #Conflicts: 613000 | #Constraints: 21408
383.09/384.37 c #Conflicts: 614000 | #Constraints: 22408
383.09/384.37 c #Conflicts: 615000 | #Constraints: 23408
383.09/384.37 c #Conflicts: 616000 | #Constraints: 24408
383.09/384.37 c #Conflicts: 617000 | #Constraints: 25408
383.09/384.37 c #Conflicts: 618000 | #Constraints: 26408
383.09/384.37 c #Conflicts: 619000 | #Constraints: 27408
383.09/384.37 c #Conflicts: 620000 | #Constraints: 28408
383.09/384.37 c #Conflicts: 621000 | #Constraints: 29408
383.09/384.37 c #Conflicts: 622000 | #Constraints: 30408
383.09/384.37 c #Conflicts: 623000 | #Constraints: 31408
383.09/384.37 c INPROCESSING
383.09/384.37 c GARBAGE COLLECT
383.09/384.37 c #Conflicts: 624000 | #Constraints: 16803
383.09/384.37 c #Conflicts: 625000 | #Constraints: 17803
383.09/384.37 c #Conflicts: 626000 | #Constraints: 18803
383.09/384.37 c #Conflicts: 627000 | #Constraints: 19803
383.09/384.37 c #Conflicts: 628000 | #Constraints: 20803
383.09/384.37 c #Conflicts: 629000 | #Constraints: 21803
383.09/384.37 c #Conflicts: 630000 | #Constraints: 22803
383.09/384.37 c #Conflicts: 631000 | #Constraints: 23803
383.09/384.37 c #Conflicts: 632000 | #Constraints: 24803
383.09/384.37 c #Conflicts: 633000 | #Constraints: 25803
383.09/384.37 c #Conflicts: 634000 | #Constraints: 26803
383.09/384.37 c #Conflicts: 635000 | #Constraints: 27803
383.09/384.37 c #Conflicts: 636000 | #Constraints: 28803
383.09/384.37 c #Conflicts: 637000 | #Constraints: 29803
383.09/384.37 c #Conflicts: 638000 | #Constraints: 30803
383.09/384.37 c #Conflicts: 639000 | #Constraints: 31803
383.09/384.37 c INPROCESSING
383.09/384.37 c GARBAGE COLLECT
383.09/384.37 c #Conflicts: 640000 | #Constraints: 17007
383.09/384.37 c #Conflicts: 641000 | #Constraints: 18007
383.09/384.37 c #Conflicts: 642000 | #Constraints: 19007
383.09/384.37 c #Conflicts: 643000 | #Constraints: 20007
383.09/384.37 c #Conflicts: 644000 | #Constraints: 21007
383.09/384.37 c #Conflicts: 645000 | #Constraints: 22007
383.09/384.37 c #Conflicts: 646000 | #Constraints: 23007
383.09/384.37 c #Conflicts: 647000 | #Constraints: 24007
383.09/384.37 c #Conflicts: 648000 | #Constraints: 25007
383.09/384.37 c #Conflicts: 649000 | #Constraints: 26007
383.09/384.37 c #Conflicts: 650000 | #Constraints: 27007
383.09/384.37 c #Conflicts: 651000 | #Constraints: 28007
383.09/384.37 c #Conflicts: 652000 | #Constraints: 29007
383.09/384.37 c #Conflicts: 653000 | #Constraints: 30007
383.09/384.37 c #Conflicts: 654000 | #Constraints: 31007
383.09/384.37 c #Conflicts: 655000 | #Constraints: 32007
383.09/384.37 c INPROCESSING
383.09/384.37 c GARBAGE COLLECT
383.09/384.37 c #Conflicts: 656000 | #Constraints: 17009
383.09/384.37 c #Conflicts: 657000 | #Constraints: 18009
383.09/384.37 c #Conflicts: 658000 | #Constraints: 19009
383.09/384.37 c #Conflicts: 659000 | #Constraints: 20009
383.09/384.37 c #Conflicts: 660000 | #Constraints: 21009
383.09/384.37 c #Conflicts: 661000 | #Constraints: 22009
383.09/384.37 c #Conflicts: 662000 | #Constraints: 23009
383.09/384.37 c #Conflicts: 663000 | #Constraints: 24009
383.09/384.37 c #Conflicts: 664000 | #Constraints: 25009
383.09/384.37 c #Conflicts: 665000 | #Constraints: 26009
452.09/453.51 c #Conflicts: 666000 | #Constraints: 27009
452.09/453.51 c #Conflicts: 667000 | #Constraints: 28009
452.09/453.51 c #Conflicts: 668000 | #Constraints: 29009
452.09/453.51 c #Conflicts: 669000 | #Constraints: 30009
452.09/453.51 c #Conflicts: 670000 | #Constraints: 31009
452.09/453.51 c #Conflicts: 671000 | #Constraints: 32009
452.09/453.51 c INPROCESSING
452.09/453.51 c GARBAGE COLLECT
452.09/453.51 c #Conflicts: 672000 | #Constraints: 16809
452.09/453.51 c #Conflicts: 673000 | #Constraints: 17809
452.09/453.51 c #Conflicts: 674000 | #Constraints: 18809
452.09/453.51 c #Conflicts: 675000 | #Constraints: 19809
452.09/453.51 c #Conflicts: 676000 | #Constraints: 20809
452.09/453.51 c #Conflicts: 677000 | #Constraints: 21809
452.09/453.51 c #Conflicts: 678000 | #Constraints: 22809
452.09/453.51 c #Conflicts: 679000 | #Constraints: 23809
452.09/453.51 c #Conflicts: 680000 | #Constraints: 24809
452.09/453.51 c #Conflicts: 681000 | #Constraints: 25809
452.09/453.51 c #Conflicts: 682000 | #Constraints: 26809
452.09/453.51 c #Conflicts: 683000 | #Constraints: 27809
452.09/453.51 c #Conflicts: 684000 | #Constraints: 28809
452.09/453.51 c #Conflicts: 685000 | #Constraints: 29809
452.09/453.51 c #Conflicts: 686000 | #Constraints: 30809
452.09/453.51 c #Conflicts: 687000 | #Constraints: 31809
452.09/453.51 c #Conflicts: 688000 | #Constraints: 32809
452.09/453.51 c INPROCESSING
452.09/453.51 c GARBAGE COLLECT
452.09/453.51 c #Conflicts: 689000 | #Constraints: 17414
452.09/453.51 c #Conflicts: 690000 | #Constraints: 18414
452.09/453.51 c #Conflicts: 691000 | #Constraints: 19414
452.09/453.51 c #Conflicts: 692000 | #Constraints: 20414
452.09/453.51 c #Conflicts: 693000 | #Constraints: 21414
452.09/453.51 c #Conflicts: 694000 | #Constraints: 22414
452.09/453.51 c #Conflicts: 695000 | #Constraints: 23414
452.09/453.51 c #Conflicts: 696000 | #Constraints: 24414
452.09/453.51 c #Conflicts: 697000 | #Constraints: 25414
452.09/453.51 c #Conflicts: 698000 | #Constraints: 26414
452.09/453.51 c #Conflicts: 699000 | #Constraints: 27414
452.09/453.51 c #Conflicts: 700000 | #Constraints: 28414
452.09/453.51 c #Conflicts: 701000 | #Constraints: 29414
452.09/453.51 c #Conflicts: 702000 | #Constraints: 30414
452.09/453.51 c #Conflicts: 703000 | #Constraints: 31414
452.09/453.51 c #Conflicts: 704000 | #Constraints: 32414
452.09/453.51 c #Conflicts: 705000 | #Constraints: 33414
452.09/453.51 c INPROCESSING
452.09/453.51 c GARBAGE COLLECT
452.09/453.51 c #Conflicts: 706000 | #Constraints: 17806
452.09/453.51 c #Conflicts: 707000 | #Constraints: 18806
452.09/453.51 c #Conflicts: 708000 | #Constraints: 19806
452.09/453.51 c #Conflicts: 709000 | #Constraints: 20806
452.09/453.51 c #Conflicts: 710000 | #Constraints: 21806
452.09/453.51 c #Conflicts: 711000 | #Constraints: 22806
452.09/453.51 c #Conflicts: 712000 | #Constraints: 23806
452.09/453.51 c #Conflicts: 713000 | #Constraints: 24806
452.09/453.51 c #Conflicts: 714000 | #Constraints: 25806
452.09/453.51 c #Conflicts: 715000 | #Constraints: 26806
452.09/453.51 c #Conflicts: 716000 | #Constraints: 27806
452.09/453.51 c #Conflicts: 717000 | #Constraints: 28806
452.09/453.51 c #Conflicts: 718000 | #Constraints: 29806
452.09/453.51 c #Conflicts: 719000 | #Constraints: 30806
452.09/453.51 c #Conflicts: 720000 | #Constraints: 31806
452.09/453.51 c #Conflicts: 721000 | #Constraints: 32806
452.09/453.51 c #Conflicts: 722000 | #Constraints: 33806
452.09/453.51 c INPROCESSING
452.09/453.51 c GARBAGE COLLECT
452.09/453.51 c #Conflicts: 723000 | #Constraints: 17999
452.09/453.51 c #Conflicts: 724000 | #Constraints: 18999
452.09/453.51 c #Conflicts: 725000 | #Constraints: 19999
452.09/453.51 c #Conflicts: 726000 | #Constraints: 20999
452.09/453.51 c #Conflicts: 727000 | #Constraints: 21999
452.09/453.51 c #Conflicts: 728000 | #Constraints: 22999
452.09/453.51 c #Conflicts: 729000 | #Constraints: 23999
452.09/453.51 c #Conflicts: 730000 | #Constraints: 24999
452.09/453.51 c #Conflicts: 731000 | #Constraints: 25999
452.09/453.51 c #Conflicts: 732000 | #Constraints: 26999
452.09/453.51 c #Conflicts: 733000 | #Constraints: 27999
452.09/453.51 c #Conflicts: 734000 | #Constraints: 28999
452.09/453.51 c #Conflicts: 735000 | #Constraints: 29999
452.09/453.51 c #Conflicts: 736000 | #Constraints: 30999
452.09/453.51 c #Conflicts: 737000 | #Constraints: 31999
452.09/453.51 c #Conflicts: 738000 | #Constraints: 32999
452.09/453.51 c #Conflicts: 739000 | #Constraints: 33999
452.09/453.51 c INPROCESSING
452.09/453.51 c GARBAGE COLLECT
452.09/453.51 c #Conflicts: 740000 | #Constraints: 18001
521.07/522.71 c #Conflicts: 741000 | #Constraints: 19001
521.07/522.71 c #Conflicts: 742000 | #Constraints: 20001
521.07/522.71 c #Conflicts: 743000 | #Constraints: 21001
521.07/522.71 c #Conflicts: 744000 | #Constraints: 22001
521.07/522.71 c #Conflicts: 745000 | #Constraints: 23001
521.07/522.71 c #Conflicts: 746000 | #Constraints: 24001
521.07/522.71 c #Conflicts: 747000 | #Constraints: 25001
521.07/522.71 c #Conflicts: 748000 | #Constraints: 26001
521.07/522.71 c #Conflicts: 749000 | #Constraints: 27001
521.07/522.71 c #Conflicts: 750000 | #Constraints: 28001
521.07/522.71 c #Conflicts: 751000 | #Constraints: 29001
521.07/522.71 c #Conflicts: 752000 | #Constraints: 30001
521.07/522.71 c #Conflicts: 753000 | #Constraints: 31001
521.07/522.71 c #Conflicts: 754000 | #Constraints: 32001
521.07/522.71 c #Conflicts: 755000 | #Constraints: 33001
521.07/522.71 c #Conflicts: 756000 | #Constraints: 34001
521.07/522.71 c INPROCESSING
521.07/522.71 c GARBAGE COLLECT
521.07/522.71 c #Conflicts: 757000 | #Constraints: 17807
521.07/522.71 c #Conflicts: 758000 | #Constraints: 18807
521.07/522.71 c #Conflicts: 759000 | #Constraints: 19807
521.07/522.71 c #Conflicts: 760000 | #Constraints: 20807
521.07/522.71 c #Conflicts: 761000 | #Constraints: 21807
521.07/522.71 c #Conflicts: 762000 | #Constraints: 22807
521.07/522.71 c #Conflicts: 763000 | #Constraints: 23807
521.07/522.71 c #Conflicts: 764000 | #Constraints: 24807
521.07/522.71 c #Conflicts: 765000 | #Constraints: 25807
521.07/522.71 c #Conflicts: 766000 | #Constraints: 26807
521.07/522.71 c #Conflicts: 767000 | #Constraints: 27807
521.07/522.71 c #Conflicts: 768000 | #Constraints: 28807
521.07/522.71 c #Conflicts: 769000 | #Constraints: 29807
521.07/522.71 c #Conflicts: 770000 | #Constraints: 30807
521.07/522.71 c #Conflicts: 771000 | #Constraints: 31807
521.07/522.71 c #Conflicts: 772000 | #Constraints: 32807
521.07/522.71 c #Conflicts: 773000 | #Constraints: 33807
521.07/522.71 c #Conflicts: 774000 | #Constraints: 34807
521.07/522.71 c INPROCESSING
521.07/522.71 c GARBAGE COLLECT
521.07/522.71 c #Conflicts: 775000 | #Constraints: 18405
521.07/522.71 c #Conflicts: 776000 | #Constraints: 19405
521.07/522.71 c #Conflicts: 777000 | #Constraints: 20405
521.07/522.71 c #Conflicts: 778000 | #Constraints: 21405
521.07/522.71 c #Conflicts: 779000 | #Constraints: 22405
521.07/522.71 c #Conflicts: 780000 | #Constraints: 23405
521.07/522.71 c #Conflicts: 781000 | #Constraints: 24405
521.07/522.71 c #Conflicts: 782000 | #Constraints: 25405
521.07/522.71 c #Conflicts: 783000 | #Constraints: 26405
521.07/522.71 c #Conflicts: 784000 | #Constraints: 27405
521.07/522.71 c #Conflicts: 785000 | #Constraints: 28405
521.07/522.71 c #Conflicts: 786000 | #Constraints: 29405
521.07/522.71 c #Conflicts: 787000 | #Constraints: 30405
521.07/522.71 c #Conflicts: 788000 | #Constraints: 31405
521.07/522.71 c #Conflicts: 789000 | #Constraints: 32405
521.07/522.71 c #Conflicts: 790000 | #Constraints: 33405
521.07/522.71 c #Conflicts: 791000 | #Constraints: 34405
521.07/522.71 c #Conflicts: 792000 | #Constraints: 35405
521.07/522.71 c INPROCESSING
521.07/522.71 c GARBAGE COLLECT
521.07/522.71 c #Conflicts: 793000 | #Constraints: 18806
521.07/522.71 c #Conflicts: 794000 | #Constraints: 19806
521.07/522.71 c #Conflicts: 795000 | #Constraints: 20806
521.07/522.71 c #Conflicts: 796000 | #Constraints: 21806
521.07/522.71 c #Conflicts: 797000 | #Constraints: 22806
521.07/522.71 c #Conflicts: 798000 | #Constraints: 23806
521.07/522.71 c #Conflicts: 799000 | #Constraints: 24806
521.07/522.71 c #Conflicts: 800000 | #Constraints: 25806
521.07/522.71 c #Conflicts: 801000 | #Constraints: 26806
521.07/522.71 c #Conflicts: 802000 | #Constraints: 27806
521.07/522.71 c #Conflicts: 803000 | #Constraints: 28806
521.07/522.71 c #Conflicts: 804000 | #Constraints: 29806
521.07/522.71 c #Conflicts: 805000 | #Constraints: 30806
521.07/522.71 c #Conflicts: 806000 | #Constraints: 31806
521.07/522.71 c #Conflicts: 807000 | #Constraints: 32806
521.07/522.71 c #Conflicts: 808000 | #Constraints: 33806
521.07/522.71 c #Conflicts: 809000 | #Constraints: 34806
521.07/522.71 c #Conflicts: 810000 | #Constraints: 35806
521.07/522.71 c INPROCESSING
521.07/522.71 c GARBAGE COLLECT
521.07/522.71 c #Conflicts: 811000 | #Constraints: 19001
521.07/522.71 c #Conflicts: 812000 | #Constraints: 20001
521.07/522.71 c #Conflicts: 813000 | #Constraints: 21001
521.07/522.71 c #Conflicts: 814000 | #Constraints: 22001
521.07/522.71 c #Conflicts: 815000 | #Constraints: 23001
521.07/522.71 c #Conflicts: 816000 | #Constraints: 24001
521.07/522.71 c #Conflicts: 817000 | #Constraints: 25001
593.05/594.98 c #Conflicts: 818000 | #Constraints: 26001
593.05/594.98 c #Conflicts: 819000 | #Constraints: 27001
593.05/594.98 c #Conflicts: 820000 | #Constraints: 28001
593.05/594.98 c #Conflicts: 821000 | #Constraints: 29001
593.05/594.98 c #Conflicts: 822000 | #Constraints: 30001
593.05/594.98 c #Conflicts: 823000 | #Constraints: 31001
593.05/594.98 c #Conflicts: 824000 | #Constraints: 32001
593.05/594.98 c #Conflicts: 825000 | #Constraints: 33001
593.05/594.98 c #Conflicts: 826000 | #Constraints: 34001
593.05/594.98 c #Conflicts: 827000 | #Constraints: 35001
593.05/594.98 c #Conflicts: 828000 | #Constraints: 36001
593.05/594.98 c INPROCESSING
593.05/594.98 c GARBAGE COLLECT
593.05/594.98 c #Conflicts: 829000 | #Constraints: 19009
593.05/594.98 c #Conflicts: 830000 | #Constraints: 20009
593.05/594.98 c #Conflicts: 831000 | #Constraints: 21009
593.05/594.98 c #Conflicts: 832000 | #Constraints: 22009
593.05/594.98 c #Conflicts: 833000 | #Constraints: 23009
593.05/594.98 c #Conflicts: 834000 | #Constraints: 24009
593.05/594.98 c #Conflicts: 835000 | #Constraints: 25009
593.05/594.98 c #Conflicts: 836000 | #Constraints: 26009
593.05/594.98 c #Conflicts: 837000 | #Constraints: 27009
593.05/594.98 c #Conflicts: 838000 | #Constraints: 28009
593.05/594.98 c #Conflicts: 839000 | #Constraints: 29009
593.05/594.98 c #Conflicts: 840000 | #Constraints: 30009
593.05/594.98 c #Conflicts: 841000 | #Constraints: 31009
593.05/594.98 c #Conflicts: 842000 | #Constraints: 32009
593.05/594.98 c #Conflicts: 843000 | #Constraints: 33009
593.05/594.98 c #Conflicts: 844000 | #Constraints: 34009
593.05/594.98 c #Conflicts: 845000 | #Constraints: 35009
593.05/594.98 c #Conflicts: 846000 | #Constraints: 36009
593.05/594.98 c INPROCESSING
593.05/594.98 c GARBAGE COLLECT
593.05/594.98 c #Conflicts: 847000 | #Constraints: 18806
593.05/594.98 c #Conflicts: 848000 | #Constraints: 19806
593.05/594.98 c #Conflicts: 849000 | #Constraints: 20806
593.05/594.98 c #Conflicts: 850000 | #Constraints: 21806
593.05/594.98 c #Conflicts: 851000 | #Constraints: 22806
593.05/594.98 c #Conflicts: 852000 | #Constraints: 23806
593.05/594.98 c #Conflicts: 853000 | #Constraints: 24806
593.05/594.98 c #Conflicts: 854000 | #Constraints: 25806
593.05/594.98 c #Conflicts: 855000 | #Constraints: 26806
593.05/594.98 c #Conflicts: 856000 | #Constraints: 27806
593.05/594.98 c #Conflicts: 857000 | #Constraints: 28806
593.05/594.98 c #Conflicts: 858000 | #Constraints: 29806
593.05/594.98 c #Conflicts: 859000 | #Constraints: 30806
593.05/594.98 c #Conflicts: 860000 | #Constraints: 31806
593.05/594.98 c #Conflicts: 861000 | #Constraints: 32806
593.05/594.98 c #Conflicts: 862000 | #Constraints: 33806
593.05/594.98 c #Conflicts: 863000 | #Constraints: 34806
593.05/594.98 c #Conflicts: 864000 | #Constraints: 35806
593.05/594.98 c #Conflicts: 865000 | #Constraints: 36806
593.05/594.98 c INPROCESSING
593.05/594.98 c GARBAGE COLLECT
593.05/594.98 c #Conflicts: 866000 | #Constraints: 19402
593.05/594.98 c #Conflicts: 867000 | #Constraints: 20402
593.05/594.98 c #Conflicts: 868000 | #Constraints: 21402
593.05/594.98 c #Conflicts: 869000 | #Constraints: 22402
593.05/594.98 c #Conflicts: 870000 | #Constraints: 23402
593.05/594.98 c #Conflicts: 871000 | #Constraints: 24402
593.05/594.98 c #Conflicts: 872000 | #Constraints: 25402
593.05/594.98 c #Conflicts: 873000 | #Constraints: 26402
593.05/594.98 c #Conflicts: 874000 | #Constraints: 27402
593.05/594.98 c #Conflicts: 875000 | #Constraints: 28402
593.05/594.98 c #Conflicts: 876000 | #Constraints: 29402
593.05/594.98 c #Conflicts: 877000 | #Constraints: 30402
593.05/594.98 c #Conflicts: 878000 | #Constraints: 31402
593.05/594.98 c #Conflicts: 879000 | #Constraints: 32402
593.05/594.98 c #Conflicts: 880000 | #Constraints: 33402
593.05/594.98 c #Conflicts: 881000 | #Constraints: 34402
593.05/594.98 c #Conflicts: 882000 | #Constraints: 35402
593.05/594.98 c #Conflicts: 883000 | #Constraints: 36402
593.05/594.98 c #Conflicts: 884000 | #Constraints: 37402
593.05/594.98 c INPROCESSING
593.05/594.98 c GARBAGE COLLECT
593.05/594.98 c #Conflicts: 885000 | #Constraints: 19803
593.05/594.98 c #Conflicts: 886000 | #Constraints: 20803
593.05/594.98 c #Conflicts: 887000 | #Constraints: 21803
593.05/594.98 c #Conflicts: 888000 | #Constraints: 22803
593.05/594.98 c #Conflicts: 889000 | #Constraints: 23803
593.05/594.98 c #Conflicts: 890000 | #Constraints: 24803
593.05/594.98 c #Conflicts: 891000 | #Constraints: 25803
593.05/594.98 c #Conflicts: 892000 | #Constraints: 26803
593.05/594.98 c #Conflicts: 893000 | #Constraints: 27803
668.73/670.89 c #Conflicts: 894000 | #Constraints: 28803
668.73/670.89 c #Conflicts: 895000 | #Constraints: 29803
668.73/670.89 c #Conflicts: 896000 | #Constraints: 30803
668.73/670.89 c #Conflicts: 897000 | #Constraints: 31803
668.73/670.89 c #Conflicts: 898000 | #Constraints: 32803
668.73/670.89 c #Conflicts: 899000 | #Constraints: 33803
668.73/670.89 c #Conflicts: 900000 | #Constraints: 34803
668.73/670.89 c #Conflicts: 901000 | #Constraints: 35803
668.73/670.89 c #Conflicts: 902000 | #Constraints: 36803
668.73/670.89 c #Conflicts: 903000 | #Constraints: 37803
668.73/670.89 c INPROCESSING
668.73/670.89 c GARBAGE COLLECT
668.73/670.89 c #Conflicts: 904000 | #Constraints: 20016
668.73/670.89 c #Conflicts: 905000 | #Constraints: 21016
668.73/670.89 c #Conflicts: 906000 | #Constraints: 22016
668.73/670.89 c #Conflicts: 907000 | #Constraints: 23016
668.73/670.89 c #Conflicts: 908000 | #Constraints: 24016
668.73/670.89 c #Conflicts: 909000 | #Constraints: 25016
668.73/670.89 c #Conflicts: 910000 | #Constraints: 26016
668.73/670.89 c #Conflicts: 911000 | #Constraints: 27016
668.73/670.89 c #Conflicts: 912000 | #Constraints: 28016
668.73/670.89 c #Conflicts: 913000 | #Constraints: 29016
668.73/670.89 c #Conflicts: 914000 | #Constraints: 30016
668.73/670.89 c #Conflicts: 915000 | #Constraints: 31016
668.73/670.89 c #Conflicts: 916000 | #Constraints: 32016
668.73/670.89 c #Conflicts: 917000 | #Constraints: 33016
668.73/670.89 c #Conflicts: 918000 | #Constraints: 34016
668.73/670.89 c #Conflicts: 919000 | #Constraints: 35016
668.73/670.89 c #Conflicts: 920000 | #Constraints: 36016
668.73/670.89 c #Conflicts: 921000 | #Constraints: 37016
668.73/670.89 c #Conflicts: 922000 | #Constraints: 38016
668.73/670.89 c INPROCESSING
668.73/670.89 c GARBAGE COLLECT
668.73/670.89 c #Conflicts: 923000 | #Constraints: 20011
668.73/670.89 c #Conflicts: 924000 | #Constraints: 21011
668.73/670.89 c #Conflicts: 925000 | #Constraints: 22011
668.73/670.89 c #Conflicts: 926000 | #Constraints: 23011
668.73/670.89 c #Conflicts: 927000 | #Constraints: 24011
668.73/670.89 c #Conflicts: 928000 | #Constraints: 25011
668.73/670.89 c #Conflicts: 929000 | #Constraints: 26011
668.73/670.89 c #Conflicts: 930000 | #Constraints: 27011
668.73/670.89 c #Conflicts: 931000 | #Constraints: 28011
668.73/670.89 c #Conflicts: 932000 | #Constraints: 29011
668.73/670.89 c #Conflicts: 933000 | #Constraints: 30011
668.73/670.89 c #Conflicts: 934000 | #Constraints: 31011
668.73/670.89 c #Conflicts: 935000 | #Constraints: 32011
668.73/670.89 c #Conflicts: 936000 | #Constraints: 33011
668.73/670.89 c #Conflicts: 937000 | #Constraints: 34011
668.73/670.89 c #Conflicts: 938000 | #Constraints: 35011
668.73/670.89 c #Conflicts: 939000 | #Constraints: 36011
668.73/670.89 c #Conflicts: 940000 | #Constraints: 37011
668.73/670.89 c #Conflicts: 941000 | #Constraints: 38011
668.73/670.89 c INPROCESSING
668.73/670.89 c GARBAGE COLLECT
668.73/670.89 c #Conflicts: 942000 | #Constraints: 19813
668.73/670.89 c #Conflicts: 943000 | #Constraints: 20813
668.73/670.89 c #Conflicts: 944000 | #Constraints: 21813
668.73/670.89 c #Conflicts: 945000 | #Constraints: 22813
668.73/670.89 c #Conflicts: 946000 | #Constraints: 23813
668.73/670.89 c #Conflicts: 947000 | #Constraints: 24813
668.73/670.89 c #Conflicts: 948000 | #Constraints: 25813
668.73/670.89 c #Conflicts: 949000 | #Constraints: 26813
668.73/670.89 c #Conflicts: 950000 | #Constraints: 27813
668.73/670.89 c #Conflicts: 951000 | #Constraints: 28813
668.73/670.89 c #Conflicts: 952000 | #Constraints: 29813
668.73/670.89 c #Conflicts: 953000 | #Constraints: 30813
668.73/670.89 c #Conflicts: 954000 | #Constraints: 31813
668.73/670.89 c #Conflicts: 955000 | #Constraints: 32813
668.73/670.89 c #Conflicts: 956000 | #Constraints: 33813
668.73/670.89 c #Conflicts: 957000 | #Constraints: 34813
668.73/670.89 c #Conflicts: 958000 | #Constraints: 35813
668.73/670.89 c #Conflicts: 959000 | #Constraints: 36813
668.73/670.89 c #Conflicts: 960000 | #Constraints: 37813
668.73/670.89 c #Conflicts: 961000 | #Constraints: 38813
668.73/670.89 c INPROCESSING
668.73/670.89 c GARBAGE COLLECT
668.73/670.89 c #Conflicts: 962000 | #Constraints: 20417
668.73/670.89 c #Conflicts: 963000 | #Constraints: 21417
668.73/670.89 c #Conflicts: 964000 | #Constraints: 22417
668.73/670.89 c #Conflicts: 965000 | #Constraints: 23417
668.73/670.89 c #Conflicts: 966000 | #Constraints: 24417
668.73/670.89 c #Conflicts: 967000 | #Constraints: 25417
668.73/670.89 c #Conflicts: 968000 | #Constraints: 26417
668.73/670.89 c #Conflicts: 969000 | #Constraints: 27417
750.99/753.38 c #Conflicts: 970000 | #Constraints: 28417
750.99/753.38 c #Conflicts: 971000 | #Constraints: 29417
750.99/753.38 c #Conflicts: 972000 | #Constraints: 30417
750.99/753.38 c #Conflicts: 973000 | #Constraints: 31417
750.99/753.38 c #Conflicts: 974000 | #Constraints: 32417
750.99/753.38 c #Conflicts: 975000 | #Constraints: 33417
750.99/753.38 c #Conflicts: 976000 | #Constraints: 34417
750.99/753.38 c #Conflicts: 977000 | #Constraints: 35417
750.99/753.38 c #Conflicts: 978000 | #Constraints: 36417
750.99/753.38 c #Conflicts: 979000 | #Constraints: 37417
750.99/753.38 c #Conflicts: 980000 | #Constraints: 38417
750.99/753.38 c #Conflicts: 981000 | #Constraints: 39417
750.99/753.38 c INPROCESSING
750.99/753.38 c GARBAGE COLLECT
750.99/753.38 c #Conflicts: 982000 | #Constraints: 20807
750.99/753.38 c #Conflicts: 983000 | #Constraints: 21807
750.99/753.38 c #Conflicts: 984000 | #Constraints: 22807
750.99/753.38 c #Conflicts: 985000 | #Constraints: 23807
750.99/753.38 c #Conflicts: 986000 | #Constraints: 24807
750.99/753.38 c #Conflicts: 987000 | #Constraints: 25807
750.99/753.38 c #Conflicts: 988000 | #Constraints: 26807
750.99/753.38 c #Conflicts: 989000 | #Constraints: 27807
750.99/753.38 c #Conflicts: 990000 | #Constraints: 28807
750.99/753.38 c #Conflicts: 991000 | #Constraints: 29807
750.99/753.38 c #Conflicts: 992000 | #Constraints: 30807
750.99/753.38 c #Conflicts: 993000 | #Constraints: 31807
750.99/753.38 c #Conflicts: 994000 | #Constraints: 32807
750.99/753.38 c #Conflicts: 995000 | #Constraints: 33807
750.99/753.38 c #Conflicts: 996000 | #Constraints: 34807
750.99/753.38 c #Conflicts: 997000 | #Constraints: 35807
750.99/753.38 c #Conflicts: 998000 | #Constraints: 36807
750.99/753.38 c #Conflicts: 999000 | #Constraints: 37807
750.99/753.38 c #Conflicts: 1000000 | #Constraints: 38807
750.99/753.38 c #Conflicts: 1001000 | #Constraints: 39807
750.99/753.38 c INPROCESSING
750.99/753.38 c GARBAGE COLLECT
750.99/753.38 c #Conflicts: 1002000 | #Constraints: 21011
750.99/753.38 c #Conflicts: 1003000 | #Constraints: 22011
750.99/753.38 c #Conflicts: 1004000 | #Constraints: 23011
750.99/753.38 c #Conflicts: 1005000 | #Constraints: 24011
750.99/753.38 c #Conflicts: 1006000 | #Constraints: 25011
750.99/753.38 c #Conflicts: 1007000 | #Constraints: 26011
750.99/753.38 c #Conflicts: 1008000 | #Constraints: 27011
750.99/753.38 c #Conflicts: 1009000 | #Constraints: 28011
750.99/753.38 c #Conflicts: 1010000 | #Constraints: 29011
750.99/753.38 c #Conflicts: 1011000 | #Constraints: 30011
750.99/753.38 c #Conflicts: 1012000 | #Constraints: 31011
750.99/753.38 c #Conflicts: 1013000 | #Constraints: 32011
750.99/753.38 c #Conflicts: 1014000 | #Constraints: 33011
750.99/753.38 c #Conflicts: 1015000 | #Constraints: 34011
750.99/753.38 c #Conflicts: 1016000 | #Constraints: 35011
750.99/753.38 c #Conflicts: 1017000 | #Constraints: 36011
750.99/753.38 c #Conflicts: 1018000 | #Constraints: 37011
750.99/753.38 c #Conflicts: 1019000 | #Constraints: 38011
750.99/753.38 c #Conflicts: 1020000 | #Constraints: 39011
750.99/753.38 c #Conflicts: 1021000 | #Constraints: 40011
750.99/753.38 c INPROCESSING
750.99/753.38 c GARBAGE COLLECT
750.99/753.38 c #Conflicts: 1022000 | #Constraints: 21013
750.99/753.38 c #Conflicts: 1023000 | #Constraints: 22013
750.99/753.38 c #Conflicts: 1024000 | #Constraints: 23013
750.99/753.38 c #Conflicts: 1025000 | #Constraints: 24013
750.99/753.38 c #Conflicts: 1026000 | #Constraints: 25013
750.99/753.38 c #Conflicts: 1027000 | #Constraints: 26013
750.99/753.38 c #Conflicts: 1028000 | #Constraints: 27013
750.99/753.38 c #Conflicts: 1029000 | #Constraints: 28013
750.99/753.38 c #Conflicts: 1030000 | #Constraints: 29013
750.99/753.38 c #Conflicts: 1031000 | #Constraints: 30013
750.99/753.38 c #Conflicts: 1032000 | #Constraints: 31013
750.99/753.38 c #Conflicts: 1033000 | #Constraints: 32013
750.99/753.38 c #Conflicts: 1034000 | #Constraints: 33013
750.99/753.38 c #Conflicts: 1035000 | #Constraints: 34013
750.99/753.38 c #Conflicts: 1036000 | #Constraints: 35013
750.99/753.38 c #Conflicts: 1037000 | #Constraints: 36013
750.99/753.38 c #Conflicts: 1038000 | #Constraints: 37013
750.99/753.38 c #Conflicts: 1039000 | #Constraints: 38013
750.99/753.38 c #Conflicts: 1040000 | #Constraints: 39013
750.99/753.38 c #Conflicts: 1041000 | #Constraints: 40013
750.99/753.38 c INPROCESSING
750.99/753.38 c GARBAGE COLLECT
750.99/753.38 c #Conflicts: 1042000 | #Constraints: 20808
750.99/753.38 c #Conflicts: 1043000 | #Constraints: 21808
750.99/753.38 c #Conflicts: 1044000 | #Constraints: 22808
750.99/753.38 c #Conflicts: 1045000 | #Constraints: 23808
837.75/840.33 c #Conflicts: 1046000 | #Constraints: 24808
837.75/840.33 c #Conflicts: 1047000 | #Constraints: 25808
837.75/840.33 c #Conflicts: 1048000 | #Constraints: 26808
837.75/840.33 c #Conflicts: 1049000 | #Constraints: 27808
837.75/840.33 c #Conflicts: 1050000 | #Constraints: 28808
837.75/840.33 c #Conflicts: 1051000 | #Constraints: 29808
837.75/840.33 c #Conflicts: 1052000 | #Constraints: 30808
837.75/840.33 c #Conflicts: 1053000 | #Constraints: 31808
837.75/840.33 c #Conflicts: 1054000 | #Constraints: 32808
837.75/840.33 c #Conflicts: 1055000 | #Constraints: 33808
837.75/840.33 c #Conflicts: 1056000 | #Constraints: 34808
837.75/840.33 c #Conflicts: 1057000 | #Constraints: 35808
837.75/840.33 c #Conflicts: 1058000 | #Constraints: 36808
837.75/840.33 c #Conflicts: 1059000 | #Constraints: 37808
837.75/840.33 c #Conflicts: 1060000 | #Constraints: 38808
837.75/840.33 c #Conflicts: 1061000 | #Constraints: 39808
837.75/840.33 c #Conflicts: 1062000 | #Constraints: 40808
837.75/840.33 c INPROCESSING
837.75/840.33 c GARBAGE COLLECT
837.75/840.33 c #Conflicts: 1063000 | #Constraints: 21414
837.75/840.33 c #Conflicts: 1064000 | #Constraints: 22414
837.75/840.33 c #Conflicts: 1065000 | #Constraints: 23414
837.75/840.33 c #Conflicts: 1066000 | #Constraints: 24414
837.75/840.33 c #Conflicts: 1067000 | #Constraints: 25414
837.75/840.33 c #Conflicts: 1068000 | #Constraints: 26414
837.75/840.33 c #Conflicts: 1069000 | #Constraints: 27414
837.75/840.33 c #Conflicts: 1070000 | #Constraints: 28414
837.75/840.33 c #Conflicts: 1071000 | #Constraints: 29414
837.75/840.33 c #Conflicts: 1072000 | #Constraints: 30414
837.75/840.33 c #Conflicts: 1073000 | #Constraints: 31414
837.75/840.33 c #Conflicts: 1074000 | #Constraints: 32414
837.75/840.33 c #Conflicts: 1075000 | #Constraints: 33414
837.75/840.33 c #Conflicts: 1076000 | #Constraints: 34414
837.75/840.33 c #Conflicts: 1077000 | #Constraints: 35414
837.75/840.33 c #Conflicts: 1078000 | #Constraints: 36414
837.75/840.33 c #Conflicts: 1079000 | #Constraints: 37414
837.75/840.33 c #Conflicts: 1080000 | #Constraints: 38414
837.75/840.33 c #Conflicts: 1081000 | #Constraints: 39414
837.75/840.33 c #Conflicts: 1082000 | #Constraints: 40414
837.75/840.33 c #Conflicts: 1083000 | #Constraints: 41414
837.75/840.33 c INPROCESSING
837.75/840.33 c GARBAGE COLLECT
837.75/840.33 c #Conflicts: 1084000 | #Constraints: 21811
837.75/840.33 c #Conflicts: 1085000 | #Constraints: 22811
837.75/840.33 c #Conflicts: 1086000 | #Constraints: 23811
837.75/840.33 c #Conflicts: 1087000 | #Constraints: 24811
837.75/840.33 c #Conflicts: 1088000 | #Constraints: 25811
837.75/840.33 c #Conflicts: 1089000 | #Constraints: 26811
837.75/840.33 c #Conflicts: 1090000 | #Constraints: 27811
837.75/840.33 c #Conflicts: 1091000 | #Constraints: 28811
837.75/840.33 c #Conflicts: 1092000 | #Constraints: 29811
837.75/840.33 c #Conflicts: 1093000 | #Constraints: 30811
837.75/840.33 c #Conflicts: 1094000 | #Constraints: 31811
837.75/840.33 c #Conflicts: 1095000 | #Constraints: 32811
837.75/840.33 c #Conflicts: 1096000 | #Constraints: 33811
837.75/840.33 c #Conflicts: 1097000 | #Constraints: 34811
837.75/840.33 c #Conflicts: 1098000 | #Constraints: 35811
837.75/840.33 c #Conflicts: 1099000 | #Constraints: 36811
837.75/840.33 c #Conflicts: 1100000 | #Constraints: 37811
837.75/840.33 c #Conflicts: 1101000 | #Constraints: 38811
837.75/840.33 c #Conflicts: 1102000 | #Constraints: 39811
837.75/840.33 c #Conflicts: 1103000 | #Constraints: 40811
837.75/840.33 c #Conflicts: 1104000 | #Constraints: 41811
837.75/840.33 c INPROCESSING
837.75/840.33 c GARBAGE COLLECT
837.75/840.33 c #Conflicts: 1105000 | #Constraints: 22015
837.75/840.33 c #Conflicts: 1106000 | #Constraints: 23015
837.75/840.33 c #Conflicts: 1107000 | #Constraints: 24015
837.75/840.33 c #Conflicts: 1108000 | #Constraints: 25015
837.75/840.33 c #Conflicts: 1109000 | #Constraints: 26015
837.75/840.33 c #Conflicts: 1110000 | #Constraints: 27015
837.75/840.33 c #Conflicts: 1111000 | #Constraints: 28015
837.75/840.33 c #Conflicts: 1112000 | #Constraints: 29015
837.75/840.33 c #Conflicts: 1113000 | #Constraints: 30015
837.75/840.33 c #Conflicts: 1114000 | #Constraints: 31015
837.75/840.33 c #Conflicts: 1115000 | #Constraints: 32015
837.75/840.33 c #Conflicts: 1116000 | #Constraints: 33015
837.75/840.33 c #Conflicts: 1117000 | #Constraints: 34015
837.75/840.33 c #Conflicts: 1118000 | #Constraints: 35015
837.75/840.33 c #Conflicts: 1119000 | #Constraints: 36015
837.75/840.33 c #Conflicts: 1120000 | #Constraints: 37015
837.75/840.33 c #Conflicts: 1121000 | #Constraints: 38015
837.75/840.33 c #Conflicts: 1122000 | #Constraints: 39015
922.72/925.50 c #Conflicts: 1123000 | #Constraints: 40015
922.72/925.50 c #Conflicts: 1124000 | #Constraints: 41015
922.72/925.50 c #Conflicts: 1125000 | #Constraints: 42015
922.72/925.50 c INPROCESSING
922.72/925.50 c GARBAGE COLLECT
922.72/925.50 c #Conflicts: 1126000 | #Constraints: 22015
922.72/925.50 c #Conflicts: 1127000 | #Constraints: 23015
922.72/925.50 c #Conflicts: 1128000 | #Constraints: 24015
922.72/925.50 c #Conflicts: 1129000 | #Constraints: 25015
922.72/925.50 c #Conflicts: 1130000 | #Constraints: 26015
922.72/925.50 c #Conflicts: 1131000 | #Constraints: 27015
922.72/925.50 c #Conflicts: 1132000 | #Constraints: 28015
922.72/925.50 c #Conflicts: 1133000 | #Constraints: 29015
922.72/925.50 c #Conflicts: 1134000 | #Constraints: 30015
922.72/925.50 c #Conflicts: 1135000 | #Constraints: 31015
922.72/925.50 c #Conflicts: 1136000 | #Constraints: 32015
922.72/925.50 c #Conflicts: 1137000 | #Constraints: 33015
922.72/925.50 c #Conflicts: 1138000 | #Constraints: 34015
922.72/925.50 c #Conflicts: 1139000 | #Constraints: 35015
922.72/925.50 c #Conflicts: 1140000 | #Constraints: 36015
922.72/925.50 c #Conflicts: 1141000 | #Constraints: 37015
922.72/925.50 c #Conflicts: 1142000 | #Constraints: 38015
922.72/925.50 c #Conflicts: 1143000 | #Constraints: 39015
922.72/925.50 c #Conflicts: 1144000 | #Constraints: 40015
922.72/925.50 c #Conflicts: 1145000 | #Constraints: 41015
922.72/925.50 c #Conflicts: 1146000 | #Constraints: 42015
922.72/925.50 c INPROCESSING
922.72/925.50 c GARBAGE COLLECT
922.72/925.50 c #Conflicts: 1147000 | #Constraints: 21810
922.72/925.50 c #Conflicts: 1148000 | #Constraints: 22810
922.72/925.50 c #Conflicts: 1149000 | #Constraints: 23810
922.72/925.50 c #Conflicts: 1150000 | #Constraints: 24810
922.72/925.50 c #Conflicts: 1151000 | #Constraints: 25810
922.72/925.50 c #Conflicts: 1152000 | #Constraints: 26810
922.72/925.50 c #Conflicts: 1153000 | #Constraints: 27810
922.72/925.50 c #Conflicts: 1154000 | #Constraints: 28810
922.72/925.50 c #Conflicts: 1155000 | #Constraints: 29810
922.72/925.50 c #Conflicts: 1156000 | #Constraints: 30810
922.72/925.50 c #Conflicts: 1157000 | #Constraints: 31810
922.72/925.50 c #Conflicts: 1158000 | #Constraints: 32810
922.72/925.50 c #Conflicts: 1159000 | #Constraints: 33810
922.72/925.50 c #Conflicts: 1160000 | #Constraints: 34810
922.72/925.50 c #Conflicts: 1161000 | #Constraints: 35810
922.72/925.50 c #Conflicts: 1162000 | #Constraints: 36810
922.72/925.50 c #Conflicts: 1163000 | #Constraints: 37810
922.72/925.50 c #Conflicts: 1164000 | #Constraints: 38810
922.72/925.50 c #Conflicts: 1165000 | #Constraints: 39810
922.72/925.50 c #Conflicts: 1166000 | #Constraints: 40810
922.72/925.50 c #Conflicts: 1167000 | #Constraints: 41810
922.72/925.50 c #Conflicts: 1168000 | #Constraints: 42810
922.72/925.50 c INPROCESSING
922.72/925.50 c GARBAGE COLLECT
922.72/925.50 c #Conflicts: 1169000 | #Constraints: 22407
922.72/925.50 c #Conflicts: 1170000 | #Constraints: 23407
922.72/925.50 c #Conflicts: 1171000 | #Constraints: 24407
922.72/925.50 c #Conflicts: 1172000 | #Constraints: 25407
922.72/925.50 c #Conflicts: 1173000 | #Constraints: 26407
922.72/925.50 c #Conflicts: 1174000 | #Constraints: 27407
922.72/925.50 c #Conflicts: 1175000 | #Constraints: 28407
922.72/925.50 c #Conflicts: 1176000 | #Constraints: 29407
922.72/925.50 c #Conflicts: 1177000 | #Constraints: 30407
922.72/925.50 c #Conflicts: 1178000 | #Constraints: 31407
922.72/925.50 c #Conflicts: 1179000 | #Constraints: 32407
922.72/925.50 c #Conflicts: 1180000 | #Constraints: 33407
922.72/925.50 c #Conflicts: 1181000 | #Constraints: 34407
922.72/925.50 c #Conflicts: 1182000 | #Constraints: 35407
922.72/925.50 c #Conflicts: 1183000 | #Constraints: 36407
922.72/925.50 c #Conflicts: 1184000 | #Constraints: 37407
922.72/925.50 c #Conflicts: 1185000 | #Constraints: 38407
922.72/925.50 c #Conflicts: 1186000 | #Constraints: 39407
922.72/925.50 c #Conflicts: 1187000 | #Constraints: 40407
922.72/925.50 c #Conflicts: 1188000 | #Constraints: 41407
922.72/925.50 c #Conflicts: 1189000 | #Constraints: 42407
922.72/925.50 c #Conflicts: 1190000 | #Constraints: 43407
922.72/925.50 c INPROCESSING
922.72/925.50 c GARBAGE COLLECT
922.72/925.50 c #Conflicts: 1191000 | #Constraints: 22801
922.72/925.50 c #Conflicts: 1192000 | #Constraints: 23801
922.72/925.50 c #Conflicts: 1193000 | #Constraints: 24801
922.72/925.50 c #Conflicts: 1194000 | #Constraints: 25801
922.72/925.50 c #Conflicts: 1195000 | #Constraints: 26801
922.72/925.50 c #Conflicts: 1196000 | #Constraints: 27801
922.72/925.50 c #Conflicts: 1197000 | #Constraints: 28801
922.72/925.50 c #Conflicts: 1198000 | #Constraints: 29801
1001.01/1004.06 c #Conflicts: 1199000 | #Constraints: 30801
1001.01/1004.06 c #Conflicts: 1200000 | #Constraints: 31801
1001.01/1004.06 c #Conflicts: 1201000 | #Constraints: 32801
1001.01/1004.06 c #Conflicts: 1202000 | #Constraints: 33801
1001.01/1004.06 c #Conflicts: 1203000 | #Constraints: 34801
1001.01/1004.06 c #Conflicts: 1204000 | #Constraints: 35801
1001.01/1004.06 c #Conflicts: 1205000 | #Constraints: 36801
1001.01/1004.06 c #Conflicts: 1206000 | #Constraints: 37801
1001.01/1004.06 c #Conflicts: 1207000 | #Constraints: 38801
1001.01/1004.06 c #Conflicts: 1208000 | #Constraints: 39801
1001.01/1004.06 c #Conflicts: 1209000 | #Constraints: 40801
1001.01/1004.06 c #Conflicts: 1210000 | #Constraints: 41801
1001.01/1004.06 c #Conflicts: 1211000 | #Constraints: 42801
1001.01/1004.06 c #Conflicts: 1212000 | #Constraints: 43801
1001.01/1004.06 c INPROCESSING
1001.01/1004.06 c GARBAGE COLLECT
1001.01/1004.06 c #Conflicts: 1213000 | #Constraints: 23000
1001.01/1004.06 c #Conflicts: 1214000 | #Constraints: 24000
1001.01/1004.06 c #Conflicts: 1215000 | #Constraints: 25000
1001.01/1004.06 c #Conflicts: 1216000 | #Constraints: 26000
1001.01/1004.06 c #Conflicts: 1217000 | #Constraints: 27000
1001.01/1004.06 c #Conflicts: 1218000 | #Constraints: 28000
1001.01/1004.06 c #Conflicts: 1219000 | #Constraints: 29000
1001.01/1004.06 c #Conflicts: 1220000 | #Constraints: 30000
1001.01/1004.06 c #Conflicts: 1221000 | #Constraints: 31000
1001.01/1004.06 c #Conflicts: 1222000 | #Constraints: 32000
1001.01/1004.06 c #Conflicts: 1223000 | #Constraints: 33000
1001.01/1004.06 c #Conflicts: 1224000 | #Constraints: 34000
1001.01/1004.06 c #Conflicts: 1225000 | #Constraints: 35000
1001.01/1004.06 c #Conflicts: 1226000 | #Constraints: 36000
1001.01/1004.06 c #Conflicts: 1227000 | #Constraints: 37000
1001.01/1004.06 c #Conflicts: 1228000 | #Constraints: 38000
1001.01/1004.06 c #Conflicts: 1229000 | #Constraints: 39000
1001.01/1004.06 c #Conflicts: 1230000 | #Constraints: 40000
1001.01/1004.06 c #Conflicts: 1231000 | #Constraints: 41000
1001.01/1004.06 c #Conflicts: 1232000 | #Constraints: 42000
1001.01/1004.06 c #Conflicts: 1233000 | #Constraints: 43000
1001.01/1004.06 c #Conflicts: 1234000 | #Constraints: 44000
1001.01/1004.06 c INPROCESSING
1001.01/1004.06 c GARBAGE COLLECT
1001.01/1004.06 c #Conflicts: 1235000 | #Constraints: 23001
1001.01/1004.06 c #Conflicts: 1236000 | #Constraints: 24001
1001.01/1004.06 c #Conflicts: 1237000 | #Constraints: 25001
1001.01/1004.06 c #Conflicts: 1238000 | #Constraints: 26001
1001.01/1004.06 c #Conflicts: 1239000 | #Constraints: 27001
1001.01/1004.06 c #Conflicts: 1240000 | #Constraints: 28001
1001.01/1004.06 c #Conflicts: 1241000 | #Constraints: 29001
1001.01/1004.06 c #Conflicts: 1242000 | #Constraints: 30001
1001.01/1004.06 c #Conflicts: 1243000 | #Constraints: 31001
1001.01/1004.06 c #Conflicts: 1244000 | #Constraints: 32001
1001.01/1004.06 c #Conflicts: 1245000 | #Constraints: 33001
1001.01/1004.06 c #Conflicts: 1246000 | #Constraints: 34001
1001.01/1004.06 c #Conflicts: 1247000 | #Constraints: 35001
1001.01/1004.06 c #Conflicts: 1248000 | #Constraints: 36001
1001.01/1004.06 c #Conflicts: 1249000 | #Constraints: 37001
1001.01/1004.06 c #Conflicts: 1250000 | #Constraints: 38001
1001.01/1004.06 c #Conflicts: 1251000 | #Constraints: 39001
1001.01/1004.06 c #Conflicts: 1252000 | #Constraints: 40001
1001.01/1004.06 c #Conflicts: 1253000 | #Constraints: 41001
1001.01/1004.06 c #Conflicts: 1254000 | #Constraints: 42001
1001.01/1004.06 c #Conflicts: 1255000 | #Constraints: 43001
1001.01/1004.06 c #Conflicts: 1256000 | #Constraints: 44001
1001.01/1004.06 c INPROCESSING
1001.01/1004.06 c GARBAGE COLLECT
1001.01/1004.06 c #Conflicts: 1257000 | #Constraints: 22797
1001.01/1004.06 c #Conflicts: 1258000 | #Constraints: 23797
1001.01/1004.06 c #Conflicts: 1259000 | #Constraints: 24797
1001.01/1004.06 c #Conflicts: 1260000 | #Constraints: 25797
1001.01/1004.06 c #Conflicts: 1261000 | #Constraints: 26797
1001.01/1004.06 c #Conflicts: 1262000 | #Constraints: 27797
1001.01/1004.06 c #Conflicts: 1263000 | #Constraints: 28797
1001.01/1004.06 c #Conflicts: 1264000 | #Constraints: 29797
1001.01/1004.06 c #Conflicts: 1265000 | #Constraints: 30797
1001.01/1004.06 c #Conflicts: 1266000 | #Constraints: 31797
1001.01/1004.06 c #Conflicts: 1267000 | #Constraints: 32797
1001.01/1004.06 c #Conflicts: 1268000 | #Constraints: 33797
1001.01/1004.06 c #Conflicts: 1269000 | #Constraints: 34797
1001.01/1004.06 c #Conflicts: 1270000 | #Constraints: 35797
1001.01/1004.06 c #Conflicts: 1271000 | #Constraints: 36797
1001.01/1004.06 c #Conflicts: 1272000 | #Constraints: 37797
1001.01/1004.06 c #Conflicts: 1273000 | #Constraints: 38797
1001.01/1004.06 c #Conflicts: 1274000 | #Constraints: 39797
1001.01/1004.06 c #Conflicts: 1275000 | #Constraints: 40797
1063.52/1066.70 c #Conflicts: 1276000 | #Constraints: 41797
1063.52/1066.70 c #Conflicts: 1277000 | #Constraints: 42797
1063.52/1066.70 c #Conflicts: 1278000 | #Constraints: 43797
1063.52/1066.70 c #Conflicts: 1279000 | #Constraints: 44797
1063.52/1066.70 c INPROCESSING
1063.52/1066.70 c GARBAGE COLLECT
1063.52/1066.70 c #Conflicts: 1280000 | #Constraints: 23406
1063.52/1066.70 c #Conflicts: 1281000 | #Constraints: 24406
1063.52/1066.70 c #Conflicts: 1282000 | #Constraints: 25406
1063.52/1066.70 c #Conflicts: 1283000 | #Constraints: 26406
1063.52/1066.70 c #Conflicts: 1284000 | #Constraints: 27406
1063.52/1066.70 c #Conflicts: 1285000 | #Constraints: 28406
1063.52/1066.70 c #Conflicts: 1286000 | #Constraints: 29406
1063.52/1066.70 c #Conflicts: 1287000 | #Constraints: 30406
1063.52/1066.70 c #Conflicts: 1288000 | #Constraints: 31406
1063.52/1066.70 c #Conflicts: 1289000 | #Constraints: 32406
1063.52/1066.70 c #Conflicts: 1290000 | #Constraints: 33406
1063.52/1066.70 c #Conflicts: 1291000 | #Constraints: 34406
1063.52/1066.70 c #Conflicts: 1292000 | #Constraints: 35406
1063.52/1066.70 c #Conflicts: 1293000 | #Constraints: 36406
1063.52/1066.70 c #Conflicts: 1294000 | #Constraints: 37406
1063.52/1066.70 c #Conflicts: 1295000 | #Constraints: 38406
1063.52/1066.70 c #Conflicts: 1296000 | #Constraints: 39406
1063.52/1066.70 c #Conflicts: 1297000 | #Constraints: 40406
1063.52/1066.70 c #Conflicts: 1298000 | #Constraints: 41406
1063.52/1066.70 c #Conflicts: 1299000 | #Constraints: 42406
1063.52/1066.70 c #Conflicts: 1300000 | #Constraints: 43406
1063.52/1066.70 c #Conflicts: 1301000 | #Constraints: 44406
1063.52/1066.70 c #Conflicts: 1302000 | #Constraints: 45406
1063.52/1066.70 c INPROCESSING
1063.52/1066.70 c GARBAGE COLLECT
1063.52/1066.70 c #Conflicts: 1303000 | #Constraints: 23804
1063.52/1066.70 c #Conflicts: 1304000 | #Constraints: 24804
1063.52/1066.70 c #Conflicts: 1305000 | #Constraints: 25804
1063.52/1066.70 c #Conflicts: 1306000 | #Constraints: 26804
1063.52/1066.70 c #Conflicts: 1307000 | #Constraints: 27804
1063.52/1066.70 c #Conflicts: 1308000 | #Constraints: 28804
1063.52/1066.70 c #Conflicts: 1309000 | #Constraints: 29804
1063.52/1066.70 c #Conflicts: 1310000 | #Constraints: 30804
1063.52/1066.70 c #Conflicts: 1311000 | #Constraints: 31804
1063.52/1066.70 c #Conflicts: 1312000 | #Constraints: 32804
1063.52/1066.70 c #Conflicts: 1313000 | #Constraints: 33804
1063.52/1066.70 c #Conflicts: 1314000 | #Constraints: 34804
1063.52/1066.70 c #Conflicts: 1315000 | #Constraints: 35804
1063.52/1066.70 c #Conflicts: 1316000 | #Constraints: 36804
1063.52/1066.70 c #Conflicts: 1317000 | #Constraints: 37804
1063.52/1066.70 c #Conflicts: 1318000 | #Constraints: 38804
1063.52/1066.70 c #Conflicts: 1319000 | #Constraints: 39804
1063.52/1066.70 c #Conflicts: 1320000 | #Constraints: 40804
1063.52/1066.70 c #Conflicts: 1321000 | #Constraints: 41804
1063.52/1066.70 c #Conflicts: 1322000 | #Constraints: 42804
1063.52/1066.70 c #Conflicts: 1323000 | #Constraints: 43804
1063.52/1066.70 c #Conflicts: 1324000 | #Constraints: 44804
1063.52/1066.70 c #Conflicts: 1325000 | #Constraints: 45804
1063.52/1066.70 c INPROCESSING
1063.52/1066.70 c GARBAGE COLLECT
1063.52/1066.70 c #Conflicts: 1326000 | #Constraints: 24003
1063.52/1066.70 c #Conflicts: 1327000 | #Constraints: 25003
1063.52/1066.70 c #Conflicts: 1328000 | #Constraints: 26003
1063.52/1066.70 c #Conflicts: 1329000 | #Constraints: 27003
1063.52/1066.70 c #Conflicts: 1330000 | #Constraints: 28003
1063.52/1066.70 c #Conflicts: 1331000 | #Constraints: 29003
1063.52/1066.70 c GLOBAL bounds - >= 96 @ 1056.01
1063.52/1066.71 c rational objective 96
1063.52/1066.76 c Conflict after adding new constraint
1063.52/1066.76 c cpu time 1056.06 s
1063.52/1066.76 c deterministic time 3650 3.65e+03
1063.52/1066.76 c optimization time 1056.01 s
1063.52/1066.76 c total solve time 0.04686 s
1063.52/1066.76 c core-guided solve time 0 s
1063.52/1066.76 c propagation time 0.000933 s
1063.52/1066.76 c conflict analysis time 0 s
1063.52/1066.76 c propagations 156
1063.52/1066.76 c resolve steps 0
1063.52/1066.76 c decisions 41
1063.52/1066.76 c conflicts 0
1063.52/1066.76 c restarts 1
1063.52/1066.76 c inprocessing phases 0
1063.52/1066.76 c garbage collections 0 ,( -nan )
1063.52/1066.76 c input clauses 17 ,( 8.99 )
1063.52/1066.76 c input cardinalities 171 ,( 90.48 )
1063.52/1066.76 c input general constraints 1 ,( 0.53 )
1063.52/1066.76 c input average constraint length 10.17
1063.52/1066.76 c input average constraint degree 5.79
1063.52/1066.76 c learned clauses 0 ,( 0.00 )
1063.52/1066.76 c learned cardinalities 0 ,( 0.00 )
1063.52/1066.76 c learned general constraints 1 ,( 100.00 )
1063.52/1066.76 c learned average constraint length 153.00
1063.52/1066.76 c learned average constraint degree 13042055364.00
1063.52/1066.76 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1063.52/1066.76 c counting CF 32, 64, 128, Arb: 3 , 0 , 0 , 0
1063.52/1066.76 c watched constraints 0 ,( 0.00 )
1063.52/1066.76 c counting constraints 2 ,( 100.00 )
1063.52/1066.76 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 17 , 535 , 1 ,( 0 , 1 )
1063.52/1066.76 c gcd simplifications 0
1063.52/1066.76 c detected cardinalities 0
1063.52/1066.76 c weakened non-implied lits 0
1063.52/1066.76 c weakened non-implying lits 0
1063.52/1066.76 c original variables 196
1063.52/1066.76 c clausal propagations 4
1063.52/1066.76 c cardinality propagations 130
1063.52/1066.76 c watched propagations 0
1063.52/1066.76 c counting propagations 0
1063.52/1066.76 c watch lookups 642
1063.52/1066.76 c watch backjump lookups 0
1063.52/1066.76 c watch checks 1104
1063.52/1066.76 c propagation checks 1085
1063.52/1066.76 c constraint additions 0
1063.52/1066.76 c trail pops 175
1063.52/1066.76 c formula constraints 154
1063.52/1066.76 c learned constraints 0
1063.52/1066.76 c bound constraints 0
1063.52/1066.76 c core-guided constraints 0
1063.52/1066.76 c encountered formula constraints 0
1063.52/1066.76 c encountered learned constraints 0
1063.52/1066.76 c encountered bound constraints 0
1063.52/1066.76 c encountered core-guided constraints 0
1063.52/1066.76 c LP total time 0.046717 s
1063.52/1066.76 c LP solve time 0.01 s
1063.52/1066.76 c LP constraints added 155
1063.52/1066.76 c LP constraints removed 0
1063.52/1066.76 c LP pivots internal 16
1063.52/1066.76 c LP pivots root 430
1063.52/1066.76 c LP calls 2
1063.52/1066.76 c LP optimalities 2
1063.52/1066.76 c LP no pivot count 0
1063.52/1066.76 c LP infeasibilities 0
1063.52/1066.76 c LP valid Farkas constraints 0
1063.52/1066.76 c LP learned Farkas constraints 0
1063.52/1066.76 c LP basis resets 0
1063.52/1066.76 c LP cycling count 0
1063.52/1066.76 c LP singular count 0
1063.52/1066.76 c LP no primal count 0
1063.52/1066.76 c LP no farkas count 0
1063.52/1066.76 c LP other issue count 0
1063.52/1066.76 c LP Gomory cuts 1
1063.52/1066.76 c LP learned cuts 0
1063.52/1066.76 c LP deleted cuts 0
1063.52/1066.76 c LP encountered Gomory constraints 0
1063.52/1066.76 c LP encountered Farkas constraints 0
1063.52/1066.76 c LP encountered learned Farkas constraints 0
1063.52/1066.76 c CG auxiliary variables introduced 1
1063.52/1066.76 c CG solutions found 1
1063.52/1066.76 c CG cores constructed 0
1063.52/1066.76 c CG core cardinality constraints returned 0
1063.52/1066.76 c CG unit cores 0
1063.52/1066.76 c CG single cores 0
1063.52/1066.76 c CG blocks removed during cardinality reduction 0
1063.52/1066.76 c CG first core best 0
1063.52/1066.76 c CG decision core best 0
1063.52/1066.76 c CG core reduction tie 0
1063.52/1066.76 c CG core degree average 0.00
1063.52/1066.76 c CG core slack average 0.00
1063.52/1066.76 c CG core upper bound improvements 0
1063.52/1066.76 c STR number of successful calls 0
1063.52/1066.76 c STR number of unsuccessful calls 0
1063.52/1066.76 c STR number of inconclusive calls 0
1063.52/1066.76 c STR number of successful attempts 0
1063.52/1066.76 c STR number of unsuccessful attempts 0
1063.52/1066.76 c STR number of inconclusive attempts 0
1063.52/1066.76 c STR average degree increase per successful call inf
1063.52/1066.76 c STR average degree increase per successful attempt inf
1063.52/1066.76 c STR total number of conflicts for successful attempts 0
1063.52/1066.76 c STR total number of conflicts for unsuccessful attempts 0
1063.52/1066.76 c STR total number of conflicts for inconclusive attempts 0
1063.52/1066.76 c STR average number of conflicts per successful attempt inf
1063.52/1066.76 c STR average number of conflicts per unsuccessful attempt inf
1063.52/1066.76 c STR average number of conflicts per inconclusive attempt inf
1063.52/1066.76 c AVG.sumWPerc 80.27
1063.52/1066.76 c bigint constraints 0
1063.52/1066.76 o 96
1063.52/1066.76 s OPTIMUM FOUND
1063.52/1066.77 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: 63837 MiB (63046 MiB free)
memory of node 1: 64465 MiB (63828 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508275-1751514781/watcher-4508275-1751514781 -o /tmp/evaluation-result-4508275-1751514781/solver-4508275-1751514781 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751514781-82245 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4508275-1751514781.opb PROOFDIR/proof-4508275-1751514781
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=82293, runsolver pid=82285
Current StackSize limit: 8192 KiB
[startup+0.100068 s]*
/proc/loadavg: 1.41 3.47 3.91 5/258 82307
/proc/meminfo: memFree=129900292/131382112 swapFree=33005784/33010684
[pid=82293] ppid=82285 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82293/stat : 82293 (run-opt-log.sh) S 82285 82293 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67157306 4292608 768 18446744073709551615 94917363027968 94917363922501 140737304771184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94917364161552 94917364209296 94917375877120 140737304774945 140737304775140 140737304775140 140737304780742 0
/proc/82293/statm: 1048 768 704 219 0 110 0
[pid=82305] ppid=82293 vsize=60300 memory=10752 CPUtime=0.03 cores=4,6
/proc/82305/stat : 82305 (roundingsat) R 82293 82293 82234 0 -1 4194304 531 0 0 0 3 0 0 0 20 0 1 0 67157308 61747200 2688 18446744073709551615 4227072 8923433 140736995156944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10649600 140736995162450 140736995162664 140736995162664 140736995168234 0
/proc/82305/statm: 15075 2688 2400 1147 0 2502 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 64492 KiB
Current children cumulated memory: 13824 KiB
[startup+0.214902 s]*
/proc/loadavg: 1.41 3.47 3.91 6/258 82307
/proc/meminfo: memFree=129896012/131382112 swapFree=33005784/33010684
[pid=82293] ppid=82285 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82293/stat : 82293 (run-opt-log.sh) S 82285 82293 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67157306 4292608 768 18446744073709551615 94917363027968 94917363922501 140737304771184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94917364161552 94917364209296 94917375877120 140737304774945 140737304775140 140737304775140 140737304780742 0
/proc/82293/statm: 1048 768 704 219 0 110 0
[pid=82305] ppid=82293 vsize=60840 memory=11520 CPUtime=0.15 cores=4,6
/proc/82305/stat : 82305 (roundingsat) R 82293 82293 82234 0 -1 4194304 722 0 0 0 14 1 0 0 20 0 1 0 67157308 62300160 2880 18446744073709551615 4227072 8923433 140736995156944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10649600 140736995162450 140736995162664 140736995162664 140736995168234 0
/proc/82305/statm: 15210 2880 2400 1147 0 2637 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 65032 KiB
Current children cumulated memory: 14592 KiB
[startup+0.313892 s]*
/proc/loadavg: 1.41 3.47 3.91 4/255 82307
/proc/meminfo: memFree=129894100/131382112 swapFree=33005784/33010684
[pid=82293] ppid=82285 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82293/stat : 82293 (run-opt-log.sh) S 82285 82293 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67157306 4292608 768 18446744073709551615 94917363027968 94917363922501 140737304771184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94917364161552 94917364209296 94917375877120 140737304774945 140737304775140 140737304775140 140737304780742 0
/proc/82293/statm: 1048 768 704 219 0 110 0
[pid=82305] ppid=82293 vsize=61112 memory=14020 CPUtime=0.25 cores=4,6
/proc/82305/stat : 82305 (roundingsat) R 82293 82293 82234 0 -1 4194304 827 0 0 0 23 2 0 0 20 0 1 0 67157308 62578688 3505 18446744073709551615 4227072 8923433 140736995156944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10649600 140736995162450 140736995162664 140736995162664 140736995168234 0
/proc/82305/statm: 15278 3505 2400 1147 0 2705 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 65304 KiB
Current children cumulated memory: 17092 KiB
[startup+0.700342 s]
/proc/loadavg: 1.41 3.47 3.91 5/253 82315
/proc/meminfo: memFree=129847048/131382112 swapFree=33005784/33010684
[pid=82293] ppid=82285 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82293/stat : 82293 (run-opt-log.sh) S 82285 82293 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67157306 4292608 768 18446744073709551615 94917363027968 94917363922501 140737304771184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94917364161552 94917364209296 94917375877120 140737304774945 140737304775140 140737304775140 140737304780742 0
/proc/82293/statm: 1048 768 704 219 0 110 0
[pid=82305] ppid=82293 vsize=62080 memory=14916 CPUtime=0.62 cores=4,6
/proc/82305/stat : 82305 (roundingsat) R 82293 82293 82234 0 -1 4194304 1059 0 0 0 58 4 0 0 20 0 1 0 67157308 63569920 3729 18446744073709551615 4227072 8923433 140736995156944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10649600 140736995162450 140736995162664 140736995162664 140736995168234 0
/proc/82305/statm: 15520 3729 2400 1147 0 2947 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 66272 KiB
Current children cumulated memory: 17988 KiB
[startup+1.50034 s]
/proc/loadavg: 1.41 3.47 3.91 4/253 82315
/proc/meminfo: memFree=129808952/131382112 swapFree=33005784/33010684
[pid=82293] ppid=82285 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82293/stat : 82293 (run-opt-log.sh) S 82285 82293 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67157306 4292608 768 18446744073709551615 94917363027968 94917363922501 140737304771184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94917364161552 94917364209296 94917375877120 140737304774945 140737304775140 140737304775140 140737304780742 0
/proc/82293/statm: 1048 768 704 219 0 110 0
[pid=82305] ppid=82293 vsize=63716 memory=16324 CPUtime=1.41 cores=4,6
/proc/82305/stat : 82305 (roundingsat) R 82293 82293 82234 0 -1 4194304 1406 0 0 0 135 6 0 0 20 0 1 0 67157308 65245184 4081 18446744073709551615 4227072 8923433 140736995156944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10649600 140736995162450 140736995162664 140736995162664 140736995168234 0
/proc/82305/statm: 15929 4081 2400 1147 0 3356 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 67908 KiB
Current children cumulated memory: 19396 KiB
[startup+3.11352 s]
/proc/loadavg: 1.61 3.48 3.91 4/256 82368
/proc/meminfo: memFree=129764160/131382112 swapFree=33005784/33010684
[pid=82293] ppid=82285 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82293/stat : 82293 (run-opt-log.sh) S 82285 82293 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67157306 4292608 768 18446744073709551615 94917363027968 94917363922501 140737304771184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94917364161552 94917364209296 94917375877120 140737304774945 140737304775140 140737304775140 140737304780742 0
/proc/82293/statm: 1048 768 704 219 0 110 0
[pid=82305] ppid=82293 vsize=65776 memory=18116 CPUtime=3.02 cores=4,6
/proc/82305/stat : 82305 (roundingsat) R 82293 82293 82234 0 -1 4194304 1853 0 0 0 293 9 0 0 20 0 1 0 67157308 67354624 4529 18446744073709551615 4227072 8923433 140736995156944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10649600 140736995162450 140736995162664 140736995162664 140736995168234 0
/proc/82305/statm: 16444 4529 2400 1147 0 3871 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 69968 KiB
Current children cumulated memory: 21188 KiB
[startup+6.30033 s]
/proc/loadavg: 1.61 3.48 3.91 5/258 82448
/proc/meminfo: memFree=129754952/131382112 swapFree=33005784/33010684
[pid=82293] ppid=82285 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82293/stat : 82293 (run-opt-log.sh) S 82285 82293 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67157306 4292608 768 18446744073709551615 94917363027968 94917363922501 140737304771184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94917364161552 94917364209296 94917375877120 140737304774945 140737304775140 140737304775140 140737304780742 0
/proc/82293/statm: 1048 768 704 219 0 110 0
[pid=82305] ppid=82293 vsize=67736 memory=20292 CPUtime=6.21 cores=4,6
/proc/82305/stat : 82305 (roundingsat) R 82293 82293 82234 0 -1 4194304 2395 0 0 0 605 16 0 0 20 0 1 0 67157308 69361664 5073 18446744073709551615 4227072 8923433 140736995156944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10649600 140736995162450 140736995162664 140736995162664 140736995168234 0
/proc/82305/statm: 16934 5073 2400 1147 0 4361 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 71928 KiB
Current children cumulated memory: 23364 KiB
[startup+12.7004 s]
/proc/loadavg: 1.98 3.50 3.91 5/258 82448
/proc/meminfo: memFree=129667716/131382112 swapFree=33005784/33010684
[pid=82293] ppid=82285 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82293/stat : 82293 (run-opt-log.sh) S 82285 82293 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67157306 4292608 768 18446744073709551615 94917363027968 94917363922501 140737304771184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94917364161552 94917364209296 94917375877120 140737304774945 140737304775140 140737304775140 140737304780742 0
/proc/82293/statm: 1048 768 704 219 0 110 0
[pid=82305] ppid=82293 vsize=69556 memory=22596 CPUtime=12.59 cores=4,6
/proc/82305/stat : 82305 (roundingsat) R 82293 82293 82234 0 -1 4194304 2996 0 0 0 1233 26 0 0 20 0 1 0 67157308 71225344 5649 18446744073709551615 4227072 8923433 140736995156944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10649600 140736995162450 140736995162664 140736995162664 140736995168234 0
/proc/82305/statm: 17389 5649 2400 1147 0 4816 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 73748 KiB
Current children cumulated memory: 25668 KiB
[startup+25.5004 s]
/proc/loadavg: 2.29 3.51 3.91 5/258 82448
/proc/meminfo: memFree=129546292/131382112 swapFree=33005784/33010684
[pid=82293] ppid=82285 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82293/stat : 82293 (run-opt-log.sh) S 82285 82293 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67157306 4292608 768 18446744073709551615 94917363027968 94917363922501 140737304771184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94917364161552 94917364209296 94917375877120 140737304774945 140737304775140 140737304775140 140737304780742 0
/proc/82293/statm: 1048 768 704 219 0 110 0
[pid=82305] ppid=82293 vsize=76828 memory=27972 CPUtime=25.35 cores=4,6
/proc/82305/stat : 82305 (roundingsat) R 82293 82293 82234 0 -1 4194304 4448 0 0 0 2493 42 0 0 20 0 1 0 67157308 78671872 6993 18446744073709551615 4227072 8923433 140736995156944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10649600 140736995162450 140736995162664 140736995162664 140736995168234 0
/proc/82305/statm: 19207 6993 2400 1147 0 6634 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 81020 KiB
Current children cumulated memory: 31044 KiB
[startup+51.1133 s]
/proc/loadavg: 2.88 3.55 3.91 5/257 82448
/proc/meminfo: memFree=129351812/131382112 swapFree=33005784/33010684
[pid=82293] ppid=82285 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82293/stat : 82293 (run-opt-log.sh) S 82285 82293 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67157306 4292608 768 18446744073709551615 94917363027968 94917363922501 140737304771184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94917364161552 94917364209296 94917375877120 140737304774945 140737304775140 140737304775140 140737304780742 0
/proc/82293/statm: 1048 768 704 219 0 110 0
[pid=82305] ppid=82293 vsize=81172 memory=33092 CPUtime=50.9 cores=4,6
/proc/82305/stat : 82305 (roundingsat) R 82293 82293 82234 0 -1 4194304 5917 0 0 0 5017 73 0 0 20 0 1 0 67157308 83120128 8273 18446744073709551615 4227072 8923433 140736995156944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10649600 140736995162450 140736995162664 140736995162664 140736995168234 0
/proc/82305/statm: 20293 8273 2400 1147 0 7720 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 85364 KiB
Current children cumulated memory: 36164 KiB
[startup+102.3 s]
/proc/loadavg: 3.70 3.69 3.94 5/259 82455
/proc/meminfo: memFree=128996972/131382112 swapFree=33005784/33010684
[pid=82293] ppid=82285 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82293/stat : 82293 (run-opt-log.sh) S 82285 82293 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67157306 4292608 768 18446744073709551615 94917363027968 94917363922501 140737304771184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94917364161552 94917364209296 94917375877120 140737304774945 140737304775140 140737304775140 140737304780742 0
/proc/82293/statm: 1048 768 704 219 0 110 0
[pid=82305] ppid=82293 vsize=91848 memory=40472 CPUtime=101.95 cores=4,6
/proc/82305/stat : 82305 (roundingsat) R 82293 82293 82234 0 -1 4194304 7960 0 0 0 10072 123 0 0 20 0 1 0 67157308 94052352 10118 18446744073709551615 4227072 8923433 140736995156944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10649600 140736995162450 140736995162664 140736995162664 140736995168234 0
/proc/82305/statm: 22962 10118 2400 1147 0 10389 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 96040 KiB
Current children cumulated memory: 43544 KiB
[startup+162.3 s]
/proc/loadavg: 4.00 3.78 3.96 5/260 82458
/proc/meminfo: memFree=128628740/131382112 swapFree=33005784/33010684
[pid=82293] ppid=82285 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82293/stat : 82293 (run-opt-log.sh) S 82285 82293 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67157306 4292608 768 18446744073709551615 94917363027968 94917363922501 140737304771184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94917364161552 94917364209296 94917375877120 140737304774945 140737304775140 140737304775140 140737304780742 0
/proc/82293/statm: 1048 768 704 219 0 110 0
[pid=82305] ppid=82293 vsize=95596 memory=45544 CPUtime=161.78 cores=4,6
/proc/82305/stat : 82305 (roundingsat) R 82293 82293 82234 0 -1 4194304 9808 0 0 0 16003 175 0 0 20 0 1 0 67157308 97890304 11386 18446744073709551615 4227072 8923433 140736995156944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10649600 140736995162450 140736995162664 140736995162664 140736995168234 0
/proc/82305/statm: 23899 11386 2400 1147 0 11326 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 99788 KiB
Current children cumulated memory: 48616 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 3.84 3.97 5/260 82460
/proc/meminfo: memFree=128330344/131382112 swapFree=33005784/33010684
[pid=82293] ppid=82285 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82293/stat : 82293 (run-opt-log.sh) S 82285 82293 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67157306 4292608 768 18446744073709551615 94917363027968 94917363922501 140737304771184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94917364161552 94917364209296 94917375877120 140737304774945 140737304775140 140737304775140 140737304780742 0
/proc/82293/statm: 1048 768 704 219 0 110 0
[pid=82305] ppid=82293 vsize=105736 memory=49036 CPUtime=221.6 cores=4,6
/proc/82305/stat : 82305 (roundingsat) R 82293 82293 82234 0 -1 4194304 11266 0 0 0 21939 221 0 0 20 0 1 0 67157308 108273664 12259 18446744073709551615 4227072 8923433 140736995156944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10649600 140736995162450 140736995162664 140736995162664 140736995168234 0
/proc/82305/statm: 26434 12259 2400 1147 0 13861 0
################
# More data... #
################
/proc/82305/stat : 82305 (roundingsat) R 82293 82293 82234 0 -1 4194304 18457 0 0 0 75428 569 0 0 20 0 1 0 67157308 126517248 18486 18446744073709551615 4227072 8923433 140736995156944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10649600 140736995162450 140736995162664 140736995162664 140736995168234 0
/proc/82305/statm: 30888 18486 2400 1147 0 18315 0
Current children cumulated CPU time: 759.97 s
Current children cumulated vsize: 127744 KiB
Current children cumulated memory: 77016 KiB
[startup+822.3 s]
/proc/loadavg: 4.10 4.06 4.01 5/258 82500
/proc/meminfo: memFree=125524988/131382112 swapFree=33005784/33010684
[pid=82293] ppid=82285 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82293/stat : 82293 (run-opt-log.sh) S 82285 82293 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67157306 4292608 768 18446744073709551615 94917363027968 94917363922501 140737304771184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94917364161552 94917364209296 94917375877120 140737304774945 140737304775140 140737304775140 140737304780742 0
/proc/82293/statm: 1048 768 704 219 0 110 0
[pid=82305] ppid=82293 vsize=138520 memory=76676 CPUtime=819.8 cores=4,6
/proc/82305/stat : 82305 (roundingsat) R 82293 82293 82234 0 -1 4194304 20087 0 0 0 81381 599 0 0 20 0 1 0 67157308 141844480 19169 18446744073709551615 4227072 8923433 140736995156944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10649600 140736995162450 140736995162664 140736995162664 140736995168234 0
/proc/82305/statm: 34630 19169 2400 1147 0 22057 0
Current children cumulated CPU time: 819.8 s
Current children cumulated vsize: 142712 KiB
Current children cumulated memory: 79748 KiB
[startup+882.3 s]
/proc/loadavg: 4.08 4.06 4.01 5/259 82503
/proc/meminfo: memFree=125226648/131382112 swapFree=33005784/33010684
[pid=82293] ppid=82285 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82293/stat : 82293 (run-opt-log.sh) S 82285 82293 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67157306 4292608 768 18446744073709551615 94917363027968 94917363922501 140737304771184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94917364161552 94917364209296 94917375877120 140737304774945 140737304775140 140737304775140 140737304780742 0
/proc/82293/statm: 1048 768 704 219 0 110 0
[pid=82305] ppid=82293 vsize=140632 memory=77880 CPUtime=879.65 cores=4,6
/proc/82305/stat : 82305 (roundingsat) R 82293 82293 82234 0 -1 4194304 20898 0 0 0 87335 630 0 0 20 0 1 0 67157308 144007168 19470 18446744073709551615 4227072 8923433 140736995156944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10649600 140736995162450 140736995162664 140736995162664 140736995168234 0
/proc/82305/statm: 35158 19470 2400 1147 0 22585 0
Current children cumulated CPU time: 879.65 s
Current children cumulated vsize: 144824 KiB
Current children cumulated memory: 80952 KiB
[startup+942.3 s]
/proc/loadavg: 4.09 4.06 4.01 5/260 82506
/proc/meminfo: memFree=124996556/131382112 swapFree=33005784/33010684
[pid=82293] ppid=82285 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82293/stat : 82293 (run-opt-log.sh) S 82285 82293 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67157306 4292608 768 18446744073709551615 94917363027968 94917363922501 140737304771184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94917364161552 94917364209296 94917375877120 140737304774945 140737304775140 140737304775140 140737304780742 0
/proc/82293/statm: 1048 768 704 219 0 110 0
[pid=82305] ppid=82293 vsize=140652 memory=77720 CPUtime=939.48 cores=4,6
/proc/82305/stat : 82305 (roundingsat) R 82293 82293 82234 0 -1 4194304 21535 0 0 0 93283 665 0 0 20 0 1 0 67157308 144027648 19430 18446744073709551615 4227072 8923433 140736995156944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10649600 140736995162450 140736995162664 140736995162664 140736995168234 0
/proc/82305/statm: 35163 19430 2400 1147 0 22590 0
Current children cumulated CPU time: 939.48 s
Current children cumulated vsize: 144844 KiB
Current children cumulated memory: 80792 KiB
[startup+1002.3 s]
/proc/loadavg: 4.08 4.06 4.01 5/261 82513
/proc/meminfo: memFree=124835984/131382112 swapFree=33005784/33010684
[pid=82293] ppid=82285 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82293/stat : 82293 (run-opt-log.sh) S 82285 82293 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67157306 4292608 768 18446744073709551615 94917363027968 94917363922501 140737304771184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94917364161552 94917364209296 94917375877120 140737304774945 140737304775140 140737304775140 140737304780742 0
/proc/82293/statm: 1048 768 704 219 0 110 0
[pid=82305] ppid=82293 vsize=145508 memory=80992 CPUtime=999.31 cores=4,6
/proc/82305/stat : 82305 (roundingsat) R 82293 82293 82234 0 -1 4194304 22589 0 0 0 99220 711 0 0 20 0 1 0 67157308 149000192 20248 18446744073709551615 4227072 8923433 140736995156944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10649600 140736995162450 140736995162664 140736995162664 140736995168234 0
/proc/82305/statm: 36377 20248 2400 1147 0 23804 0
Current children cumulated CPU time: 999.31 s
Current children cumulated vsize: 149700 KiB
Current children cumulated memory: 84064 KiB
[startup+1062.3 s]
/proc/loadavg: 4.15 4.08 4.01 5/261 82515
/proc/meminfo: memFree=124664256/131382112 swapFree=33005784/33010684
[pid=82293] ppid=82285 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82293/stat : 82293 (run-opt-log.sh) S 82285 82293 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67157306 4292608 768 18446744073709551615 94917363027968 94917363922501 140737304771184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94917364161552 94917364209296 94917375877120 140737304774945 140737304775140 140737304775140 140737304780742 0
/proc/82293/statm: 1048 768 704 219 0 110 0
[pid=82305] ppid=82293 vsize=147840 memory=82612 CPUtime=1059.13 cores=4,6
/proc/82305/stat : 82305 (roundingsat) R 82293 82293 82234 0 -1 4194304 23593 0 0 0 105164 749 0 0 20 0 1 0 67157308 151388160 20653 18446744073709551615 4227072 8923433 140736995156944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10649600 140736995162450 140736995162664 140736995162664 140736995168234 0
/proc/82305/statm: 36960 20653 2400 1147 0 24387 0
Current children cumulated CPU time: 1059.13 s
Current children cumulated vsize: 152032 KiB
Current children cumulated memory: 85684 KiB
[startup+1066.77 s]
# the end of solver process 82293 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1056.07 s, system=7.53426 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1062.4 s]
/proc/loadavg: 4.15 4.08 4.01 5/261 82515
/proc/meminfo: memFree=124664256/131382112 swapFree=33005784/33010684
[pid=82293] ppid=82285 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82293/stat : 82293 (run-opt-log.sh) S 82285 82293 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67157306 4292608 768 18446744073709551615 94917363027968 94917363922501 140737304771184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94917364161552 94917364209296 94917375877120 140737304774945 140737304775140 140737304775140 140737304780742 0
/proc/82293/statm: 1048 768 704 219 0 110 0
[pid=82305] ppid=82293 vsize=147840 memory=82612 CPUtime=1059.24 cores=4,6
/proc/82305/stat : 82305 (roundingsat) R 82293 82293 82234 0 -1 4194304 23593 0 0 0 105174 750 0 0 20 0 1 0 67157308 151388160 20653 18446744073709551615 4227072 8923433 140736995156944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10649600 140736995162450 140736995162664 140736995162664 140736995168234 0
/proc/82305/statm: 36960 20653 2400 1147 0 24387 0
Current children cumulated CPU time: 1059.24 s
Current children cumulated vsize: 152032 KiB
Current children cumulated memory: 85684 KiB
[startup+1064 s]*
/proc/loadavg: 4.15 4.08 4.01 5/261 82515
/proc/meminfo: memFree=124652388/131382112 swapFree=33005784/33010684
[pid=82293] ppid=82285 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82293/stat : 82293 (run-opt-log.sh) S 82285 82293 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67157306 4292608 768 18446744073709551615 94917363027968 94917363922501 140737304771184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94917364161552 94917364209296 94917375877120 140737304774945 140737304775140 140737304775140 140737304780742 0
/proc/82293/statm: 1048 768 704 219 0 110 0
[pid=82305] ppid=82293 vsize=147840 memory=82612 CPUtime=1060.84 cores=4,6
/proc/82305/stat : 82305 (roundingsat) R 82293 82293 82234 0 -1 4194304 23593 0 0 0 105333 751 0 0 20 0 1 0 67157308 151388160 20653 18446744073709551615 4227072 8923433 140736995156944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10649600 140736995162450 140736995162664 140736995162664 140736995168234 0
/proc/82305/statm: 36960 20653 2400 1147 0 24387 0
Current children cumulated CPU time: 1060.84 s
Current children cumulated vsize: 152032 KiB
Current children cumulated memory: 85684 KiB
[startup+1065.6 s]
/proc/loadavg: 4.15 4.08 4.01 5/261 82515
/proc/meminfo: memFree=124642600/131382112 swapFree=33005784/33010684
[pid=82293] ppid=82285 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82293/stat : 82293 (run-opt-log.sh) S 82285 82293 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67157306 4292608 768 18446744073709551615 94917363027968 94917363922501 140737304771184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94917364161552 94917364209296 94917375877120 140737304774945 140737304775140 140737304775140 140737304780742 0
/proc/82293/statm: 1048 768 704 219 0 110 0
[pid=82305] ppid=82293 vsize=147840 memory=82612 CPUtime=1062.42 cores=4,6
/proc/82305/stat : 82305 (roundingsat) R 82293 82293 82234 0 -1 4194304 23593 0 0 0 105491 751 0 0 20 0 1 0 67157308 151388160 20653 18446744073709551615 4227072 8923433 140736995156944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10649600 140736995162450 140736995162664 140736995162664 140736995168234 0
/proc/82305/statm: 36960 20653 2400 1147 0 24387 0
Current children cumulated CPU time: 1062.42 s
Current children cumulated vsize: 152032 KiB
Current children cumulated memory: 85684 KiB
[startup+1066.4 s]
/proc/loadavg: 4.15 4.08 4.01 5/261 82515
/proc/meminfo: memFree=124657444/131382112 swapFree=33005784/33010684
[pid=82293] ppid=82285 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82293/stat : 82293 (run-opt-log.sh) S 82285 82293 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67157306 4292608 768 18446744073709551615 94917363027968 94917363922501 140737304771184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94917364161552 94917364209296 94917375877120 140737304774945 140737304775140 140737304775140 140737304780742 0
/proc/82293/statm: 1048 768 704 219 0 110 0
[pid=82305] ppid=82293 vsize=147840 memory=82612 CPUtime=1063.22 cores=4,6
/proc/82305/stat : 82305 (roundingsat) R 82293 82293 82234 0 -1 4194304 23593 0 0 0 105570 752 0 0 20 0 1 0 67157308 151388160 20653 18446744073709551615 4227072 8923433 140736995156944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10649600 140736995162450 140736995162664 140736995162664 140736995168234 0
/proc/82305/statm: 36960 20653 2400 1147 0 24387 0
Current children cumulated CPU time: 1063.22 s
Current children cumulated vsize: 152032 KiB
Current children cumulated memory: 85684 KiB
[startup+1066.6 s]
/proc/loadavg: 4.15 4.08 4.01 5/261 82515
/proc/meminfo: memFree=124657444/131382112 swapFree=33005784/33010684
[pid=82293] ppid=82285 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82293/stat : 82293 (run-opt-log.sh) S 82285 82293 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67157306 4292608 768 18446744073709551615 94917363027968 94917363922501 140737304771184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94917364161552 94917364209296 94917375877120 140737304774945 140737304775140 140737304775140 140737304780742 0
/proc/82293/statm: 1048 768 704 219 0 110 0
[pid=82305] ppid=82293 vsize=147840 memory=82612 CPUtime=1063.42 cores=4,6
/proc/82305/stat : 82305 (roundingsat) R 82293 82293 82234 0 -1 4194304 23593 0 0 0 105590 752 0 0 20 0 1 0 67157308 151388160 20653 18446744073709551615 4227072 8923433 140736995156944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10649600 140736995162450 140736995162664 140736995162664 140736995168234 0
/proc/82305/statm: 36960 20653 2400 1147 0 24387 0
Current children cumulated CPU time: 1063.42 s
Current children cumulated vsize: 152032 KiB
Current children cumulated memory: 85684 KiB
[startup+1066.7 s]
/proc/loadavg: 4.15 4.08 4.01 5/261 82515
/proc/meminfo: memFree=124657444/131382112 swapFree=33005784/33010684
[pid=82293] ppid=82285 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82293/stat : 82293 (run-opt-log.sh) S 82285 82293 82234 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67157306 4292608 768 18446744073709551615 94917363027968 94917363922501 140737304771184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94917364161552 94917364209296 94917375877120 140737304774945 140737304775140 140737304775140 140737304780742 0
/proc/82293/statm: 1048 768 704 219 0 110 0
[pid=82305] ppid=82293 vsize=147840 memory=82612 CPUtime=1063.52 cores=4,6
/proc/82305/stat : 82305 (roundingsat) R 82293 82293 82234 0 -1 4194304 23593 0 0 0 105600 752 0 0 20 0 1 0 67157308 151388160 20653 18446744073709551615 4227072 8923433 140736995156944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10649600 140736995162450 140736995162664 140736995162664 140736995168234 0
/proc/82305/statm: 36960 20653 2400 1147 0 24387 0
Current children cumulated CPU time: 1063.52 s
Current children cumulated vsize: 152032 KiB
Current children cumulated memory: 85684 KiB
Child status: 0
Real time (s): 1066.77
CPU time (s): 1063.61
CPU user time (s): 1056.07
CPU system time (s): 7.53426
CPU usage (%): 99.703
Max. virtual memory (cumulated for all children) (KiB): 152360
Max. memory (cumulated for all children) (KiB): 85816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1056.07
system time used= 7.53426
maximum resident set size= 83128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23830
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4026528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 525
involuntary context switches= 1688
# summary of solver processes directly reported to runsolver:
# pid: 82293
# total CPU time (s): 1063.61
# total CPU user time (s): 1056.07
# total CPU system time (s): 7.53426
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.50801 second user time and 11.4415 second system time
The end
Begin job on nodeC007 at 2025-07-03 05:53:02
IDJOB=4508275
IDBENCH=158408
IDSOLVER=3351
FILE ID=nodeC007/4508275-1751514781
RUNJOBID= nodeC007-1751514781-82245
SLURM_JOB_ID= 9598624
Free space on /tmp= 431040 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/dt-problems/normalized-lo_14x14_007.opb.metafix.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508275-1751514781/watcher-4508275-1751514781 -o /tmp/evaluation-result-4508275-1751514781/solver-4508275-1751514781 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751514781-82245 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4508275-1751514781.opb PROOFDIR/proof-4508275-1751514781
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 55dad17a7c182b30d547793b054532a6
RANDOM SEED=1060576108
nodeC007 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.201
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1196.964
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.350
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.201
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.197
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.064
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.481
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.568
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129914648 kB
MemAvailable: 129826064 kB
Buffers: 16 kB
Cached: 580984 kB
SwapCached: 252 kB
Active: 291644 kB
Inactive: 355648 kB
Active(anon): 31892 kB
Inactive(anon): 47904 kB
Active(file): 259752 kB
Inactive(file): 307744 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005784 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 31240 kB
Writeback: 0 kB
AnonPages: 69172 kB
Mapped: 98344 kB
Shmem: 13504 kB
KReclaimable: 367096 kB
Slab: 457240 kB
SReclaimable: 367096 kB
SUnreclaim: 90144 kB
KernelStack: 3888 kB
PageTables: 2844 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 339588 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149288 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 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: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 431012 MiB
End job on nodeC007 at 2025-07-03 06:10:49