0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] solving
0.00/0.00 c #variables 1922 #constraints 573
0.00/0.00 c SMALL=int, LARGE=long long
0.00/0.00 c bounds - >= -961 @ 0.002287
0.00/0.00 c stratification level: 0
0.00/0.05 c bounds - >= -30 @ 0.014284
0.00/0.05 c finalizing WCE round: reformulating cores
55.55/55.77 c bounds -15 >= -30 @ 0.201129
55.55/55.77 c #Conflicts: 1000 | #Constraints: 1607
55.55/55.77 c bounds -15 >= -29 @ 0.218227
55.55/55.77 c #Conflicts: 2000 | #Constraints: 2611
55.55/55.77 c INPROCESSING
55.55/55.77 c GARBAGE COLLECT
55.55/55.77 c #Conflicts: 3000 | #Constraints: 2644
55.55/55.77 c #Conflicts: 4000 | #Constraints: 3644
55.55/55.77 c INPROCESSING
55.55/55.77 c GARBAGE COLLECT
55.55/55.77 c #Conflicts: 5000 | #Constraints: 3058
55.55/55.77 c #Conflicts: 6000 | #Constraints: 4058
55.55/55.77 c INPROCESSING
55.55/55.77 c GARBAGE COLLECT
55.55/55.77 c #Conflicts: 7000 | #Constraints: 3070
55.55/55.77 c #Conflicts: 8000 | #Constraints: 4070
55.55/55.77 c #Conflicts: 9000 | #Constraints: 5070
55.55/55.77 c INPROCESSING
55.55/55.77 c GARBAGE COLLECT
55.55/55.77 c #Conflicts: 10000 | #Constraints: 3768
55.55/55.77 c #Conflicts: 11000 | #Constraints: 4768
55.55/55.77 c #Conflicts: 12000 | #Constraints: 5768
55.55/55.77 c INPROCESSING
55.55/55.77 c GARBAGE COLLECT
55.55/55.77 c #Conflicts: 13000 | #Constraints: 4215
55.55/55.77 c #Conflicts: 14000 | #Constraints: 5215
55.55/55.77 c #Conflicts: 15000 | #Constraints: 6215
55.55/55.77 c INPROCESSING
55.55/55.77 c GARBAGE COLLECT
55.55/55.77 c #Conflicts: 16000 | #Constraints: 4442
55.55/55.77 c #Conflicts: 17000 | #Constraints: 5442
55.55/55.77 c #Conflicts: 18000 | #Constraints: 6442
55.55/55.77 c INPROCESSING
55.55/55.77 c GARBAGE COLLECT
55.55/55.77 c #Conflicts: 19000 | #Constraints: 4453
55.55/55.77 c #Conflicts: 20000 | #Constraints: 5453
55.55/55.77 c #Conflicts: 21000 | #Constraints: 6453
55.55/55.77 c INPROCESSING
55.55/55.77 c GARBAGE COLLECT
55.55/55.77 c #Conflicts: 22000 | #Constraints: 4265
55.55/55.77 c #Conflicts: 23000 | #Constraints: 5265
55.55/55.77 c #Conflicts: 24000 | #Constraints: 6265
55.55/55.77 c #Conflicts: 25000 | #Constraints: 7265
55.55/55.77 c INPROCESSING
55.55/55.77 c GARBAGE COLLECT
55.55/55.77 c #Conflicts: 26000 | #Constraints: 4885
55.55/55.77 c #Conflicts: 27000 | #Constraints: 5885
55.55/55.77 c #Conflicts: 28000 | #Constraints: 6885
55.55/55.77 c #Conflicts: 29000 | #Constraints: 7885
55.55/55.77 c INPROCESSING
55.55/55.77 c GARBAGE COLLECT
55.55/55.77 c #Conflicts: 30000 | #Constraints: 5285
55.55/55.77 c #Conflicts: 31000 | #Constraints: 6285
55.55/55.77 c bounds -15 >= -28 @ 19.2046
55.55/55.77 c #Conflicts: 32000 | #Constraints: 7288
55.55/55.77 c #Conflicts: 33000 | #Constraints: 8288
55.55/55.77 c INPROCESSING
55.55/55.77 c GARBAGE COLLECT
55.55/55.77 c #Conflicts: 34000 | #Constraints: 4698
55.55/55.77 c #Conflicts: 35000 | #Constraints: 5698
55.55/55.77 c #Conflicts: 36000 | #Constraints: 6698
55.55/55.77 c #Conflicts: 37000 | #Constraints: 7698
55.55/55.77 c INPROCESSING
55.55/55.77 c GARBAGE COLLECT
55.55/55.77 c #Conflicts: 38000 | #Constraints: 5104
55.55/55.77 c #Conflicts: 39000 | #Constraints: 6104
55.55/55.77 c #Conflicts: 40000 | #Constraints: 7104
55.55/55.77 c #Conflicts: 41000 | #Constraints: 8104
55.55/55.77 c INPROCESSING
55.55/55.77 c GARBAGE COLLECT
55.55/55.77 c #Conflicts: 42000 | #Constraints: 5087
55.55/55.77 c #Conflicts: 43000 | #Constraints: 6087
55.55/55.77 c #Conflicts: 44000 | #Constraints: 7087
55.55/55.77 c #Conflicts: 45000 | #Constraints: 8087
55.55/55.77 c #Conflicts: 46000 | #Constraints: 9087
55.55/55.77 c INPROCESSING
55.55/55.77 c GARBAGE COLLECT
55.55/55.77 c #Conflicts: 47000 | #Constraints: 5784
55.55/55.77 c #Conflicts: 48000 | #Constraints: 6784
55.55/55.77 c #Conflicts: 49000 | #Constraints: 7784
55.55/55.77 c #Conflicts: 50000 | #Constraints: 8784
55.55/55.77 c #Conflicts: 51000 | #Constraints: 9784
55.55/55.77 c INPROCESSING
55.55/55.77 c GARBAGE COLLECT
55.55/55.77 c #Conflicts: 52000 | #Constraints: 6240
55.55/55.77 c #Conflicts: 53000 | #Constraints: 7240
55.55/55.77 c #Conflicts: 54000 | #Constraints: 8240
55.55/55.77 c #Conflicts: 55000 | #Constraints: 9240
55.55/55.77 c #Conflicts: 56000 | #Constraints: 10240
55.55/55.77 c INPROCESSING
55.55/55.77 c GARBAGE COLLECT
55.55/55.77 c #Conflicts: 57000 | #Constraints: 6478
55.55/55.77 c #Conflicts: 58000 | #Constraints: 7478
55.55/55.77 c #Conflicts: 59000 | #Constraints: 8478
55.55/55.77 c #Conflicts: 60000 | #Constraints: 9478
55.55/55.77 c #Conflicts: 61000 | #Constraints: 10478
55.55/55.77 c INPROCESSING
55.55/55.77 c GARBAGE COLLECT
55.55/55.77 c #Conflicts: 62000 | #Constraints: 6483
55.55/55.77 c #Conflicts: 63000 | #Constraints: 7483
55.55/55.77 c #Conflicts: 64000 | #Constraints: 8483
55.55/55.77 c #Conflicts: 65000 | #Constraints: 9483
55.55/55.77 c #Conflicts: 66000 | #Constraints: 10483
55.55/55.77 c INPROCESSING
146.90/147.37 c GARBAGE COLLECT
146.90/147.37 c #Conflicts: 67000 | #Constraints: 6272
146.90/147.37 c #Conflicts: 68000 | #Constraints: 7272
146.90/147.37 c #Conflicts: 69000 | #Constraints: 8272
146.90/147.37 c #Conflicts: 70000 | #Constraints: 9272
146.90/147.37 c #Conflicts: 71000 | #Constraints: 10272
146.90/147.37 c #Conflicts: 72000 | #Constraints: 11272
146.90/147.37 c INPROCESSING
146.90/147.37 c GARBAGE COLLECT
146.90/147.37 c #Conflicts: 73000 | #Constraints: 6869
146.90/147.37 c #Conflicts: 74000 | #Constraints: 7869
146.90/147.37 c #Conflicts: 75000 | #Constraints: 8869
146.90/147.37 c #Conflicts: 76000 | #Constraints: 9869
146.90/147.37 c #Conflicts: 77000 | #Constraints: 10869
146.90/147.37 c #Conflicts: 78000 | #Constraints: 11869
146.90/147.37 c INPROCESSING
146.90/147.37 c GARBAGE COLLECT
146.90/147.37 c #Conflicts: 79000 | #Constraints: 7262
146.90/147.37 c #Conflicts: 80000 | #Constraints: 8262
146.90/147.37 c #Conflicts: 81000 | #Constraints: 9262
146.90/147.37 c #Conflicts: 82000 | #Constraints: 10262
146.90/147.37 c #Conflicts: 83000 | #Constraints: 11262
146.90/147.37 c #Conflicts: 84000 | #Constraints: 12262
146.90/147.37 c INPROCESSING
146.90/147.37 c GARBAGE COLLECT
146.90/147.37 c #Conflicts: 85000 | #Constraints: 7457
146.90/147.37 c #Conflicts: 86000 | #Constraints: 8457
146.90/147.37 c #Conflicts: 87000 | #Constraints: 9457
146.90/147.37 c #Conflicts: 88000 | #Constraints: 10457
146.90/147.37 c #Conflicts: 89000 | #Constraints: 11457
146.90/147.37 c #Conflicts: 90000 | #Constraints: 12457
146.90/147.37 c INPROCESSING
146.90/147.37 c GARBAGE COLLECT
146.90/147.37 c #Conflicts: 91000 | #Constraints: 7457
146.90/147.37 c #Conflicts: 92000 | #Constraints: 8457
146.90/147.37 c #Conflicts: 93000 | #Constraints: 9457
146.90/147.37 c #Conflicts: 94000 | #Constraints: 10457
146.90/147.37 c #Conflicts: 95000 | #Constraints: 11457
146.90/147.37 c #Conflicts: 96000 | #Constraints: 12457
146.90/147.37 c INPROCESSING
146.90/147.37 c GARBAGE COLLECT
146.90/147.37 c #Conflicts: 97000 | #Constraints: 7254
146.90/147.37 c #Conflicts: 98000 | #Constraints: 8254
146.90/147.37 c #Conflicts: 99000 | #Constraints: 9254
146.90/147.37 c #Conflicts: 100000 | #Constraints: 10254
146.90/147.37 c #Conflicts: 101000 | #Constraints: 11254
146.90/147.37 c #Conflicts: 102000 | #Constraints: 12254
146.90/147.37 c #Conflicts: 103000 | #Constraints: 13254
146.90/147.37 c INPROCESSING
146.90/147.37 c GARBAGE COLLECT
146.90/147.37 c #Conflicts: 104000 | #Constraints: 7846
146.90/147.37 c #Conflicts: 105000 | #Constraints: 8846
146.90/147.37 c #Conflicts: 106000 | #Constraints: 9846
146.90/147.37 c #Conflicts: 107000 | #Constraints: 10846
146.90/147.37 c #Conflicts: 108000 | #Constraints: 11846
146.90/147.37 c #Conflicts: 109000 | #Constraints: 12846
146.90/147.37 c #Conflicts: 110000 | #Constraints: 13846
146.90/147.37 c INPROCESSING
146.90/147.37 c GARBAGE COLLECT
146.90/147.37 c #Conflicts: 111000 | #Constraints: 8257
146.90/147.37 c #Conflicts: 112000 | #Constraints: 9257
146.90/147.37 c #Conflicts: 113000 | #Constraints: 10257
146.90/147.37 c #Conflicts: 114000 | #Constraints: 11257
146.90/147.37 c #Conflicts: 115000 | #Constraints: 12257
146.90/147.37 c #Conflicts: 116000 | #Constraints: 13257
146.90/147.37 c #Conflicts: 117000 | #Constraints: 14257
146.90/147.37 c INPROCESSING
146.90/147.37 c GARBAGE COLLECT
146.90/147.37 c #Conflicts: 118000 | #Constraints: 8462
146.90/147.37 c #Conflicts: 119000 | #Constraints: 9462
146.90/147.37 c #Conflicts: 120000 | #Constraints: 10462
146.90/147.37 c #Conflicts: 121000 | #Constraints: 11462
146.90/147.37 c #Conflicts: 122000 | #Constraints: 12462
146.90/147.37 c #Conflicts: 123000 | #Constraints: 13462
146.90/147.37 c #Conflicts: 124000 | #Constraints: 14462
146.90/147.37 c INPROCESSING
146.90/147.37 c GARBAGE COLLECT
146.90/147.37 c #Conflicts: 125000 | #Constraints: 8460
146.90/147.37 c #Conflicts: 126000 | #Constraints: 9460
146.90/147.37 c #Conflicts: 127000 | #Constraints: 10460
146.90/147.37 c #Conflicts: 128000 | #Constraints: 11460
146.90/147.37 c #Conflicts: 129000 | #Constraints: 12460
146.90/147.37 c #Conflicts: 130000 | #Constraints: 13460
146.90/147.37 c #Conflicts: 131000 | #Constraints: 14460
146.90/147.37 c INPROCESSING
146.90/147.37 c GARBAGE COLLECT
146.90/147.37 c #Conflicts: 132000 | #Constraints: 8255
146.90/147.37 c #Conflicts: 133000 | #Constraints: 9255
146.90/147.37 c #Conflicts: 134000 | #Constraints: 10255
146.90/147.37 c #Conflicts: 135000 | #Constraints: 11255
146.90/147.37 c #Conflicts: 136000 | #Constraints: 12255
146.90/147.37 c #Conflicts: 137000 | #Constraints: 13255
146.90/147.37 c #Conflicts: 138000 | #Constraints: 14255
276.81/277.62 c #Conflicts: 139000 | #Constraints: 15255
276.81/277.62 c INPROCESSING
276.81/277.62 c GARBAGE COLLECT
276.81/277.62 c #Conflicts: 140000 | #Constraints: 8872
276.81/277.62 c #Conflicts: 141000 | #Constraints: 9872
276.81/277.62 c #Conflicts: 142000 | #Constraints: 10872
276.81/277.62 c #Conflicts: 143000 | #Constraints: 11872
276.81/277.62 c #Conflicts: 144000 | #Constraints: 12872
276.81/277.62 c #Conflicts: 145000 | #Constraints: 13872
276.81/277.62 c #Conflicts: 146000 | #Constraints: 14872
276.81/277.62 c #Conflicts: 147000 | #Constraints: 15872
276.81/277.62 c INPROCESSING
276.81/277.62 c GARBAGE COLLECT
276.81/277.62 c #Conflicts: 148000 | #Constraints: 9273
276.81/277.62 c #Conflicts: 149000 | #Constraints: 10273
276.81/277.62 c #Conflicts: 150000 | #Constraints: 11273
276.81/277.62 c #Conflicts: 151000 | #Constraints: 12273
276.81/277.62 c #Conflicts: 152000 | #Constraints: 13273
276.81/277.62 c #Conflicts: 153000 | #Constraints: 14273
276.81/277.62 c #Conflicts: 154000 | #Constraints: 15273
276.81/277.62 c #Conflicts: 155000 | #Constraints: 16273
276.81/277.62 c INPROCESSING
276.81/277.62 c GARBAGE COLLECT
276.81/277.62 c #Conflicts: 156000 | #Constraints: 9482
276.81/277.62 c #Conflicts: 157000 | #Constraints: 10482
276.81/277.62 c #Conflicts: 158000 | #Constraints: 11482
276.81/277.62 c #Conflicts: 159000 | #Constraints: 12482
276.81/277.62 c #Conflicts: 160000 | #Constraints: 13482
276.81/277.62 c #Conflicts: 161000 | #Constraints: 14482
276.81/277.62 c #Conflicts: 162000 | #Constraints: 15482
276.81/277.62 c #Conflicts: 163000 | #Constraints: 16482
276.81/277.62 c INPROCESSING
276.81/277.62 c GARBAGE COLLECT
276.81/277.62 c #Conflicts: 164000 | #Constraints: 9494
276.81/277.62 c #Conflicts: 165000 | #Constraints: 10494
276.81/277.62 c #Conflicts: 166000 | #Constraints: 11494
276.81/277.62 c #Conflicts: 167000 | #Constraints: 12494
276.81/277.62 c #Conflicts: 168000 | #Constraints: 13494
276.81/277.62 c #Conflicts: 169000 | #Constraints: 14494
276.81/277.62 c #Conflicts: 170000 | #Constraints: 15494
276.81/277.62 c #Conflicts: 171000 | #Constraints: 16494
276.81/277.62 c INPROCESSING
276.81/277.62 c GARBAGE COLLECT
276.81/277.62 c #Conflicts: 172000 | #Constraints: 9276
276.81/277.62 c #Conflicts: 173000 | #Constraints: 10276
276.81/277.62 c #Conflicts: 174000 | #Constraints: 11276
276.81/277.62 c #Conflicts: 175000 | #Constraints: 12276
276.81/277.62 c #Conflicts: 176000 | #Constraints: 13276
276.81/277.62 c #Conflicts: 177000 | #Constraints: 14276
276.81/277.62 c #Conflicts: 178000 | #Constraints: 15276
276.81/277.62 c #Conflicts: 179000 | #Constraints: 16276
276.81/277.62 c #Conflicts: 180000 | #Constraints: 17276
276.81/277.62 c INPROCESSING
276.81/277.62 c GARBAGE COLLECT
276.81/277.62 c #Conflicts: 181000 | #Constraints: 9862
276.81/277.62 c #Conflicts: 182000 | #Constraints: 10862
276.81/277.62 c #Conflicts: 183000 | #Constraints: 11862
276.81/277.62 c #Conflicts: 184000 | #Constraints: 12862
276.81/277.62 c #Conflicts: 185000 | #Constraints: 13862
276.81/277.62 c #Conflicts: 186000 | #Constraints: 14862
276.81/277.62 c #Conflicts: 187000 | #Constraints: 15862
276.81/277.62 c #Conflicts: 188000 | #Constraints: 16862
276.81/277.62 c #Conflicts: 189000 | #Constraints: 17862
276.81/277.62 c INPROCESSING
276.81/277.62 c GARBAGE COLLECT
276.81/277.62 c #Conflicts: 190000 | #Constraints: 10266
276.81/277.62 c #Conflicts: 191000 | #Constraints: 11266
276.81/277.62 c #Conflicts: 192000 | #Constraints: 12266
276.81/277.62 c #Conflicts: 193000 | #Constraints: 13266
276.81/277.62 c #Conflicts: 194000 | #Constraints: 14266
276.81/277.62 c #Conflicts: 195000 | #Constraints: 15266
276.81/277.62 c #Conflicts: 196000 | #Constraints: 16266
276.81/277.62 c #Conflicts: 197000 | #Constraints: 17266
276.81/277.62 c #Conflicts: 198000 | #Constraints: 18266
276.81/277.62 c INPROCESSING
276.81/277.62 c GARBAGE COLLECT
276.81/277.62 c #Conflicts: 199000 | #Constraints: 10494
276.81/277.62 c #Conflicts: 200000 | #Constraints: 11494
276.81/277.62 c #Conflicts: 201000 | #Constraints: 12494
276.81/277.62 c #Conflicts: 202000 | #Constraints: 13494
276.81/277.62 c #Conflicts: 203000 | #Constraints: 14494
276.81/277.62 c #Conflicts: 204000 | #Constraints: 15494
276.81/277.62 c #Conflicts: 205000 | #Constraints: 16494
276.81/277.62 c #Conflicts: 206000 | #Constraints: 17494
276.81/277.62 c #Conflicts: 207000 | #Constraints: 18494
276.81/277.62 c INPROCESSING
276.81/277.62 c GARBAGE COLLECT
276.81/277.62 c #Conflicts: 208000 | #Constraints: 10490
276.81/277.62 c #Conflicts: 209000 | #Constraints: 11490
276.81/277.62 c #Conflicts: 210000 | #Constraints: 12490
276.81/277.62 c #Conflicts: 211000 | #Constraints: 13490
276.81/277.62 c #Conflicts: 212000 | #Constraints: 14490
410.98/412.29 c #Conflicts: 213000 | #Constraints: 15490
410.98/412.29 c #Conflicts: 214000 | #Constraints: 16490
410.98/412.29 c #Conflicts: 215000 | #Constraints: 17490
410.98/412.29 c #Conflicts: 216000 | #Constraints: 18490
410.98/412.29 c INPROCESSING
410.98/412.29 c GARBAGE COLLECT
410.98/412.29 c #Conflicts: 217000 | #Constraints: 10291
410.98/412.29 c #Conflicts: 218000 | #Constraints: 11291
410.98/412.29 c #Conflicts: 219000 | #Constraints: 12291
410.98/412.29 c #Conflicts: 220000 | #Constraints: 13291
410.98/412.29 c #Conflicts: 221000 | #Constraints: 14291
410.98/412.29 c #Conflicts: 222000 | #Constraints: 15291
410.98/412.29 c #Conflicts: 223000 | #Constraints: 16291
410.98/412.29 c #Conflicts: 224000 | #Constraints: 17291
410.98/412.29 c #Conflicts: 225000 | #Constraints: 18291
410.98/412.29 c #Conflicts: 226000 | #Constraints: 19291
410.98/412.29 c INPROCESSING
410.98/412.29 c GARBAGE COLLECT
410.98/412.29 c #Conflicts: 227000 | #Constraints: 10881
410.98/412.29 c #Conflicts: 228000 | #Constraints: 11881
410.98/412.29 c #Conflicts: 229000 | #Constraints: 12881
410.98/412.29 c #Conflicts: 230000 | #Constraints: 13881
410.98/412.29 c #Conflicts: 231000 | #Constraints: 14881
410.98/412.29 c #Conflicts: 232000 | #Constraints: 15881
410.98/412.29 c #Conflicts: 233000 | #Constraints: 16881
410.98/412.29 c #Conflicts: 234000 | #Constraints: 17881
410.98/412.29 c #Conflicts: 235000 | #Constraints: 18881
410.98/412.29 c #Conflicts: 236000 | #Constraints: 19881
410.98/412.29 c INPROCESSING
410.98/412.29 c GARBAGE COLLECT
410.98/412.29 c #Conflicts: 237000 | #Constraints: 11268
410.98/412.29 c #Conflicts: 238000 | #Constraints: 12268
410.98/412.29 c #Conflicts: 239000 | #Constraints: 13268
410.98/412.29 c #Conflicts: 240000 | #Constraints: 14268
410.98/412.29 c #Conflicts: 241000 | #Constraints: 15268
410.98/412.29 c #Conflicts: 242000 | #Constraints: 16268
410.98/412.29 c #Conflicts: 243000 | #Constraints: 17268
410.98/412.29 c #Conflicts: 244000 | #Constraints: 18268
410.98/412.29 c #Conflicts: 245000 | #Constraints: 19268
410.98/412.29 c #Conflicts: 246000 | #Constraints: 20268
410.98/412.29 c INPROCESSING
410.98/412.29 c GARBAGE COLLECT
410.98/412.29 c #Conflicts: 247000 | #Constraints: 11466
410.98/412.29 c #Conflicts: 248000 | #Constraints: 12466
410.98/412.29 c #Conflicts: 249000 | #Constraints: 13466
410.98/412.29 c #Conflicts: 250000 | #Constraints: 14466
410.98/412.29 c #Conflicts: 251000 | #Constraints: 15466
410.98/412.29 c #Conflicts: 252000 | #Constraints: 16466
410.98/412.29 c #Conflicts: 253000 | #Constraints: 17466
410.98/412.29 c #Conflicts: 254000 | #Constraints: 18466
410.98/412.29 c #Conflicts: 255000 | #Constraints: 19466
410.98/412.29 c #Conflicts: 256000 | #Constraints: 20466
410.98/412.29 c INPROCESSING
410.98/412.29 c GARBAGE COLLECT
410.98/412.29 c #Conflicts: 257000 | #Constraints: 11468
410.98/412.29 c #Conflicts: 258000 | #Constraints: 12468
410.98/412.29 c #Conflicts: 259000 | #Constraints: 13468
410.98/412.29 c #Conflicts: 260000 | #Constraints: 14468
410.98/412.29 c #Conflicts: 261000 | #Constraints: 15468
410.98/412.29 c #Conflicts: 262000 | #Constraints: 16468
410.98/412.29 c #Conflicts: 263000 | #Constraints: 17468
410.98/412.29 c #Conflicts: 264000 | #Constraints: 18468
410.98/412.29 c #Conflicts: 265000 | #Constraints: 19468
410.98/412.29 c #Conflicts: 266000 | #Constraints: 20468
410.98/412.29 c INPROCESSING
410.98/412.29 c GARBAGE COLLECT
410.98/412.29 c #Conflicts: 267000 | #Constraints: 11262
410.98/412.29 c #Conflicts: 268000 | #Constraints: 12262
410.98/412.29 c #Conflicts: 269000 | #Constraints: 13262
410.98/412.29 c #Conflicts: 270000 | #Constraints: 14262
410.98/412.29 c #Conflicts: 271000 | #Constraints: 15262
410.98/412.29 c #Conflicts: 272000 | #Constraints: 16262
410.98/412.29 c #Conflicts: 273000 | #Constraints: 17262
410.98/412.29 c #Conflicts: 274000 | #Constraints: 18262
410.98/412.29 c #Conflicts: 275000 | #Constraints: 19262
410.98/412.29 c #Conflicts: 276000 | #Constraints: 20262
410.98/412.29 c #Conflicts: 277000 | #Constraints: 21262
410.98/412.29 c INPROCESSING
410.98/412.29 c GARBAGE COLLECT
410.98/412.29 c #Conflicts: 278000 | #Constraints: 11862
410.98/412.29 c #Conflicts: 279000 | #Constraints: 12862
410.98/412.29 c #Conflicts: 280000 | #Constraints: 13862
410.98/412.29 c #Conflicts: 281000 | #Constraints: 14862
410.98/412.29 c #Conflicts: 282000 | #Constraints: 15862
410.98/412.29 c #Conflicts: 283000 | #Constraints: 16862
410.98/412.29 c #Conflicts: 284000 | #Constraints: 17862
410.98/412.29 c #Conflicts: 285000 | #Constraints: 18862
410.98/412.29 c #Conflicts: 286000 | #Constraints: 19862
544.67/546.24 c #Conflicts: 287000 | #Constraints: 20862
544.67/546.24 c #Conflicts: 288000 | #Constraints: 21862
544.67/546.24 c INPROCESSING
544.67/546.24 c GARBAGE COLLECT
544.67/546.24 c #Conflicts: 289000 | #Constraints: 12256
544.67/546.24 c #Conflicts: 290000 | #Constraints: 13256
544.67/546.24 c #Conflicts: 291000 | #Constraints: 14256
544.67/546.24 c #Conflicts: 292000 | #Constraints: 15256
544.67/546.24 c #Conflicts: 293000 | #Constraints: 16256
544.67/546.24 c #Conflicts: 294000 | #Constraints: 17256
544.67/546.24 c #Conflicts: 295000 | #Constraints: 18256
544.67/546.24 c #Conflicts: 296000 | #Constraints: 19256
544.67/546.24 c #Conflicts: 297000 | #Constraints: 20256
544.67/546.24 c #Conflicts: 298000 | #Constraints: 21256
544.67/546.24 c #Conflicts: 299000 | #Constraints: 22256
544.67/546.24 c INPROCESSING
544.67/546.24 c GARBAGE COLLECT
544.67/546.24 c #Conflicts: 300000 | #Constraints: 12450
544.67/546.24 c #Conflicts: 301000 | #Constraints: 13450
544.67/546.24 c #Conflicts: 302000 | #Constraints: 14450
544.67/546.24 c #Conflicts: 303000 | #Constraints: 15450
544.67/546.24 c #Conflicts: 304000 | #Constraints: 16450
544.67/546.24 c #Conflicts: 305000 | #Constraints: 17450
544.67/546.24 c #Conflicts: 306000 | #Constraints: 18450
544.67/546.24 c #Conflicts: 307000 | #Constraints: 19450
544.67/546.24 c #Conflicts: 308000 | #Constraints: 20450
544.67/546.24 c #Conflicts: 309000 | #Constraints: 21450
544.67/546.24 c #Conflicts: 310000 | #Constraints: 22450
544.67/546.24 c INPROCESSING
544.67/546.24 c GARBAGE COLLECT
544.67/546.24 c #Conflicts: 311000 | #Constraints: 12454
544.67/546.24 c #Conflicts: 312000 | #Constraints: 13454
544.67/546.24 c #Conflicts: 313000 | #Constraints: 14454
544.67/546.24 c #Conflicts: 314000 | #Constraints: 15454
544.67/546.24 c #Conflicts: 315000 | #Constraints: 16454
544.67/546.24 c #Conflicts: 316000 | #Constraints: 17454
544.67/546.24 c #Conflicts: 317000 | #Constraints: 18454
544.67/546.24 c #Conflicts: 318000 | #Constraints: 19454
544.67/546.24 c #Conflicts: 319000 | #Constraints: 20454
544.67/546.24 c #Conflicts: 320000 | #Constraints: 21454
544.67/546.24 c #Conflicts: 321000 | #Constraints: 22454
544.67/546.24 c INPROCESSING
544.67/546.24 c GARBAGE COLLECT
544.67/546.24 c #Conflicts: 322000 | #Constraints: 12289
544.67/546.24 c #Conflicts: 323000 | #Constraints: 13289
544.67/546.24 c #Conflicts: 324000 | #Constraints: 14289
544.67/546.24 c #Conflicts: 325000 | #Constraints: 15289
544.67/546.24 c #Conflicts: 326000 | #Constraints: 16289
544.67/546.24 c #Conflicts: 327000 | #Constraints: 17289
544.67/546.24 c #Conflicts: 328000 | #Constraints: 18289
544.67/546.24 c #Conflicts: 329000 | #Constraints: 19289
544.67/546.24 c #Conflicts: 330000 | #Constraints: 20289
544.67/546.24 c #Conflicts: 331000 | #Constraints: 21289
544.67/546.24 c #Conflicts: 332000 | #Constraints: 22289
544.67/546.24 c #Conflicts: 333000 | #Constraints: 23289
544.67/546.24 c INPROCESSING
544.67/546.24 c GARBAGE COLLECT
544.67/546.24 c #Conflicts: 334000 | #Constraints: 12899
544.67/546.24 c #Conflicts: 335000 | #Constraints: 13899
544.67/546.24 c #Conflicts: 336000 | #Constraints: 14899
544.67/546.24 c #Conflicts: 337000 | #Constraints: 15899
544.67/546.24 c #Conflicts: 338000 | #Constraints: 16899
544.67/546.24 c #Conflicts: 339000 | #Constraints: 17899
544.67/546.24 c #Conflicts: 340000 | #Constraints: 18899
544.67/546.24 c #Conflicts: 341000 | #Constraints: 19899
544.67/546.24 c #Conflicts: 342000 | #Constraints: 20899
544.67/546.24 c #Conflicts: 343000 | #Constraints: 21899
544.67/546.24 c #Conflicts: 344000 | #Constraints: 22899
544.67/546.24 c #Conflicts: 345000 | #Constraints: 23899
544.67/546.24 c INPROCESSING
544.67/546.24 c GARBAGE COLLECT
544.67/546.24 c #Conflicts: 346000 | #Constraints: 13285
544.67/546.24 c #Conflicts: 347000 | #Constraints: 14285
544.67/546.24 c #Conflicts: 348000 | #Constraints: 15285
544.67/546.24 c #Conflicts: 349000 | #Constraints: 16285
544.67/546.24 c #Conflicts: 350000 | #Constraints: 17285
544.67/546.24 c #Conflicts: 351000 | #Constraints: 18285
544.67/546.24 c #Conflicts: 352000 | #Constraints: 19285
544.67/546.24 c #Conflicts: 353000 | #Constraints: 20285
544.67/546.24 c #Conflicts: 354000 | #Constraints: 21285
544.67/546.24 c #Conflicts: 355000 | #Constraints: 22285
544.67/546.24 c #Conflicts: 356000 | #Constraints: 23285
544.67/546.24 c #Conflicts: 357000 | #Constraints: 24285
544.67/546.24 c INPROCESSING
544.67/546.24 c GARBAGE COLLECT
544.67/546.24 c #Conflicts: 358000 | #Constraints: 13466
544.67/546.24 c #Conflicts: 359000 | #Constraints: 14466
544.67/546.24 c #Conflicts: 360000 | #Constraints: 15466
702.59/704.56 c #Conflicts: 361000 | #Constraints: 16466
702.59/704.56 c #Conflicts: 362000 | #Constraints: 17466
702.59/704.56 c #Conflicts: 363000 | #Constraints: 18466
702.59/704.56 c #Conflicts: 364000 | #Constraints: 19466
702.59/704.56 c #Conflicts: 365000 | #Constraints: 20466
702.59/704.56 c #Conflicts: 366000 | #Constraints: 21466
702.59/704.56 c #Conflicts: 367000 | #Constraints: 22466
702.59/704.56 c #Conflicts: 368000 | #Constraints: 23466
702.59/704.56 c #Conflicts: 369000 | #Constraints: 24466
702.59/704.56 c INPROCESSING
702.59/704.56 c GARBAGE COLLECT
702.59/704.56 c #Conflicts: 370000 | #Constraints: 13458
702.59/704.56 c #Conflicts: 371000 | #Constraints: 14458
702.59/704.56 c #Conflicts: 372000 | #Constraints: 15458
702.59/704.56 c #Conflicts: 373000 | #Constraints: 16458
702.59/704.56 c #Conflicts: 374000 | #Constraints: 17458
702.59/704.56 c #Conflicts: 375000 | #Constraints: 18458
702.59/704.56 c #Conflicts: 376000 | #Constraints: 19458
702.59/704.56 c #Conflicts: 377000 | #Constraints: 20458
702.59/704.56 c #Conflicts: 378000 | #Constraints: 21458
702.59/704.56 c #Conflicts: 379000 | #Constraints: 22458
702.59/704.56 c #Conflicts: 380000 | #Constraints: 23458
702.59/704.56 c #Conflicts: 381000 | #Constraints: 24458
702.59/704.56 c INPROCESSING
702.59/704.56 c GARBAGE COLLECT
702.59/704.56 c #Conflicts: 382000 | #Constraints: 13259
702.59/704.56 c #Conflicts: 383000 | #Constraints: 14259
702.59/704.56 c #Conflicts: 384000 | #Constraints: 15259
702.59/704.56 c #Conflicts: 385000 | #Constraints: 16259
702.59/704.56 c #Conflicts: 386000 | #Constraints: 17259
702.59/704.56 c #Conflicts: 387000 | #Constraints: 18259
702.59/704.56 c #Conflicts: 388000 | #Constraints: 19259
702.59/704.56 c #Conflicts: 389000 | #Constraints: 20259
702.59/704.56 c #Conflicts: 390000 | #Constraints: 21259
702.59/704.56 c #Conflicts: 391000 | #Constraints: 22259
702.59/704.56 c #Conflicts: 392000 | #Constraints: 23259
702.59/704.56 c #Conflicts: 393000 | #Constraints: 24259
702.59/704.56 c #Conflicts: 394000 | #Constraints: 25259
702.59/704.56 c INPROCESSING
702.59/704.56 c GARBAGE COLLECT
702.59/704.56 c #Conflicts: 395000 | #Constraints: 13879
702.59/704.56 c #Conflicts: 396000 | #Constraints: 14879
702.59/704.56 c #Conflicts: 397000 | #Constraints: 15879
702.59/704.56 c #Conflicts: 398000 | #Constraints: 16879
702.59/704.56 c #Conflicts: 399000 | #Constraints: 17879
702.59/704.56 c #Conflicts: 400000 | #Constraints: 18879
702.59/704.56 c #Conflicts: 401000 | #Constraints: 19879
702.59/704.56 c #Conflicts: 402000 | #Constraints: 20879
702.59/704.56 c #Conflicts: 403000 | #Constraints: 21879
702.59/704.56 c #Conflicts: 404000 | #Constraints: 22879
702.59/704.56 c #Conflicts: 405000 | #Constraints: 23879
702.59/704.56 c #Conflicts: 406000 | #Constraints: 24879
702.59/704.56 c #Conflicts: 407000 | #Constraints: 25879
702.59/704.56 c INPROCESSING
702.59/704.56 c GARBAGE COLLECT
702.59/704.56 c #Conflicts: 408000 | #Constraints: 14266
702.59/704.56 c #Conflicts: 409000 | #Constraints: 15266
702.59/704.56 c #Conflicts: 410000 | #Constraints: 16266
702.59/704.56 c #Conflicts: 411000 | #Constraints: 17266
702.59/704.56 c #Conflicts: 412000 | #Constraints: 18266
702.59/704.56 c #Conflicts: 413000 | #Constraints: 19266
702.59/704.56 c #Conflicts: 414000 | #Constraints: 20266
702.59/704.56 c #Conflicts: 415000 | #Constraints: 21266
702.59/704.56 c #Conflicts: 416000 | #Constraints: 22266
702.59/704.56 c #Conflicts: 417000 | #Constraints: 23266
702.59/704.56 c #Conflicts: 418000 | #Constraints: 24266
702.59/704.56 c #Conflicts: 419000 | #Constraints: 25266
702.59/704.56 c #Conflicts: 420000 | #Constraints: 26266
702.59/704.56 c INPROCESSING
702.59/704.56 c GARBAGE COLLECT
702.59/704.56 c #Conflicts: 421000 | #Constraints: 14464
702.59/704.56 c #Conflicts: 422000 | #Constraints: 15464
702.59/704.56 c #Conflicts: 423000 | #Constraints: 16464
702.59/704.56 c #Conflicts: 424000 | #Constraints: 17464
702.59/704.56 c #Conflicts: 425000 | #Constraints: 18464
702.59/704.56 c #Conflicts: 426000 | #Constraints: 19464
702.59/704.56 c #Conflicts: 427000 | #Constraints: 20464
702.59/704.56 c #Conflicts: 428000 | #Constraints: 21464
702.59/704.56 c #Conflicts: 429000 | #Constraints: 22464
702.59/704.56 c #Conflicts: 430000 | #Constraints: 23464
702.59/704.56 c #Conflicts: 431000 | #Constraints: 24464
702.59/704.56 c #Conflicts: 432000 | #Constraints: 25464
702.59/704.56 c #Conflicts: 433000 | #Constraints: 26464
702.59/704.56 c INPROCESSING
702.59/704.56 c GARBAGE COLLECT
702.59/704.56 c #Conflicts: 434000 | #Constraints: 14485
702.59/704.56 c #Conflicts: 435000 | #Constraints: 15485
823.20/825.42 c #Conflicts: 436000 | #Constraints: 16485
823.20/825.42 c #Conflicts: 437000 | #Constraints: 17485
823.20/825.42 c #Conflicts: 438000 | #Constraints: 18485
823.20/825.42 c #Conflicts: 439000 | #Constraints: 19485
823.20/825.42 c #Conflicts: 440000 | #Constraints: 20485
823.20/825.42 c #Conflicts: 441000 | #Constraints: 21485
823.20/825.42 c #Conflicts: 442000 | #Constraints: 22485
823.20/825.42 c #Conflicts: 443000 | #Constraints: 23485
823.20/825.42 c #Conflicts: 444000 | #Constraints: 24485
823.20/825.42 c #Conflicts: 445000 | #Constraints: 25485
823.20/825.42 c #Conflicts: 446000 | #Constraints: 26485
823.20/825.42 c INPROCESSING
823.20/825.42 c GARBAGE COLLECT
823.20/825.42 c #Conflicts: 447000 | #Constraints: 14268
823.20/825.42 c #Conflicts: 448000 | #Constraints: 15268
823.20/825.42 c #Conflicts: 449000 | #Constraints: 16268
823.20/825.42 c #Conflicts: 450000 | #Constraints: 17268
823.20/825.42 c #Conflicts: 451000 | #Constraints: 18268
823.20/825.42 c #Conflicts: 452000 | #Constraints: 19268
823.20/825.42 c #Conflicts: 453000 | #Constraints: 20268
823.20/825.42 c #Conflicts: 454000 | #Constraints: 21268
823.20/825.42 c #Conflicts: 455000 | #Constraints: 22268
823.20/825.42 c #Conflicts: 456000 | #Constraints: 23268
823.20/825.42 c #Conflicts: 457000 | #Constraints: 24268
823.20/825.42 c #Conflicts: 458000 | #Constraints: 25268
823.20/825.42 c #Conflicts: 459000 | #Constraints: 26268
823.20/825.42 c #Conflicts: 460000 | #Constraints: 27268
823.20/825.42 c INPROCESSING
823.20/825.42 c GARBAGE COLLECT
823.20/825.42 c #Conflicts: 461000 | #Constraints: 14869
823.20/825.42 c #Conflicts: 462000 | #Constraints: 15869
823.20/825.42 c #Conflicts: 463000 | #Constraints: 16869
823.20/825.42 c #Conflicts: 464000 | #Constraints: 17869
823.20/825.42 c #Conflicts: 465000 | #Constraints: 18869
823.20/825.42 c #Conflicts: 466000 | #Constraints: 19869
823.20/825.42 c #Conflicts: 467000 | #Constraints: 20869
823.20/825.42 c #Conflicts: 468000 | #Constraints: 21869
823.20/825.42 c #Conflicts: 469000 | #Constraints: 22869
823.20/825.42 c #Conflicts: 470000 | #Constraints: 23869
823.20/825.42 c #Conflicts: 471000 | #Constraints: 24869
823.20/825.42 c #Conflicts: 472000 | #Constraints: 25869
823.20/825.42 c #Conflicts: 473000 | #Constraints: 26869
823.20/825.42 c #Conflicts: 474000 | #Constraints: 27869
823.20/825.42 c INPROCESSING
823.20/825.42 c GARBAGE COLLECT
823.20/825.42 c #Conflicts: 475000 | #Constraints: 15272
823.20/825.42 c #Conflicts: 476000 | #Constraints: 16272
823.20/825.42 c #Conflicts: 477000 | #Constraints: 17272
823.20/825.42 c #Conflicts: 478000 | #Constraints: 18272
823.20/825.42 c #Conflicts: 479000 | #Constraints: 19272
823.20/825.42 c #Conflicts: 480000 | #Constraints: 20272
823.20/825.42 c #Conflicts: 481000 | #Constraints: 21272
823.20/825.42 c #Conflicts: 482000 | #Constraints: 22272
823.20/825.42 c #Conflicts: 483000 | #Constraints: 23272
823.20/825.42 c #Conflicts: 484000 | #Constraints: 24272
823.20/825.42 c #Conflicts: 485000 | #Constraints: 25272
823.20/825.42 c #Conflicts: 486000 | #Constraints: 26272
823.20/825.42 c #Conflicts: 487000 | #Constraints: 27272
823.20/825.42 c #Conflicts: 488000 | #Constraints: 28272
823.20/825.42 c INPROCESSING
823.20/825.42 c GARBAGE COLLECT
823.20/825.42 c #Conflicts: 489000 | #Constraints: 15469
823.20/825.42 c #Conflicts: 490000 | #Constraints: 16469
823.20/825.42 c #Conflicts: 491000 | #Constraints: 17469
823.20/825.42 c #Conflicts: 492000 | #Constraints: 18469
823.20/825.42 c #Conflicts: 493000 | #Constraints: 19469
823.20/825.42 c #Conflicts: 494000 | #Constraints: 20469
823.20/825.42 c #Conflicts: 495000 | #Constraints: 21469
823.20/825.42 c #Conflicts: 496000 | #Constraints: 22469
823.20/825.42 c #Conflicts: 497000 | #Constraints: 23469
823.20/825.42 c #Conflicts: 498000 | #Constraints: 24469
823.20/825.42 c #Conflicts: 499000 | #Constraints: 25469
823.20/825.42 c #Conflicts: 500000 | #Constraints: 26469
823.20/825.42 c #Conflicts: 501000 | #Constraints: 27469
823.20/825.42 c #Conflicts: 502000 | #Constraints: 28469
823.20/825.42 c INPROCESSING
823.20/825.42 c GARBAGE COLLECT
823.20/825.42 c #Conflicts: 503000 | #Constraints: 15493
823.20/825.42 c #Conflicts: 504000 | #Constraints: 16493
823.20/825.42 c #Conflicts: 505000 | #Constraints: 17493
823.20/825.42 c #Conflicts: 506000 | #Constraints: 18493
823.20/825.42 c #Conflicts: 507000 | #Constraints: 19493
823.20/825.42 c #Conflicts: 508000 | #Constraints: 20493
823.20/825.42 c #Conflicts: 509000 | #Constraints: 21493
823.20/825.42 c #Conflicts: 510000 | #Constraints: 22493
823.20/825.42 c #Conflicts: 511000 | #Constraints: 23493
991.60/994.25 c #Conflicts: 512000 | #Constraints: 24493
991.60/994.25 c #Conflicts: 513000 | #Constraints: 25493
991.60/994.25 c #Conflicts: 514000 | #Constraints: 26493
991.60/994.25 c #Conflicts: 515000 | #Constraints: 27493
991.60/994.25 c #Conflicts: 516000 | #Constraints: 28493
991.60/994.25 c INPROCESSING
991.60/994.25 c GARBAGE COLLECT
991.60/994.25 c #Conflicts: 517000 | #Constraints: 15281
991.60/994.25 c #Conflicts: 518000 | #Constraints: 16281
991.60/994.25 c #Conflicts: 519000 | #Constraints: 17281
991.60/994.25 c #Conflicts: 520000 | #Constraints: 18281
991.60/994.25 c #Conflicts: 521000 | #Constraints: 19281
991.60/994.25 c #Conflicts: 522000 | #Constraints: 20281
991.60/994.25 c #Conflicts: 523000 | #Constraints: 21281
991.60/994.25 c #Conflicts: 524000 | #Constraints: 22281
991.60/994.25 c #Conflicts: 525000 | #Constraints: 23281
991.60/994.25 c #Conflicts: 526000 | #Constraints: 24281
991.60/994.25 c #Conflicts: 527000 | #Constraints: 25281
991.60/994.25 c #Conflicts: 528000 | #Constraints: 26281
991.60/994.25 c #Conflicts: 529000 | #Constraints: 27281
991.60/994.25 c #Conflicts: 530000 | #Constraints: 28281
991.60/994.25 c #Conflicts: 531000 | #Constraints: 29281
991.60/994.25 c INPROCESSING
991.60/994.25 c GARBAGE COLLECT
991.60/994.25 c #Conflicts: 532000 | #Constraints: 15872
991.60/994.25 c #Conflicts: 533000 | #Constraints: 16872
991.60/994.25 c #Conflicts: 534000 | #Constraints: 17872
991.60/994.25 c #Conflicts: 535000 | #Constraints: 18872
991.60/994.25 c #Conflicts: 536000 | #Constraints: 19872
991.60/994.25 c #Conflicts: 537000 | #Constraints: 20872
991.60/994.25 c #Conflicts: 538000 | #Constraints: 21872
991.60/994.25 c #Conflicts: 539000 | #Constraints: 22872
991.60/994.25 c #Conflicts: 540000 | #Constraints: 23872
991.60/994.25 c #Conflicts: 541000 | #Constraints: 24872
991.60/994.25 c #Conflicts: 542000 | #Constraints: 25872
991.60/994.25 c #Conflicts: 543000 | #Constraints: 26872
991.60/994.25 c #Conflicts: 544000 | #Constraints: 27872
991.60/994.25 c #Conflicts: 545000 | #Constraints: 28872
991.60/994.25 c #Conflicts: 546000 | #Constraints: 29872
991.60/994.25 c INPROCESSING
991.60/994.25 c GARBAGE COLLECT
991.60/994.25 c #Conflicts: 547000 | #Constraints: 16276
991.60/994.25 c #Conflicts: 548000 | #Constraints: 17276
991.60/994.25 c #Conflicts: 549000 | #Constraints: 18276
991.60/994.25 c #Conflicts: 550000 | #Constraints: 19276
991.60/994.25 c #Conflicts: 551000 | #Constraints: 20276
991.60/994.25 c #Conflicts: 552000 | #Constraints: 21276
991.60/994.25 c #Conflicts: 553000 | #Constraints: 22276
991.60/994.25 c #Conflicts: 554000 | #Constraints: 23276
991.60/994.25 c #Conflicts: 555000 | #Constraints: 24276
991.60/994.25 c #Conflicts: 556000 | #Constraints: 25276
991.60/994.25 c #Conflicts: 557000 | #Constraints: 26276
991.60/994.25 c #Conflicts: 558000 | #Constraints: 27276
991.60/994.25 c #Conflicts: 559000 | #Constraints: 28276
991.60/994.25 c #Conflicts: 560000 | #Constraints: 29276
991.60/994.25 c #Conflicts: 561000 | #Constraints: 30276
991.60/994.25 c INPROCESSING
991.60/994.25 c GARBAGE COLLECT
991.60/994.25 c #Conflicts: 562000 | #Constraints: 16465
991.60/994.25 c #Conflicts: 563000 | #Constraints: 17465
991.60/994.25 c #Conflicts: 564000 | #Constraints: 18465
991.60/994.25 c #Conflicts: 565000 | #Constraints: 19465
991.60/994.25 c #Conflicts: 566000 | #Constraints: 20465
991.60/994.25 c #Conflicts: 567000 | #Constraints: 21465
991.60/994.25 c #Conflicts: 568000 | #Constraints: 22465
991.60/994.25 c #Conflicts: 569000 | #Constraints: 23465
991.60/994.25 c #Conflicts: 570000 | #Constraints: 24465
991.60/994.25 c #Conflicts: 571000 | #Constraints: 25465
991.60/994.25 c #Conflicts: 572000 | #Constraints: 26465
991.60/994.25 c #Conflicts: 573000 | #Constraints: 27465
991.60/994.25 c #Conflicts: 574000 | #Constraints: 28465
991.60/994.25 c #Conflicts: 575000 | #Constraints: 29465
991.60/994.25 c #Conflicts: 576000 | #Constraints: 30465
991.60/994.25 c INPROCESSING
991.60/994.25 c GARBAGE COLLECT
991.60/994.25 c #Conflicts: 577000 | #Constraints: 16461
991.60/994.25 c #Conflicts: 578000 | #Constraints: 17461
991.60/994.25 c #Conflicts: 579000 | #Constraints: 18461
991.60/994.25 c #Conflicts: 580000 | #Constraints: 19461
991.60/994.25 c #Conflicts: 581000 | #Constraints: 20461
991.60/994.25 c #Conflicts: 582000 | #Constraints: 21461
991.60/994.25 c #Conflicts: 583000 | #Constraints: 22461
991.60/994.25 c #Conflicts: 584000 | #Constraints: 23461
991.60/994.25 c #Conflicts: 585000 | #Constraints: 24461
991.60/994.25 c #Conflicts: 586000 | #Constraints: 25461
1175.56/1178.62 c #Conflicts: 587000 | #Constraints: 26461
1175.56/1178.62 c #Conflicts: 588000 | #Constraints: 27461
1175.56/1178.62 c #Conflicts: 589000 | #Constraints: 28461
1175.56/1178.62 c #Conflicts: 590000 | #Constraints: 29461
1175.56/1178.62 c #Conflicts: 591000 | #Constraints: 30461
1175.56/1178.62 c INPROCESSING
1175.56/1178.62 c GARBAGE COLLECT
1175.56/1178.62 c #Conflicts: 592000 | #Constraints: 16275
1175.56/1178.62 c #Conflicts: 593000 | #Constraints: 17275
1175.56/1178.62 c #Conflicts: 594000 | #Constraints: 18275
1175.56/1178.62 c #Conflicts: 595000 | #Constraints: 19275
1175.56/1178.62 c #Conflicts: 596000 | #Constraints: 20275
1175.56/1178.62 c #Conflicts: 597000 | #Constraints: 21275
1175.56/1178.62 c #Conflicts: 598000 | #Constraints: 22275
1175.56/1178.62 c #Conflicts: 599000 | #Constraints: 23275
1175.56/1178.62 c #Conflicts: 600000 | #Constraints: 24275
1175.56/1178.62 c #Conflicts: 601000 | #Constraints: 25275
1175.56/1178.62 c #Conflicts: 602000 | #Constraints: 26275
1175.56/1178.62 c #Conflicts: 603000 | #Constraints: 27275
1175.56/1178.62 c #Conflicts: 604000 | #Constraints: 28275
1175.56/1178.62 c #Conflicts: 605000 | #Constraints: 29275
1175.56/1178.62 c #Conflicts: 606000 | #Constraints: 30275
1175.56/1178.62 c #Conflicts: 607000 | #Constraints: 31275
1175.56/1178.62 c INPROCESSING
1175.56/1178.62 c GARBAGE COLLECT
1175.56/1178.62 c #Conflicts: 608000 | #Constraints: 16864
1175.56/1178.62 c #Conflicts: 609000 | #Constraints: 17864
1175.56/1178.62 c #Conflicts: 610000 | #Constraints: 18864
1175.56/1178.62 c #Conflicts: 611000 | #Constraints: 19864
1175.56/1178.62 c #Conflicts: 612000 | #Constraints: 20864
1175.56/1178.62 c #Conflicts: 613000 | #Constraints: 21864
1175.56/1178.62 c #Conflicts: 614000 | #Constraints: 22864
1175.56/1178.62 c #Conflicts: 615000 | #Constraints: 23864
1175.56/1178.62 c #Conflicts: 616000 | #Constraints: 24864
1175.56/1178.62 c #Conflicts: 617000 | #Constraints: 25864
1175.56/1178.62 c #Conflicts: 618000 | #Constraints: 26864
1175.56/1178.62 c #Conflicts: 619000 | #Constraints: 27864
1175.56/1178.62 c #Conflicts: 620000 | #Constraints: 28864
1175.56/1178.62 c #Conflicts: 621000 | #Constraints: 29864
1175.56/1178.62 c #Conflicts: 622000 | #Constraints: 30864
1175.56/1178.62 c #Conflicts: 623000 | #Constraints: 31864
1175.56/1178.62 c INPROCESSING
1175.56/1178.62 c GARBAGE COLLECT
1175.56/1178.62 c #Conflicts: 624000 | #Constraints: 17268
1175.56/1178.62 c #Conflicts: 625000 | #Constraints: 18268
1175.56/1178.62 c #Conflicts: 626000 | #Constraints: 19268
1175.56/1178.62 c #Conflicts: 627000 | #Constraints: 20268
1175.56/1178.62 c #Conflicts: 628000 | #Constraints: 21268
1175.56/1178.62 c #Conflicts: 629000 | #Constraints: 22268
1175.56/1178.62 c #Conflicts: 630000 | #Constraints: 23268
1175.56/1178.62 c #Conflicts: 631000 | #Constraints: 24268
1175.56/1178.62 c #Conflicts: 632000 | #Constraints: 25268
1175.56/1178.62 c #Conflicts: 633000 | #Constraints: 26268
1175.56/1178.62 c #Conflicts: 634000 | #Constraints: 27268
1175.56/1178.62 c #Conflicts: 635000 | #Constraints: 28268
1175.56/1178.62 c #Conflicts: 636000 | #Constraints: 29268
1175.56/1178.62 c #Conflicts: 637000 | #Constraints: 30268
1175.56/1178.62 c #Conflicts: 638000 | #Constraints: 31268
1175.56/1178.62 c #Conflicts: 639000 | #Constraints: 32268
1175.56/1178.62 c INPROCESSING
1175.56/1178.62 c GARBAGE COLLECT
1175.56/1178.62 c #Conflicts: 640000 | #Constraints: 17461
1175.56/1178.62 c #Conflicts: 641000 | #Constraints: 18461
1175.56/1178.62 c #Conflicts: 642000 | #Constraints: 19461
1175.56/1178.62 c #Conflicts: 643000 | #Constraints: 20461
1175.56/1178.62 c #Conflicts: 644000 | #Constraints: 21461
1175.56/1178.62 c #Conflicts: 645000 | #Constraints: 22461
1175.56/1178.62 c #Conflicts: 646000 | #Constraints: 23461
1175.56/1178.62 c #Conflicts: 647000 | #Constraints: 24461
1175.56/1178.62 c #Conflicts: 648000 | #Constraints: 25461
1175.56/1178.62 c #Conflicts: 649000 | #Constraints: 26461
1175.56/1178.62 c #Conflicts: 650000 | #Constraints: 27461
1175.56/1178.62 c #Conflicts: 651000 | #Constraints: 28461
1175.56/1178.62 c #Conflicts: 652000 | #Constraints: 29461
1175.56/1178.62 c #Conflicts: 653000 | #Constraints: 30461
1175.56/1178.62 c #Conflicts: 654000 | #Constraints: 31461
1175.56/1178.62 c #Conflicts: 655000 | #Constraints: 32461
1175.56/1178.62 c INPROCESSING
1175.56/1178.62 c GARBAGE COLLECT
1175.56/1178.62 c #Conflicts: 656000 | #Constraints: 17469
1175.56/1178.62 c #Conflicts: 657000 | #Constraints: 18469
1175.56/1178.62 c #Conflicts: 658000 | #Constraints: 19469
1175.56/1178.62 c #Conflicts: 659000 | #Constraints: 20469
1175.56/1178.62 c #Conflicts: 660000 | #Constraints: 21469
1175.56/1178.62 c #Conflicts: 661000 | #Constraints: 22469
1175.56/1178.62 c #Conflicts: 662000 | #Constraints: 23469
1359.32/1362.81 c #Conflicts: 663000 | #Constraints: 24469
1359.32/1362.81 c #Conflicts: 664000 | #Constraints: 25469
1359.32/1362.81 c #Conflicts: 665000 | #Constraints: 26469
1359.32/1362.81 c #Conflicts: 666000 | #Constraints: 27469
1359.32/1362.81 c #Conflicts: 667000 | #Constraints: 28469
1359.32/1362.81 c #Conflicts: 668000 | #Constraints: 29469
1359.32/1362.81 c #Conflicts: 669000 | #Constraints: 30469
1359.32/1362.81 c #Conflicts: 670000 | #Constraints: 31469
1359.32/1362.81 c #Conflicts: 671000 | #Constraints: 32469
1359.32/1362.81 c INPROCESSING
1359.32/1362.81 c GARBAGE COLLECT
1359.32/1362.81 c #Conflicts: 672000 | #Constraints: 17270
1359.32/1362.81 c #Conflicts: 673000 | #Constraints: 18270
1359.32/1362.81 c #Conflicts: 674000 | #Constraints: 19270
1359.32/1362.81 c #Conflicts: 675000 | #Constraints: 20270
1359.32/1362.81 c #Conflicts: 676000 | #Constraints: 21270
1359.32/1362.81 c #Conflicts: 677000 | #Constraints: 22270
1359.32/1362.81 c #Conflicts: 678000 | #Constraints: 23270
1359.32/1362.81 c #Conflicts: 679000 | #Constraints: 24270
1359.32/1362.81 c #Conflicts: 680000 | #Constraints: 25270
1359.32/1362.81 c #Conflicts: 681000 | #Constraints: 26270
1359.32/1362.81 c #Conflicts: 682000 | #Constraints: 27270
1359.32/1362.81 c #Conflicts: 683000 | #Constraints: 28270
1359.32/1362.81 c #Conflicts: 684000 | #Constraints: 29270
1359.32/1362.81 c #Conflicts: 685000 | #Constraints: 30270
1359.32/1362.81 c #Conflicts: 686000 | #Constraints: 31270
1359.32/1362.81 c #Conflicts: 687000 | #Constraints: 32270
1359.32/1362.81 c #Conflicts: 688000 | #Constraints: 33270
1359.32/1362.81 c INPROCESSING
1359.32/1362.81 c GARBAGE COLLECT
1359.32/1362.81 c #Conflicts: 689000 | #Constraints: 17883
1359.32/1362.81 c #Conflicts: 690000 | #Constraints: 18883
1359.32/1362.81 c #Conflicts: 691000 | #Constraints: 19883
1359.32/1362.81 c #Conflicts: 692000 | #Constraints: 20883
1359.32/1362.81 c #Conflicts: 693000 | #Constraints: 21883
1359.32/1362.81 c #Conflicts: 694000 | #Constraints: 22883
1359.32/1362.81 c #Conflicts: 695000 | #Constraints: 23883
1359.32/1362.81 c #Conflicts: 696000 | #Constraints: 24883
1359.32/1362.81 c #Conflicts: 697000 | #Constraints: 25883
1359.32/1362.81 c #Conflicts: 698000 | #Constraints: 26883
1359.32/1362.81 c #Conflicts: 699000 | #Constraints: 27883
1359.32/1362.81 c #Conflicts: 700000 | #Constraints: 28883
1359.32/1362.81 c #Conflicts: 701000 | #Constraints: 29883
1359.32/1362.81 c #Conflicts: 702000 | #Constraints: 30883
1359.32/1362.81 c #Conflicts: 703000 | #Constraints: 31883
1359.32/1362.81 c #Conflicts: 704000 | #Constraints: 32883
1359.32/1362.81 c #Conflicts: 705000 | #Constraints: 33883
1359.32/1362.81 c INPROCESSING
1359.32/1362.81 c GARBAGE COLLECT
1359.32/1362.81 c #Conflicts: 706000 | #Constraints: 18276
1359.32/1362.81 c #Conflicts: 707000 | #Constraints: 19276
1359.32/1362.81 c #Conflicts: 708000 | #Constraints: 20276
1359.32/1362.81 c #Conflicts: 709000 | #Constraints: 21276
1359.32/1362.81 c #Conflicts: 710000 | #Constraints: 22276
1359.32/1362.81 c #Conflicts: 711000 | #Constraints: 23276
1359.32/1362.81 c #Conflicts: 712000 | #Constraints: 24276
1359.32/1362.81 c #Conflicts: 713000 | #Constraints: 25276
1359.32/1362.81 c #Conflicts: 714000 | #Constraints: 26276
1359.32/1362.81 c #Conflicts: 715000 | #Constraints: 27276
1359.32/1362.81 c #Conflicts: 716000 | #Constraints: 28276
1359.32/1362.81 c #Conflicts: 717000 | #Constraints: 29276
1359.32/1362.81 c #Conflicts: 718000 | #Constraints: 30276
1359.32/1362.81 c #Conflicts: 719000 | #Constraints: 31276
1359.32/1362.81 c #Conflicts: 720000 | #Constraints: 32276
1359.32/1362.81 c #Conflicts: 721000 | #Constraints: 33276
1359.32/1362.81 c #Conflicts: 722000 | #Constraints: 34276
1359.32/1362.81 c INPROCESSING
1359.32/1362.81 c GARBAGE COLLECT
1359.32/1362.81 c #Conflicts: 723000 | #Constraints: 18470
1359.32/1362.81 c #Conflicts: 724000 | #Constraints: 19470
1359.32/1362.81 c #Conflicts: 725000 | #Constraints: 20470
1359.32/1362.81 c #Conflicts: 726000 | #Constraints: 21470
1359.32/1362.81 c #Conflicts: 727000 | #Constraints: 22470
1359.32/1362.81 c #Conflicts: 728000 | #Constraints: 23470
1359.32/1362.81 c #Conflicts: 729000 | #Constraints: 24470
1359.32/1362.81 c #Conflicts: 730000 | #Constraints: 25470
1359.32/1362.81 c #Conflicts: 731000 | #Constraints: 26470
1359.32/1362.81 c #Conflicts: 732000 | #Constraints: 27470
1359.32/1362.81 c #Conflicts: 733000 | #Constraints: 28470
1359.32/1362.81 c #Conflicts: 734000 | #Constraints: 29470
1359.32/1362.81 c #Conflicts: 735000 | #Constraints: 30470
1359.32/1362.81 c #Conflicts: 736000 | #Constraints: 31470
1359.32/1362.81 c #Conflicts: 737000 | #Constraints: 32470
1359.32/1362.81 c #Conflicts: 738000 | #Constraints: 33470
1561.15/1565.19 c #Conflicts: 739000 | #Constraints: 34470
1561.15/1565.19 c INPROCESSING
1561.15/1565.19 c GARBAGE COLLECT
1561.15/1565.19 c #Conflicts: 740000 | #Constraints: 18464
1561.15/1565.19 c #Conflicts: 741000 | #Constraints: 19464
1561.15/1565.19 c #Conflicts: 742000 | #Constraints: 20464
1561.15/1565.19 c #Conflicts: 743000 | #Constraints: 21464
1561.15/1565.19 c #Conflicts: 744000 | #Constraints: 22464
1561.15/1565.19 c #Conflicts: 745000 | #Constraints: 23464
1561.15/1565.19 c #Conflicts: 746000 | #Constraints: 24464
1561.15/1565.19 c #Conflicts: 747000 | #Constraints: 25464
1561.15/1565.19 c #Conflicts: 748000 | #Constraints: 26464
1561.15/1565.19 c #Conflicts: 749000 | #Constraints: 27464
1561.15/1565.19 c #Conflicts: 750000 | #Constraints: 28464
1561.15/1565.19 c #Conflicts: 751000 | #Constraints: 29464
1561.15/1565.19 c #Conflicts: 752000 | #Constraints: 30464
1561.15/1565.19 c #Conflicts: 753000 | #Constraints: 31464
1561.15/1565.19 c #Conflicts: 754000 | #Constraints: 32464
1561.15/1565.19 c #Conflicts: 755000 | #Constraints: 33464
1561.15/1565.19 c #Conflicts: 756000 | #Constraints: 34464
1561.15/1565.19 c INPROCESSING
1561.15/1565.19 c GARBAGE COLLECT
1561.15/1565.19 c #Conflicts: 757000 | #Constraints: 18269
1561.15/1565.19 c #Conflicts: 758000 | #Constraints: 19269
1561.15/1565.19 c #Conflicts: 759000 | #Constraints: 20269
1561.15/1565.19 c #Conflicts: 760000 | #Constraints: 21269
1561.15/1565.19 c #Conflicts: 761000 | #Constraints: 22269
1561.15/1565.19 c #Conflicts: 762000 | #Constraints: 23269
1561.15/1565.19 c #Conflicts: 763000 | #Constraints: 24269
1561.15/1565.19 c #Conflicts: 764000 | #Constraints: 25269
1561.15/1565.19 c #Conflicts: 765000 | #Constraints: 26269
1561.15/1565.19 c #Conflicts: 766000 | #Constraints: 27269
1561.15/1565.19 c #Conflicts: 767000 | #Constraints: 28269
1561.15/1565.19 c #Conflicts: 768000 | #Constraints: 29269
1561.15/1565.19 c #Conflicts: 769000 | #Constraints: 30269
1561.15/1565.19 c #Conflicts: 770000 | #Constraints: 31269
1561.15/1565.19 c #Conflicts: 771000 | #Constraints: 32269
1561.15/1565.19 c #Conflicts: 772000 | #Constraints: 33269
1561.15/1565.19 c #Conflicts: 773000 | #Constraints: 34269
1561.15/1565.19 c #Conflicts: 774000 | #Constraints: 35269
1561.15/1565.19 c INPROCESSING
1561.15/1565.19 c GARBAGE COLLECT
1561.15/1565.19 c #Conflicts: 775000 | #Constraints: 18868
1561.15/1565.19 c #Conflicts: 776000 | #Constraints: 19868
1561.15/1565.19 c #Conflicts: 777000 | #Constraints: 20868
1561.15/1565.19 c #Conflicts: 778000 | #Constraints: 21868
1561.15/1565.19 c #Conflicts: 779000 | #Constraints: 22868
1561.15/1565.19 c #Conflicts: 780000 | #Constraints: 23868
1561.15/1565.19 c #Conflicts: 781000 | #Constraints: 24868
1561.15/1565.19 c #Conflicts: 782000 | #Constraints: 25868
1561.15/1565.19 c #Conflicts: 783000 | #Constraints: 26868
1561.15/1565.19 c #Conflicts: 784000 | #Constraints: 27868
1561.15/1565.19 c #Conflicts: 785000 | #Constraints: 28868
1561.15/1565.19 c #Conflicts: 786000 | #Constraints: 29868
1561.15/1565.19 c #Conflicts: 787000 | #Constraints: 30868
1561.15/1565.19 c #Conflicts: 788000 | #Constraints: 31868
1561.15/1565.19 c #Conflicts: 789000 | #Constraints: 32868
1561.15/1565.19 c #Conflicts: 790000 | #Constraints: 33868
1561.15/1565.19 c #Conflicts: 791000 | #Constraints: 34868
1561.15/1565.19 c #Conflicts: 792000 | #Constraints: 35868
1561.15/1565.19 c INPROCESSING
1561.15/1565.19 c GARBAGE COLLECT
1561.15/1565.19 c #Conflicts: 793000 | #Constraints: 19261
1561.15/1565.19 c #Conflicts: 794000 | #Constraints: 20261
1561.15/1565.19 c #Conflicts: 795000 | #Constraints: 21261
1561.15/1565.19 c #Conflicts: 796000 | #Constraints: 22261
1561.15/1565.19 c #Conflicts: 797000 | #Constraints: 23261
1561.15/1565.19 c #Conflicts: 798000 | #Constraints: 24261
1561.15/1565.19 c #Conflicts: 799000 | #Constraints: 25261
1561.15/1565.19 c #Conflicts: 800000 | #Constraints: 26261
1561.15/1565.19 c #Conflicts: 801000 | #Constraints: 27261
1561.15/1565.19 c #Conflicts: 802000 | #Constraints: 28261
1561.15/1565.19 c #Conflicts: 803000 | #Constraints: 29261
1561.15/1565.19 c #Conflicts: 804000 | #Constraints: 30261
1561.15/1565.19 c #Conflicts: 805000 | #Constraints: 31261
1561.15/1565.19 c #Conflicts: 806000 | #Constraints: 32261
1561.15/1565.19 c #Conflicts: 807000 | #Constraints: 33261
1561.15/1565.19 c #Conflicts: 808000 | #Constraints: 34261
1561.15/1565.19 c #Conflicts: 809000 | #Constraints: 35261
1561.15/1565.19 c #Conflicts: 810000 | #Constraints: 36261
1561.15/1565.19 c INPROCESSING
1561.15/1565.19 c GARBAGE COLLECT
1561.15/1565.19 c #Conflicts: 811000 | #Constraints: 19457
1561.15/1565.19 c #Conflicts: 812000 | #Constraints: 20457
1561.15/1565.19 c #Conflicts: 813000 | #Constraints: 21457
1561.15/1565.19 c #Conflicts: 814000 | #Constraints: 22457
1767.89/1772.42 c #Conflicts: 815000 | #Constraints: 23457
1767.89/1772.42 c #Conflicts: 816000 | #Constraints: 24457
1767.89/1772.42 c #Conflicts: 817000 | #Constraints: 25457
1767.89/1772.42 c #Conflicts: 818000 | #Constraints: 26457
1767.89/1772.42 c #Conflicts: 819000 | #Constraints: 27457
1767.89/1772.42 c #Conflicts: 820000 | #Constraints: 28457
1767.89/1772.42 c #Conflicts: 821000 | #Constraints: 29457
1767.89/1772.42 c #Conflicts: 822000 | #Constraints: 30457
1767.89/1772.42 c #Conflicts: 823000 | #Constraints: 31457
1767.89/1772.42 c #Conflicts: 824000 | #Constraints: 32457
1767.89/1772.42 c #Conflicts: 825000 | #Constraints: 33457
1767.89/1772.42 c #Conflicts: 826000 | #Constraints: 34457
1767.89/1772.42 c #Conflicts: 827000 | #Constraints: 35457
1767.89/1772.42 c #Conflicts: 828000 | #Constraints: 36457
1767.89/1772.42 c INPROCESSING
1767.89/1772.42 c GARBAGE COLLECT
1767.89/1772.42 c #Conflicts: 829000 | #Constraints: 19458
1767.89/1772.42 c #Conflicts: 830000 | #Constraints: 20458
1767.89/1772.42 c #Conflicts: 831000 | #Constraints: 21458
1767.89/1772.42 c #Conflicts: 832000 | #Constraints: 22458
1767.89/1772.42 c #Conflicts: 833000 | #Constraints: 23458
1767.89/1772.42 c #Conflicts: 834000 | #Constraints: 24458
1767.89/1772.42 c #Conflicts: 835000 | #Constraints: 25458
1767.89/1772.42 c #Conflicts: 836000 | #Constraints: 26458
1767.89/1772.42 c #Conflicts: 837000 | #Constraints: 27458
1767.89/1772.42 c #Conflicts: 838000 | #Constraints: 28458
1767.89/1772.42 c #Conflicts: 839000 | #Constraints: 29458
1767.89/1772.42 c #Conflicts: 840000 | #Constraints: 30458
1767.89/1772.42 c #Conflicts: 841000 | #Constraints: 31458
1767.89/1772.42 c #Conflicts: 842000 | #Constraints: 32458
1767.89/1772.42 c #Conflicts: 843000 | #Constraints: 33458
1767.89/1772.42 c #Conflicts: 844000 | #Constraints: 34458
1767.89/1772.42 c #Conflicts: 845000 | #Constraints: 35458
1767.89/1772.42 c #Conflicts: 846000 | #Constraints: 36458
1767.89/1772.42 c INPROCESSING
1767.89/1772.42 c GARBAGE COLLECT
1767.89/1772.42 c #Conflicts: 847000 | #Constraints: 19269
1767.89/1772.42 c #Conflicts: 848000 | #Constraints: 20269
1767.89/1772.42 c #Conflicts: 849000 | #Constraints: 21269
1767.89/1772.42 c #Conflicts: 850000 | #Constraints: 22269
1767.89/1772.42 c #Conflicts: 851000 | #Constraints: 23269
1767.89/1772.42 c #Conflicts: 852000 | #Constraints: 24269
1767.89/1772.42 c #Conflicts: 853000 | #Constraints: 25269
1767.89/1772.42 c #Conflicts: 854000 | #Constraints: 26269
1767.89/1772.42 c #Conflicts: 855000 | #Constraints: 27269
1767.89/1772.42 c #Conflicts: 856000 | #Constraints: 28269
1767.89/1772.42 c #Conflicts: 857000 | #Constraints: 29269
1767.89/1772.42 c #Conflicts: 858000 | #Constraints: 30269
1767.89/1772.42 c #Conflicts: 859000 | #Constraints: 31269
1767.89/1772.42 c #Conflicts: 860000 | #Constraints: 32269
1767.89/1772.42 c #Conflicts: 861000 | #Constraints: 33269
1767.89/1772.42 c #Conflicts: 862000 | #Constraints: 34269
1767.89/1772.42 c #Conflicts: 863000 | #Constraints: 35269
1767.89/1772.42 c #Conflicts: 864000 | #Constraints: 36269
1767.89/1772.42 c #Conflicts: 865000 | #Constraints: 37269
1767.89/1772.42 c INPROCESSING
1767.89/1772.42 c GARBAGE COLLECT
1767.89/1772.42 c #Conflicts: 866000 | #Constraints: 19867
1767.89/1772.42 c #Conflicts: 867000 | #Constraints: 20867
1767.89/1772.42 c #Conflicts: 868000 | #Constraints: 21867
1767.89/1772.42 c #Conflicts: 869000 | #Constraints: 22867
1767.89/1772.42 c #Conflicts: 870000 | #Constraints: 23867
1767.89/1772.42 c #Conflicts: 871000 | #Constraints: 24867
1767.89/1772.42 c #Conflicts: 872000 | #Constraints: 25867
1767.89/1772.42 c #Conflicts: 873000 | #Constraints: 26867
1767.89/1772.42 c #Conflicts: 874000 | #Constraints: 27867
1767.89/1772.42 c #Conflicts: 875000 | #Constraints: 28867
1767.89/1772.42 c #Conflicts: 876000 | #Constraints: 29867
1767.89/1772.42 c #Conflicts: 877000 | #Constraints: 30867
1767.89/1772.42 c #Conflicts: 878000 | #Constraints: 31867
1767.89/1772.42 c #Conflicts: 879000 | #Constraints: 32867
1767.89/1772.42 c #Conflicts: 880000 | #Constraints: 33867
1767.89/1772.42 c #Conflicts: 881000 | #Constraints: 34867
1767.89/1772.42 c #Conflicts: 882000 | #Constraints: 35867
1767.89/1772.42 c #Conflicts: 883000 | #Constraints: 36867
1767.89/1772.42 c #Conflicts: 884000 | #Constraints: 37867
1767.89/1772.42 c INPROCESSING
1767.89/1772.42 c GARBAGE COLLECT
1767.89/1772.42 c #Conflicts: 885000 | #Constraints: 20276
1767.89/1772.42 c #Conflicts: 886000 | #Constraints: 21276
1767.89/1772.42 c #Conflicts: 887000 | #Constraints: 22276
1767.89/1772.42 c #Conflicts: 888000 | #Constraints: 23276
1767.89/1772.42 c #Conflicts: 889000 | #Constraints: 24276
1767.89/1772.42 c #Conflicts: 890000 | #Constraints: 25276
2008.49/2013.66 c #Conflicts: 891000 | #Constraints: 26276
2008.49/2013.66 c #Conflicts: 892000 | #Constraints: 27276
2008.49/2013.66 c #Conflicts: 893000 | #Constraints: 28276
2008.49/2013.66 c #Conflicts: 894000 | #Constraints: 29276
2008.49/2013.66 c #Conflicts: 895000 | #Constraints: 30276
2008.49/2013.66 c #Conflicts: 896000 | #Constraints: 31276
2008.49/2013.66 c #Conflicts: 897000 | #Constraints: 32276
2008.49/2013.66 c #Conflicts: 898000 | #Constraints: 33276
2008.49/2013.66 c #Conflicts: 899000 | #Constraints: 34276
2008.49/2013.66 c #Conflicts: 900000 | #Constraints: 35276
2008.49/2013.66 c #Conflicts: 901000 | #Constraints: 36276
2008.49/2013.66 c #Conflicts: 902000 | #Constraints: 37276
2008.49/2013.66 c #Conflicts: 903000 | #Constraints: 38276
2008.49/2013.66 c INPROCESSING
2008.49/2013.66 c GARBAGE COLLECT
2008.49/2013.66 c #Conflicts: 904000 | #Constraints: 20465
2008.49/2013.66 c #Conflicts: 905000 | #Constraints: 21465
2008.49/2013.66 c #Conflicts: 906000 | #Constraints: 22465
2008.49/2013.66 c #Conflicts: 907000 | #Constraints: 23465
2008.49/2013.66 c #Conflicts: 908000 | #Constraints: 24465
2008.49/2013.66 c #Conflicts: 909000 | #Constraints: 25465
2008.49/2013.66 c #Conflicts: 910000 | #Constraints: 26465
2008.49/2013.66 c #Conflicts: 911000 | #Constraints: 27465
2008.49/2013.66 c #Conflicts: 912000 | #Constraints: 28465
2008.49/2013.66 c #Conflicts: 913000 | #Constraints: 29465
2008.49/2013.66 c #Conflicts: 914000 | #Constraints: 30465
2008.49/2013.66 c #Conflicts: 915000 | #Constraints: 31465
2008.49/2013.66 c #Conflicts: 916000 | #Constraints: 32465
2008.49/2013.66 c #Conflicts: 917000 | #Constraints: 33465
2008.49/2013.66 c #Conflicts: 918000 | #Constraints: 34465
2008.49/2013.66 c #Conflicts: 919000 | #Constraints: 35465
2008.49/2013.66 c #Conflicts: 920000 | #Constraints: 36465
2008.49/2013.66 c #Conflicts: 921000 | #Constraints: 37465
2008.49/2013.66 c #Conflicts: 922000 | #Constraints: 38465
2008.49/2013.66 c INPROCESSING
2008.49/2013.66 c GARBAGE COLLECT
2008.49/2013.66 c #Conflicts: 923000 | #Constraints: 20467
2008.49/2013.66 c #Conflicts: 924000 | #Constraints: 21467
2008.49/2013.66 c #Conflicts: 925000 | #Constraints: 22467
2008.49/2013.66 c #Conflicts: 926000 | #Constraints: 23467
2008.49/2013.66 c #Conflicts: 927000 | #Constraints: 24467
2008.49/2013.66 c #Conflicts: 928000 | #Constraints: 25467
2008.49/2013.66 c #Conflicts: 929000 | #Constraints: 26467
2008.49/2013.66 c #Conflicts: 930000 | #Constraints: 27467
2008.49/2013.66 c #Conflicts: 931000 | #Constraints: 28467
2008.49/2013.66 c #Conflicts: 932000 | #Constraints: 29467
2008.49/2013.66 c #Conflicts: 933000 | #Constraints: 30467
2008.49/2013.66 c #Conflicts: 934000 | #Constraints: 31467
2008.49/2013.66 c #Conflicts: 935000 | #Constraints: 32467
2008.49/2013.66 c #Conflicts: 936000 | #Constraints: 33467
2008.49/2013.66 c #Conflicts: 937000 | #Constraints: 34467
2008.49/2013.66 c #Conflicts: 938000 | #Constraints: 35467
2008.49/2013.66 c #Conflicts: 939000 | #Constraints: 36467
2008.49/2013.66 c #Conflicts: 940000 | #Constraints: 37467
2008.49/2013.66 c #Conflicts: 941000 | #Constraints: 38467
2008.49/2013.66 c INPROCESSING
2008.49/2013.66 c GARBAGE COLLECT
2008.49/2013.66 c #Conflicts: 942000 | #Constraints: 20273
2008.49/2013.66 c #Conflicts: 943000 | #Constraints: 21273
2008.49/2013.66 c #Conflicts: 944000 | #Constraints: 22273
2008.49/2013.66 c #Conflicts: 945000 | #Constraints: 23273
2008.49/2013.66 c #Conflicts: 946000 | #Constraints: 24273
2008.49/2013.66 c #Conflicts: 947000 | #Constraints: 25273
2008.49/2013.66 c #Conflicts: 948000 | #Constraints: 26273
2008.49/2013.66 c #Conflicts: 949000 | #Constraints: 27273
2008.49/2013.66 c #Conflicts: 950000 | #Constraints: 28273
2008.49/2013.66 c #Conflicts: 951000 | #Constraints: 29273
2008.49/2013.66 c #Conflicts: 952000 | #Constraints: 30273
2008.49/2013.66 c #Conflicts: 953000 | #Constraints: 31273
2008.49/2013.66 c #Conflicts: 954000 | #Constraints: 32273
2008.49/2013.66 c #Conflicts: 955000 | #Constraints: 33273
2008.49/2013.66 c #Conflicts: 956000 | #Constraints: 34273
2008.49/2013.66 c #Conflicts: 957000 | #Constraints: 35273
2008.49/2013.66 c #Conflicts: 958000 | #Constraints: 36273
2008.49/2013.66 c #Conflicts: 959000 | #Constraints: 37273
2008.49/2013.66 c #Conflicts: 960000 | #Constraints: 38273
2008.49/2013.66 c #Conflicts: 961000 | #Constraints: 39273
2008.49/2013.66 c INPROCESSING
2008.49/2013.66 c GARBAGE COLLECT
2008.49/2013.66 c #Conflicts: 962000 | #Constraints: 20865
2008.49/2013.66 c #Conflicts: 963000 | #Constraints: 21865
2008.49/2013.66 c #Conflicts: 964000 | #Constraints: 22865
2008.49/2013.66 c #Conflicts: 965000 | #Constraints: 23865
2008.49/2013.66 c #Conflicts: 966000 | #Constraints: 24865
2271.23/2277.04 c #Conflicts: 967000 | #Constraints: 25865
2271.23/2277.04 c #Conflicts: 968000 | #Constraints: 26865
2271.23/2277.04 c #Conflicts: 969000 | #Constraints: 27865
2271.23/2277.04 c #Conflicts: 970000 | #Constraints: 28865
2271.23/2277.04 c #Conflicts: 971000 | #Constraints: 29865
2271.23/2277.04 c #Conflicts: 972000 | #Constraints: 30865
2271.23/2277.04 c #Conflicts: 973000 | #Constraints: 31865
2271.23/2277.04 c #Conflicts: 974000 | #Constraints: 32865
2271.23/2277.04 c #Conflicts: 975000 | #Constraints: 33865
2271.23/2277.04 c #Conflicts: 976000 | #Constraints: 34865
2271.23/2277.04 c #Conflicts: 977000 | #Constraints: 35865
2271.23/2277.04 c #Conflicts: 978000 | #Constraints: 36865
2271.23/2277.04 c #Conflicts: 979000 | #Constraints: 37865
2271.23/2277.04 c #Conflicts: 980000 | #Constraints: 38865
2271.23/2277.04 c #Conflicts: 981000 | #Constraints: 39865
2271.23/2277.04 c INPROCESSING
2271.23/2277.04 c GARBAGE COLLECT
2271.23/2277.04 c #Conflicts: 982000 | #Constraints: 21269
2271.23/2277.04 c #Conflicts: 983000 | #Constraints: 22269
2271.23/2277.04 c #Conflicts: 984000 | #Constraints: 23269
2271.23/2277.04 c #Conflicts: 985000 | #Constraints: 24269
2271.23/2277.04 c #Conflicts: 986000 | #Constraints: 25269
2271.23/2277.04 c #Conflicts: 987000 | #Constraints: 26269
2271.23/2277.04 c #Conflicts: 988000 | #Constraints: 27269
2271.23/2277.04 c #Conflicts: 989000 | #Constraints: 28269
2271.23/2277.04 c #Conflicts: 990000 | #Constraints: 29269
2271.23/2277.04 c #Conflicts: 991000 | #Constraints: 30269
2271.23/2277.04 c #Conflicts: 992000 | #Constraints: 31269
2271.23/2277.04 c #Conflicts: 993000 | #Constraints: 32269
2271.23/2277.04 c #Conflicts: 994000 | #Constraints: 33269
2271.23/2277.04 c #Conflicts: 995000 | #Constraints: 34269
2271.23/2277.04 c #Conflicts: 996000 | #Constraints: 35269
2271.23/2277.04 c #Conflicts: 997000 | #Constraints: 36269
2271.23/2277.04 c #Conflicts: 998000 | #Constraints: 37269
2271.23/2277.04 c #Conflicts: 999000 | #Constraints: 38269
2271.23/2277.04 c #Conflicts: 1000000 | #Constraints: 39269
2271.23/2277.04 c #Conflicts: 1001000 | #Constraints: 40269
2271.23/2277.04 c INPROCESSING
2271.23/2277.04 c GARBAGE COLLECT
2271.23/2277.04 c #Conflicts: 1002000 | #Constraints: 21476
2271.23/2277.04 c #Conflicts: 1003000 | #Constraints: 22476
2271.23/2277.04 c #Conflicts: 1004000 | #Constraints: 23476
2271.23/2277.04 c #Conflicts: 1005000 | #Constraints: 24476
2271.23/2277.04 c #Conflicts: 1006000 | #Constraints: 25476
2271.23/2277.04 c #Conflicts: 1007000 | #Constraints: 26476
2271.23/2277.04 c #Conflicts: 1008000 | #Constraints: 27476
2271.23/2277.04 c #Conflicts: 1009000 | #Constraints: 28476
2271.23/2277.04 c #Conflicts: 1010000 | #Constraints: 29476
2271.23/2277.04 c #Conflicts: 1011000 | #Constraints: 30476
2271.23/2277.04 c #Conflicts: 1012000 | #Constraints: 31476
2271.23/2277.04 c #Conflicts: 1013000 | #Constraints: 32476
2271.23/2277.04 c #Conflicts: 1014000 | #Constraints: 33476
2271.23/2277.04 c #Conflicts: 1015000 | #Constraints: 34476
2271.23/2277.04 c #Conflicts: 1016000 | #Constraints: 35476
2271.23/2277.04 c #Conflicts: 1017000 | #Constraints: 36476
2271.23/2277.04 c #Conflicts: 1018000 | #Constraints: 37476
2271.23/2277.04 c #Conflicts: 1019000 | #Constraints: 38476
2271.23/2277.04 c #Conflicts: 1020000 | #Constraints: 39476
2271.23/2277.04 c #Conflicts: 1021000 | #Constraints: 40476
2271.23/2277.04 c INPROCESSING
2271.23/2277.04 c GARBAGE COLLECT
2271.23/2277.04 c #Conflicts: 1022000 | #Constraints: 21468
2271.23/2277.04 c #Conflicts: 1023000 | #Constraints: 22468
2271.23/2277.04 c #Conflicts: 1024000 | #Constraints: 23468
2271.23/2277.04 c #Conflicts: 1025000 | #Constraints: 24468
2271.23/2277.04 c #Conflicts: 1026000 | #Constraints: 25468
2271.23/2277.04 c #Conflicts: 1027000 | #Constraints: 26468
2271.23/2277.04 c #Conflicts: 1028000 | #Constraints: 27468
2271.23/2277.04 c #Conflicts: 1029000 | #Constraints: 28468
2271.23/2277.04 c #Conflicts: 1030000 | #Constraints: 29468
2271.23/2277.04 c #Conflicts: 1031000 | #Constraints: 30468
2271.23/2277.04 c #Conflicts: 1032000 | #Constraints: 31468
2271.23/2277.04 c #Conflicts: 1033000 | #Constraints: 32468
2271.23/2277.04 c #Conflicts: 1034000 | #Constraints: 33468
2271.23/2277.04 c #Conflicts: 1035000 | #Constraints: 34468
2271.23/2277.04 c #Conflicts: 1036000 | #Constraints: 35468
2271.23/2277.04 c #Conflicts: 1037000 | #Constraints: 36468
2271.23/2277.04 c #Conflicts: 1038000 | #Constraints: 37468
2271.23/2277.04 c #Conflicts: 1039000 | #Constraints: 38468
2271.23/2277.04 c #Conflicts: 1040000 | #Constraints: 39468
2271.23/2277.04 c #Conflicts: 1041000 | #Constraints: 40468
2271.23/2277.04 c INPROCESSING
2271.23/2277.04 c GARBAGE COLLECT
2271.23/2277.04 c #Conflicts: 1042000 | #Constraints: 21262
2557.31/2563.80 c #Conflicts: 1043000 | #Constraints: 22262
2557.31/2563.80 c #Conflicts: 1044000 | #Constraints: 23262
2557.31/2563.80 c #Conflicts: 1045000 | #Constraints: 24262
2557.31/2563.80 c #Conflicts: 1046000 | #Constraints: 25262
2557.31/2563.80 c #Conflicts: 1047000 | #Constraints: 26262
2557.31/2563.80 c #Conflicts: 1048000 | #Constraints: 27262
2557.31/2563.80 c #Conflicts: 1049000 | #Constraints: 28262
2557.31/2563.80 c #Conflicts: 1050000 | #Constraints: 29262
2557.31/2563.80 c #Conflicts: 1051000 | #Constraints: 30262
2557.31/2563.80 c #Conflicts: 1052000 | #Constraints: 31262
2557.31/2563.80 c #Conflicts: 1053000 | #Constraints: 32262
2557.31/2563.80 c #Conflicts: 1054000 | #Constraints: 33262
2557.31/2563.80 c #Conflicts: 1055000 | #Constraints: 34262
2557.31/2563.80 c #Conflicts: 1056000 | #Constraints: 35262
2557.31/2563.80 c #Conflicts: 1057000 | #Constraints: 36262
2557.31/2563.80 c #Conflicts: 1058000 | #Constraints: 37262
2557.31/2563.80 c #Conflicts: 1059000 | #Constraints: 38262
2557.31/2563.80 c #Conflicts: 1060000 | #Constraints: 39262
2557.31/2563.80 c #Conflicts: 1061000 | #Constraints: 40262
2557.31/2563.80 c #Conflicts: 1062000 | #Constraints: 41262
2557.31/2563.80 c INPROCESSING
2557.31/2563.80 c GARBAGE COLLECT
2557.31/2563.80 c #Conflicts: 1063000 | #Constraints: 21877
2557.31/2563.80 c #Conflicts: 1064000 | #Constraints: 22877
2557.31/2563.80 c #Conflicts: 1065000 | #Constraints: 23877
2557.31/2563.80 c #Conflicts: 1066000 | #Constraints: 24877
2557.31/2563.80 c #Conflicts: 1067000 | #Constraints: 25877
2557.31/2563.80 c #Conflicts: 1068000 | #Constraints: 26877
2557.31/2563.80 c #Conflicts: 1069000 | #Constraints: 27877
2557.31/2563.80 c #Conflicts: 1070000 | #Constraints: 28877
2557.31/2563.80 c #Conflicts: 1071000 | #Constraints: 29877
2557.31/2563.80 c #Conflicts: 1072000 | #Constraints: 30877
2557.31/2563.80 c #Conflicts: 1073000 | #Constraints: 31877
2557.31/2563.80 c #Conflicts: 1074000 | #Constraints: 32877
2557.31/2563.80 c #Conflicts: 1075000 | #Constraints: 33877
2557.31/2563.80 c #Conflicts: 1076000 | #Constraints: 34877
2557.31/2563.80 c #Conflicts: 1077000 | #Constraints: 35877
2557.31/2563.80 c #Conflicts: 1078000 | #Constraints: 36877
2557.31/2563.80 c #Conflicts: 1079000 | #Constraints: 37877
2557.31/2563.80 c #Conflicts: 1080000 | #Constraints: 38877
2557.31/2563.80 c #Conflicts: 1081000 | #Constraints: 39877
2557.31/2563.80 c #Conflicts: 1082000 | #Constraints: 40877
2557.31/2563.80 c #Conflicts: 1083000 | #Constraints: 41877
2557.31/2563.80 c INPROCESSING
2557.31/2563.80 c GARBAGE COLLECT
2557.31/2563.80 c #Conflicts: 1084000 | #Constraints: 22265
2557.31/2563.80 c #Conflicts: 1085000 | #Constraints: 23265
2557.31/2563.80 c #Conflicts: 1086000 | #Constraints: 24265
2557.31/2563.80 c #Conflicts: 1087000 | #Constraints: 25265
2557.31/2563.80 c #Conflicts: 1088000 | #Constraints: 26265
2557.31/2563.80 c #Conflicts: 1089000 | #Constraints: 27265
2557.31/2563.80 c #Conflicts: 1090000 | #Constraints: 28265
2557.31/2563.80 c #Conflicts: 1091000 | #Constraints: 29265
2557.31/2563.80 c #Conflicts: 1092000 | #Constraints: 30265
2557.31/2563.80 c #Conflicts: 1093000 | #Constraints: 31265
2557.31/2563.80 c #Conflicts: 1094000 | #Constraints: 32265
2557.31/2563.80 c #Conflicts: 1095000 | #Constraints: 33265
2557.31/2563.80 c #Conflicts: 1096000 | #Constraints: 34265
2557.31/2563.80 c #Conflicts: 1097000 | #Constraints: 35265
2557.31/2563.80 c #Conflicts: 1098000 | #Constraints: 36265
2557.31/2563.80 c #Conflicts: 1099000 | #Constraints: 37265
2557.31/2563.80 c #Conflicts: 1100000 | #Constraints: 38265
2557.31/2563.80 c #Conflicts: 1101000 | #Constraints: 39265
2557.31/2563.80 c #Conflicts: 1102000 | #Constraints: 40265
2557.31/2563.80 c #Conflicts: 1103000 | #Constraints: 41265
2557.31/2563.80 c #Conflicts: 1104000 | #Constraints: 42265
2557.31/2563.80 c INPROCESSING
2557.31/2563.80 c GARBAGE COLLECT
2557.31/2563.80 c #Conflicts: 1105000 | #Constraints: 22465
2557.31/2563.80 c #Conflicts: 1106000 | #Constraints: 23465
2557.31/2563.80 c #Conflicts: 1107000 | #Constraints: 24465
2557.31/2563.80 c #Conflicts: 1108000 | #Constraints: 25465
2557.31/2563.80 c #Conflicts: 1109000 | #Constraints: 26465
2557.31/2563.80 c #Conflicts: 1110000 | #Constraints: 27465
2557.31/2563.80 c #Conflicts: 1111000 | #Constraints: 28465
2557.31/2563.80 c #Conflicts: 1112000 | #Constraints: 29465
2557.31/2563.80 c #Conflicts: 1113000 | #Constraints: 30465
2557.31/2563.80 c #Conflicts: 1114000 | #Constraints: 31465
2557.31/2563.80 c #Conflicts: 1115000 | #Constraints: 32465
2557.31/2563.80 c #Conflicts: 1116000 | #Constraints: 33465
2557.31/2563.80 c #Conflicts: 1117000 | #Constraints: 34465
2557.31/2563.80 c #Conflicts: 1118000 | #Constraints: 35465
2557.31/2563.80 c #Conflicts: 1119000 | #Constraints: 36465
2808.18/2815.34 c #Conflicts: 1120000 | #Constraints: 37465
2808.18/2815.34 c #Conflicts: 1121000 | #Constraints: 38465
2808.18/2815.34 c #Conflicts: 1122000 | #Constraints: 39465
2808.18/2815.34 c #Conflicts: 1123000 | #Constraints: 40465
2808.18/2815.34 c #Conflicts: 1124000 | #Constraints: 41465
2808.18/2815.34 c #Conflicts: 1125000 | #Constraints: 42465
2808.18/2815.34 c INPROCESSING
2808.18/2815.34 c GARBAGE COLLECT
2808.18/2815.34 c #Conflicts: 1126000 | #Constraints: 22487
2808.18/2815.34 c #Conflicts: 1127000 | #Constraints: 23487
2808.18/2815.34 c #Conflicts: 1128000 | #Constraints: 24487
2808.18/2815.34 c #Conflicts: 1129000 | #Constraints: 25487
2808.18/2815.34 c #Conflicts: 1130000 | #Constraints: 26487
2808.18/2815.34 c #Conflicts: 1131000 | #Constraints: 27487
2808.18/2815.34 c #Conflicts: 1132000 | #Constraints: 28487
2808.18/2815.34 c #Conflicts: 1133000 | #Constraints: 29487
2808.18/2815.34 c #Conflicts: 1134000 | #Constraints: 30487
2808.18/2815.34 c #Conflicts: 1135000 | #Constraints: 31487
2808.18/2815.34 c #Conflicts: 1136000 | #Constraints: 32487
2808.18/2815.34 c #Conflicts: 1137000 | #Constraints: 33487
2808.18/2815.34 c #Conflicts: 1138000 | #Constraints: 34487
2808.18/2815.34 c #Conflicts: 1139000 | #Constraints: 35487
2808.18/2815.34 c #Conflicts: 1140000 | #Constraints: 36487
2808.18/2815.34 c #Conflicts: 1141000 | #Constraints: 37487
2808.18/2815.34 c #Conflicts: 1142000 | #Constraints: 38487
2808.18/2815.34 c #Conflicts: 1143000 | #Constraints: 39487
2808.18/2815.34 c #Conflicts: 1144000 | #Constraints: 40487
2808.18/2815.34 c #Conflicts: 1145000 | #Constraints: 41487
2808.18/2815.34 c #Conflicts: 1146000 | #Constraints: 42487
2808.18/2815.34 c INPROCESSING
2808.18/2815.34 c GARBAGE COLLECT
2808.18/2815.34 c #Conflicts: 1147000 | #Constraints: 22271
2808.18/2815.34 c #Conflicts: 1148000 | #Constraints: 23271
2808.18/2815.34 c #Conflicts: 1149000 | #Constraints: 24271
2808.18/2815.34 c #Conflicts: 1150000 | #Constraints: 25271
2808.18/2815.34 c #Conflicts: 1151000 | #Constraints: 26271
2808.18/2815.34 c #Conflicts: 1152000 | #Constraints: 27271
2808.18/2815.34 c #Conflicts: 1153000 | #Constraints: 28271
2808.18/2815.34 c #Conflicts: 1154000 | #Constraints: 29271
2808.18/2815.34 c #Conflicts: 1155000 | #Constraints: 30271
2808.18/2815.34 c #Conflicts: 1156000 | #Constraints: 31271
2808.18/2815.34 c #Conflicts: 1157000 | #Constraints: 32271
2808.18/2815.34 c #Conflicts: 1158000 | #Constraints: 33271
2808.18/2815.34 c #Conflicts: 1159000 | #Constraints: 34271
2808.18/2815.34 c #Conflicts: 1160000 | #Constraints: 35271
2808.18/2815.34 c #Conflicts: 1161000 | #Constraints: 36271
2808.18/2815.34 c #Conflicts: 1162000 | #Constraints: 37271
2808.18/2815.34 c #Conflicts: 1163000 | #Constraints: 38271
2808.18/2815.34 c #Conflicts: 1164000 | #Constraints: 39271
2808.18/2815.34 c #Conflicts: 1165000 | #Constraints: 40271
2808.18/2815.34 c #Conflicts: 1166000 | #Constraints: 41271
2808.18/2815.34 c #Conflicts: 1167000 | #Constraints: 42271
2808.18/2815.34 c #Conflicts: 1168000 | #Constraints: 43271
2808.18/2815.34 c INPROCESSING
2808.18/2815.34 c GARBAGE COLLECT
2808.18/2815.34 c #Conflicts: 1169000 | #Constraints: 22879
2808.18/2815.34 c #Conflicts: 1170000 | #Constraints: 23879
2808.18/2815.34 c #Conflicts: 1171000 | #Constraints: 24879
2808.18/2815.34 c #Conflicts: 1172000 | #Constraints: 25879
2808.18/2815.34 c #Conflicts: 1173000 | #Constraints: 26879
2808.18/2815.34 c #Conflicts: 1174000 | #Constraints: 27879
2808.18/2815.34 c #Conflicts: 1175000 | #Constraints: 28879
2808.18/2815.34 c #Conflicts: 1176000 | #Constraints: 29879
2808.18/2815.34 c #Conflicts: 1177000 | #Constraints: 30879
2808.18/2815.34 c #Conflicts: 1178000 | #Constraints: 31879
2808.18/2815.34 c #Conflicts: 1179000 | #Constraints: 32879
2808.18/2815.34 c #Conflicts: 1180000 | #Constraints: 33879
2808.18/2815.34 c #Conflicts: 1181000 | #Constraints: 34879
2808.18/2815.34 c #Conflicts: 1182000 | #Constraints: 35879
2808.18/2815.34 c #Conflicts: 1183000 | #Constraints: 36879
2808.18/2815.34 c #Conflicts: 1184000 | #Constraints: 37879
2808.18/2815.34 c #Conflicts: 1185000 | #Constraints: 38879
2808.18/2815.34 c #Conflicts: 1186000 | #Constraints: 39879
2808.18/2815.34 c #Conflicts: 1187000 | #Constraints: 40879
2808.18/2815.34 c #Conflicts: 1188000 | #Constraints: 41879
2808.18/2815.34 c #Conflicts: 1189000 | #Constraints: 42879
2808.18/2815.34 c #Conflicts: 1190000 | #Constraints: 43879
2808.18/2815.34 c INPROCESSING
2808.18/2815.34 c GARBAGE COLLECT
2808.18/2815.34 c #Conflicts: 1191000 | #Constraints: 23294
2808.18/2815.34 c #Conflicts: 1192000 | #Constraints: 24294
2808.18/2815.34 c #Conflicts: 1193000 | #Constraints: 25294
2808.18/2815.34 c #Conflicts: 1194000 | #Constraints: 26294
2808.18/2815.34 c #Conflicts: 1195000 | #Constraints: 27294
2808.18/2815.34 c #Conflicts: 1196000 | #Constraints: 28294
3066.99/3074.86 c #Conflicts: 1197000 | #Constraints: 29294
3066.99/3074.86 c #Conflicts: 1198000 | #Constraints: 30294
3066.99/3074.86 c #Conflicts: 1199000 | #Constraints: 31294
3066.99/3074.86 c #Conflicts: 1200000 | #Constraints: 32294
3066.99/3074.86 c #Conflicts: 1201000 | #Constraints: 33294
3066.99/3074.86 c #Conflicts: 1202000 | #Constraints: 34294
3066.99/3074.86 c #Conflicts: 1203000 | #Constraints: 35294
3066.99/3074.86 c #Conflicts: 1204000 | #Constraints: 36294
3066.99/3074.86 c #Conflicts: 1205000 | #Constraints: 37294
3066.99/3074.86 c #Conflicts: 1206000 | #Constraints: 38294
3066.99/3074.86 c #Conflicts: 1207000 | #Constraints: 39294
3066.99/3074.86 c #Conflicts: 1208000 | #Constraints: 40294
3066.99/3074.86 c #Conflicts: 1209000 | #Constraints: 41294
3066.99/3074.86 c #Conflicts: 1210000 | #Constraints: 42294
3066.99/3074.86 c #Conflicts: 1211000 | #Constraints: 43294
3066.99/3074.86 c #Conflicts: 1212000 | #Constraints: 44294
3066.99/3074.86 c INPROCESSING
3066.99/3074.86 c GARBAGE COLLECT
3066.99/3074.86 c #Conflicts: 1213000 | #Constraints: 23473
3066.99/3074.86 c #Conflicts: 1214000 | #Constraints: 24473
3066.99/3074.86 c #Conflicts: 1215000 | #Constraints: 25473
3066.99/3074.86 c #Conflicts: 1216000 | #Constraints: 26473
3066.99/3074.86 c #Conflicts: 1217000 | #Constraints: 27473
3066.99/3074.86 c #Conflicts: 1218000 | #Constraints: 28473
3066.99/3074.86 c #Conflicts: 1219000 | #Constraints: 29473
3066.99/3074.86 c #Conflicts: 1220000 | #Constraints: 30473
3066.99/3074.86 c #Conflicts: 1221000 | #Constraints: 31473
3066.99/3074.86 c #Conflicts: 1222000 | #Constraints: 32473
3066.99/3074.86 c #Conflicts: 1223000 | #Constraints: 33473
3066.99/3074.86 c #Conflicts: 1224000 | #Constraints: 34473
3066.99/3074.86 c #Conflicts: 1225000 | #Constraints: 35473
3066.99/3074.86 c #Conflicts: 1226000 | #Constraints: 36473
3066.99/3074.86 c #Conflicts: 1227000 | #Constraints: 37473
3066.99/3074.86 c #Conflicts: 1228000 | #Constraints: 38473
3066.99/3074.86 c #Conflicts: 1229000 | #Constraints: 39473
3066.99/3074.86 c #Conflicts: 1230000 | #Constraints: 40473
3066.99/3074.86 c #Conflicts: 1231000 | #Constraints: 41473
3066.99/3074.86 c #Conflicts: 1232000 | #Constraints: 42473
3066.99/3074.86 c #Conflicts: 1233000 | #Constraints: 43473
3066.99/3074.86 c #Conflicts: 1234000 | #Constraints: 44473
3066.99/3074.86 c INPROCESSING
3066.99/3074.86 c GARBAGE COLLECT
3066.99/3074.86 c #Conflicts: 1235000 | #Constraints: 23470
3066.99/3074.86 c #Conflicts: 1236000 | #Constraints: 24470
3066.99/3074.86 c #Conflicts: 1237000 | #Constraints: 25470
3066.99/3074.86 c #Conflicts: 1238000 | #Constraints: 26470
3066.99/3074.86 c #Conflicts: 1239000 | #Constraints: 27470
3066.99/3074.86 c #Conflicts: 1240000 | #Constraints: 28470
3066.99/3074.86 c #Conflicts: 1241000 | #Constraints: 29470
3066.99/3074.86 c #Conflicts: 1242000 | #Constraints: 30470
3066.99/3074.86 c #Conflicts: 1243000 | #Constraints: 31470
3066.99/3074.86 c #Conflicts: 1244000 | #Constraints: 32470
3066.99/3074.86 c #Conflicts: 1245000 | #Constraints: 33470
3066.99/3074.86 c #Conflicts: 1246000 | #Constraints: 34470
3066.99/3074.86 c #Conflicts: 1247000 | #Constraints: 35470
3066.99/3074.86 c #Conflicts: 1248000 | #Constraints: 36470
3066.99/3074.86 c #Conflicts: 1249000 | #Constraints: 37470
3066.99/3074.86 c #Conflicts: 1250000 | #Constraints: 38470
3066.99/3074.86 c #Conflicts: 1251000 | #Constraints: 39470
3066.99/3074.86 c #Conflicts: 1252000 | #Constraints: 40470
3066.99/3074.86 c #Conflicts: 1253000 | #Constraints: 41470
3066.99/3074.86 c #Conflicts: 1254000 | #Constraints: 42470
3066.99/3074.86 c #Conflicts: 1255000 | #Constraints: 43470
3066.99/3074.86 c #Conflicts: 1256000 | #Constraints: 44470
3066.99/3074.86 c INPROCESSING
3066.99/3074.86 c GARBAGE COLLECT
3066.99/3074.86 c #Conflicts: 1257000 | #Constraints: 23264
3066.99/3074.86 c #Conflicts: 1258000 | #Constraints: 24264
3066.99/3074.86 c #Conflicts: 1259000 | #Constraints: 25264
3066.99/3074.86 c #Conflicts: 1260000 | #Constraints: 26264
3066.99/3074.86 c #Conflicts: 1261000 | #Constraints: 27264
3066.99/3074.86 c #Conflicts: 1262000 | #Constraints: 28264
3066.99/3074.86 c #Conflicts: 1263000 | #Constraints: 29264
3066.99/3074.86 c #Conflicts: 1264000 | #Constraints: 30264
3066.99/3074.86 c #Conflicts: 1265000 | #Constraints: 31264
3066.99/3074.86 c #Conflicts: 1266000 | #Constraints: 32264
3066.99/3074.86 c #Conflicts: 1267000 | #Constraints: 33264
3066.99/3074.86 c #Conflicts: 1268000 | #Constraints: 34264
3066.99/3074.86 c #Conflicts: 1269000 | #Constraints: 35264
3066.99/3074.86 c #Conflicts: 1270000 | #Constraints: 36264
3066.99/3074.86 c #Conflicts: 1271000 | #Constraints: 37264
3066.99/3074.86 c #Conflicts: 1272000 | #Constraints: 38264
3337.94/3346.50 c #Conflicts: 1273000 | #Constraints: 39264
3337.94/3346.50 c #Conflicts: 1274000 | #Constraints: 40264
3337.94/3346.50 c #Conflicts: 1275000 | #Constraints: 41264
3337.94/3346.50 c #Conflicts: 1276000 | #Constraints: 42264
3337.94/3346.50 c #Conflicts: 1277000 | #Constraints: 43264
3337.94/3346.50 c #Conflicts: 1278000 | #Constraints: 44264
3337.94/3346.50 c #Conflicts: 1279000 | #Constraints: 45264
3337.94/3346.50 c INPROCESSING
3337.94/3346.50 c GARBAGE COLLECT
3337.94/3346.50 c #Conflicts: 1280000 | #Constraints: 23855
3337.94/3346.50 c #Conflicts: 1281000 | #Constraints: 24855
3337.94/3346.50 c #Conflicts: 1282000 | #Constraints: 25855
3337.94/3346.50 c #Conflicts: 1283000 | #Constraints: 26855
3337.94/3346.50 c #Conflicts: 1284000 | #Constraints: 27855
3337.94/3346.50 c #Conflicts: 1285000 | #Constraints: 28855
3337.94/3346.50 c #Conflicts: 1286000 | #Constraints: 29855
3337.94/3346.50 c #Conflicts: 1287000 | #Constraints: 30855
3337.94/3346.50 c #Conflicts: 1288000 | #Constraints: 31855
3337.94/3346.50 c #Conflicts: 1289000 | #Constraints: 32855
3337.94/3346.50 c #Conflicts: 1290000 | #Constraints: 33855
3337.94/3346.50 c #Conflicts: 1291000 | #Constraints: 34855
3337.94/3346.50 c #Conflicts: 1292000 | #Constraints: 35855
3337.94/3346.50 c #Conflicts: 1293000 | #Constraints: 36855
3337.94/3346.50 c #Conflicts: 1294000 | #Constraints: 37855
3337.94/3346.50 c #Conflicts: 1295000 | #Constraints: 38855
3337.94/3346.50 c #Conflicts: 1296000 | #Constraints: 39855
3337.94/3346.50 c #Conflicts: 1297000 | #Constraints: 40855
3337.94/3346.50 c #Conflicts: 1298000 | #Constraints: 41855
3337.94/3346.50 c #Conflicts: 1299000 | #Constraints: 42855
3337.94/3346.50 c #Conflicts: 1300000 | #Constraints: 43855
3337.94/3346.50 c #Conflicts: 1301000 | #Constraints: 44855
3337.94/3346.50 c #Conflicts: 1302000 | #Constraints: 45855
3337.94/3346.50 c INPROCESSING
3337.94/3346.50 c GARBAGE COLLECT
3337.94/3346.50 c #Conflicts: 1303000 | #Constraints: 24257
3337.94/3346.50 c #Conflicts: 1304000 | #Constraints: 25257
3337.94/3346.50 c #Conflicts: 1305000 | #Constraints: 26257
3337.94/3346.50 c #Conflicts: 1306000 | #Constraints: 27257
3337.94/3346.50 c #Conflicts: 1307000 | #Constraints: 28257
3337.94/3346.50 c #Conflicts: 1308000 | #Constraints: 29257
3337.94/3346.50 c #Conflicts: 1309000 | #Constraints: 30257
3337.94/3346.50 c #Conflicts: 1310000 | #Constraints: 31257
3337.94/3346.50 c #Conflicts: 1311000 | #Constraints: 32257
3337.94/3346.50 c #Conflicts: 1312000 | #Constraints: 33257
3337.94/3346.50 c #Conflicts: 1313000 | #Constraints: 34257
3337.94/3346.50 c #Conflicts: 1314000 | #Constraints: 35257
3337.94/3346.50 c #Conflicts: 1315000 | #Constraints: 36257
3337.94/3346.50 c #Conflicts: 1316000 | #Constraints: 37257
3337.94/3346.50 c #Conflicts: 1317000 | #Constraints: 38257
3337.94/3346.50 c #Conflicts: 1318000 | #Constraints: 39257
3337.94/3346.50 c #Conflicts: 1319000 | #Constraints: 40257
3337.94/3346.50 c #Conflicts: 1320000 | #Constraints: 41257
3337.94/3346.50 c #Conflicts: 1321000 | #Constraints: 42257
3337.94/3346.50 c #Conflicts: 1322000 | #Constraints: 43257
3337.94/3346.50 c #Conflicts: 1323000 | #Constraints: 44257
3337.94/3346.50 c #Conflicts: 1324000 | #Constraints: 45257
3337.94/3346.50 c #Conflicts: 1325000 | #Constraints: 46257
3337.94/3346.50 c INPROCESSING
3337.94/3346.50 c GARBAGE COLLECT
3337.94/3346.50 c #Conflicts: 1326000 | #Constraints: 24462
3337.94/3346.50 c #Conflicts: 1327000 | #Constraints: 25462
3337.94/3346.50 c #Conflicts: 1328000 | #Constraints: 26462
3337.94/3346.50 c #Conflicts: 1329000 | #Constraints: 27462
3337.94/3346.50 c #Conflicts: 1330000 | #Constraints: 28462
3337.94/3346.50 c #Conflicts: 1331000 | #Constraints: 29462
3337.94/3346.50 c #Conflicts: 1332000 | #Constraints: 30462
3337.94/3346.50 c #Conflicts: 1333000 | #Constraints: 31462
3337.94/3346.50 c #Conflicts: 1334000 | #Constraints: 32462
3337.94/3346.50 c #Conflicts: 1335000 | #Constraints: 33462
3337.94/3346.50 c #Conflicts: 1336000 | #Constraints: 34462
3337.94/3346.50 c #Conflicts: 1337000 | #Constraints: 35462
3337.94/3346.50 c #Conflicts: 1338000 | #Constraints: 36462
3337.94/3346.50 c #Conflicts: 1339000 | #Constraints: 37462
3337.94/3346.50 c #Conflicts: 1340000 | #Constraints: 38462
3337.94/3346.50 c #Conflicts: 1341000 | #Constraints: 39462
3337.94/3346.50 c #Conflicts: 1342000 | #Constraints: 40462
3337.94/3346.50 c #Conflicts: 1343000 | #Constraints: 41462
3337.94/3346.50 c #Conflicts: 1344000 | #Constraints: 42462
3337.94/3346.50 c #Conflicts: 1345000 | #Constraints: 43462
3337.94/3346.50 c #Conflicts: 1346000 | #Constraints: 44462
3337.94/3346.50 c #Conflicts: 1347000 | #Constraints: 45462
3337.94/3346.50 c #Conflicts: 1348000 | #Constraints: 46462
3337.94/3346.50 c INPROCESSING
3337.94/3346.50 c GARBAGE COLLECT
3337.94/3346.50 c #Conflicts: 1349000 | #Constraints: 24465
3596.21/3605.58 c #Conflicts: 1350000 | #Constraints: 25465
3596.21/3605.58 c #Conflicts: 1351000 | #Constraints: 26465
3596.21/3605.58 c #Conflicts: 1352000 | #Constraints: 27465
3596.21/3605.58 c #Conflicts: 1353000 | #Constraints: 28465
3596.21/3605.58 c #Conflicts: 1354000 | #Constraints: 29465
3596.21/3605.58 c #Conflicts: 1355000 | #Constraints: 30465
3596.21/3605.58 c #Conflicts: 1356000 | #Constraints: 31465
3596.21/3605.58 c #Conflicts: 1357000 | #Constraints: 32465
3596.21/3605.58 c #Conflicts: 1358000 | #Constraints: 33465
3596.21/3605.58 c #Conflicts: 1359000 | #Constraints: 34465
3596.21/3605.58 c #Conflicts: 1360000 | #Constraints: 35465
3596.21/3605.58 c #Conflicts: 1361000 | #Constraints: 36465
3596.21/3605.58 c #Conflicts: 1362000 | #Constraints: 37465
3596.21/3605.58 c #Conflicts: 1363000 | #Constraints: 38465
3596.21/3605.58 c #Conflicts: 1364000 | #Constraints: 39465
3596.21/3605.58 c #Conflicts: 1365000 | #Constraints: 40465
3596.21/3605.58 c #Conflicts: 1366000 | #Constraints: 41465
3596.21/3605.58 c #Conflicts: 1367000 | #Constraints: 42465
3596.21/3605.58 c #Conflicts: 1368000 | #Constraints: 43465
3596.21/3605.58 c #Conflicts: 1369000 | #Constraints: 44465
3596.21/3605.58 c #Conflicts: 1370000 | #Constraints: 45465
3596.21/3605.58 c #Conflicts: 1371000 | #Constraints: 46465
3596.21/3605.58 c INPROCESSING
3596.21/3605.58 c GARBAGE COLLECT
3596.21/3605.58 c #Conflicts: 1372000 | #Constraints: 24258
3596.21/3605.58 c #Conflicts: 1373000 | #Constraints: 25258
3596.21/3605.58 c #Conflicts: 1374000 | #Constraints: 26258
3596.21/3605.58 c #Conflicts: 1375000 | #Constraints: 27258
3596.21/3605.58 c #Conflicts: 1376000 | #Constraints: 28258
3596.21/3605.58 c #Conflicts: 1377000 | #Constraints: 29258
3596.21/3605.58 c #Conflicts: 1378000 | #Constraints: 30258
3596.21/3605.58 c #Conflicts: 1379000 | #Constraints: 31258
3596.21/3605.58 c #Conflicts: 1380000 | #Constraints: 32258
3596.21/3605.58 c #Conflicts: 1381000 | #Constraints: 33258
3596.21/3605.58 c #Conflicts: 1382000 | #Constraints: 34258
3596.21/3605.58 c #Conflicts: 1383000 | #Constraints: 35258
3596.21/3605.58 c #Conflicts: 1384000 | #Constraints: 36258
3596.21/3605.58 c #Conflicts: 1385000 | #Constraints: 37258
3596.21/3605.58 c #Conflicts: 1386000 | #Constraints: 38258
3596.21/3605.58 c #Conflicts: 1387000 | #Constraints: 39258
3596.21/3605.58 c #Conflicts: 1388000 | #Constraints: 40258
3596.21/3605.58 c #Conflicts: 1389000 | #Constraints: 41258
3596.21/3605.58 c #Conflicts: 1390000 | #Constraints: 42258
3596.21/3605.58 c #Conflicts: 1391000 | #Constraints: 43258
3596.21/3605.58 c #Conflicts: 1392000 | #Constraints: 44258
3596.21/3605.58 c #Conflicts: 1393000 | #Constraints: 45258
3596.21/3605.58 c #Conflicts: 1394000 | #Constraints: 46258
3596.21/3605.58 c #Conflicts: 1395000 | #Constraints: 47258
3596.21/3605.58 c INPROCESSING
3596.21/3605.58 c GARBAGE COLLECT
3596.21/3605.58 c #Conflicts: 1396000 | #Constraints: 24882
3596.21/3605.58 c #Conflicts: 1397000 | #Constraints: 25882
3596.21/3605.58 c #Conflicts: 1398000 | #Constraints: 26882
3596.21/3605.58 c #Conflicts: 1399000 | #Constraints: 27882
3596.21/3605.58 c #Conflicts: 1400000 | #Constraints: 28882
3596.21/3605.58 c #Conflicts: 1401000 | #Constraints: 29882
3596.21/3605.58 c #Conflicts: 1402000 | #Constraints: 30882
3596.21/3605.58 c #Conflicts: 1403000 | #Constraints: 31882
3596.21/3605.58 c #Conflicts: 1404000 | #Constraints: 32882
3596.21/3605.58 c #Conflicts: 1405000 | #Constraints: 33882
3596.21/3605.58 c #Conflicts: 1406000 | #Constraints: 34882
3596.21/3605.58 c #Conflicts: 1407000 | #Constraints: 35882
3596.21/3605.58 c #Conflicts: 1408000 | #Constraints: 36882
3596.21/3605.58 c #Conflicts: 1409000 | #Constraints: 37882
3596.21/3605.58 c #Conflicts: 1410000 | #Constraints: 38882
3596.21/3605.58 c #Conflicts: 1411000 | #Constraints: 39882
3596.21/3605.58 c #Conflicts: 1412000 | #Constraints: 40882
3596.21/3605.58 c #Conflicts: 1413000 | #Constraints: 41882
3596.21/3605.58 c #Conflicts: 1414000 | #Constraints: 42882
3596.21/3605.58 c #Conflicts: 1415000 | #Constraints: 43882
3596.21/3605.58 c #Conflicts: 1416000 | #Constraints: 44882
3596.21/3605.58 c #Conflicts: 1417000 | #Constraints: 45882
3596.21/3605.58 c #Conflicts: 1418000 | #Constraints: 46882
3596.21/3605.58 c #Conflicts: 1419000 | #Constraints: 47882
3596.21/3605.58 c INPROCESSING
3596.21/3605.58 c GARBAGE COLLECT
3596.21/3605.58 c #Conflicts: 1420000 | #Constraints: 25281
3596.21/3605.58 c #Conflicts: 1421000 | #Constraints: 26281
3596.21/3605.58 c #Conflicts: 1422000 | #Constraints: 27281
3596.21/3605.58 c #Conflicts: 1423000 | #Constraints: 28281
3596.21/3605.58 c #Conflicts: 1424000 | #Constraints: 29281
3596.21/3605.58 c #Conflicts: 1425000 | #Constraints: 30281
3596.21/3605.58 c #Conflicts: 1426000 | #Constraints: 31281
3600.01/3609.30 c #Conflicts: 1427000 | #Constraints: 32281
3600.01/3609.30 c Program interrupted by user.
3600.01/3609.30 c cpu time 3569.84 s
3600.01/3609.30 c deterministic time 921301474156 9.21e+11
3600.01/3609.30 c optimization time 26.8672 s
3600.01/3609.30 c total solve time 3542.97 s
3600.01/3609.30 c core-guided solve time 3542.97 s
3600.01/3609.30 c propagation time 3188.43 s
3600.01/3609.30 c conflict analysis time 319.431 s
3600.01/3609.30 c propagations 96830534
3600.01/3609.30 c resolve steps 5480017
3600.01/3609.30 c decisions 25777230
3600.01/3609.30 c conflicts 1427015
3600.01/3609.30 c restarts 2777
3600.01/3609.30 c inprocessing phases 110
3600.01/3609.30 c input clauses 528
3600.01/3609.30 c input cardinalities 53
3600.01/3609.30 c input general constraints 34
3600.01/3609.30 c input average constraint length 15.05
3600.01/3609.30 c input average constraint degree 9.33
3600.01/3609.30 c learned clauses 912876
3600.01/3609.30 c learned cardinalities 21331
3600.01/3609.30 c learned general constraints 492807
3600.01/3609.30 c learned average constraint length 680.78
3600.01/3609.30 c learned average constraint degree 35578.42
3600.01/3609.30 c watched constraints 487514
3600.01/3609.30 c counting constraints 5327
3600.01/3609.30 c gcd simplifications 10071
3600.01/3609.30 c detected cardinalities 207
3600.01/3609.30 c weakened non-implied lits 37641362
3600.01/3609.30 c weakened non-implying lits 2670
3600.01/3609.30 c original variables 1922
3600.01/3609.30 c clausal propagations 4358690
3600.01/3609.30 c cardinality propagations 7813405
3600.01/3609.30 c watched propagations 14571832
3600.01/3609.30 c counting propagations 68940744
3600.01/3609.30 c watch lookups 47742857250
3600.01/3609.30 c watch backjump lookups 41649843962
3600.01/3609.30 c watch checks 792795722455
3600.01/3609.30 c propagation checks 35771576791
3600.01/3609.30 c constraint additions 3094832027
3600.01/3609.30 c trail pops 124033906
3600.01/3609.30 c formula constraints 573
3600.01/3609.30 c learned constraints 1427014
3600.01/3609.30 c bound constraints 4
3600.01/3609.30 c core-guided constraints 38
3600.01/3609.30 c encountered formula constraints 2301886
3600.01/3609.30 c encountered learned constraints 4598398
3600.01/3609.30 c encountered bound constraints 569
3600.01/3609.30 c encountered core-guided constraints 6179
3600.01/3609.30 c LP total time 0 s
3600.01/3609.30 c LP solve time 0 s
3600.01/3609.30 c LP constraints added 0
3600.01/3609.30 c LP constraints removed 0
3600.01/3609.30 c LP pivots internal 0
3600.01/3609.30 c LP pivots root 0
3600.01/3609.30 c LP calls 0
3600.01/3609.30 c LP optimalities 0
3600.01/3609.30 c LP no pivot count 0
3600.01/3609.30 c LP infeasibilities 0
3600.01/3609.30 c LP valid Farkas constraints 0
3600.01/3609.30 c LP learned Farkas constraints 0
3600.01/3609.30 c LP basis resets 0
3600.01/3609.30 c LP cycling count 0
3600.01/3609.30 c LP singular count 0
3600.01/3609.30 c LP no primal count 0
3600.01/3609.30 c LP no farkas count 0
3600.01/3609.30 c LP other issue count 0
3600.01/3609.30 c LP Gomory cuts 0
3600.01/3609.30 c LP learned cuts 0
3600.01/3609.30 c LP deleted cuts 0
3600.01/3609.30 c LP encountered Gomory constraints 0
3600.01/3609.30 c LP encountered Farkas constraints 0
3600.01/3609.30 c LP encountered learned Farkas constraints 0
3600.01/3609.30 c CG auxiliary variables introduced 34
3600.01/3609.30 c CG solutions found 1
3600.01/3609.30 c CG cores constructed 3
3600.01/3609.30 c CG core cardinality constraints returned 0
3600.01/3609.30 c CG unit cores 1
3600.01/3609.30 c CG single cores 2
3600.01/3609.30 c CG blocks removed during cardinality reduction 0
3600.01/3609.30 c CG first core best 0
3600.01/3609.30 c CG decision core best 0
3600.01/3609.30 c CG core reduction tie 0
3600.01/3609.30 c CG core degree average 1.00
3600.01/3609.30 c CG core slack average 15.00
3600.01/3609.30 c CG exhausted 0
3600.01/3609.30 c CG exhaust time 0.172627 s
3600.01/3609.30 c CG trimmed 0
3600.01/3609.30 c CG trim time 8e-05 s
3600.01/3609.30 c CG minimized 0
3600.01/3609.30 c CG minimize time 0 s
3600.01/3609.30 c CG am1 prop time 0.00239 s
3600.01/3609.30 c CG # am1s reformulated 31
3600.01/3609.30 c CG lower bound derived from am1s 930
3600.01/3609.30 c CG # clausal cores 2
3600.01/3609.30 c CG # cardinality cores 0
3600.01/3609.30 c CG # pb cores 0
3600.01/3609.30 c CG # pb reforms 0
3600.01/3609.30 c CG # cores discarded because of pb reform 0
3600.01/3609.30 d LOWERBOUND -28
3600.01/3609.30 d NCORES 3
3600.01/3609.30 d NPBCORES 0
3600.01/3609.30 d NPBREFORM 0
3600.01/3609.30 d NTRIMMED 0
3600.01/3609.30 d NEXHAUSTED 0
3600.01/3609.30 d NAM1S 31
3600.01/3609.30 d AM1LB 930
3600.01/3609.30 o -15
3600.01/3609.30 s SATISFIABLE
3600.01/3609.30 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 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 x1051 -x1052 -x1053 x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 x1516 -x1517 -x1518 x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 x1603 -x1604 -x1605 -x1606 x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 x1892 x1893 x1894 x1895 x1896 x1897 x1898 x1899 x1900 x1901 x1902 x1903 x1904 x1905 x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922
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: 64059 MiB (50664 MiB free)
memory of node 1: 64510 MiB (56331 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458502-1721888889/watcher-4458502-1721888889 -o /tmp/evaluation-result-4458502-1721888889/solver-4458502-1721888889 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721887939-273806 --watchdog 3760 pb-oll-rs HOME/instance-4458502-1721888889.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Starting watchdog thread
Starting watchdog thread
Linux 4.18.0-301.1.el8.x86_64
Current StackSize limit: 8192 KiB
solver pid=274515, runsolver pid=274512
[startup+0.100108 s]*
/proc/loadavg: 4.19 4.08 3.38 5/243 274516
/proc/meminfo: memFree=109556632/131655788 swapFree=131070704/131071996
[pid=274515] ppid=274512 vsize=42436 memory=11720 CPUtime=0.1 cores=5,7
/proc/274515/stat : 274515 (pb-oll-rs) R 274512 274515 273793 0 -1 4194304 1253 0 0 0 7 3 0 0 20 0 1 0 24878282 43454464 2930 134679101440 4194304 5384005 140733912435136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13094912 140733912441879 140733912441956 140733912441956 140733912448971 0
/proc/274515/statm: 10609 2930 1374 291 0 2143 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42436 KiB
Current children cumulated memory: 11720 KiB
[startup+0.213723 s]*
/proc/loadavg: 4.19 4.08 3.38 5/243 274516
/proc/meminfo: memFree=109555120/131655788 swapFree=131070704/131071996
[pid=274515] ppid=274512 vsize=44032 memory=13304 CPUtime=0.22 cores=5,7
/proc/274515/stat : 274515 (pb-oll-rs) R 274512 274515 273793 0 -1 4194304 1649 0 0 0 17 5 0 0 20 0 1 0 24878282 45088768 3326 134679101440 4194304 5384005 140733912435136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13094912 140733912441879 140733912441956 140733912441956 140733912448971 0
/proc/274515/statm: 11008 3326 1374 291 0 2542 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 44032 KiB
Current children cumulated memory: 13304 KiB
[startup+0.313664 s]*
/proc/loadavg: 4.19 4.08 3.38 5/243 274516
/proc/meminfo: memFree=109554308/131655788 swapFree=131070704/131071996
[pid=274515] ppid=274512 vsize=44440 memory=13832 CPUtime=0.31 cores=5,7
/proc/274515/stat : 274515 (pb-oll-rs) R 274512 274515 273793 0 -1 4194304 1753 0 0 0 25 6 0 0 20 0 1 0 24878282 45506560 3458 134679101440 4194304 5384005 140733912435136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13094912 140733912441879 140733912441956 140733912441956 140733912448971 0
/proc/274515/statm: 11110 3458 1374 291 0 2644 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 44440 KiB
Current children cumulated memory: 13832 KiB
[startup+0.700347 s]
/proc/loadavg: 4.19 4.08 3.38 5/243 274516
/proc/meminfo: memFree=109551144/131655788 swapFree=131070704/131071996
[pid=274515] ppid=274512 vsize=48852 memory=17712 CPUtime=0.68 cores=5,7
/proc/274515/stat : 274515 (pb-oll-rs) R 274512 274515 273793 0 -1 4194304 2736 0 0 0 57 11 0 0 20 0 1 0 24878282 50024448 4428 134679101440 4194304 5384005 140733912435136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13094912 140733912441879 140733912441956 140733912441956 140733912448971 0
/proc/274515/statm: 12213 4428 1374 291 0 3747 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 48852 KiB
Current children cumulated memory: 17712 KiB
[startup+1.50033 s]
/proc/loadavg: 4.19 4.08 3.38 5/243 274516
/proc/meminfo: memFree=109548400/131655788 swapFree=131070704/131071996
[pid=274515] ppid=274512 vsize=55472 memory=26156 CPUtime=1.49 cores=5,7
/proc/274515/stat : 274515 (pb-oll-rs) R 274512 274515 273793 0 -1 4194304 4258 0 0 0 133 16 0 0 20 0 1 0 24878282 56803328 6539 134679101440 4194304 5384005 140733912435136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13094912 140733912441879 140733912441956 140733912441956 140733912448971 0
/proc/274515/statm: 13868 6539 1422 291 0 5402 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 55472 KiB
Current children cumulated memory: 26156 KiB
[startup+3.11337 s]
/proc/loadavg: 4.17 4.08 3.39 5/243 274516
/proc/meminfo: memFree=109534968/131655788 swapFree=131070704/131071996
[pid=274515] ppid=274512 vsize=64680 memory=32100 CPUtime=3.1 cores=5,7
/proc/274515/stat : 274515 (pb-oll-rs) R 274512 274515 273793 0 -1 4194304 5287 0 0 0 288 22 0 0 20 0 1 0 24878282 66232320 8025 134679101440 4194304 5384005 140733912435136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13094912 140733912441879 140733912441956 140733912441956 140733912448971 0
/proc/274515/statm: 16170 8025 1422 291 0 7704 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 64680 KiB
Current children cumulated memory: 32100 KiB
[startup+6.30031 s]
/proc/loadavg: 4.17 4.08 3.39 5/243 274518
/proc/meminfo: memFree=109530776/131655788 swapFree=131070704/131071996
[pid=274515] ppid=274512 vsize=67208 memory=35988 CPUtime=6.28 cores=5,7
/proc/274515/stat : 274515 (pb-oll-rs) R 274512 274515 273793 0 -1 4194304 5736 0 0 0 589 39 0 0 20 0 1 0 24878282 68820992 8997 134679101440 4194304 5384005 140733912435136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13094912 140733912441879 140733912441956 140733912441956 140733912448971 0
/proc/274515/statm: 16802 8997 1422 291 0 8336 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 67208 KiB
Current children cumulated memory: 35988 KiB
[startup+12.7003 s]
/proc/loadavg: 4.15 4.08 3.39 5/243 274518
/proc/meminfo: memFree=109522096/131655788 swapFree=131070704/131071996
[pid=274515] ppid=274512 vsize=82152 memory=41584 CPUtime=12.66 cores=5,7
/proc/274515/stat : 274515 (pb-oll-rs) R 274512 274515 273793 0 -1 4194304 7111 0 0 0 1196 70 0 0 20 0 1 0 24878282 84123648 10396 134679101440 4194304 5384005 140733912435136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13094912 140733912441879 140733912441956 140733912441956 140733912448971 0
/proc/274515/statm: 20538 10396 1422 291 0 12072 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 82152 KiB
Current children cumulated memory: 41584 KiB
[startup+25.5003 s]
/proc/loadavg: 4.20 4.09 3.40 5/244 274690
/proc/meminfo: memFree=109502044/131655788 swapFree=131070704/131071996
[pid=274515] ppid=274512 vsize=90752 memory=60028 CPUtime=25.42 cores=5,7
/proc/274515/stat : 274515 (pb-oll-rs) R 274512 274515 273793 0 -1 4194304 9697 0 0 0 2439 103 0 0 20 0 1 0 24878282 92930048 15007 134679101440 4194304 5384005 140733912435136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13094912 140733912441879 140733912441956 140733912441956 140733912448971 0
/proc/274515/statm: 22688 15007 1422 291 0 14222 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 90752 KiB
Current children cumulated memory: 60028 KiB
[startup+51.1136 s]
/proc/loadavg: 4.26 4.12 3.43 5/244 274693
/proc/meminfo: memFree=109478972/131655788 swapFree=131070704/131071996
[pid=274515] ppid=274512 vsize=118528 memory=76220 CPUtime=50.97 cores=5,7
/proc/274515/stat : 274515 (pb-oll-rs) R 274512 274515 273793 0 -1 4194304 11763 0 0 0 4939 158 0 0 20 0 1 0 24878282 121372672 19055 134679101440 4194304 5384005 140733912435136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13094912 140733912441879 140733912441956 140733912441956 140733912448971 0
/proc/274515/statm: 29632 19055 1422 291 0 21166 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 118528 KiB
Current children cumulated memory: 76220 KiB
[startup+102.3 s]
/proc/loadavg: 5.36 4.45 3.59 5/242 274701
/proc/meminfo: memFree=109444656/131655788 swapFree=131070704/131071996
[pid=274515] ppid=274512 vsize=155400 memory=98952 CPUtime=102.03 cores=5,7
/proc/274515/stat : 274515 (pb-oll-rs) R 274512 274515 273793 0 -1 4194304 13901 0 0 0 9977 226 0 0 20 0 1 0 24878282 159129600 24738 134679101440 4194304 5384005 140733912435136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13094912 140733912441879 140733912441956 140733912441956 140733912448971 0
/proc/274515/statm: 38850 24738 1422 291 0 30384 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 155400 KiB
Current children cumulated memory: 98952 KiB
[startup+162.3 s]
/proc/loadavg: 4.93 4.51 3.67 5/245 274771
/proc/meminfo: memFree=109419040/131655788 swapFree=131070704/131071996
[pid=274515] ppid=274512 vsize=161192 memory=108016 CPUtime=161.85 cores=5,7
/proc/274515/stat : 274515 (pb-oll-rs) R 274512 274515 273793 0 -1 4194304 15208 0 0 0 15871 314 0 0 20 0 1 0 24878282 165060608 27004 134679101440 4194304 5384005 140733912435136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13094912 140733912441879 140733912441956 140733912441956 140733912448971 0
/proc/274515/statm: 40298 27004 1422 291 0 31832 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 161192 KiB
Current children cumulated memory: 108016 KiB
[startup+222.3 s]
/proc/loadavg: 4.40 4.43 3.70 5/245 274782
/proc/meminfo: memFree=109407212/131655788 swapFree=131070704/131071996
[pid=274515] ppid=274512 vsize=164844 memory=119656 CPUtime=221.67 cores=5,7
/proc/274515/stat : 274515 (pb-oll-rs) R 274512 274515 273793 0 -1 4194304 16090 0 0 0 21764 403 0 0 20 0 1 0 24878282 168800256 29914 134679101440 4194304 5384005 140733912435136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13094912 140733912441879 140733912441956 140733912441956 140733912448971 0
/proc/274515/statm: 41211 29914 1422 291 0 32745 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 164844 KiB
Current children cumulated memory: 119656 KiB
[startup+282.3 s]
/proc/loadavg: 4.19 4.37 3.72 5/245 274792
/proc/meminfo: memFree=109400388/131655788 swapFree=131070704/131071996
[pid=274515] ppid=274512 vsize=165948 memory=122820 CPUtime=281.49 cores=5,7
/proc/274515/stat : 274515 (pb-oll-rs) R 274512 274515 273793 0 -1 4194304 16400 0 0 0 27696 453 0 0 20 0 1 0 24878282 169930752 30705 134679101440 4194304 5384005 140733912435136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13094912 140733912441879 140733912441956 140733912441956 140733912448971 0
/proc/274515/statm: 41487 30705 1422 291 0 33021 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 165948 KiB
Current children cumulated memory: 122820 KiB
[startup+342.3 s]
/proc/loadavg: 4.18 4.33 3.75 5/245 274803
/proc/meminfo: memFree=109388736/131655788 swapFree=131070704/131071996
[pid=274515] ppid=274512 vsize=168932 memory=131624 CPUtime=341.31 cores=5,7
/proc/274515/stat : 274515 (pb-oll-rs) R 274512 274515 273793 0 -1 4194304 17172 0 0 0 33598 533 0 0 20 0 1 0 24878282 172986368 32906 134679101440 4194304 5384005 140733912435136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13094912 140733912441879 140733912441956 140733912441956 140733912448971 0
/proc/274515/statm: 42233 32906 1422 291 0 33767 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 168932 KiB
Current children cumulated memory: 131624 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.27 3.77 5/245 274813
/proc/meminfo: memFree=109361364/131655788 swapFree=131070704/131071996
[pid=274515] ppid=274512 vsize=232908 memory=153396 CPUtime=401.12 cores=5,7
/proc/274515/stat : 274515 (pb-oll-rs) R 274512 274515 273793 0 -1 4194304 20013 0 0 0 39505 607 0 0 20 0 1 0 24878282 238497792 38349 134679101440 4194304 5384005 140733912435136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13094912 140733912441879 140733912441956 140733912441956 140733912448971 0
/proc/274515/statm: 58227 38349 1422 291 0 49761 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 232908 KiB
Current children cumulated memory: 153396 KiB
[startup+462.3 s]
/proc/loadavg: 4.55 4.36 3.84 5/241 274823
/proc/meminfo: memFree=109355632/131655788 swapFree=131070704/131071996
[pid=274515] ppid=274512 vsize=235240 memory=155380 CPUtime=460.96 cores=5,7
/proc/274515/stat : 274515 (pb-oll-rs) R 274512 274515 273793 0 -1 4194304 20655 0 0 0 45411 685 0 0 20 0 1 0 24878282 240885760 38845 134679101440 4194304 5384005 140733912435136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13094912 140733912441879 140733912441956 140733912441956 140733912448971 0
################
# More data... #
################
Current children cumulated memory: 281332 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/242 275974
/proc/meminfo: memFree=109318536/131655788 swapFree=131070704/131071996
[pid=274515] ppid=274512 vsize=374928 memory=281884 CPUtime=2914.91 cores=5,7
/proc/274515/stat : 274515 (pb-oll-rs) R 274512 274515 273793 0 -1 4194304 37919 0 0 0 288907 2584 0 0 20 0 1 0 24878282 383926272 70471 134679101440 4194304 5384005 140733912435136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13094912 140733912441879 140733912441956 140733912441956 140733912448971 0
/proc/274515/statm: 93732 70471 1422 291 0 85266 0
Current children cumulated CPU time: 2914.91 s
Current children cumulated vsize: 374928 KiB
Current children cumulated memory: 281884 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/242 275985
/proc/meminfo: memFree=109297832/131655788 swapFree=131070704/131071996
[pid=274515] ppid=274512 vsize=375184 memory=282204 CPUtime=2974.74 cores=5,7
/proc/274515/stat : 274515 (pb-oll-rs) R 274512 274515 273793 0 -1 4194304 38268 0 0 0 294845 2629 0 0 20 0 1 0 24878282 384188416 70551 134679101440 4194304 5384005 140733912435136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13094912 140733912441879 140733912441956 140733912441956 140733912448971 0
/proc/274515/statm: 93796 70551 1422 291 0 85330 0
Current children cumulated CPU time: 2974.74 s
Current children cumulated vsize: 375184 KiB
Current children cumulated memory: 282204 KiB
[startup+3042.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/242 275996
/proc/meminfo: memFree=109273932/131655788 swapFree=131070704/131071996
[pid=274515] ppid=274512 vsize=377104 memory=283396 CPUtime=3034.58 cores=5,7
/proc/274515/stat : 274515 (pb-oll-rs) R 274512 274515 273793 0 -1 4194304 38825 0 0 0 300786 2672 0 0 20 0 1 0 24878282 386154496 70849 134679101440 4194304 5384005 140733912435136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13094912 140733912441879 140733912441956 140733912441956 140733912448971 0
/proc/274515/statm: 94276 70849 1422 291 0 85810 0
Current children cumulated CPU time: 3034.58 s
Current children cumulated vsize: 377104 KiB
Current children cumulated memory: 283396 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/242 276006
/proc/meminfo: memFree=109257336/131655788 swapFree=131070704/131071996
[pid=274515] ppid=274512 vsize=378384 memory=284296 CPUtime=3094.41 cores=5,7
/proc/274515/stat : 274515 (pb-oll-rs) R 274512 274515 273793 0 -1 4194304 39308 0 0 0 306732 2709 0 0 20 0 1 0 24878282 387465216 71074 134679101440 4194304 5384005 140733912435136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13094912 140733912441879 140733912441956 140733912441956 140733912448971 0
/proc/274515/statm: 94596 71074 1422 291 0 86130 0
Current children cumulated CPU time: 3094.41 s
Current children cumulated vsize: 378384 KiB
Current children cumulated memory: 284296 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/244 276023
/proc/meminfo: memFree=109247932/131655788 swapFree=131070704/131071996
[pid=274515] ppid=274512 vsize=381072 memory=285948 CPUtime=3154.24 cores=5,7
/proc/274515/stat : 274515 (pb-oll-rs) R 274512 274515 273793 0 -1 4194304 39848 0 0 0 312675 2749 0 0 20 0 1 0 24878282 390217728 71487 134679101440 4194304 5384005 140733912435136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13094912 140733912441879 140733912441956 140733912441956 140733912448971 0
/proc/274515/statm: 95268 71487 1422 291 0 86802 0
Current children cumulated CPU time: 3154.24 s
Current children cumulated vsize: 381072 KiB
Current children cumulated memory: 285948 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/244 276034
/proc/meminfo: memFree=109236360/131655788 swapFree=131070704/131071996
[pid=274515] ppid=274512 vsize=381712 memory=286572 CPUtime=3214.08 cores=5,7
/proc/274515/stat : 274515 (pb-oll-rs) R 274512 274515 273793 0 -1 4194304 40253 0 0 0 318620 2788 0 0 20 0 1 0 24878282 390873088 71643 134679101440 4194304 5384005 140733912435136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13094912 140733912441879 140733912441956 140733912441956 140733912448971 0
/proc/274515/statm: 95428 71643 1422 291 0 86962 0
Current children cumulated CPU time: 3214.08 s
Current children cumulated vsize: 381712 KiB
Current children cumulated memory: 286572 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/244 276044
/proc/meminfo: memFree=109206076/131655788 swapFree=131070704/131071996
[pid=274515] ppid=274512 vsize=382736 memory=291408 CPUtime=3273.91 cores=5,7
/proc/274515/stat : 274515 (pb-oll-rs) R 274512 274515 273793 0 -1 4194304 40694 0 0 0 324569 2822 0 0 20 0 1 0 24878282 391921664 72852 134679101440 4194304 5384005 140733912435136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13094912 140733912441879 140733912441956 140733912441956 140733912448971 0
/proc/274515/statm: 95684 72852 1422 291 0 87218 0
Current children cumulated CPU time: 3273.91 s
Current children cumulated vsize: 382736 KiB
Current children cumulated memory: 291408 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/244 276054
/proc/meminfo: memFree=109202036/131655788 swapFree=131070704/131071996
[pid=274515] ppid=274512 vsize=383504 memory=291664 CPUtime=3333.74 cores=5,7
/proc/274515/stat : 274515 (pb-oll-rs) R 274512 274515 273793 0 -1 4194304 40910 0 0 0 330523 2851 0 0 20 0 1 0 24878282 392708096 72916 134679101440 4194304 5384005 140733912435136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13094912 140733912441879 140733912441956 140733912441956 140733912448971 0
/proc/274515/statm: 95876 72916 1422 291 0 87410 0
Current children cumulated CPU time: 3333.74 s
Current children cumulated vsize: 383504 KiB
Current children cumulated memory: 291664 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/244 276065
/proc/meminfo: memFree=109187444/131655788 swapFree=131070704/131071996
[pid=274515] ppid=274512 vsize=383760 memory=291836 CPUtime=3393.58 cores=5,7
/proc/274515/stat : 274515 (pb-oll-rs) R 274512 274515 273793 0 -1 4194304 41209 0 0 0 336469 2889 0 0 20 0 1 0 24878282 392970240 72959 134679101440 4194304 5384005 140733912435136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13094912 140733912441879 140733912441956 140733912441956 140733912448971 0
/proc/274515/statm: 95940 72959 1422 291 0 87474 0
Current children cumulated CPU time: 3393.58 s
Current children cumulated vsize: 383760 KiB
Current children cumulated memory: 291836 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/244 276457
/proc/meminfo: memFree=109180004/131655788 swapFree=131070704/131071996
[pid=274515] ppid=274512 vsize=384528 memory=292152 CPUtime=3453.41 cores=5,7
/proc/274515/stat : 274515 (pb-oll-rs) R 274512 274515 273793 0 -1 4194304 41576 0 0 0 342418 2923 0 0 20 0 1 0 24878282 393756672 73038 134679101440 4194304 5384005 140733912435136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13094912 140733912441879 140733912441956 140733912441956 140733912448971 0
/proc/274515/statm: 96132 73038 1422 291 0 87666 0
Current children cumulated CPU time: 3453.41 s
Current children cumulated vsize: 384528 KiB
Current children cumulated memory: 292152 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/242 276467
/proc/meminfo: memFree=109172872/131655788 swapFree=131070704/131071996
[pid=274515] ppid=274512 vsize=385040 memory=292680 CPUtime=3513.25 cores=5,7
/proc/274515/stat : 274515 (pb-oll-rs) R 274512 274515 273793 0 -1 4194304 41951 0 0 0 348360 2965 0 0 20 0 1 0 24878282 394280960 73170 134679101440 4194304 5384005 140733912435136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13094912 140733912441879 140733912441956 140733912441956 140733912448971 0
/proc/274515/statm: 96260 73170 1422 291 0 87794 0
Current children cumulated CPU time: 3513.25 s
Current children cumulated vsize: 385040 KiB
Current children cumulated memory: 292680 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/242 276478
/proc/meminfo: memFree=109168168/131655788 swapFree=131070704/131071996
[pid=274515] ppid=274512 vsize=386488 memory=293460 CPUtime=3573.08 cores=5,7
/proc/274515/stat : 274515 (pb-oll-rs) R 274512 274515 273793 0 -1 4194304 42328 0 0 0 354311 2997 0 0 20 0 1 0 24878282 395763712 73365 134679101440 4194304 5384005 140733912435136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13094912 140733912441879 140733912441956 140733912441956 140733912448971 0
/proc/274515/statm: 96622 73365 1422 291 0 88156 0
Current children cumulated CPU time: 3573.08 s
Current children cumulated vsize: 386488 KiB
Current children cumulated memory: 293460 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/242 276483
/proc/meminfo: memFree=109165616/131655788 swapFree=131070704/131071996
[pid=274515] ppid=274512 vsize=385808 memory=293108 CPUtime=3600.01 cores=5,7
/proc/274515/stat : 274515 (pb-oll-rs) R 274512 274515 273793 0 -1 4194304 42329 0 0 0 356984 3017 0 0 20 0 1 0 24878282 395067392 73277 134679101440 4194304 5384005 140733912435136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13094912 140733912441879 140733912441956 140733912441956 140733912448971 0
/proc/274515/statm: 96452 73277 1422 291 0 87986 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 385808 KiB
Current children cumulated memory: 293108 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.3 s]
# the end of solver process 274515 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3569.84 s, system=30.1738 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/242 276483
/proc/meminfo: memFree=109165616/131655788 swapFree=131070704/131071996
[pid=274515] ppid=274512 vsize=385808 memory=293108 CPUtime=3600.01 cores=5,7
/proc/274515/stat : 274515 (pb-oll-rs) R 274512 274515 273793 0 -1 4194304 42329 0 0 0 356984 3017 0 0 20 0 1 0 24878282 395067392 73277 134679101440 4194304 5384005 140733912435136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13094912 140733912441879 140733912441956 140733912441956 140733912448971 0
/proc/274515/statm: 96452 73277 1422 291 0 87986 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 385808 KiB
Current children cumulated memory: 293108 KiB
Child status: 0
Real time (s): 3609.3
CPU time (s): 3600.02
CPU user time (s): 3569.84
CPU system time (s): 30.1738
CPU usage (%): 99.7427
Max. virtual memory (cumulated for all children) (KiB): 386488
Max. memory (cumulated for all children) (KiB): 293460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569.84
system time used= 30.1738
maximum resident set size= 293460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42347
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110
involuntary context switches= 2570
# summary of solver processes directly reported to runsolver:
# pid: 274515
# total CPU time (s): 3600.02
# total CPU user time (s): 3569.84
# total CPU system time (s): 30.1738
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4339 second user time and 37.1827 second system time
The end
Begin job on nodeC008 at 2024-07-25 08:28:09
IDJOB=4458502
IDBENCH=177548
IDSOLVER=3067
FILE ID=nodeC008/4458502-1721888889
RUNJOBID= nodeC008-1721887939-273806
SLURM_JOB_ID= 8089302
Free space on /tmp= 723764 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdiv2/normalized-injcomp_opt_3layers_maxfirst_lastlayerdiv2_size_31.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458502-1721888889/watcher-4458502-1721888889 -o /tmp/evaluation-result-4458502-1721888889/solver-4458502-1721888889 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721887939-273806 --watchdog 3760 pb-oll-rs HOME/instance-4458502-1721888889.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b2f93c1f4bbb146f2fcd6f3efae8d4cf
RANDOM SEED=25764228
nodeC008.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3519.462
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.19
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 : 3509.284
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.33
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.125
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.19
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.124
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.33
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 : 3502.474
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.19
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 : 3491.622
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.33
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.277
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.19
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.124
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 109563712 kB
MemAvailable: 129513244 kB
Buffers: 309808 kB
Cached: 20400948 kB
SwapCached: 732 kB
Active: 2742044 kB
Inactive: 18643324 kB
Active(anon): 1620 kB
Inactive(anon): 726848 kB
Active(file): 2740424 kB
Inactive(file): 17916476 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 1992 kB
Writeback: 0 kB
AnonPages: 672096 kB
Mapped: 123724 kB
Shmem: 53860 kB
KReclaimable: 265324 kB
Slab: 385388 kB
SReclaimable: 265324 kB
SUnreclaim: 120064 kB
KernelStack: 3920 kB
PageTables: 10912 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1310360 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 19456 kB
HardwareCorrupted: 0 kB
AnonHugePages: 401408 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 400200 kB
DirectMap2M: 49836032 kB
DirectMap1G: 85983232 kB
Free space on /tmp at the end= 723744 MiB
End job on nodeC008 at 2024-07-25 09:28:19