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
0.00/0.00 c stratification level: 0
0.00/0.04 c bounds - >= -30 @ 0.009937
0.00/0.04 c finalizing WCE round: reformulating cores
55.45/55.65 c bounds -15 >= -30 @ 0.192753
55.45/55.65 c #Conflicts: 1000 | #Constraints: 1607
55.45/55.65 c bounds -15 >= -29 @ 0.209181
55.45/55.65 c #Conflicts: 2000 | #Constraints: 2611
55.45/55.65 c INPROCESSING
55.45/55.65 c GARBAGE COLLECT
55.45/55.65 c #Conflicts: 3000 | #Constraints: 2644
55.45/55.65 c #Conflicts: 4000 | #Constraints: 3644
55.45/55.65 c INPROCESSING
55.45/55.65 c GARBAGE COLLECT
55.45/55.65 c #Conflicts: 5000 | #Constraints: 3058
55.45/55.65 c #Conflicts: 6000 | #Constraints: 4058
55.45/55.65 c INPROCESSING
55.45/55.65 c GARBAGE COLLECT
55.45/55.65 c #Conflicts: 7000 | #Constraints: 3070
55.45/55.65 c #Conflicts: 8000 | #Constraints: 4070
55.45/55.65 c #Conflicts: 9000 | #Constraints: 5070
55.45/55.65 c INPROCESSING
55.45/55.65 c GARBAGE COLLECT
55.45/55.65 c #Conflicts: 10000 | #Constraints: 3768
55.45/55.65 c #Conflicts: 11000 | #Constraints: 4768
55.45/55.65 c #Conflicts: 12000 | #Constraints: 5768
55.45/55.65 c INPROCESSING
55.45/55.65 c GARBAGE COLLECT
55.45/55.65 c #Conflicts: 13000 | #Constraints: 4215
55.45/55.65 c #Conflicts: 14000 | #Constraints: 5215
55.45/55.65 c #Conflicts: 15000 | #Constraints: 6215
55.45/55.65 c INPROCESSING
55.45/55.65 c GARBAGE COLLECT
55.45/55.65 c #Conflicts: 16000 | #Constraints: 4442
55.45/55.65 c #Conflicts: 17000 | #Constraints: 5442
55.45/55.65 c #Conflicts: 18000 | #Constraints: 6442
55.45/55.65 c INPROCESSING
55.45/55.65 c GARBAGE COLLECT
55.45/55.65 c #Conflicts: 19000 | #Constraints: 4453
55.45/55.65 c #Conflicts: 20000 | #Constraints: 5453
55.45/55.65 c #Conflicts: 21000 | #Constraints: 6453
55.45/55.65 c INPROCESSING
55.45/55.65 c GARBAGE COLLECT
55.45/55.65 c #Conflicts: 22000 | #Constraints: 4265
55.45/55.65 c #Conflicts: 23000 | #Constraints: 5265
55.45/55.65 c #Conflicts: 24000 | #Constraints: 6265
55.45/55.65 c #Conflicts: 25000 | #Constraints: 7265
55.45/55.65 c INPROCESSING
55.45/55.65 c GARBAGE COLLECT
55.45/55.65 c #Conflicts: 26000 | #Constraints: 4885
55.45/55.65 c #Conflicts: 27000 | #Constraints: 5885
55.45/55.65 c #Conflicts: 28000 | #Constraints: 6885
55.45/55.65 c #Conflicts: 29000 | #Constraints: 7885
55.45/55.65 c INPROCESSING
55.45/55.65 c GARBAGE COLLECT
55.45/55.65 c #Conflicts: 30000 | #Constraints: 5285
55.45/55.65 c #Conflicts: 31000 | #Constraints: 6285
55.45/55.65 c bounds -15 >= -28 @ 19.1541
55.45/55.65 c #Conflicts: 32000 | #Constraints: 7288
55.45/55.65 c #Conflicts: 33000 | #Constraints: 8288
55.45/55.65 c INPROCESSING
55.45/55.65 c GARBAGE COLLECT
55.45/55.65 c #Conflicts: 34000 | #Constraints: 4698
55.45/55.65 c #Conflicts: 35000 | #Constraints: 5698
55.45/55.65 c #Conflicts: 36000 | #Constraints: 6698
55.45/55.65 c #Conflicts: 37000 | #Constraints: 7698
55.45/55.65 c INPROCESSING
55.45/55.65 c GARBAGE COLLECT
55.45/55.65 c #Conflicts: 38000 | #Constraints: 5104
55.45/55.65 c #Conflicts: 39000 | #Constraints: 6104
55.45/55.65 c #Conflicts: 40000 | #Constraints: 7104
55.45/55.65 c #Conflicts: 41000 | #Constraints: 8104
55.45/55.65 c INPROCESSING
55.45/55.65 c GARBAGE COLLECT
55.45/55.65 c #Conflicts: 42000 | #Constraints: 5087
55.45/55.65 c #Conflicts: 43000 | #Constraints: 6087
55.45/55.65 c #Conflicts: 44000 | #Constraints: 7087
55.45/55.65 c #Conflicts: 45000 | #Constraints: 8087
55.45/55.65 c #Conflicts: 46000 | #Constraints: 9087
55.45/55.65 c INPROCESSING
55.45/55.65 c GARBAGE COLLECT
55.45/55.65 c #Conflicts: 47000 | #Constraints: 5784
55.45/55.65 c #Conflicts: 48000 | #Constraints: 6784
55.45/55.65 c #Conflicts: 49000 | #Constraints: 7784
55.45/55.65 c #Conflicts: 50000 | #Constraints: 8784
55.45/55.65 c #Conflicts: 51000 | #Constraints: 9784
55.45/55.65 c INPROCESSING
55.45/55.65 c GARBAGE COLLECT
55.45/55.65 c #Conflicts: 52000 | #Constraints: 6240
55.45/55.65 c #Conflicts: 53000 | #Constraints: 7240
55.45/55.65 c #Conflicts: 54000 | #Constraints: 8240
55.45/55.65 c #Conflicts: 55000 | #Constraints: 9240
55.45/55.65 c #Conflicts: 56000 | #Constraints: 10240
55.45/55.65 c INPROCESSING
55.45/55.65 c GARBAGE COLLECT
55.45/55.65 c #Conflicts: 57000 | #Constraints: 6478
55.45/55.65 c #Conflicts: 58000 | #Constraints: 7478
55.45/55.65 c #Conflicts: 59000 | #Constraints: 8478
55.45/55.65 c #Conflicts: 60000 | #Constraints: 9478
55.45/55.65 c #Conflicts: 61000 | #Constraints: 10478
55.45/55.65 c INPROCESSING
55.45/55.65 c GARBAGE COLLECT
55.45/55.65 c #Conflicts: 62000 | #Constraints: 6483
55.45/55.65 c #Conflicts: 63000 | #Constraints: 7483
55.45/55.65 c #Conflicts: 64000 | #Constraints: 8483
55.45/55.65 c #Conflicts: 65000 | #Constraints: 9483
55.45/55.65 c #Conflicts: 66000 | #Constraints: 10483
55.45/55.65 c INPROCESSING
146.30/146.75 c GARBAGE COLLECT
146.30/146.75 c #Conflicts: 67000 | #Constraints: 6272
146.30/146.75 c #Conflicts: 68000 | #Constraints: 7272
146.30/146.75 c #Conflicts: 69000 | #Constraints: 8272
146.30/146.75 c #Conflicts: 70000 | #Constraints: 9272
146.30/146.75 c #Conflicts: 71000 | #Constraints: 10272
146.30/146.75 c #Conflicts: 72000 | #Constraints: 11272
146.30/146.75 c INPROCESSING
146.30/146.75 c GARBAGE COLLECT
146.30/146.75 c #Conflicts: 73000 | #Constraints: 6869
146.30/146.75 c #Conflicts: 74000 | #Constraints: 7869
146.30/146.75 c #Conflicts: 75000 | #Constraints: 8869
146.30/146.75 c #Conflicts: 76000 | #Constraints: 9869
146.30/146.75 c #Conflicts: 77000 | #Constraints: 10869
146.30/146.75 c #Conflicts: 78000 | #Constraints: 11869
146.30/146.75 c INPROCESSING
146.30/146.75 c GARBAGE COLLECT
146.30/146.75 c #Conflicts: 79000 | #Constraints: 7262
146.30/146.75 c #Conflicts: 80000 | #Constraints: 8262
146.30/146.75 c #Conflicts: 81000 | #Constraints: 9262
146.30/146.75 c #Conflicts: 82000 | #Constraints: 10262
146.30/146.75 c #Conflicts: 83000 | #Constraints: 11262
146.30/146.75 c #Conflicts: 84000 | #Constraints: 12262
146.30/146.75 c INPROCESSING
146.30/146.75 c GARBAGE COLLECT
146.30/146.75 c #Conflicts: 85000 | #Constraints: 7457
146.30/146.75 c #Conflicts: 86000 | #Constraints: 8457
146.30/146.75 c #Conflicts: 87000 | #Constraints: 9457
146.30/146.75 c #Conflicts: 88000 | #Constraints: 10457
146.30/146.75 c #Conflicts: 89000 | #Constraints: 11457
146.30/146.75 c #Conflicts: 90000 | #Constraints: 12457
146.30/146.75 c INPROCESSING
146.30/146.75 c GARBAGE COLLECT
146.30/146.75 c #Conflicts: 91000 | #Constraints: 7457
146.30/146.75 c #Conflicts: 92000 | #Constraints: 8457
146.30/146.75 c #Conflicts: 93000 | #Constraints: 9457
146.30/146.75 c #Conflicts: 94000 | #Constraints: 10457
146.30/146.75 c #Conflicts: 95000 | #Constraints: 11457
146.30/146.75 c #Conflicts: 96000 | #Constraints: 12457
146.30/146.75 c INPROCESSING
146.30/146.75 c GARBAGE COLLECT
146.30/146.75 c #Conflicts: 97000 | #Constraints: 7254
146.30/146.75 c #Conflicts: 98000 | #Constraints: 8254
146.30/146.75 c #Conflicts: 99000 | #Constraints: 9254
146.30/146.75 c #Conflicts: 100000 | #Constraints: 10254
146.30/146.75 c #Conflicts: 101000 | #Constraints: 11254
146.30/146.75 c #Conflicts: 102000 | #Constraints: 12254
146.30/146.75 c #Conflicts: 103000 | #Constraints: 13254
146.30/146.75 c INPROCESSING
146.30/146.75 c GARBAGE COLLECT
146.30/146.75 c #Conflicts: 104000 | #Constraints: 7846
146.30/146.75 c #Conflicts: 105000 | #Constraints: 8846
146.30/146.75 c #Conflicts: 106000 | #Constraints: 9846
146.30/146.75 c #Conflicts: 107000 | #Constraints: 10846
146.30/146.75 c #Conflicts: 108000 | #Constraints: 11846
146.30/146.75 c #Conflicts: 109000 | #Constraints: 12846
146.30/146.75 c #Conflicts: 110000 | #Constraints: 13846
146.30/146.75 c INPROCESSING
146.30/146.75 c GARBAGE COLLECT
146.30/146.75 c #Conflicts: 111000 | #Constraints: 8257
146.30/146.75 c #Conflicts: 112000 | #Constraints: 9257
146.30/146.75 c #Conflicts: 113000 | #Constraints: 10257
146.30/146.75 c #Conflicts: 114000 | #Constraints: 11257
146.30/146.75 c #Conflicts: 115000 | #Constraints: 12257
146.30/146.75 c #Conflicts: 116000 | #Constraints: 13257
146.30/146.75 c #Conflicts: 117000 | #Constraints: 14257
146.30/146.75 c INPROCESSING
146.30/146.75 c GARBAGE COLLECT
146.30/146.75 c #Conflicts: 118000 | #Constraints: 8462
146.30/146.75 c #Conflicts: 119000 | #Constraints: 9462
146.30/146.75 c #Conflicts: 120000 | #Constraints: 10462
146.30/146.75 c #Conflicts: 121000 | #Constraints: 11462
146.30/146.75 c #Conflicts: 122000 | #Constraints: 12462
146.30/146.75 c #Conflicts: 123000 | #Constraints: 13462
146.30/146.75 c #Conflicts: 124000 | #Constraints: 14462
146.30/146.75 c INPROCESSING
146.30/146.75 c GARBAGE COLLECT
146.30/146.75 c #Conflicts: 125000 | #Constraints: 8460
146.30/146.75 c #Conflicts: 126000 | #Constraints: 9460
146.30/146.75 c #Conflicts: 127000 | #Constraints: 10460
146.30/146.75 c #Conflicts: 128000 | #Constraints: 11460
146.30/146.75 c #Conflicts: 129000 | #Constraints: 12460
146.30/146.75 c #Conflicts: 130000 | #Constraints: 13460
146.30/146.75 c #Conflicts: 131000 | #Constraints: 14460
146.30/146.75 c INPROCESSING
146.30/146.75 c GARBAGE COLLECT
146.30/146.75 c #Conflicts: 132000 | #Constraints: 8255
146.30/146.75 c #Conflicts: 133000 | #Constraints: 9255
146.30/146.75 c #Conflicts: 134000 | #Constraints: 10255
146.30/146.75 c #Conflicts: 135000 | #Constraints: 11255
146.30/146.75 c #Conflicts: 136000 | #Constraints: 12255
146.30/146.75 c #Conflicts: 137000 | #Constraints: 13255
146.30/146.75 c #Conflicts: 138000 | #Constraints: 14255
273.55/274.34 c #Conflicts: 139000 | #Constraints: 15255
273.55/274.34 c INPROCESSING
273.55/274.34 c GARBAGE COLLECT
273.55/274.34 c #Conflicts: 140000 | #Constraints: 8872
273.55/274.34 c #Conflicts: 141000 | #Constraints: 9872
273.55/274.34 c #Conflicts: 142000 | #Constraints: 10872
273.55/274.34 c #Conflicts: 143000 | #Constraints: 11872
273.55/274.34 c #Conflicts: 144000 | #Constraints: 12872
273.55/274.34 c #Conflicts: 145000 | #Constraints: 13872
273.55/274.34 c #Conflicts: 146000 | #Constraints: 14872
273.55/274.34 c #Conflicts: 147000 | #Constraints: 15872
273.55/274.34 c INPROCESSING
273.55/274.34 c GARBAGE COLLECT
273.55/274.34 c #Conflicts: 148000 | #Constraints: 9273
273.55/274.34 c #Conflicts: 149000 | #Constraints: 10273
273.55/274.34 c #Conflicts: 150000 | #Constraints: 11273
273.55/274.34 c #Conflicts: 151000 | #Constraints: 12273
273.55/274.34 c #Conflicts: 152000 | #Constraints: 13273
273.55/274.34 c #Conflicts: 153000 | #Constraints: 14273
273.55/274.34 c #Conflicts: 154000 | #Constraints: 15273
273.55/274.34 c #Conflicts: 155000 | #Constraints: 16273
273.55/274.34 c INPROCESSING
273.55/274.34 c GARBAGE COLLECT
273.55/274.34 c #Conflicts: 156000 | #Constraints: 9482
273.55/274.34 c #Conflicts: 157000 | #Constraints: 10482
273.55/274.34 c #Conflicts: 158000 | #Constraints: 11482
273.55/274.34 c #Conflicts: 159000 | #Constraints: 12482
273.55/274.34 c #Conflicts: 160000 | #Constraints: 13482
273.55/274.34 c #Conflicts: 161000 | #Constraints: 14482
273.55/274.34 c #Conflicts: 162000 | #Constraints: 15482
273.55/274.34 c #Conflicts: 163000 | #Constraints: 16482
273.55/274.34 c INPROCESSING
273.55/274.34 c GARBAGE COLLECT
273.55/274.34 c #Conflicts: 164000 | #Constraints: 9494
273.55/274.34 c #Conflicts: 165000 | #Constraints: 10494
273.55/274.34 c #Conflicts: 166000 | #Constraints: 11494
273.55/274.34 c #Conflicts: 167000 | #Constraints: 12494
273.55/274.34 c #Conflicts: 168000 | #Constraints: 13494
273.55/274.34 c #Conflicts: 169000 | #Constraints: 14494
273.55/274.34 c #Conflicts: 170000 | #Constraints: 15494
273.55/274.34 c #Conflicts: 171000 | #Constraints: 16494
273.55/274.34 c INPROCESSING
273.55/274.34 c GARBAGE COLLECT
273.55/274.34 c #Conflicts: 172000 | #Constraints: 9276
273.55/274.34 c #Conflicts: 173000 | #Constraints: 10276
273.55/274.34 c #Conflicts: 174000 | #Constraints: 11276
273.55/274.34 c #Conflicts: 175000 | #Constraints: 12276
273.55/274.34 c #Conflicts: 176000 | #Constraints: 13276
273.55/274.34 c #Conflicts: 177000 | #Constraints: 14276
273.55/274.34 c #Conflicts: 178000 | #Constraints: 15276
273.55/274.34 c #Conflicts: 179000 | #Constraints: 16276
273.55/274.34 c #Conflicts: 180000 | #Constraints: 17276
273.55/274.34 c INPROCESSING
273.55/274.34 c GARBAGE COLLECT
273.55/274.34 c #Conflicts: 181000 | #Constraints: 9862
273.55/274.34 c #Conflicts: 182000 | #Constraints: 10862
273.55/274.34 c #Conflicts: 183000 | #Constraints: 11862
273.55/274.34 c #Conflicts: 184000 | #Constraints: 12862
273.55/274.34 c #Conflicts: 185000 | #Constraints: 13862
273.55/274.34 c #Conflicts: 186000 | #Constraints: 14862
273.55/274.34 c #Conflicts: 187000 | #Constraints: 15862
273.55/274.34 c #Conflicts: 188000 | #Constraints: 16862
273.55/274.34 c #Conflicts: 189000 | #Constraints: 17862
273.55/274.34 c INPROCESSING
273.55/274.34 c GARBAGE COLLECT
273.55/274.34 c #Conflicts: 190000 | #Constraints: 10266
273.55/274.34 c #Conflicts: 191000 | #Constraints: 11266
273.55/274.34 c #Conflicts: 192000 | #Constraints: 12266
273.55/274.34 c #Conflicts: 193000 | #Constraints: 13266
273.55/274.34 c #Conflicts: 194000 | #Constraints: 14266
273.55/274.34 c #Conflicts: 195000 | #Constraints: 15266
273.55/274.34 c #Conflicts: 196000 | #Constraints: 16266
273.55/274.34 c #Conflicts: 197000 | #Constraints: 17266
273.55/274.34 c #Conflicts: 198000 | #Constraints: 18266
273.55/274.34 c INPROCESSING
273.55/274.34 c GARBAGE COLLECT
273.55/274.34 c #Conflicts: 199000 | #Constraints: 10494
273.55/274.34 c #Conflicts: 200000 | #Constraints: 11494
273.55/274.34 c #Conflicts: 201000 | #Constraints: 12494
273.55/274.34 c #Conflicts: 202000 | #Constraints: 13494
273.55/274.34 c #Conflicts: 203000 | #Constraints: 14494
273.55/274.34 c #Conflicts: 204000 | #Constraints: 15494
273.55/274.34 c #Conflicts: 205000 | #Constraints: 16494
273.55/274.34 c #Conflicts: 206000 | #Constraints: 17494
273.55/274.34 c #Conflicts: 207000 | #Constraints: 18494
273.55/274.34 c INPROCESSING
273.55/274.34 c GARBAGE COLLECT
273.55/274.34 c #Conflicts: 208000 | #Constraints: 10490
273.55/274.34 c #Conflicts: 209000 | #Constraints: 11490
273.55/274.34 c #Conflicts: 210000 | #Constraints: 12490
273.55/274.34 c #Conflicts: 211000 | #Constraints: 13490
273.55/274.34 c #Conflicts: 212000 | #Constraints: 14490
401.84/402.98 c #Conflicts: 213000 | #Constraints: 15490
401.84/402.98 c #Conflicts: 214000 | #Constraints: 16490
401.84/402.98 c #Conflicts: 215000 | #Constraints: 17490
401.84/402.98 c #Conflicts: 216000 | #Constraints: 18490
401.84/402.98 c INPROCESSING
401.84/402.98 c GARBAGE COLLECT
401.84/402.98 c #Conflicts: 217000 | #Constraints: 10291
401.84/402.98 c #Conflicts: 218000 | #Constraints: 11291
401.84/402.98 c #Conflicts: 219000 | #Constraints: 12291
401.84/402.98 c #Conflicts: 220000 | #Constraints: 13291
401.84/402.98 c #Conflicts: 221000 | #Constraints: 14291
401.84/402.98 c #Conflicts: 222000 | #Constraints: 15291
401.84/402.98 c #Conflicts: 223000 | #Constraints: 16291
401.84/402.98 c #Conflicts: 224000 | #Constraints: 17291
401.84/402.98 c #Conflicts: 225000 | #Constraints: 18291
401.84/402.98 c #Conflicts: 226000 | #Constraints: 19291
401.84/402.98 c INPROCESSING
401.84/402.98 c GARBAGE COLLECT
401.84/402.98 c #Conflicts: 227000 | #Constraints: 10881
401.84/402.98 c #Conflicts: 228000 | #Constraints: 11881
401.84/402.98 c #Conflicts: 229000 | #Constraints: 12881
401.84/402.98 c #Conflicts: 230000 | #Constraints: 13881
401.84/402.98 c #Conflicts: 231000 | #Constraints: 14881
401.84/402.98 c #Conflicts: 232000 | #Constraints: 15881
401.84/402.98 c #Conflicts: 233000 | #Constraints: 16881
401.84/402.98 c #Conflicts: 234000 | #Constraints: 17881
401.84/402.98 c #Conflicts: 235000 | #Constraints: 18881
401.84/402.98 c #Conflicts: 236000 | #Constraints: 19881
401.84/402.98 c INPROCESSING
401.84/402.98 c GARBAGE COLLECT
401.84/402.98 c #Conflicts: 237000 | #Constraints: 11268
401.84/402.98 c #Conflicts: 238000 | #Constraints: 12268
401.84/402.98 c #Conflicts: 239000 | #Constraints: 13268
401.84/402.98 c #Conflicts: 240000 | #Constraints: 14268
401.84/402.98 c #Conflicts: 241000 | #Constraints: 15268
401.84/402.98 c #Conflicts: 242000 | #Constraints: 16268
401.84/402.98 c #Conflicts: 243000 | #Constraints: 17268
401.84/402.98 c #Conflicts: 244000 | #Constraints: 18268
401.84/402.98 c #Conflicts: 245000 | #Constraints: 19268
401.84/402.98 c #Conflicts: 246000 | #Constraints: 20268
401.84/402.98 c INPROCESSING
401.84/402.98 c GARBAGE COLLECT
401.84/402.98 c #Conflicts: 247000 | #Constraints: 11466
401.84/402.98 c #Conflicts: 248000 | #Constraints: 12466
401.84/402.98 c #Conflicts: 249000 | #Constraints: 13466
401.84/402.98 c #Conflicts: 250000 | #Constraints: 14466
401.84/402.98 c #Conflicts: 251000 | #Constraints: 15466
401.84/402.98 c #Conflicts: 252000 | #Constraints: 16466
401.84/402.98 c #Conflicts: 253000 | #Constraints: 17466
401.84/402.98 c #Conflicts: 254000 | #Constraints: 18466
401.84/402.98 c #Conflicts: 255000 | #Constraints: 19466
401.84/402.98 c #Conflicts: 256000 | #Constraints: 20466
401.84/402.98 c INPROCESSING
401.84/402.98 c GARBAGE COLLECT
401.84/402.98 c #Conflicts: 257000 | #Constraints: 11468
401.84/402.98 c #Conflicts: 258000 | #Constraints: 12468
401.84/402.98 c #Conflicts: 259000 | #Constraints: 13468
401.84/402.98 c #Conflicts: 260000 | #Constraints: 14468
401.84/402.98 c #Conflicts: 261000 | #Constraints: 15468
401.84/402.98 c #Conflicts: 262000 | #Constraints: 16468
401.84/402.98 c #Conflicts: 263000 | #Constraints: 17468
401.84/402.98 c #Conflicts: 264000 | #Constraints: 18468
401.84/402.98 c #Conflicts: 265000 | #Constraints: 19468
401.84/402.98 c #Conflicts: 266000 | #Constraints: 20468
401.84/402.98 c INPROCESSING
401.84/402.98 c GARBAGE COLLECT
401.84/402.98 c #Conflicts: 267000 | #Constraints: 11262
401.84/402.98 c #Conflicts: 268000 | #Constraints: 12262
401.84/402.98 c #Conflicts: 269000 | #Constraints: 13262
401.84/402.98 c #Conflicts: 270000 | #Constraints: 14262
401.84/402.98 c #Conflicts: 271000 | #Constraints: 15262
401.84/402.98 c #Conflicts: 272000 | #Constraints: 16262
401.84/402.98 c #Conflicts: 273000 | #Constraints: 17262
401.84/402.98 c #Conflicts: 274000 | #Constraints: 18262
401.84/402.98 c #Conflicts: 275000 | #Constraints: 19262
401.84/402.98 c #Conflicts: 276000 | #Constraints: 20262
401.84/402.98 c #Conflicts: 277000 | #Constraints: 21262
401.84/402.98 c INPROCESSING
401.84/402.98 c GARBAGE COLLECT
401.84/402.98 c #Conflicts: 278000 | #Constraints: 11862
401.84/402.98 c #Conflicts: 279000 | #Constraints: 12862
401.84/402.98 c #Conflicts: 280000 | #Constraints: 13862
401.84/402.98 c #Conflicts: 281000 | #Constraints: 14862
401.84/402.98 c #Conflicts: 282000 | #Constraints: 15862
401.84/402.98 c #Conflicts: 283000 | #Constraints: 16862
401.84/402.98 c #Conflicts: 284000 | #Constraints: 17862
401.84/402.98 c #Conflicts: 285000 | #Constraints: 18862
401.84/402.98 c #Conflicts: 286000 | #Constraints: 19862
535.02/536.42 c #Conflicts: 287000 | #Constraints: 20862
535.02/536.42 c #Conflicts: 288000 | #Constraints: 21862
535.02/536.42 c INPROCESSING
535.02/536.42 c GARBAGE COLLECT
535.02/536.42 c #Conflicts: 289000 | #Constraints: 12256
535.02/536.42 c #Conflicts: 290000 | #Constraints: 13256
535.02/536.42 c #Conflicts: 291000 | #Constraints: 14256
535.02/536.42 c #Conflicts: 292000 | #Constraints: 15256
535.02/536.42 c #Conflicts: 293000 | #Constraints: 16256
535.02/536.42 c #Conflicts: 294000 | #Constraints: 17256
535.02/536.42 c #Conflicts: 295000 | #Constraints: 18256
535.02/536.42 c #Conflicts: 296000 | #Constraints: 19256
535.02/536.42 c #Conflicts: 297000 | #Constraints: 20256
535.02/536.42 c #Conflicts: 298000 | #Constraints: 21256
535.02/536.42 c #Conflicts: 299000 | #Constraints: 22256
535.02/536.42 c INPROCESSING
535.02/536.42 c GARBAGE COLLECT
535.02/536.42 c #Conflicts: 300000 | #Constraints: 12450
535.02/536.42 c #Conflicts: 301000 | #Constraints: 13450
535.02/536.42 c #Conflicts: 302000 | #Constraints: 14450
535.02/536.42 c #Conflicts: 303000 | #Constraints: 15450
535.02/536.42 c #Conflicts: 304000 | #Constraints: 16450
535.02/536.42 c #Conflicts: 305000 | #Constraints: 17450
535.02/536.42 c #Conflicts: 306000 | #Constraints: 18450
535.02/536.42 c #Conflicts: 307000 | #Constraints: 19450
535.02/536.42 c #Conflicts: 308000 | #Constraints: 20450
535.02/536.42 c #Conflicts: 309000 | #Constraints: 21450
535.02/536.42 c #Conflicts: 310000 | #Constraints: 22450
535.02/536.42 c INPROCESSING
535.02/536.42 c GARBAGE COLLECT
535.02/536.42 c #Conflicts: 311000 | #Constraints: 12454
535.02/536.42 c #Conflicts: 312000 | #Constraints: 13454
535.02/536.42 c #Conflicts: 313000 | #Constraints: 14454
535.02/536.42 c #Conflicts: 314000 | #Constraints: 15454
535.02/536.42 c #Conflicts: 315000 | #Constraints: 16454
535.02/536.42 c #Conflicts: 316000 | #Constraints: 17454
535.02/536.42 c #Conflicts: 317000 | #Constraints: 18454
535.02/536.42 c #Conflicts: 318000 | #Constraints: 19454
535.02/536.42 c #Conflicts: 319000 | #Constraints: 20454
535.02/536.42 c #Conflicts: 320000 | #Constraints: 21454
535.02/536.42 c #Conflicts: 321000 | #Constraints: 22454
535.02/536.42 c INPROCESSING
535.02/536.42 c GARBAGE COLLECT
535.02/536.42 c #Conflicts: 322000 | #Constraints: 12289
535.02/536.42 c #Conflicts: 323000 | #Constraints: 13289
535.02/536.42 c #Conflicts: 324000 | #Constraints: 14289
535.02/536.42 c #Conflicts: 325000 | #Constraints: 15289
535.02/536.42 c #Conflicts: 326000 | #Constraints: 16289
535.02/536.42 c #Conflicts: 327000 | #Constraints: 17289
535.02/536.42 c #Conflicts: 328000 | #Constraints: 18289
535.02/536.42 c #Conflicts: 329000 | #Constraints: 19289
535.02/536.42 c #Conflicts: 330000 | #Constraints: 20289
535.02/536.42 c #Conflicts: 331000 | #Constraints: 21289
535.02/536.42 c #Conflicts: 332000 | #Constraints: 22289
535.02/536.42 c #Conflicts: 333000 | #Constraints: 23289
535.02/536.42 c INPROCESSING
535.02/536.42 c GARBAGE COLLECT
535.02/536.42 c #Conflicts: 334000 | #Constraints: 12899
535.02/536.42 c #Conflicts: 335000 | #Constraints: 13899
535.02/536.42 c #Conflicts: 336000 | #Constraints: 14899
535.02/536.42 c #Conflicts: 337000 | #Constraints: 15899
535.02/536.42 c #Conflicts: 338000 | #Constraints: 16899
535.02/536.42 c #Conflicts: 339000 | #Constraints: 17899
535.02/536.42 c #Conflicts: 340000 | #Constraints: 18899
535.02/536.42 c #Conflicts: 341000 | #Constraints: 19899
535.02/536.42 c #Conflicts: 342000 | #Constraints: 20899
535.02/536.42 c #Conflicts: 343000 | #Constraints: 21899
535.02/536.42 c #Conflicts: 344000 | #Constraints: 22899
535.02/536.42 c #Conflicts: 345000 | #Constraints: 23899
535.02/536.42 c INPROCESSING
535.02/536.42 c GARBAGE COLLECT
535.02/536.42 c #Conflicts: 346000 | #Constraints: 13285
535.02/536.42 c #Conflicts: 347000 | #Constraints: 14285
535.02/536.42 c #Conflicts: 348000 | #Constraints: 15285
535.02/536.42 c #Conflicts: 349000 | #Constraints: 16285
535.02/536.42 c #Conflicts: 350000 | #Constraints: 17285
535.02/536.42 c #Conflicts: 351000 | #Constraints: 18285
535.02/536.42 c #Conflicts: 352000 | #Constraints: 19285
535.02/536.42 c #Conflicts: 353000 | #Constraints: 20285
535.02/536.42 c #Conflicts: 354000 | #Constraints: 21285
535.02/536.42 c #Conflicts: 355000 | #Constraints: 22285
535.02/536.42 c #Conflicts: 356000 | #Constraints: 23285
535.02/536.42 c #Conflicts: 357000 | #Constraints: 24285
535.02/536.42 c INPROCESSING
535.02/536.42 c GARBAGE COLLECT
535.02/536.42 c #Conflicts: 358000 | #Constraints: 13466
535.02/536.42 c #Conflicts: 359000 | #Constraints: 14466
535.02/536.42 c #Conflicts: 360000 | #Constraints: 15466
691.89/693.74 c #Conflicts: 361000 | #Constraints: 16466
691.89/693.74 c #Conflicts: 362000 | #Constraints: 17466
691.89/693.74 c #Conflicts: 363000 | #Constraints: 18466
691.89/693.74 c #Conflicts: 364000 | #Constraints: 19466
691.89/693.74 c #Conflicts: 365000 | #Constraints: 20466
691.89/693.74 c #Conflicts: 366000 | #Constraints: 21466
691.89/693.74 c #Conflicts: 367000 | #Constraints: 22466
691.89/693.74 c #Conflicts: 368000 | #Constraints: 23466
691.89/693.74 c #Conflicts: 369000 | #Constraints: 24466
691.89/693.74 c INPROCESSING
691.89/693.74 c GARBAGE COLLECT
691.89/693.74 c #Conflicts: 370000 | #Constraints: 13458
691.89/693.74 c #Conflicts: 371000 | #Constraints: 14458
691.89/693.74 c #Conflicts: 372000 | #Constraints: 15458
691.89/693.74 c #Conflicts: 373000 | #Constraints: 16458
691.89/693.74 c #Conflicts: 374000 | #Constraints: 17458
691.89/693.74 c #Conflicts: 375000 | #Constraints: 18458
691.89/693.74 c #Conflicts: 376000 | #Constraints: 19458
691.89/693.74 c #Conflicts: 377000 | #Constraints: 20458
691.89/693.74 c #Conflicts: 378000 | #Constraints: 21458
691.89/693.74 c #Conflicts: 379000 | #Constraints: 22458
691.89/693.74 c #Conflicts: 380000 | #Constraints: 23458
691.89/693.74 c #Conflicts: 381000 | #Constraints: 24458
691.89/693.74 c INPROCESSING
691.89/693.74 c GARBAGE COLLECT
691.89/693.74 c #Conflicts: 382000 | #Constraints: 13259
691.89/693.74 c #Conflicts: 383000 | #Constraints: 14259
691.89/693.74 c #Conflicts: 384000 | #Constraints: 15259
691.89/693.74 c #Conflicts: 385000 | #Constraints: 16259
691.89/693.74 c #Conflicts: 386000 | #Constraints: 17259
691.89/693.74 c #Conflicts: 387000 | #Constraints: 18259
691.89/693.74 c #Conflicts: 388000 | #Constraints: 19259
691.89/693.74 c #Conflicts: 389000 | #Constraints: 20259
691.89/693.74 c #Conflicts: 390000 | #Constraints: 21259
691.89/693.74 c #Conflicts: 391000 | #Constraints: 22259
691.89/693.74 c #Conflicts: 392000 | #Constraints: 23259
691.89/693.74 c #Conflicts: 393000 | #Constraints: 24259
691.89/693.74 c #Conflicts: 394000 | #Constraints: 25259
691.89/693.74 c INPROCESSING
691.89/693.74 c GARBAGE COLLECT
691.89/693.74 c #Conflicts: 395000 | #Constraints: 13879
691.89/693.74 c #Conflicts: 396000 | #Constraints: 14879
691.89/693.74 c #Conflicts: 397000 | #Constraints: 15879
691.89/693.74 c #Conflicts: 398000 | #Constraints: 16879
691.89/693.74 c #Conflicts: 399000 | #Constraints: 17879
691.89/693.74 c #Conflicts: 400000 | #Constraints: 18879
691.89/693.74 c #Conflicts: 401000 | #Constraints: 19879
691.89/693.74 c #Conflicts: 402000 | #Constraints: 20879
691.89/693.74 c #Conflicts: 403000 | #Constraints: 21879
691.89/693.74 c #Conflicts: 404000 | #Constraints: 22879
691.89/693.74 c #Conflicts: 405000 | #Constraints: 23879
691.89/693.74 c #Conflicts: 406000 | #Constraints: 24879
691.89/693.74 c #Conflicts: 407000 | #Constraints: 25879
691.89/693.74 c INPROCESSING
691.89/693.74 c GARBAGE COLLECT
691.89/693.74 c #Conflicts: 408000 | #Constraints: 14266
691.89/693.74 c #Conflicts: 409000 | #Constraints: 15266
691.89/693.74 c #Conflicts: 410000 | #Constraints: 16266
691.89/693.74 c #Conflicts: 411000 | #Constraints: 17266
691.89/693.74 c #Conflicts: 412000 | #Constraints: 18266
691.89/693.74 c #Conflicts: 413000 | #Constraints: 19266
691.89/693.74 c #Conflicts: 414000 | #Constraints: 20266
691.89/693.74 c #Conflicts: 415000 | #Constraints: 21266
691.89/693.74 c #Conflicts: 416000 | #Constraints: 22266
691.89/693.74 c #Conflicts: 417000 | #Constraints: 23266
691.89/693.74 c #Conflicts: 418000 | #Constraints: 24266
691.89/693.74 c #Conflicts: 419000 | #Constraints: 25266
691.89/693.74 c #Conflicts: 420000 | #Constraints: 26266
691.89/693.74 c INPROCESSING
691.89/693.74 c GARBAGE COLLECT
691.89/693.74 c #Conflicts: 421000 | #Constraints: 14464
691.89/693.74 c #Conflicts: 422000 | #Constraints: 15464
691.89/693.74 c #Conflicts: 423000 | #Constraints: 16464
691.89/693.74 c #Conflicts: 424000 | #Constraints: 17464
691.89/693.74 c #Conflicts: 425000 | #Constraints: 18464
691.89/693.74 c #Conflicts: 426000 | #Constraints: 19464
691.89/693.74 c #Conflicts: 427000 | #Constraints: 20464
691.89/693.74 c #Conflicts: 428000 | #Constraints: 21464
691.89/693.74 c #Conflicts: 429000 | #Constraints: 22464
691.89/693.74 c #Conflicts: 430000 | #Constraints: 23464
691.89/693.74 c #Conflicts: 431000 | #Constraints: 24464
691.89/693.74 c #Conflicts: 432000 | #Constraints: 25464
691.89/693.74 c #Conflicts: 433000 | #Constraints: 26464
691.89/693.74 c INPROCESSING
691.89/693.74 c GARBAGE COLLECT
691.89/693.74 c #Conflicts: 434000 | #Constraints: 14485
691.89/693.74 c #Conflicts: 435000 | #Constraints: 15485
812.26/814.44 c #Conflicts: 436000 | #Constraints: 16485
812.26/814.44 c #Conflicts: 437000 | #Constraints: 17485
812.26/814.44 c #Conflicts: 438000 | #Constraints: 18485
812.26/814.44 c #Conflicts: 439000 | #Constraints: 19485
812.26/814.44 c #Conflicts: 440000 | #Constraints: 20485
812.26/814.44 c #Conflicts: 441000 | #Constraints: 21485
812.26/814.44 c #Conflicts: 442000 | #Constraints: 22485
812.26/814.44 c #Conflicts: 443000 | #Constraints: 23485
812.26/814.44 c #Conflicts: 444000 | #Constraints: 24485
812.26/814.44 c #Conflicts: 445000 | #Constraints: 25485
812.26/814.44 c #Conflicts: 446000 | #Constraints: 26485
812.26/814.44 c INPROCESSING
812.26/814.44 c GARBAGE COLLECT
812.26/814.44 c #Conflicts: 447000 | #Constraints: 14268
812.26/814.44 c #Conflicts: 448000 | #Constraints: 15268
812.26/814.44 c #Conflicts: 449000 | #Constraints: 16268
812.26/814.44 c #Conflicts: 450000 | #Constraints: 17268
812.26/814.44 c #Conflicts: 451000 | #Constraints: 18268
812.26/814.44 c #Conflicts: 452000 | #Constraints: 19268
812.26/814.44 c #Conflicts: 453000 | #Constraints: 20268
812.26/814.44 c #Conflicts: 454000 | #Constraints: 21268
812.26/814.44 c #Conflicts: 455000 | #Constraints: 22268
812.26/814.44 c #Conflicts: 456000 | #Constraints: 23268
812.26/814.44 c #Conflicts: 457000 | #Constraints: 24268
812.26/814.44 c #Conflicts: 458000 | #Constraints: 25268
812.26/814.44 c #Conflicts: 459000 | #Constraints: 26268
812.26/814.44 c #Conflicts: 460000 | #Constraints: 27268
812.26/814.44 c INPROCESSING
812.26/814.44 c GARBAGE COLLECT
812.26/814.44 c #Conflicts: 461000 | #Constraints: 14869
812.26/814.44 c #Conflicts: 462000 | #Constraints: 15869
812.26/814.44 c #Conflicts: 463000 | #Constraints: 16869
812.26/814.44 c #Conflicts: 464000 | #Constraints: 17869
812.26/814.44 c #Conflicts: 465000 | #Constraints: 18869
812.26/814.44 c #Conflicts: 466000 | #Constraints: 19869
812.26/814.44 c #Conflicts: 467000 | #Constraints: 20869
812.26/814.44 c #Conflicts: 468000 | #Constraints: 21869
812.26/814.44 c #Conflicts: 469000 | #Constraints: 22869
812.26/814.44 c #Conflicts: 470000 | #Constraints: 23869
812.26/814.44 c #Conflicts: 471000 | #Constraints: 24869
812.26/814.44 c #Conflicts: 472000 | #Constraints: 25869
812.26/814.44 c #Conflicts: 473000 | #Constraints: 26869
812.26/814.44 c #Conflicts: 474000 | #Constraints: 27869
812.26/814.44 c INPROCESSING
812.26/814.44 c GARBAGE COLLECT
812.26/814.44 c #Conflicts: 475000 | #Constraints: 15272
812.26/814.44 c #Conflicts: 476000 | #Constraints: 16272
812.26/814.44 c #Conflicts: 477000 | #Constraints: 17272
812.26/814.44 c #Conflicts: 478000 | #Constraints: 18272
812.26/814.44 c #Conflicts: 479000 | #Constraints: 19272
812.26/814.44 c #Conflicts: 480000 | #Constraints: 20272
812.26/814.44 c #Conflicts: 481000 | #Constraints: 21272
812.26/814.44 c #Conflicts: 482000 | #Constraints: 22272
812.26/814.44 c #Conflicts: 483000 | #Constraints: 23272
812.26/814.44 c #Conflicts: 484000 | #Constraints: 24272
812.26/814.44 c #Conflicts: 485000 | #Constraints: 25272
812.26/814.44 c #Conflicts: 486000 | #Constraints: 26272
812.26/814.44 c #Conflicts: 487000 | #Constraints: 27272
812.26/814.44 c #Conflicts: 488000 | #Constraints: 28272
812.26/814.44 c INPROCESSING
812.26/814.44 c GARBAGE COLLECT
812.26/814.44 c #Conflicts: 489000 | #Constraints: 15469
812.26/814.44 c #Conflicts: 490000 | #Constraints: 16469
812.26/814.44 c #Conflicts: 491000 | #Constraints: 17469
812.26/814.44 c #Conflicts: 492000 | #Constraints: 18469
812.26/814.44 c #Conflicts: 493000 | #Constraints: 19469
812.26/814.44 c #Conflicts: 494000 | #Constraints: 20469
812.26/814.44 c #Conflicts: 495000 | #Constraints: 21469
812.26/814.44 c #Conflicts: 496000 | #Constraints: 22469
812.26/814.44 c #Conflicts: 497000 | #Constraints: 23469
812.26/814.44 c #Conflicts: 498000 | #Constraints: 24469
812.26/814.44 c #Conflicts: 499000 | #Constraints: 25469
812.26/814.44 c #Conflicts: 500000 | #Constraints: 26469
812.26/814.44 c #Conflicts: 501000 | #Constraints: 27469
812.26/814.44 c #Conflicts: 502000 | #Constraints: 28469
812.26/814.44 c INPROCESSING
812.26/814.44 c GARBAGE COLLECT
812.26/814.44 c #Conflicts: 503000 | #Constraints: 15493
812.26/814.44 c #Conflicts: 504000 | #Constraints: 16493
812.26/814.44 c #Conflicts: 505000 | #Constraints: 17493
812.26/814.44 c #Conflicts: 506000 | #Constraints: 18493
812.26/814.44 c #Conflicts: 507000 | #Constraints: 19493
812.26/814.44 c #Conflicts: 508000 | #Constraints: 20493
812.26/814.44 c #Conflicts: 509000 | #Constraints: 21493
812.26/814.44 c #Conflicts: 510000 | #Constraints: 22493
812.26/814.44 c #Conflicts: 511000 | #Constraints: 23493
979.94/982.51 c #Conflicts: 512000 | #Constraints: 24493
979.94/982.51 c #Conflicts: 513000 | #Constraints: 25493
979.94/982.51 c #Conflicts: 514000 | #Constraints: 26493
979.94/982.51 c #Conflicts: 515000 | #Constraints: 27493
979.94/982.51 c #Conflicts: 516000 | #Constraints: 28493
979.94/982.51 c INPROCESSING
979.94/982.51 c GARBAGE COLLECT
979.94/982.51 c #Conflicts: 517000 | #Constraints: 15281
979.94/982.51 c #Conflicts: 518000 | #Constraints: 16281
979.94/982.51 c #Conflicts: 519000 | #Constraints: 17281
979.94/982.51 c #Conflicts: 520000 | #Constraints: 18281
979.94/982.51 c #Conflicts: 521000 | #Constraints: 19281
979.94/982.51 c #Conflicts: 522000 | #Constraints: 20281
979.94/982.51 c #Conflicts: 523000 | #Constraints: 21281
979.94/982.51 c #Conflicts: 524000 | #Constraints: 22281
979.94/982.51 c #Conflicts: 525000 | #Constraints: 23281
979.94/982.51 c #Conflicts: 526000 | #Constraints: 24281
979.94/982.51 c #Conflicts: 527000 | #Constraints: 25281
979.94/982.51 c #Conflicts: 528000 | #Constraints: 26281
979.94/982.51 c #Conflicts: 529000 | #Constraints: 27281
979.94/982.51 c #Conflicts: 530000 | #Constraints: 28281
979.94/982.51 c #Conflicts: 531000 | #Constraints: 29281
979.94/982.51 c INPROCESSING
979.94/982.51 c GARBAGE COLLECT
979.94/982.51 c #Conflicts: 532000 | #Constraints: 15872
979.94/982.51 c #Conflicts: 533000 | #Constraints: 16872
979.94/982.51 c #Conflicts: 534000 | #Constraints: 17872
979.94/982.51 c #Conflicts: 535000 | #Constraints: 18872
979.94/982.51 c #Conflicts: 536000 | #Constraints: 19872
979.94/982.51 c #Conflicts: 537000 | #Constraints: 20872
979.94/982.51 c #Conflicts: 538000 | #Constraints: 21872
979.94/982.51 c #Conflicts: 539000 | #Constraints: 22872
979.94/982.51 c #Conflicts: 540000 | #Constraints: 23872
979.94/982.51 c #Conflicts: 541000 | #Constraints: 24872
979.94/982.51 c #Conflicts: 542000 | #Constraints: 25872
979.94/982.51 c #Conflicts: 543000 | #Constraints: 26872
979.94/982.51 c #Conflicts: 544000 | #Constraints: 27872
979.94/982.51 c #Conflicts: 545000 | #Constraints: 28872
979.94/982.51 c #Conflicts: 546000 | #Constraints: 29872
979.94/982.51 c INPROCESSING
979.94/982.51 c GARBAGE COLLECT
979.94/982.51 c #Conflicts: 547000 | #Constraints: 16276
979.94/982.51 c #Conflicts: 548000 | #Constraints: 17276
979.94/982.51 c #Conflicts: 549000 | #Constraints: 18276
979.94/982.51 c #Conflicts: 550000 | #Constraints: 19276
979.94/982.51 c #Conflicts: 551000 | #Constraints: 20276
979.94/982.51 c #Conflicts: 552000 | #Constraints: 21276
979.94/982.51 c #Conflicts: 553000 | #Constraints: 22276
979.94/982.51 c #Conflicts: 554000 | #Constraints: 23276
979.94/982.51 c #Conflicts: 555000 | #Constraints: 24276
979.94/982.51 c #Conflicts: 556000 | #Constraints: 25276
979.94/982.51 c #Conflicts: 557000 | #Constraints: 26276
979.94/982.51 c #Conflicts: 558000 | #Constraints: 27276
979.94/982.51 c #Conflicts: 559000 | #Constraints: 28276
979.94/982.51 c #Conflicts: 560000 | #Constraints: 29276
979.94/982.51 c #Conflicts: 561000 | #Constraints: 30276
979.94/982.51 c INPROCESSING
979.94/982.51 c GARBAGE COLLECT
979.94/982.51 c #Conflicts: 562000 | #Constraints: 16465
979.94/982.51 c #Conflicts: 563000 | #Constraints: 17465
979.94/982.51 c #Conflicts: 564000 | #Constraints: 18465
979.94/982.51 c #Conflicts: 565000 | #Constraints: 19465
979.94/982.51 c #Conflicts: 566000 | #Constraints: 20465
979.94/982.51 c #Conflicts: 567000 | #Constraints: 21465
979.94/982.51 c #Conflicts: 568000 | #Constraints: 22465
979.94/982.51 c #Conflicts: 569000 | #Constraints: 23465
979.94/982.51 c #Conflicts: 570000 | #Constraints: 24465
979.94/982.51 c #Conflicts: 571000 | #Constraints: 25465
979.94/982.51 c #Conflicts: 572000 | #Constraints: 26465
979.94/982.51 c #Conflicts: 573000 | #Constraints: 27465
979.94/982.51 c #Conflicts: 574000 | #Constraints: 28465
979.94/982.51 c #Conflicts: 575000 | #Constraints: 29465
979.94/982.51 c #Conflicts: 576000 | #Constraints: 30465
979.94/982.51 c INPROCESSING
979.94/982.51 c GARBAGE COLLECT
979.94/982.51 c #Conflicts: 577000 | #Constraints: 16461
979.94/982.51 c #Conflicts: 578000 | #Constraints: 17461
979.94/982.51 c #Conflicts: 579000 | #Constraints: 18461
979.94/982.51 c #Conflicts: 580000 | #Constraints: 19461
979.94/982.51 c #Conflicts: 581000 | #Constraints: 20461
979.94/982.51 c #Conflicts: 582000 | #Constraints: 21461
979.94/982.51 c #Conflicts: 583000 | #Constraints: 22461
979.94/982.51 c #Conflicts: 584000 | #Constraints: 23461
979.94/982.51 c #Conflicts: 585000 | #Constraints: 24461
979.94/982.51 c #Conflicts: 586000 | #Constraints: 25461
1162.70/1165.79 c #Conflicts: 587000 | #Constraints: 26461
1162.70/1165.79 c #Conflicts: 588000 | #Constraints: 27461
1162.70/1165.79 c #Conflicts: 589000 | #Constraints: 28461
1162.70/1165.79 c #Conflicts: 590000 | #Constraints: 29461
1162.70/1165.79 c #Conflicts: 591000 | #Constraints: 30461
1162.70/1165.79 c INPROCESSING
1162.70/1165.79 c GARBAGE COLLECT
1162.70/1165.79 c #Conflicts: 592000 | #Constraints: 16275
1162.70/1165.79 c #Conflicts: 593000 | #Constraints: 17275
1162.70/1165.79 c #Conflicts: 594000 | #Constraints: 18275
1162.70/1165.79 c #Conflicts: 595000 | #Constraints: 19275
1162.70/1165.79 c #Conflicts: 596000 | #Constraints: 20275
1162.70/1165.79 c #Conflicts: 597000 | #Constraints: 21275
1162.70/1165.79 c #Conflicts: 598000 | #Constraints: 22275
1162.70/1165.79 c #Conflicts: 599000 | #Constraints: 23275
1162.70/1165.79 c #Conflicts: 600000 | #Constraints: 24275
1162.70/1165.79 c #Conflicts: 601000 | #Constraints: 25275
1162.70/1165.79 c #Conflicts: 602000 | #Constraints: 26275
1162.70/1165.79 c #Conflicts: 603000 | #Constraints: 27275
1162.70/1165.79 c #Conflicts: 604000 | #Constraints: 28275
1162.70/1165.79 c #Conflicts: 605000 | #Constraints: 29275
1162.70/1165.79 c #Conflicts: 606000 | #Constraints: 30275
1162.70/1165.79 c #Conflicts: 607000 | #Constraints: 31275
1162.70/1165.79 c INPROCESSING
1162.70/1165.79 c GARBAGE COLLECT
1162.70/1165.79 c #Conflicts: 608000 | #Constraints: 16864
1162.70/1165.79 c #Conflicts: 609000 | #Constraints: 17864
1162.70/1165.79 c #Conflicts: 610000 | #Constraints: 18864
1162.70/1165.79 c #Conflicts: 611000 | #Constraints: 19864
1162.70/1165.79 c #Conflicts: 612000 | #Constraints: 20864
1162.70/1165.79 c #Conflicts: 613000 | #Constraints: 21864
1162.70/1165.79 c #Conflicts: 614000 | #Constraints: 22864
1162.70/1165.79 c #Conflicts: 615000 | #Constraints: 23864
1162.70/1165.79 c #Conflicts: 616000 | #Constraints: 24864
1162.70/1165.79 c #Conflicts: 617000 | #Constraints: 25864
1162.70/1165.79 c #Conflicts: 618000 | #Constraints: 26864
1162.70/1165.79 c #Conflicts: 619000 | #Constraints: 27864
1162.70/1165.79 c #Conflicts: 620000 | #Constraints: 28864
1162.70/1165.79 c #Conflicts: 621000 | #Constraints: 29864
1162.70/1165.79 c #Conflicts: 622000 | #Constraints: 30864
1162.70/1165.79 c #Conflicts: 623000 | #Constraints: 31864
1162.70/1165.79 c INPROCESSING
1162.70/1165.79 c GARBAGE COLLECT
1162.70/1165.79 c #Conflicts: 624000 | #Constraints: 17268
1162.70/1165.79 c #Conflicts: 625000 | #Constraints: 18268
1162.70/1165.79 c #Conflicts: 626000 | #Constraints: 19268
1162.70/1165.79 c #Conflicts: 627000 | #Constraints: 20268
1162.70/1165.79 c #Conflicts: 628000 | #Constraints: 21268
1162.70/1165.79 c #Conflicts: 629000 | #Constraints: 22268
1162.70/1165.79 c #Conflicts: 630000 | #Constraints: 23268
1162.70/1165.79 c #Conflicts: 631000 | #Constraints: 24268
1162.70/1165.79 c #Conflicts: 632000 | #Constraints: 25268
1162.70/1165.79 c #Conflicts: 633000 | #Constraints: 26268
1162.70/1165.79 c #Conflicts: 634000 | #Constraints: 27268
1162.70/1165.79 c #Conflicts: 635000 | #Constraints: 28268
1162.70/1165.79 c #Conflicts: 636000 | #Constraints: 29268
1162.70/1165.79 c #Conflicts: 637000 | #Constraints: 30268
1162.70/1165.79 c #Conflicts: 638000 | #Constraints: 31268
1162.70/1165.79 c #Conflicts: 639000 | #Constraints: 32268
1162.70/1165.79 c INPROCESSING
1162.70/1165.79 c GARBAGE COLLECT
1162.70/1165.79 c #Conflicts: 640000 | #Constraints: 17461
1162.70/1165.79 c #Conflicts: 641000 | #Constraints: 18461
1162.70/1165.79 c #Conflicts: 642000 | #Constraints: 19461
1162.70/1165.79 c #Conflicts: 643000 | #Constraints: 20461
1162.70/1165.79 c #Conflicts: 644000 | #Constraints: 21461
1162.70/1165.79 c #Conflicts: 645000 | #Constraints: 22461
1162.70/1165.79 c #Conflicts: 646000 | #Constraints: 23461
1162.70/1165.79 c #Conflicts: 647000 | #Constraints: 24461
1162.70/1165.79 c #Conflicts: 648000 | #Constraints: 25461
1162.70/1165.79 c #Conflicts: 649000 | #Constraints: 26461
1162.70/1165.79 c #Conflicts: 650000 | #Constraints: 27461
1162.70/1165.79 c #Conflicts: 651000 | #Constraints: 28461
1162.70/1165.79 c #Conflicts: 652000 | #Constraints: 29461
1162.70/1165.79 c #Conflicts: 653000 | #Constraints: 30461
1162.70/1165.79 c #Conflicts: 654000 | #Constraints: 31461
1162.70/1165.79 c #Conflicts: 655000 | #Constraints: 32461
1162.70/1165.79 c INPROCESSING
1162.70/1165.79 c GARBAGE COLLECT
1162.70/1165.79 c #Conflicts: 656000 | #Constraints: 17469
1162.70/1165.79 c #Conflicts: 657000 | #Constraints: 18469
1162.70/1165.79 c #Conflicts: 658000 | #Constraints: 19469
1162.70/1165.79 c #Conflicts: 659000 | #Constraints: 20469
1162.70/1165.79 c #Conflicts: 660000 | #Constraints: 21469
1162.70/1165.79 c #Conflicts: 661000 | #Constraints: 22469
1162.70/1165.79 c #Conflicts: 662000 | #Constraints: 23469
1344.68/1348.17 c #Conflicts: 663000 | #Constraints: 24469
1344.68/1348.17 c #Conflicts: 664000 | #Constraints: 25469
1344.68/1348.17 c #Conflicts: 665000 | #Constraints: 26469
1344.68/1348.17 c #Conflicts: 666000 | #Constraints: 27469
1344.68/1348.17 c #Conflicts: 667000 | #Constraints: 28469
1344.68/1348.17 c #Conflicts: 668000 | #Constraints: 29469
1344.68/1348.17 c #Conflicts: 669000 | #Constraints: 30469
1344.68/1348.17 c #Conflicts: 670000 | #Constraints: 31469
1344.68/1348.17 c #Conflicts: 671000 | #Constraints: 32469
1344.68/1348.17 c INPROCESSING
1344.68/1348.17 c GARBAGE COLLECT
1344.68/1348.17 c #Conflicts: 672000 | #Constraints: 17270
1344.68/1348.17 c #Conflicts: 673000 | #Constraints: 18270
1344.68/1348.17 c #Conflicts: 674000 | #Constraints: 19270
1344.68/1348.17 c #Conflicts: 675000 | #Constraints: 20270
1344.68/1348.17 c #Conflicts: 676000 | #Constraints: 21270
1344.68/1348.17 c #Conflicts: 677000 | #Constraints: 22270
1344.68/1348.17 c #Conflicts: 678000 | #Constraints: 23270
1344.68/1348.17 c #Conflicts: 679000 | #Constraints: 24270
1344.68/1348.17 c #Conflicts: 680000 | #Constraints: 25270
1344.68/1348.17 c #Conflicts: 681000 | #Constraints: 26270
1344.68/1348.17 c #Conflicts: 682000 | #Constraints: 27270
1344.68/1348.17 c #Conflicts: 683000 | #Constraints: 28270
1344.68/1348.17 c #Conflicts: 684000 | #Constraints: 29270
1344.68/1348.17 c #Conflicts: 685000 | #Constraints: 30270
1344.68/1348.17 c #Conflicts: 686000 | #Constraints: 31270
1344.68/1348.17 c #Conflicts: 687000 | #Constraints: 32270
1344.68/1348.17 c #Conflicts: 688000 | #Constraints: 33270
1344.68/1348.17 c INPROCESSING
1344.68/1348.17 c GARBAGE COLLECT
1344.68/1348.17 c #Conflicts: 689000 | #Constraints: 17883
1344.68/1348.17 c #Conflicts: 690000 | #Constraints: 18883
1344.68/1348.17 c #Conflicts: 691000 | #Constraints: 19883
1344.68/1348.17 c #Conflicts: 692000 | #Constraints: 20883
1344.68/1348.17 c #Conflicts: 693000 | #Constraints: 21883
1344.68/1348.17 c #Conflicts: 694000 | #Constraints: 22883
1344.68/1348.17 c #Conflicts: 695000 | #Constraints: 23883
1344.68/1348.17 c #Conflicts: 696000 | #Constraints: 24883
1344.68/1348.17 c #Conflicts: 697000 | #Constraints: 25883
1344.68/1348.17 c #Conflicts: 698000 | #Constraints: 26883
1344.68/1348.17 c #Conflicts: 699000 | #Constraints: 27883
1344.68/1348.17 c #Conflicts: 700000 | #Constraints: 28883
1344.68/1348.17 c #Conflicts: 701000 | #Constraints: 29883
1344.68/1348.17 c #Conflicts: 702000 | #Constraints: 30883
1344.68/1348.17 c #Conflicts: 703000 | #Constraints: 31883
1344.68/1348.17 c #Conflicts: 704000 | #Constraints: 32883
1344.68/1348.17 c #Conflicts: 705000 | #Constraints: 33883
1344.68/1348.17 c INPROCESSING
1344.68/1348.17 c GARBAGE COLLECT
1344.68/1348.17 c #Conflicts: 706000 | #Constraints: 18276
1344.68/1348.17 c #Conflicts: 707000 | #Constraints: 19276
1344.68/1348.17 c #Conflicts: 708000 | #Constraints: 20276
1344.68/1348.17 c #Conflicts: 709000 | #Constraints: 21276
1344.68/1348.17 c #Conflicts: 710000 | #Constraints: 22276
1344.68/1348.17 c #Conflicts: 711000 | #Constraints: 23276
1344.68/1348.17 c #Conflicts: 712000 | #Constraints: 24276
1344.68/1348.17 c #Conflicts: 713000 | #Constraints: 25276
1344.68/1348.17 c #Conflicts: 714000 | #Constraints: 26276
1344.68/1348.17 c #Conflicts: 715000 | #Constraints: 27276
1344.68/1348.17 c #Conflicts: 716000 | #Constraints: 28276
1344.68/1348.17 c #Conflicts: 717000 | #Constraints: 29276
1344.68/1348.17 c #Conflicts: 718000 | #Constraints: 30276
1344.68/1348.17 c #Conflicts: 719000 | #Constraints: 31276
1344.68/1348.17 c #Conflicts: 720000 | #Constraints: 32276
1344.68/1348.17 c #Conflicts: 721000 | #Constraints: 33276
1344.68/1348.17 c #Conflicts: 722000 | #Constraints: 34276
1344.68/1348.17 c INPROCESSING
1344.68/1348.17 c GARBAGE COLLECT
1344.68/1348.17 c #Conflicts: 723000 | #Constraints: 18470
1344.68/1348.17 c #Conflicts: 724000 | #Constraints: 19470
1344.68/1348.17 c #Conflicts: 725000 | #Constraints: 20470
1344.68/1348.17 c #Conflicts: 726000 | #Constraints: 21470
1344.68/1348.17 c #Conflicts: 727000 | #Constraints: 22470
1344.68/1348.17 c #Conflicts: 728000 | #Constraints: 23470
1344.68/1348.17 c #Conflicts: 729000 | #Constraints: 24470
1344.68/1348.17 c #Conflicts: 730000 | #Constraints: 25470
1344.68/1348.17 c #Conflicts: 731000 | #Constraints: 26470
1344.68/1348.17 c #Conflicts: 732000 | #Constraints: 27470
1344.68/1348.17 c #Conflicts: 733000 | #Constraints: 28470
1344.68/1348.17 c #Conflicts: 734000 | #Constraints: 29470
1344.68/1348.17 c #Conflicts: 735000 | #Constraints: 30470
1344.68/1348.17 c #Conflicts: 736000 | #Constraints: 31470
1344.68/1348.17 c #Conflicts: 737000 | #Constraints: 32470
1344.68/1348.17 c #Conflicts: 738000 | #Constraints: 33470
1545.98/1549.90 c #Conflicts: 739000 | #Constraints: 34470
1545.98/1549.90 c INPROCESSING
1545.98/1549.90 c GARBAGE COLLECT
1545.98/1549.90 c #Conflicts: 740000 | #Constraints: 18464
1545.98/1549.90 c #Conflicts: 741000 | #Constraints: 19464
1545.98/1549.90 c #Conflicts: 742000 | #Constraints: 20464
1545.98/1549.90 c #Conflicts: 743000 | #Constraints: 21464
1545.98/1549.90 c #Conflicts: 744000 | #Constraints: 22464
1545.98/1549.90 c #Conflicts: 745000 | #Constraints: 23464
1545.98/1549.90 c #Conflicts: 746000 | #Constraints: 24464
1545.98/1549.90 c #Conflicts: 747000 | #Constraints: 25464
1545.98/1549.90 c #Conflicts: 748000 | #Constraints: 26464
1545.98/1549.90 c #Conflicts: 749000 | #Constraints: 27464
1545.98/1549.90 c #Conflicts: 750000 | #Constraints: 28464
1545.98/1549.90 c #Conflicts: 751000 | #Constraints: 29464
1545.98/1549.90 c #Conflicts: 752000 | #Constraints: 30464
1545.98/1549.90 c #Conflicts: 753000 | #Constraints: 31464
1545.98/1549.90 c #Conflicts: 754000 | #Constraints: 32464
1545.98/1549.90 c #Conflicts: 755000 | #Constraints: 33464
1545.98/1549.90 c #Conflicts: 756000 | #Constraints: 34464
1545.98/1549.90 c INPROCESSING
1545.98/1549.90 c GARBAGE COLLECT
1545.98/1549.90 c #Conflicts: 757000 | #Constraints: 18269
1545.98/1549.90 c #Conflicts: 758000 | #Constraints: 19269
1545.98/1549.90 c #Conflicts: 759000 | #Constraints: 20269
1545.98/1549.90 c #Conflicts: 760000 | #Constraints: 21269
1545.98/1549.90 c #Conflicts: 761000 | #Constraints: 22269
1545.98/1549.90 c #Conflicts: 762000 | #Constraints: 23269
1545.98/1549.90 c #Conflicts: 763000 | #Constraints: 24269
1545.98/1549.90 c #Conflicts: 764000 | #Constraints: 25269
1545.98/1549.90 c #Conflicts: 765000 | #Constraints: 26269
1545.98/1549.90 c #Conflicts: 766000 | #Constraints: 27269
1545.98/1549.90 c #Conflicts: 767000 | #Constraints: 28269
1545.98/1549.90 c #Conflicts: 768000 | #Constraints: 29269
1545.98/1549.90 c #Conflicts: 769000 | #Constraints: 30269
1545.98/1549.90 c #Conflicts: 770000 | #Constraints: 31269
1545.98/1549.90 c #Conflicts: 771000 | #Constraints: 32269
1545.98/1549.90 c #Conflicts: 772000 | #Constraints: 33269
1545.98/1549.90 c #Conflicts: 773000 | #Constraints: 34269
1545.98/1549.90 c #Conflicts: 774000 | #Constraints: 35269
1545.98/1549.90 c INPROCESSING
1545.98/1549.90 c GARBAGE COLLECT
1545.98/1549.90 c #Conflicts: 775000 | #Constraints: 18868
1545.98/1549.90 c #Conflicts: 776000 | #Constraints: 19868
1545.98/1549.90 c #Conflicts: 777000 | #Constraints: 20868
1545.98/1549.90 c #Conflicts: 778000 | #Constraints: 21868
1545.98/1549.90 c #Conflicts: 779000 | #Constraints: 22868
1545.98/1549.90 c #Conflicts: 780000 | #Constraints: 23868
1545.98/1549.90 c #Conflicts: 781000 | #Constraints: 24868
1545.98/1549.90 c #Conflicts: 782000 | #Constraints: 25868
1545.98/1549.90 c #Conflicts: 783000 | #Constraints: 26868
1545.98/1549.90 c #Conflicts: 784000 | #Constraints: 27868
1545.98/1549.90 c #Conflicts: 785000 | #Constraints: 28868
1545.98/1549.90 c #Conflicts: 786000 | #Constraints: 29868
1545.98/1549.90 c #Conflicts: 787000 | #Constraints: 30868
1545.98/1549.90 c #Conflicts: 788000 | #Constraints: 31868
1545.98/1549.90 c #Conflicts: 789000 | #Constraints: 32868
1545.98/1549.90 c #Conflicts: 790000 | #Constraints: 33868
1545.98/1549.90 c #Conflicts: 791000 | #Constraints: 34868
1545.98/1549.90 c #Conflicts: 792000 | #Constraints: 35868
1545.98/1549.90 c INPROCESSING
1545.98/1549.90 c GARBAGE COLLECT
1545.98/1549.90 c #Conflicts: 793000 | #Constraints: 19261
1545.98/1549.90 c #Conflicts: 794000 | #Constraints: 20261
1545.98/1549.90 c #Conflicts: 795000 | #Constraints: 21261
1545.98/1549.90 c #Conflicts: 796000 | #Constraints: 22261
1545.98/1549.90 c #Conflicts: 797000 | #Constraints: 23261
1545.98/1549.90 c #Conflicts: 798000 | #Constraints: 24261
1545.98/1549.90 c #Conflicts: 799000 | #Constraints: 25261
1545.98/1549.90 c #Conflicts: 800000 | #Constraints: 26261
1545.98/1549.90 c #Conflicts: 801000 | #Constraints: 27261
1545.98/1549.90 c #Conflicts: 802000 | #Constraints: 28261
1545.98/1549.90 c #Conflicts: 803000 | #Constraints: 29261
1545.98/1549.90 c #Conflicts: 804000 | #Constraints: 30261
1545.98/1549.90 c #Conflicts: 805000 | #Constraints: 31261
1545.98/1549.90 c #Conflicts: 806000 | #Constraints: 32261
1545.98/1549.90 c #Conflicts: 807000 | #Constraints: 33261
1545.98/1549.90 c #Conflicts: 808000 | #Constraints: 34261
1545.98/1549.90 c #Conflicts: 809000 | #Constraints: 35261
1545.98/1549.90 c #Conflicts: 810000 | #Constraints: 36261
1545.98/1549.90 c INPROCESSING
1545.98/1549.90 c GARBAGE COLLECT
1545.98/1549.90 c #Conflicts: 811000 | #Constraints: 19457
1545.98/1549.90 c #Conflicts: 812000 | #Constraints: 20457
1545.98/1549.90 c #Conflicts: 813000 | #Constraints: 21457
1545.98/1549.90 c #Conflicts: 814000 | #Constraints: 22457
1752.08/1756.59 c #Conflicts: 815000 | #Constraints: 23457
1752.08/1756.59 c #Conflicts: 816000 | #Constraints: 24457
1752.08/1756.59 c #Conflicts: 817000 | #Constraints: 25457
1752.08/1756.59 c #Conflicts: 818000 | #Constraints: 26457
1752.08/1756.59 c #Conflicts: 819000 | #Constraints: 27457
1752.08/1756.59 c #Conflicts: 820000 | #Constraints: 28457
1752.08/1756.59 c #Conflicts: 821000 | #Constraints: 29457
1752.08/1756.59 c #Conflicts: 822000 | #Constraints: 30457
1752.08/1756.59 c #Conflicts: 823000 | #Constraints: 31457
1752.08/1756.59 c #Conflicts: 824000 | #Constraints: 32457
1752.08/1756.59 c #Conflicts: 825000 | #Constraints: 33457
1752.08/1756.59 c #Conflicts: 826000 | #Constraints: 34457
1752.08/1756.59 c #Conflicts: 827000 | #Constraints: 35457
1752.08/1756.59 c #Conflicts: 828000 | #Constraints: 36457
1752.08/1756.59 c INPROCESSING
1752.08/1756.59 c GARBAGE COLLECT
1752.08/1756.59 c #Conflicts: 829000 | #Constraints: 19458
1752.08/1756.59 c #Conflicts: 830000 | #Constraints: 20458
1752.08/1756.59 c #Conflicts: 831000 | #Constraints: 21458
1752.08/1756.59 c #Conflicts: 832000 | #Constraints: 22458
1752.08/1756.59 c #Conflicts: 833000 | #Constraints: 23458
1752.08/1756.59 c #Conflicts: 834000 | #Constraints: 24458
1752.08/1756.59 c #Conflicts: 835000 | #Constraints: 25458
1752.08/1756.59 c #Conflicts: 836000 | #Constraints: 26458
1752.08/1756.59 c #Conflicts: 837000 | #Constraints: 27458
1752.08/1756.59 c #Conflicts: 838000 | #Constraints: 28458
1752.08/1756.59 c #Conflicts: 839000 | #Constraints: 29458
1752.08/1756.59 c #Conflicts: 840000 | #Constraints: 30458
1752.08/1756.59 c #Conflicts: 841000 | #Constraints: 31458
1752.08/1756.59 c #Conflicts: 842000 | #Constraints: 32458
1752.08/1756.59 c #Conflicts: 843000 | #Constraints: 33458
1752.08/1756.59 c #Conflicts: 844000 | #Constraints: 34458
1752.08/1756.59 c #Conflicts: 845000 | #Constraints: 35458
1752.08/1756.59 c #Conflicts: 846000 | #Constraints: 36458
1752.08/1756.59 c INPROCESSING
1752.08/1756.59 c GARBAGE COLLECT
1752.08/1756.59 c #Conflicts: 847000 | #Constraints: 19269
1752.08/1756.59 c #Conflicts: 848000 | #Constraints: 20269
1752.08/1756.59 c #Conflicts: 849000 | #Constraints: 21269
1752.08/1756.59 c #Conflicts: 850000 | #Constraints: 22269
1752.08/1756.59 c #Conflicts: 851000 | #Constraints: 23269
1752.08/1756.59 c #Conflicts: 852000 | #Constraints: 24269
1752.08/1756.59 c #Conflicts: 853000 | #Constraints: 25269
1752.08/1756.59 c #Conflicts: 854000 | #Constraints: 26269
1752.08/1756.59 c #Conflicts: 855000 | #Constraints: 27269
1752.08/1756.59 c #Conflicts: 856000 | #Constraints: 28269
1752.08/1756.59 c #Conflicts: 857000 | #Constraints: 29269
1752.08/1756.59 c #Conflicts: 858000 | #Constraints: 30269
1752.08/1756.59 c #Conflicts: 859000 | #Constraints: 31269
1752.08/1756.59 c #Conflicts: 860000 | #Constraints: 32269
1752.08/1756.59 c #Conflicts: 861000 | #Constraints: 33269
1752.08/1756.59 c #Conflicts: 862000 | #Constraints: 34269
1752.08/1756.59 c #Conflicts: 863000 | #Constraints: 35269
1752.08/1756.59 c #Conflicts: 864000 | #Constraints: 36269
1752.08/1756.59 c #Conflicts: 865000 | #Constraints: 37269
1752.08/1756.59 c INPROCESSING
1752.08/1756.59 c GARBAGE COLLECT
1752.08/1756.59 c #Conflicts: 866000 | #Constraints: 19867
1752.08/1756.59 c #Conflicts: 867000 | #Constraints: 20867
1752.08/1756.59 c #Conflicts: 868000 | #Constraints: 21867
1752.08/1756.59 c #Conflicts: 869000 | #Constraints: 22867
1752.08/1756.59 c #Conflicts: 870000 | #Constraints: 23867
1752.08/1756.59 c #Conflicts: 871000 | #Constraints: 24867
1752.08/1756.59 c #Conflicts: 872000 | #Constraints: 25867
1752.08/1756.59 c #Conflicts: 873000 | #Constraints: 26867
1752.08/1756.59 c #Conflicts: 874000 | #Constraints: 27867
1752.08/1756.59 c #Conflicts: 875000 | #Constraints: 28867
1752.08/1756.59 c #Conflicts: 876000 | #Constraints: 29867
1752.08/1756.59 c #Conflicts: 877000 | #Constraints: 30867
1752.08/1756.59 c #Conflicts: 878000 | #Constraints: 31867
1752.08/1756.59 c #Conflicts: 879000 | #Constraints: 32867
1752.08/1756.59 c #Conflicts: 880000 | #Constraints: 33867
1752.08/1756.59 c #Conflicts: 881000 | #Constraints: 34867
1752.08/1756.59 c #Conflicts: 882000 | #Constraints: 35867
1752.08/1756.59 c #Conflicts: 883000 | #Constraints: 36867
1752.08/1756.59 c #Conflicts: 884000 | #Constraints: 37867
1752.08/1756.59 c INPROCESSING
1752.08/1756.59 c GARBAGE COLLECT
1752.08/1756.59 c #Conflicts: 885000 | #Constraints: 20276
1752.08/1756.59 c #Conflicts: 886000 | #Constraints: 21276
1752.08/1756.59 c #Conflicts: 887000 | #Constraints: 22276
1752.08/1756.59 c #Conflicts: 888000 | #Constraints: 23276
1752.08/1756.59 c #Conflicts: 889000 | #Constraints: 24276
1752.08/1756.59 c #Conflicts: 890000 | #Constraints: 25276
1992.46/1997.54 c #Conflicts: 891000 | #Constraints: 26276
1992.46/1997.54 c #Conflicts: 892000 | #Constraints: 27276
1992.46/1997.54 c #Conflicts: 893000 | #Constraints: 28276
1992.46/1997.54 c #Conflicts: 894000 | #Constraints: 29276
1992.46/1997.54 c #Conflicts: 895000 | #Constraints: 30276
1992.46/1997.54 c #Conflicts: 896000 | #Constraints: 31276
1992.46/1997.54 c #Conflicts: 897000 | #Constraints: 32276
1992.46/1997.54 c #Conflicts: 898000 | #Constraints: 33276
1992.46/1997.54 c #Conflicts: 899000 | #Constraints: 34276
1992.46/1997.54 c #Conflicts: 900000 | #Constraints: 35276
1992.46/1997.54 c #Conflicts: 901000 | #Constraints: 36276
1992.46/1997.54 c #Conflicts: 902000 | #Constraints: 37276
1992.46/1997.54 c #Conflicts: 903000 | #Constraints: 38276
1992.46/1997.54 c INPROCESSING
1992.46/1997.54 c GARBAGE COLLECT
1992.46/1997.54 c #Conflicts: 904000 | #Constraints: 20465
1992.46/1997.54 c #Conflicts: 905000 | #Constraints: 21465
1992.46/1997.54 c #Conflicts: 906000 | #Constraints: 22465
1992.46/1997.54 c #Conflicts: 907000 | #Constraints: 23465
1992.46/1997.54 c #Conflicts: 908000 | #Constraints: 24465
1992.46/1997.54 c #Conflicts: 909000 | #Constraints: 25465
1992.46/1997.54 c #Conflicts: 910000 | #Constraints: 26465
1992.46/1997.54 c #Conflicts: 911000 | #Constraints: 27465
1992.46/1997.54 c #Conflicts: 912000 | #Constraints: 28465
1992.46/1997.54 c #Conflicts: 913000 | #Constraints: 29465
1992.46/1997.54 c #Conflicts: 914000 | #Constraints: 30465
1992.46/1997.54 c #Conflicts: 915000 | #Constraints: 31465
1992.46/1997.54 c #Conflicts: 916000 | #Constraints: 32465
1992.46/1997.54 c #Conflicts: 917000 | #Constraints: 33465
1992.46/1997.54 c #Conflicts: 918000 | #Constraints: 34465
1992.46/1997.54 c #Conflicts: 919000 | #Constraints: 35465
1992.46/1997.54 c #Conflicts: 920000 | #Constraints: 36465
1992.46/1997.54 c #Conflicts: 921000 | #Constraints: 37465
1992.46/1997.54 c #Conflicts: 922000 | #Constraints: 38465
1992.46/1997.54 c INPROCESSING
1992.46/1997.54 c GARBAGE COLLECT
1992.46/1997.54 c #Conflicts: 923000 | #Constraints: 20467
1992.46/1997.54 c #Conflicts: 924000 | #Constraints: 21467
1992.46/1997.54 c #Conflicts: 925000 | #Constraints: 22467
1992.46/1997.54 c #Conflicts: 926000 | #Constraints: 23467
1992.46/1997.54 c #Conflicts: 927000 | #Constraints: 24467
1992.46/1997.54 c #Conflicts: 928000 | #Constraints: 25467
1992.46/1997.54 c #Conflicts: 929000 | #Constraints: 26467
1992.46/1997.54 c #Conflicts: 930000 | #Constraints: 27467
1992.46/1997.54 c #Conflicts: 931000 | #Constraints: 28467
1992.46/1997.54 c #Conflicts: 932000 | #Constraints: 29467
1992.46/1997.54 c #Conflicts: 933000 | #Constraints: 30467
1992.46/1997.54 c #Conflicts: 934000 | #Constraints: 31467
1992.46/1997.54 c #Conflicts: 935000 | #Constraints: 32467
1992.46/1997.54 c #Conflicts: 936000 | #Constraints: 33467
1992.46/1997.54 c #Conflicts: 937000 | #Constraints: 34467
1992.46/1997.54 c #Conflicts: 938000 | #Constraints: 35467
1992.46/1997.54 c #Conflicts: 939000 | #Constraints: 36467
1992.46/1997.54 c #Conflicts: 940000 | #Constraints: 37467
1992.46/1997.54 c #Conflicts: 941000 | #Constraints: 38467
1992.46/1997.54 c INPROCESSING
1992.46/1997.54 c GARBAGE COLLECT
1992.46/1997.54 c #Conflicts: 942000 | #Constraints: 20273
1992.46/1997.54 c #Conflicts: 943000 | #Constraints: 21273
1992.46/1997.54 c #Conflicts: 944000 | #Constraints: 22273
1992.46/1997.54 c #Conflicts: 945000 | #Constraints: 23273
1992.46/1997.54 c #Conflicts: 946000 | #Constraints: 24273
1992.46/1997.54 c #Conflicts: 947000 | #Constraints: 25273
1992.46/1997.54 c #Conflicts: 948000 | #Constraints: 26273
1992.46/1997.54 c #Conflicts: 949000 | #Constraints: 27273
1992.46/1997.54 c #Conflicts: 950000 | #Constraints: 28273
1992.46/1997.54 c #Conflicts: 951000 | #Constraints: 29273
1992.46/1997.54 c #Conflicts: 952000 | #Constraints: 30273
1992.46/1997.54 c #Conflicts: 953000 | #Constraints: 31273
1992.46/1997.54 c #Conflicts: 954000 | #Constraints: 32273
1992.46/1997.54 c #Conflicts: 955000 | #Constraints: 33273
1992.46/1997.54 c #Conflicts: 956000 | #Constraints: 34273
1992.46/1997.54 c #Conflicts: 957000 | #Constraints: 35273
1992.46/1997.54 c #Conflicts: 958000 | #Constraints: 36273
1992.46/1997.54 c #Conflicts: 959000 | #Constraints: 37273
1992.46/1997.54 c #Conflicts: 960000 | #Constraints: 38273
1992.46/1997.54 c #Conflicts: 961000 | #Constraints: 39273
1992.46/1997.54 c INPROCESSING
1992.46/1997.54 c GARBAGE COLLECT
1992.46/1997.54 c #Conflicts: 962000 | #Constraints: 20865
1992.46/1997.54 c #Conflicts: 963000 | #Constraints: 21865
1992.46/1997.54 c #Conflicts: 964000 | #Constraints: 22865
1992.46/1997.54 c #Conflicts: 965000 | #Constraints: 23865
1992.46/1997.54 c #Conflicts: 966000 | #Constraints: 24865
2253.19/2258.91 c #Conflicts: 967000 | #Constraints: 25865
2253.19/2258.91 c #Conflicts: 968000 | #Constraints: 26865
2253.19/2258.91 c #Conflicts: 969000 | #Constraints: 27865
2253.19/2258.91 c #Conflicts: 970000 | #Constraints: 28865
2253.19/2258.91 c #Conflicts: 971000 | #Constraints: 29865
2253.19/2258.91 c #Conflicts: 972000 | #Constraints: 30865
2253.19/2258.91 c #Conflicts: 973000 | #Constraints: 31865
2253.19/2258.91 c #Conflicts: 974000 | #Constraints: 32865
2253.19/2258.91 c #Conflicts: 975000 | #Constraints: 33865
2253.19/2258.91 c #Conflicts: 976000 | #Constraints: 34865
2253.19/2258.91 c #Conflicts: 977000 | #Constraints: 35865
2253.19/2258.91 c #Conflicts: 978000 | #Constraints: 36865
2253.19/2258.91 c #Conflicts: 979000 | #Constraints: 37865
2253.19/2258.91 c #Conflicts: 980000 | #Constraints: 38865
2253.19/2258.91 c #Conflicts: 981000 | #Constraints: 39865
2253.19/2258.91 c INPROCESSING
2253.19/2258.91 c GARBAGE COLLECT
2253.19/2258.91 c #Conflicts: 982000 | #Constraints: 21269
2253.19/2258.91 c #Conflicts: 983000 | #Constraints: 22269
2253.19/2258.91 c #Conflicts: 984000 | #Constraints: 23269
2253.19/2258.91 c #Conflicts: 985000 | #Constraints: 24269
2253.19/2258.91 c #Conflicts: 986000 | #Constraints: 25269
2253.19/2258.91 c #Conflicts: 987000 | #Constraints: 26269
2253.19/2258.91 c #Conflicts: 988000 | #Constraints: 27269
2253.19/2258.91 c #Conflicts: 989000 | #Constraints: 28269
2253.19/2258.91 c #Conflicts: 990000 | #Constraints: 29269
2253.19/2258.91 c #Conflicts: 991000 | #Constraints: 30269
2253.19/2258.91 c #Conflicts: 992000 | #Constraints: 31269
2253.19/2258.91 c #Conflicts: 993000 | #Constraints: 32269
2253.19/2258.91 c #Conflicts: 994000 | #Constraints: 33269
2253.19/2258.91 c #Conflicts: 995000 | #Constraints: 34269
2253.19/2258.91 c #Conflicts: 996000 | #Constraints: 35269
2253.19/2258.91 c #Conflicts: 997000 | #Constraints: 36269
2253.19/2258.91 c #Conflicts: 998000 | #Constraints: 37269
2253.19/2258.91 c #Conflicts: 999000 | #Constraints: 38269
2253.19/2258.91 c #Conflicts: 1000000 | #Constraints: 39269
2253.19/2258.91 c #Conflicts: 1001000 | #Constraints: 40269
2253.19/2258.91 c INPROCESSING
2253.19/2258.91 c GARBAGE COLLECT
2253.19/2258.91 c #Conflicts: 1002000 | #Constraints: 21476
2253.19/2258.91 c #Conflicts: 1003000 | #Constraints: 22476
2253.19/2258.91 c #Conflicts: 1004000 | #Constraints: 23476
2253.19/2258.91 c #Conflicts: 1005000 | #Constraints: 24476
2253.19/2258.91 c #Conflicts: 1006000 | #Constraints: 25476
2253.19/2258.91 c #Conflicts: 1007000 | #Constraints: 26476
2253.19/2258.91 c #Conflicts: 1008000 | #Constraints: 27476
2253.19/2258.91 c #Conflicts: 1009000 | #Constraints: 28476
2253.19/2258.91 c #Conflicts: 1010000 | #Constraints: 29476
2253.19/2258.91 c #Conflicts: 1011000 | #Constraints: 30476
2253.19/2258.91 c #Conflicts: 1012000 | #Constraints: 31476
2253.19/2258.91 c #Conflicts: 1013000 | #Constraints: 32476
2253.19/2258.91 c #Conflicts: 1014000 | #Constraints: 33476
2253.19/2258.91 c #Conflicts: 1015000 | #Constraints: 34476
2253.19/2258.91 c #Conflicts: 1016000 | #Constraints: 35476
2253.19/2258.91 c #Conflicts: 1017000 | #Constraints: 36476
2253.19/2258.91 c #Conflicts: 1018000 | #Constraints: 37476
2253.19/2258.91 c #Conflicts: 1019000 | #Constraints: 38476
2253.19/2258.91 c #Conflicts: 1020000 | #Constraints: 39476
2253.19/2258.91 c #Conflicts: 1021000 | #Constraints: 40476
2253.19/2258.91 c INPROCESSING
2253.19/2258.91 c GARBAGE COLLECT
2253.19/2258.91 c #Conflicts: 1022000 | #Constraints: 21468
2253.19/2258.91 c #Conflicts: 1023000 | #Constraints: 22468
2253.19/2258.91 c #Conflicts: 1024000 | #Constraints: 23468
2253.19/2258.91 c #Conflicts: 1025000 | #Constraints: 24468
2253.19/2258.91 c #Conflicts: 1026000 | #Constraints: 25468
2253.19/2258.91 c #Conflicts: 1027000 | #Constraints: 26468
2253.19/2258.91 c #Conflicts: 1028000 | #Constraints: 27468
2253.19/2258.91 c #Conflicts: 1029000 | #Constraints: 28468
2253.19/2258.91 c #Conflicts: 1030000 | #Constraints: 29468
2253.19/2258.91 c #Conflicts: 1031000 | #Constraints: 30468
2253.19/2258.91 c #Conflicts: 1032000 | #Constraints: 31468
2253.19/2258.91 c #Conflicts: 1033000 | #Constraints: 32468
2253.19/2258.91 c #Conflicts: 1034000 | #Constraints: 33468
2253.19/2258.91 c #Conflicts: 1035000 | #Constraints: 34468
2253.19/2258.91 c #Conflicts: 1036000 | #Constraints: 35468
2253.19/2258.91 c #Conflicts: 1037000 | #Constraints: 36468
2253.19/2258.91 c #Conflicts: 1038000 | #Constraints: 37468
2253.19/2258.91 c #Conflicts: 1039000 | #Constraints: 38468
2253.19/2258.91 c #Conflicts: 1040000 | #Constraints: 39468
2253.19/2258.91 c #Conflicts: 1041000 | #Constraints: 40468
2253.19/2258.91 c INPROCESSING
2253.19/2258.91 c GARBAGE COLLECT
2253.19/2258.91 c #Conflicts: 1042000 | #Constraints: 21262
2518.81/2525.30 c #Conflicts: 1043000 | #Constraints: 22262
2518.81/2525.30 c #Conflicts: 1044000 | #Constraints: 23262
2518.81/2525.30 c #Conflicts: 1045000 | #Constraints: 24262
2518.81/2525.30 c #Conflicts: 1046000 | #Constraints: 25262
2518.81/2525.30 c #Conflicts: 1047000 | #Constraints: 26262
2518.81/2525.30 c #Conflicts: 1048000 | #Constraints: 27262
2518.81/2525.30 c #Conflicts: 1049000 | #Constraints: 28262
2518.81/2525.30 c #Conflicts: 1050000 | #Constraints: 29262
2518.81/2525.30 c #Conflicts: 1051000 | #Constraints: 30262
2518.81/2525.30 c #Conflicts: 1052000 | #Constraints: 31262
2518.81/2525.30 c #Conflicts: 1053000 | #Constraints: 32262
2518.81/2525.30 c #Conflicts: 1054000 | #Constraints: 33262
2518.81/2525.30 c #Conflicts: 1055000 | #Constraints: 34262
2518.81/2525.30 c #Conflicts: 1056000 | #Constraints: 35262
2518.81/2525.30 c #Conflicts: 1057000 | #Constraints: 36262
2518.81/2525.30 c #Conflicts: 1058000 | #Constraints: 37262
2518.81/2525.30 c #Conflicts: 1059000 | #Constraints: 38262
2518.81/2525.30 c #Conflicts: 1060000 | #Constraints: 39262
2518.81/2525.30 c #Conflicts: 1061000 | #Constraints: 40262
2518.81/2525.30 c #Conflicts: 1062000 | #Constraints: 41262
2518.81/2525.30 c INPROCESSING
2518.81/2525.30 c GARBAGE COLLECT
2518.81/2525.30 c #Conflicts: 1063000 | #Constraints: 21877
2518.81/2525.30 c #Conflicts: 1064000 | #Constraints: 22877
2518.81/2525.30 c #Conflicts: 1065000 | #Constraints: 23877
2518.81/2525.30 c #Conflicts: 1066000 | #Constraints: 24877
2518.81/2525.30 c #Conflicts: 1067000 | #Constraints: 25877
2518.81/2525.30 c #Conflicts: 1068000 | #Constraints: 26877
2518.81/2525.30 c #Conflicts: 1069000 | #Constraints: 27877
2518.81/2525.30 c #Conflicts: 1070000 | #Constraints: 28877
2518.81/2525.30 c #Conflicts: 1071000 | #Constraints: 29877
2518.81/2525.30 c #Conflicts: 1072000 | #Constraints: 30877
2518.81/2525.30 c #Conflicts: 1073000 | #Constraints: 31877
2518.81/2525.30 c #Conflicts: 1074000 | #Constraints: 32877
2518.81/2525.30 c #Conflicts: 1075000 | #Constraints: 33877
2518.81/2525.30 c #Conflicts: 1076000 | #Constraints: 34877
2518.81/2525.30 c #Conflicts: 1077000 | #Constraints: 35877
2518.81/2525.30 c #Conflicts: 1078000 | #Constraints: 36877
2518.81/2525.30 c #Conflicts: 1079000 | #Constraints: 37877
2518.81/2525.30 c #Conflicts: 1080000 | #Constraints: 38877
2518.81/2525.30 c #Conflicts: 1081000 | #Constraints: 39877
2518.81/2525.30 c #Conflicts: 1082000 | #Constraints: 40877
2518.81/2525.30 c #Conflicts: 1083000 | #Constraints: 41877
2518.81/2525.30 c INPROCESSING
2518.81/2525.30 c GARBAGE COLLECT
2518.81/2525.30 c #Conflicts: 1084000 | #Constraints: 22265
2518.81/2525.30 c #Conflicts: 1085000 | #Constraints: 23265
2518.81/2525.30 c #Conflicts: 1086000 | #Constraints: 24265
2518.81/2525.30 c #Conflicts: 1087000 | #Constraints: 25265
2518.81/2525.30 c #Conflicts: 1088000 | #Constraints: 26265
2518.81/2525.30 c #Conflicts: 1089000 | #Constraints: 27265
2518.81/2525.30 c #Conflicts: 1090000 | #Constraints: 28265
2518.81/2525.30 c #Conflicts: 1091000 | #Constraints: 29265
2518.81/2525.30 c #Conflicts: 1092000 | #Constraints: 30265
2518.81/2525.30 c #Conflicts: 1093000 | #Constraints: 31265
2518.81/2525.30 c #Conflicts: 1094000 | #Constraints: 32265
2518.81/2525.30 c #Conflicts: 1095000 | #Constraints: 33265
2518.81/2525.30 c #Conflicts: 1096000 | #Constraints: 34265
2518.81/2525.30 c #Conflicts: 1097000 | #Constraints: 35265
2518.81/2525.30 c #Conflicts: 1098000 | #Constraints: 36265
2518.81/2525.30 c #Conflicts: 1099000 | #Constraints: 37265
2518.81/2525.30 c #Conflicts: 1100000 | #Constraints: 38265
2518.81/2525.30 c #Conflicts: 1101000 | #Constraints: 39265
2518.81/2525.30 c #Conflicts: 1102000 | #Constraints: 40265
2518.81/2525.30 c #Conflicts: 1103000 | #Constraints: 41265
2518.81/2525.30 c #Conflicts: 1104000 | #Constraints: 42265
2518.81/2525.30 c INPROCESSING
2518.81/2525.30 c GARBAGE COLLECT
2518.81/2525.30 c #Conflicts: 1105000 | #Constraints: 22465
2518.81/2525.30 c #Conflicts: 1106000 | #Constraints: 23465
2518.81/2525.30 c #Conflicts: 1107000 | #Constraints: 24465
2518.81/2525.30 c #Conflicts: 1108000 | #Constraints: 25465
2518.81/2525.30 c #Conflicts: 1109000 | #Constraints: 26465
2518.81/2525.30 c #Conflicts: 1110000 | #Constraints: 27465
2518.81/2525.30 c #Conflicts: 1111000 | #Constraints: 28465
2518.81/2525.30 c #Conflicts: 1112000 | #Constraints: 29465
2518.81/2525.30 c #Conflicts: 1113000 | #Constraints: 30465
2518.81/2525.30 c #Conflicts: 1114000 | #Constraints: 31465
2518.81/2525.30 c #Conflicts: 1115000 | #Constraints: 32465
2518.81/2525.30 c #Conflicts: 1116000 | #Constraints: 33465
2518.81/2525.30 c #Conflicts: 1117000 | #Constraints: 34465
2518.81/2525.30 c #Conflicts: 1118000 | #Constraints: 35465
2518.81/2525.30 c #Conflicts: 1119000 | #Constraints: 36465
2769.80/2776.98 c #Conflicts: 1120000 | #Constraints: 37465
2769.80/2776.98 c #Conflicts: 1121000 | #Constraints: 38465
2769.80/2776.98 c #Conflicts: 1122000 | #Constraints: 39465
2769.80/2776.98 c #Conflicts: 1123000 | #Constraints: 40465
2769.80/2776.98 c #Conflicts: 1124000 | #Constraints: 41465
2769.80/2776.98 c #Conflicts: 1125000 | #Constraints: 42465
2769.80/2776.98 c INPROCESSING
2769.80/2776.98 c GARBAGE COLLECT
2769.80/2776.98 c #Conflicts: 1126000 | #Constraints: 22487
2769.80/2776.98 c #Conflicts: 1127000 | #Constraints: 23487
2769.80/2776.98 c #Conflicts: 1128000 | #Constraints: 24487
2769.80/2776.98 c #Conflicts: 1129000 | #Constraints: 25487
2769.80/2776.98 c #Conflicts: 1130000 | #Constraints: 26487
2769.80/2776.98 c #Conflicts: 1131000 | #Constraints: 27487
2769.80/2776.98 c #Conflicts: 1132000 | #Constraints: 28487
2769.80/2776.98 c #Conflicts: 1133000 | #Constraints: 29487
2769.80/2776.98 c #Conflicts: 1134000 | #Constraints: 30487
2769.80/2776.98 c #Conflicts: 1135000 | #Constraints: 31487
2769.80/2776.98 c #Conflicts: 1136000 | #Constraints: 32487
2769.80/2776.98 c #Conflicts: 1137000 | #Constraints: 33487
2769.80/2776.98 c #Conflicts: 1138000 | #Constraints: 34487
2769.80/2776.98 c #Conflicts: 1139000 | #Constraints: 35487
2769.80/2776.98 c #Conflicts: 1140000 | #Constraints: 36487
2769.80/2776.98 c #Conflicts: 1141000 | #Constraints: 37487
2769.80/2776.98 c #Conflicts: 1142000 | #Constraints: 38487
2769.80/2776.98 c #Conflicts: 1143000 | #Constraints: 39487
2769.80/2776.98 c #Conflicts: 1144000 | #Constraints: 40487
2769.80/2776.98 c #Conflicts: 1145000 | #Constraints: 41487
2769.80/2776.98 c #Conflicts: 1146000 | #Constraints: 42487
2769.80/2776.98 c INPROCESSING
2769.80/2776.98 c GARBAGE COLLECT
2769.80/2776.98 c #Conflicts: 1147000 | #Constraints: 22271
2769.80/2776.98 c #Conflicts: 1148000 | #Constraints: 23271
2769.80/2776.98 c #Conflicts: 1149000 | #Constraints: 24271
2769.80/2776.98 c #Conflicts: 1150000 | #Constraints: 25271
2769.80/2776.98 c #Conflicts: 1151000 | #Constraints: 26271
2769.80/2776.98 c #Conflicts: 1152000 | #Constraints: 27271
2769.80/2776.98 c #Conflicts: 1153000 | #Constraints: 28271
2769.80/2776.98 c #Conflicts: 1154000 | #Constraints: 29271
2769.80/2776.98 c #Conflicts: 1155000 | #Constraints: 30271
2769.80/2776.98 c #Conflicts: 1156000 | #Constraints: 31271
2769.80/2776.98 c #Conflicts: 1157000 | #Constraints: 32271
2769.80/2776.98 c #Conflicts: 1158000 | #Constraints: 33271
2769.80/2776.98 c #Conflicts: 1159000 | #Constraints: 34271
2769.80/2776.98 c #Conflicts: 1160000 | #Constraints: 35271
2769.80/2776.98 c #Conflicts: 1161000 | #Constraints: 36271
2769.80/2776.98 c #Conflicts: 1162000 | #Constraints: 37271
2769.80/2776.98 c #Conflicts: 1163000 | #Constraints: 38271
2769.80/2776.98 c #Conflicts: 1164000 | #Constraints: 39271
2769.80/2776.98 c #Conflicts: 1165000 | #Constraints: 40271
2769.80/2776.98 c #Conflicts: 1166000 | #Constraints: 41271
2769.80/2776.98 c #Conflicts: 1167000 | #Constraints: 42271
2769.80/2776.98 c #Conflicts: 1168000 | #Constraints: 43271
2769.80/2776.98 c INPROCESSING
2769.80/2776.98 c GARBAGE COLLECT
2769.80/2776.98 c #Conflicts: 1169000 | #Constraints: 22879
2769.80/2776.98 c #Conflicts: 1170000 | #Constraints: 23879
2769.80/2776.98 c #Conflicts: 1171000 | #Constraints: 24879
2769.80/2776.98 c #Conflicts: 1172000 | #Constraints: 25879
2769.80/2776.98 c #Conflicts: 1173000 | #Constraints: 26879
2769.80/2776.98 c #Conflicts: 1174000 | #Constraints: 27879
2769.80/2776.98 c #Conflicts: 1175000 | #Constraints: 28879
2769.80/2776.98 c #Conflicts: 1176000 | #Constraints: 29879
2769.80/2776.98 c #Conflicts: 1177000 | #Constraints: 30879
2769.80/2776.98 c #Conflicts: 1178000 | #Constraints: 31879
2769.80/2776.98 c #Conflicts: 1179000 | #Constraints: 32879
2769.80/2776.98 c #Conflicts: 1180000 | #Constraints: 33879
2769.80/2776.98 c #Conflicts: 1181000 | #Constraints: 34879
2769.80/2776.98 c #Conflicts: 1182000 | #Constraints: 35879
2769.80/2776.98 c #Conflicts: 1183000 | #Constraints: 36879
2769.80/2776.98 c #Conflicts: 1184000 | #Constraints: 37879
2769.80/2776.98 c #Conflicts: 1185000 | #Constraints: 38879
2769.80/2776.98 c #Conflicts: 1186000 | #Constraints: 39879
2769.80/2776.98 c #Conflicts: 1187000 | #Constraints: 40879
2769.80/2776.98 c #Conflicts: 1188000 | #Constraints: 41879
2769.80/2776.98 c #Conflicts: 1189000 | #Constraints: 42879
2769.80/2776.98 c #Conflicts: 1190000 | #Constraints: 43879
2769.80/2776.98 c INPROCESSING
2769.80/2776.98 c GARBAGE COLLECT
2769.80/2776.98 c #Conflicts: 1191000 | #Constraints: 23294
2769.80/2776.98 c #Conflicts: 1192000 | #Constraints: 24294
2769.80/2776.98 c #Conflicts: 1193000 | #Constraints: 25294
2769.80/2776.98 c #Conflicts: 1194000 | #Constraints: 26294
2769.80/2776.98 c #Conflicts: 1195000 | #Constraints: 27294
2769.80/2776.98 c #Conflicts: 1196000 | #Constraints: 28294
3034.41/3042.24 c #Conflicts: 1197000 | #Constraints: 29294
3034.41/3042.24 c #Conflicts: 1198000 | #Constraints: 30294
3034.41/3042.24 c #Conflicts: 1199000 | #Constraints: 31294
3034.41/3042.24 c #Conflicts: 1200000 | #Constraints: 32294
3034.41/3042.24 c #Conflicts: 1201000 | #Constraints: 33294
3034.41/3042.24 c #Conflicts: 1202000 | #Constraints: 34294
3034.41/3042.24 c #Conflicts: 1203000 | #Constraints: 35294
3034.41/3042.24 c #Conflicts: 1204000 | #Constraints: 36294
3034.41/3042.24 c #Conflicts: 1205000 | #Constraints: 37294
3034.41/3042.24 c #Conflicts: 1206000 | #Constraints: 38294
3034.41/3042.24 c #Conflicts: 1207000 | #Constraints: 39294
3034.41/3042.24 c #Conflicts: 1208000 | #Constraints: 40294
3034.41/3042.24 c #Conflicts: 1209000 | #Constraints: 41294
3034.41/3042.24 c #Conflicts: 1210000 | #Constraints: 42294
3034.41/3042.24 c #Conflicts: 1211000 | #Constraints: 43294
3034.41/3042.24 c #Conflicts: 1212000 | #Constraints: 44294
3034.41/3042.24 c INPROCESSING
3034.41/3042.24 c GARBAGE COLLECT
3034.41/3042.24 c #Conflicts: 1213000 | #Constraints: 23473
3034.41/3042.24 c #Conflicts: 1214000 | #Constraints: 24473
3034.41/3042.24 c #Conflicts: 1215000 | #Constraints: 25473
3034.41/3042.24 c #Conflicts: 1216000 | #Constraints: 26473
3034.41/3042.24 c #Conflicts: 1217000 | #Constraints: 27473
3034.41/3042.24 c #Conflicts: 1218000 | #Constraints: 28473
3034.41/3042.24 c #Conflicts: 1219000 | #Constraints: 29473
3034.41/3042.24 c #Conflicts: 1220000 | #Constraints: 30473
3034.41/3042.24 c #Conflicts: 1221000 | #Constraints: 31473
3034.41/3042.24 c #Conflicts: 1222000 | #Constraints: 32473
3034.41/3042.24 c #Conflicts: 1223000 | #Constraints: 33473
3034.41/3042.24 c #Conflicts: 1224000 | #Constraints: 34473
3034.41/3042.24 c #Conflicts: 1225000 | #Constraints: 35473
3034.41/3042.24 c #Conflicts: 1226000 | #Constraints: 36473
3034.41/3042.24 c #Conflicts: 1227000 | #Constraints: 37473
3034.41/3042.24 c #Conflicts: 1228000 | #Constraints: 38473
3034.41/3042.24 c #Conflicts: 1229000 | #Constraints: 39473
3034.41/3042.24 c #Conflicts: 1230000 | #Constraints: 40473
3034.41/3042.24 c #Conflicts: 1231000 | #Constraints: 41473
3034.41/3042.24 c #Conflicts: 1232000 | #Constraints: 42473
3034.41/3042.24 c #Conflicts: 1233000 | #Constraints: 43473
3034.41/3042.24 c #Conflicts: 1234000 | #Constraints: 44473
3034.41/3042.24 c INPROCESSING
3034.41/3042.24 c GARBAGE COLLECT
3034.41/3042.24 c #Conflicts: 1235000 | #Constraints: 23470
3034.41/3042.24 c #Conflicts: 1236000 | #Constraints: 24470
3034.41/3042.24 c #Conflicts: 1237000 | #Constraints: 25470
3034.41/3042.24 c #Conflicts: 1238000 | #Constraints: 26470
3034.41/3042.24 c #Conflicts: 1239000 | #Constraints: 27470
3034.41/3042.24 c #Conflicts: 1240000 | #Constraints: 28470
3034.41/3042.24 c #Conflicts: 1241000 | #Constraints: 29470
3034.41/3042.24 c #Conflicts: 1242000 | #Constraints: 30470
3034.41/3042.24 c #Conflicts: 1243000 | #Constraints: 31470
3034.41/3042.24 c #Conflicts: 1244000 | #Constraints: 32470
3034.41/3042.24 c #Conflicts: 1245000 | #Constraints: 33470
3034.41/3042.24 c #Conflicts: 1246000 | #Constraints: 34470
3034.41/3042.24 c #Conflicts: 1247000 | #Constraints: 35470
3034.41/3042.24 c #Conflicts: 1248000 | #Constraints: 36470
3034.41/3042.24 c #Conflicts: 1249000 | #Constraints: 37470
3034.41/3042.24 c #Conflicts: 1250000 | #Constraints: 38470
3034.41/3042.24 c #Conflicts: 1251000 | #Constraints: 39470
3034.41/3042.24 c #Conflicts: 1252000 | #Constraints: 40470
3034.41/3042.24 c #Conflicts: 1253000 | #Constraints: 41470
3034.41/3042.24 c #Conflicts: 1254000 | #Constraints: 42470
3034.41/3042.24 c #Conflicts: 1255000 | #Constraints: 43470
3034.41/3042.24 c #Conflicts: 1256000 | #Constraints: 44470
3034.41/3042.24 c INPROCESSING
3034.41/3042.24 c GARBAGE COLLECT
3034.41/3042.24 c #Conflicts: 1257000 | #Constraints: 23264
3034.41/3042.24 c #Conflicts: 1258000 | #Constraints: 24264
3034.41/3042.24 c #Conflicts: 1259000 | #Constraints: 25264
3034.41/3042.24 c #Conflicts: 1260000 | #Constraints: 26264
3034.41/3042.24 c #Conflicts: 1261000 | #Constraints: 27264
3034.41/3042.24 c #Conflicts: 1262000 | #Constraints: 28264
3034.41/3042.24 c #Conflicts: 1263000 | #Constraints: 29264
3034.41/3042.24 c #Conflicts: 1264000 | #Constraints: 30264
3034.41/3042.24 c #Conflicts: 1265000 | #Constraints: 31264
3034.41/3042.24 c #Conflicts: 1266000 | #Constraints: 32264
3034.41/3042.24 c #Conflicts: 1267000 | #Constraints: 33264
3034.41/3042.24 c #Conflicts: 1268000 | #Constraints: 34264
3034.41/3042.24 c #Conflicts: 1269000 | #Constraints: 35264
3034.41/3042.24 c #Conflicts: 1270000 | #Constraints: 36264
3034.41/3042.24 c #Conflicts: 1271000 | #Constraints: 37264
3034.41/3042.24 c #Conflicts: 1272000 | #Constraints: 38264
3312.01/3320.61 c #Conflicts: 1273000 | #Constraints: 39264
3312.01/3320.61 c #Conflicts: 1274000 | #Constraints: 40264
3312.01/3320.61 c #Conflicts: 1275000 | #Constraints: 41264
3312.01/3320.61 c #Conflicts: 1276000 | #Constraints: 42264
3312.01/3320.61 c #Conflicts: 1277000 | #Constraints: 43264
3312.01/3320.61 c #Conflicts: 1278000 | #Constraints: 44264
3312.01/3320.61 c #Conflicts: 1279000 | #Constraints: 45264
3312.01/3320.61 c INPROCESSING
3312.01/3320.61 c GARBAGE COLLECT
3312.01/3320.61 c #Conflicts: 1280000 | #Constraints: 23855
3312.01/3320.61 c #Conflicts: 1281000 | #Constraints: 24855
3312.01/3320.61 c #Conflicts: 1282000 | #Constraints: 25855
3312.01/3320.61 c #Conflicts: 1283000 | #Constraints: 26855
3312.01/3320.61 c #Conflicts: 1284000 | #Constraints: 27855
3312.01/3320.61 c #Conflicts: 1285000 | #Constraints: 28855
3312.01/3320.61 c #Conflicts: 1286000 | #Constraints: 29855
3312.01/3320.61 c #Conflicts: 1287000 | #Constraints: 30855
3312.01/3320.61 c #Conflicts: 1288000 | #Constraints: 31855
3312.01/3320.61 c #Conflicts: 1289000 | #Constraints: 32855
3312.01/3320.61 c #Conflicts: 1290000 | #Constraints: 33855
3312.01/3320.61 c #Conflicts: 1291000 | #Constraints: 34855
3312.01/3320.61 c #Conflicts: 1292000 | #Constraints: 35855
3312.01/3320.61 c #Conflicts: 1293000 | #Constraints: 36855
3312.01/3320.61 c #Conflicts: 1294000 | #Constraints: 37855
3312.01/3320.61 c #Conflicts: 1295000 | #Constraints: 38855
3312.01/3320.61 c #Conflicts: 1296000 | #Constraints: 39855
3312.01/3320.61 c #Conflicts: 1297000 | #Constraints: 40855
3312.01/3320.61 c #Conflicts: 1298000 | #Constraints: 41855
3312.01/3320.61 c #Conflicts: 1299000 | #Constraints: 42855
3312.01/3320.61 c #Conflicts: 1300000 | #Constraints: 43855
3312.01/3320.61 c #Conflicts: 1301000 | #Constraints: 44855
3312.01/3320.61 c #Conflicts: 1302000 | #Constraints: 45855
3312.01/3320.61 c INPROCESSING
3312.01/3320.61 c GARBAGE COLLECT
3312.01/3320.61 c #Conflicts: 1303000 | #Constraints: 24257
3312.01/3320.61 c #Conflicts: 1304000 | #Constraints: 25257
3312.01/3320.61 c #Conflicts: 1305000 | #Constraints: 26257
3312.01/3320.61 c #Conflicts: 1306000 | #Constraints: 27257
3312.01/3320.61 c #Conflicts: 1307000 | #Constraints: 28257
3312.01/3320.61 c #Conflicts: 1308000 | #Constraints: 29257
3312.01/3320.61 c #Conflicts: 1309000 | #Constraints: 30257
3312.01/3320.61 c #Conflicts: 1310000 | #Constraints: 31257
3312.01/3320.61 c #Conflicts: 1311000 | #Constraints: 32257
3312.01/3320.61 c #Conflicts: 1312000 | #Constraints: 33257
3312.01/3320.61 c #Conflicts: 1313000 | #Constraints: 34257
3312.01/3320.61 c #Conflicts: 1314000 | #Constraints: 35257
3312.01/3320.61 c #Conflicts: 1315000 | #Constraints: 36257
3312.01/3320.61 c #Conflicts: 1316000 | #Constraints: 37257
3312.01/3320.61 c #Conflicts: 1317000 | #Constraints: 38257
3312.01/3320.61 c #Conflicts: 1318000 | #Constraints: 39257
3312.01/3320.61 c #Conflicts: 1319000 | #Constraints: 40257
3312.01/3320.61 c #Conflicts: 1320000 | #Constraints: 41257
3312.01/3320.61 c #Conflicts: 1321000 | #Constraints: 42257
3312.01/3320.61 c #Conflicts: 1322000 | #Constraints: 43257
3312.01/3320.61 c #Conflicts: 1323000 | #Constraints: 44257
3312.01/3320.61 c #Conflicts: 1324000 | #Constraints: 45257
3312.01/3320.61 c #Conflicts: 1325000 | #Constraints: 46257
3312.01/3320.61 c INPROCESSING
3312.01/3320.61 c GARBAGE COLLECT
3312.01/3320.61 c #Conflicts: 1326000 | #Constraints: 24462
3312.01/3320.61 c #Conflicts: 1327000 | #Constraints: 25462
3312.01/3320.61 c #Conflicts: 1328000 | #Constraints: 26462
3312.01/3320.61 c #Conflicts: 1329000 | #Constraints: 27462
3312.01/3320.61 c #Conflicts: 1330000 | #Constraints: 28462
3312.01/3320.61 c #Conflicts: 1331000 | #Constraints: 29462
3312.01/3320.61 c #Conflicts: 1332000 | #Constraints: 30462
3312.01/3320.61 c #Conflicts: 1333000 | #Constraints: 31462
3312.01/3320.61 c #Conflicts: 1334000 | #Constraints: 32462
3312.01/3320.61 c #Conflicts: 1335000 | #Constraints: 33462
3312.01/3320.61 c #Conflicts: 1336000 | #Constraints: 34462
3312.01/3320.61 c #Conflicts: 1337000 | #Constraints: 35462
3312.01/3320.61 c #Conflicts: 1338000 | #Constraints: 36462
3312.01/3320.61 c #Conflicts: 1339000 | #Constraints: 37462
3312.01/3320.61 c #Conflicts: 1340000 | #Constraints: 38462
3312.01/3320.61 c #Conflicts: 1341000 | #Constraints: 39462
3312.01/3320.61 c #Conflicts: 1342000 | #Constraints: 40462
3312.01/3320.61 c #Conflicts: 1343000 | #Constraints: 41462
3312.01/3320.61 c #Conflicts: 1344000 | #Constraints: 42462
3312.01/3320.61 c #Conflicts: 1345000 | #Constraints: 43462
3312.01/3320.61 c #Conflicts: 1346000 | #Constraints: 44462
3312.01/3320.61 c #Conflicts: 1347000 | #Constraints: 45462
3312.01/3320.61 c #Conflicts: 1348000 | #Constraints: 46462
3312.01/3320.61 c INPROCESSING
3312.01/3320.61 c GARBAGE COLLECT
3312.01/3320.61 c #Conflicts: 1349000 | #Constraints: 24465
3579.52/3588.90 c #Conflicts: 1350000 | #Constraints: 25465
3579.52/3588.90 c #Conflicts: 1351000 | #Constraints: 26465
3579.52/3588.90 c #Conflicts: 1352000 | #Constraints: 27465
3579.52/3588.90 c #Conflicts: 1353000 | #Constraints: 28465
3579.52/3588.90 c #Conflicts: 1354000 | #Constraints: 29465
3579.52/3588.90 c #Conflicts: 1355000 | #Constraints: 30465
3579.52/3588.90 c #Conflicts: 1356000 | #Constraints: 31465
3579.52/3588.90 c #Conflicts: 1357000 | #Constraints: 32465
3579.52/3588.90 c #Conflicts: 1358000 | #Constraints: 33465
3579.52/3588.90 c #Conflicts: 1359000 | #Constraints: 34465
3579.52/3588.90 c #Conflicts: 1360000 | #Constraints: 35465
3579.52/3588.90 c #Conflicts: 1361000 | #Constraints: 36465
3579.52/3588.90 c #Conflicts: 1362000 | #Constraints: 37465
3579.52/3588.90 c #Conflicts: 1363000 | #Constraints: 38465
3579.52/3588.90 c #Conflicts: 1364000 | #Constraints: 39465
3579.52/3588.90 c #Conflicts: 1365000 | #Constraints: 40465
3579.52/3588.90 c #Conflicts: 1366000 | #Constraints: 41465
3579.52/3588.90 c #Conflicts: 1367000 | #Constraints: 42465
3579.52/3588.90 c #Conflicts: 1368000 | #Constraints: 43465
3579.52/3588.90 c #Conflicts: 1369000 | #Constraints: 44465
3579.52/3588.90 c #Conflicts: 1370000 | #Constraints: 45465
3579.52/3588.90 c #Conflicts: 1371000 | #Constraints: 46465
3579.52/3588.90 c INPROCESSING
3579.52/3588.90 c GARBAGE COLLECT
3579.52/3588.90 c #Conflicts: 1372000 | #Constraints: 24258
3579.52/3588.90 c #Conflicts: 1373000 | #Constraints: 25258
3579.52/3588.90 c #Conflicts: 1374000 | #Constraints: 26258
3579.52/3588.90 c #Conflicts: 1375000 | #Constraints: 27258
3579.52/3588.90 c #Conflicts: 1376000 | #Constraints: 28258
3579.52/3588.90 c #Conflicts: 1377000 | #Constraints: 29258
3579.52/3588.90 c #Conflicts: 1378000 | #Constraints: 30258
3579.52/3588.90 c #Conflicts: 1379000 | #Constraints: 31258
3579.52/3588.90 c #Conflicts: 1380000 | #Constraints: 32258
3579.52/3588.90 c #Conflicts: 1381000 | #Constraints: 33258
3579.52/3588.90 c #Conflicts: 1382000 | #Constraints: 34258
3579.52/3588.90 c #Conflicts: 1383000 | #Constraints: 35258
3579.52/3588.90 c #Conflicts: 1384000 | #Constraints: 36258
3579.52/3588.90 c #Conflicts: 1385000 | #Constraints: 37258
3579.52/3588.90 c #Conflicts: 1386000 | #Constraints: 38258
3579.52/3588.90 c #Conflicts: 1387000 | #Constraints: 39258
3579.52/3588.90 c #Conflicts: 1388000 | #Constraints: 40258
3579.52/3588.90 c #Conflicts: 1389000 | #Constraints: 41258
3579.52/3588.90 c #Conflicts: 1390000 | #Constraints: 42258
3579.52/3588.90 c #Conflicts: 1391000 | #Constraints: 43258
3579.52/3588.90 c #Conflicts: 1392000 | #Constraints: 44258
3579.52/3588.90 c #Conflicts: 1393000 | #Constraints: 45258
3579.52/3588.90 c #Conflicts: 1394000 | #Constraints: 46258
3579.52/3588.90 c #Conflicts: 1395000 | #Constraints: 47258
3579.52/3588.90 c INPROCESSING
3579.52/3588.90 c GARBAGE COLLECT
3579.52/3588.90 c #Conflicts: 1396000 | #Constraints: 24882
3579.52/3588.90 c #Conflicts: 1397000 | #Constraints: 25882
3579.52/3588.90 c #Conflicts: 1398000 | #Constraints: 26882
3579.52/3588.90 c #Conflicts: 1399000 | #Constraints: 27882
3579.52/3588.90 c #Conflicts: 1400000 | #Constraints: 28882
3579.52/3588.90 c #Conflicts: 1401000 | #Constraints: 29882
3579.52/3588.90 c #Conflicts: 1402000 | #Constraints: 30882
3579.52/3588.90 c #Conflicts: 1403000 | #Constraints: 31882
3579.52/3588.90 c #Conflicts: 1404000 | #Constraints: 32882
3579.52/3588.90 c #Conflicts: 1405000 | #Constraints: 33882
3579.52/3588.90 c #Conflicts: 1406000 | #Constraints: 34882
3579.52/3588.90 c #Conflicts: 1407000 | #Constraints: 35882
3579.52/3588.90 c #Conflicts: 1408000 | #Constraints: 36882
3579.52/3588.90 c #Conflicts: 1409000 | #Constraints: 37882
3579.52/3588.90 c #Conflicts: 1410000 | #Constraints: 38882
3579.52/3588.90 c #Conflicts: 1411000 | #Constraints: 39882
3579.52/3588.90 c #Conflicts: 1412000 | #Constraints: 40882
3579.52/3588.90 c #Conflicts: 1413000 | #Constraints: 41882
3579.52/3588.90 c #Conflicts: 1414000 | #Constraints: 42882
3579.52/3588.90 c #Conflicts: 1415000 | #Constraints: 43882
3579.52/3588.90 c #Conflicts: 1416000 | #Constraints: 44882
3579.52/3588.90 c #Conflicts: 1417000 | #Constraints: 45882
3579.52/3588.90 c #Conflicts: 1418000 | #Constraints: 46882
3579.52/3588.90 c #Conflicts: 1419000 | #Constraints: 47882
3579.52/3588.90 c INPROCESSING
3579.52/3588.90 c GARBAGE COLLECT
3579.52/3588.90 c #Conflicts: 1420000 | #Constraints: 25281
3579.52/3588.90 c #Conflicts: 1421000 | #Constraints: 26281
3579.52/3588.90 c #Conflicts: 1422000 | #Constraints: 27281
3579.52/3588.90 c #Conflicts: 1423000 | #Constraints: 28281
3579.52/3588.90 c #Conflicts: 1424000 | #Constraints: 29281
3579.52/3588.90 c #Conflicts: 1425000 | #Constraints: 30281
3579.52/3588.90 c #Conflicts: 1426000 | #Constraints: 31281
3600.07/3609.50 c #Conflicts: 1427000 | #Constraints: 32281
3600.07/3609.50 c #Conflicts: 1428000 | #Constraints: 33281
3600.07/3609.50 c #Conflicts: 1429000 | #Constraints: 34281
3600.07/3609.50 c #Conflicts: 1430000 | #Constraints: 35281
3600.07/3609.50 c #Conflicts: 1431000 | #Constraints: 36281
3600.07/3609.50 c Program interrupted by user.
3600.07/3609.50 c cpu time 3570.75 s
3600.07/3609.50 c deterministic time 924860763750 9.25e+11
3600.07/3609.50 c optimization time 44.7516 s
3600.07/3609.50 c total solve time 3526 s
3600.07/3609.50 c core-guided solve time 3526 s
3600.07/3609.50 c propagation time 3185.74 s
3600.07/3609.50 c conflict analysis time 323.037 s
3600.07/3609.50 c propagations 97141052
3600.07/3609.50 c resolve steps 5497341
3600.07/3609.50 c decisions 25878496
3600.07/3609.50 c conflicts 1431934
3600.07/3609.50 c restarts 2793
3600.07/3609.50 c inprocessing phases 110
3600.07/3609.50 c input clauses 528
3600.07/3609.50 c input cardinalities 53
3600.07/3609.50 c input general constraints 34
3600.07/3609.50 c input average constraint length 15.05
3600.07/3609.50 c input average constraint degree 9.33
3600.07/3609.50 c learned clauses 915872
3600.07/3609.50 c learned cardinalities 21436
3600.07/3609.50 c learned general constraints 494626
3600.07/3609.50 c learned average constraint length 680.54
3600.07/3609.50 c learned average constraint degree 35468.53
3600.07/3609.50 c watched constraints 489312
3600.07/3609.50 c counting constraints 5348
3600.07/3609.50 c gcd simplifications 10113
3600.07/3609.50 c detected cardinalities 207
3600.07/3609.50 c weakened non-implied lits 37711211
3600.07/3609.50 c weakened non-implying lits 2670
3600.07/3609.50 c original variables 1922
3600.07/3609.50 c clausal propagations 4373783
3600.07/3609.50 c cardinality propagations 7840995
3600.07/3609.50 c watched propagations 14604144
3600.07/3609.50 c counting propagations 69172085
3600.07/3609.50 c watch lookups 48009243372
3600.07/3609.50 c watch backjump lookups 41890619016
3600.07/3609.50 c watch checks 795667676271
3600.07/3609.50 c propagation checks 35942027752
3600.07/3609.50 c constraint additions 3103727244
3600.07/3609.50 c trail pops 124450546
3600.07/3609.50 c formula constraints 573
3600.07/3609.50 c learned constraints 1431934
3600.07/3609.50 c bound constraints 4
3600.07/3609.50 c core-guided constraints 38
3600.07/3609.50 c encountered formula constraints 2309252
3600.07/3609.50 c encountered learned constraints 4613234
3600.07/3609.50 c encountered bound constraints 569
3600.07/3609.50 c encountered core-guided constraints 6220
3600.07/3609.50 c LP total time 0 s
3600.07/3609.50 c LP solve time 0 s
3600.07/3609.50 c LP constraints added 0
3600.07/3609.50 c LP constraints removed 0
3600.07/3609.50 c LP pivots internal 0
3600.07/3609.50 c LP pivots root 0
3600.07/3609.50 c LP calls 0
3600.07/3609.50 c LP optimalities 0
3600.07/3609.50 c LP no pivot count 0
3600.07/3609.50 c LP infeasibilities 0
3600.07/3609.50 c LP valid Farkas constraints 0
3600.07/3609.50 c LP learned Farkas constraints 0
3600.07/3609.50 c LP basis resets 0
3600.07/3609.50 c LP cycling count 0
3600.07/3609.50 c LP singular count 0
3600.07/3609.50 c LP no primal count 0
3600.07/3609.50 c LP no farkas count 0
3600.07/3609.50 c LP other issue count 0
3600.07/3609.50 c LP Gomory cuts 0
3600.07/3609.50 c LP learned cuts 0
3600.07/3609.50 c LP deleted cuts 0
3600.07/3609.50 c LP encountered Gomory constraints 0
3600.07/3609.50 c LP encountered Farkas constraints 0
3600.07/3609.50 c LP encountered learned Farkas constraints 0
3600.07/3609.50 c CG auxiliary variables introduced 34
3600.07/3609.50 c CG solutions found 1
3600.07/3609.50 c CG cores constructed 3
3600.07/3609.50 c CG core cardinality constraints returned 0
3600.07/3609.50 c CG unit cores 1
3600.07/3609.50 c CG single cores 2
3600.07/3609.50 c CG blocks removed during cardinality reduction 0
3600.07/3609.50 c CG first core best 0
3600.07/3609.50 c CG decision core best 0
3600.07/3609.50 c CG core reduction tie 0
3600.07/3609.50 c CG core degree average 1.00
3600.07/3609.50 c CG core slack average 15.00
3600.07/3609.50 c CG exhausted 0
3600.07/3609.50 c CG exhaust time 0.165925 s
3600.07/3609.50 c CG trimmed 0
3600.07/3609.50 c CG trim time 0.000118 s
3600.07/3609.50 c CG minimized 0
3600.07/3609.50 c CG minimize time 0 s
3600.07/3609.50 c CG am1 prop time 0.001782 s
3600.07/3609.50 c CG # am1s reformulated 31
3600.07/3609.50 c CG lower bound derived from am1s 930
3600.07/3609.50 c CG # clausal cores 2
3600.07/3609.50 c CG # cardinality cores 0
3600.07/3609.50 c CG # pb cores 0
3600.07/3609.50 c CG # pb reforms 0
3600.07/3609.50 c CG # cores discarded because of pb reform 0
3600.07/3609.50 d LOWERBOUND -28
3600.07/3609.50 d NCORES 3
3600.07/3609.50 d NPBCORES 0
3600.07/3609.50 d NPBREFORM 0
3600.07/3609.50 d NTRIMMED 0
3600.07/3609.50 d NEXHAUSTED 0
3600.07/3609.50 d NAM1S 31
3600.07/3609.50 d AM1LB 930
3600.07/3609.50 o -15
3600.07/3609.50 s SATISFIABLE
3600.07/3609.50 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 (42175 MiB free)
memory of node 1: 64510 MiB (55389 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458516-1721880645/watcher-4458516-1721880645 -o /tmp/evaluation-result-4458516-1721880645/solver-4458516-1721880645 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721875971-215808 --watchdog 3760 pb-oll-rs HOME/instance-4458516-1721880645.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=219054, runsolver pid=219051
Current StackSize limit: 8192 KiB
[startup+0.100104 s]*
/proc/loadavg: 4.16 4.12 4.09 5/245 219055
/proc/meminfo: memFree=99900496/131655788 swapFree=131062644/131071996
[pid=219054] ppid=219051 vsize=42436 memory=11360 CPUtime=0.1 cores=1,3
/proc/219054/stat : 219054 (pb-oll-rs) R 219051 219054 215796 0 -1 4194304 1147 0 0 0 7 3 0 0 20 0 1 0 24053518 43454464 2840 134679101440 4194304 5384485 140721511303728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28176384 140721511310359 140721511310436 140721511310436 140721511317451 0
/proc/219054/statm: 10609 2840 1357 291 0 2143 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42436 KiB
Current children cumulated memory: 11360 KiB
[startup+0.213055 s]*
/proc/loadavg: 4.16 4.12 4.09 6/245 219055
/proc/meminfo: memFree=99898816/131655788 swapFree=131062644/131071996
[pid=219054] ppid=219051 vsize=44032 memory=12944 CPUtime=0.22 cores=1,3
/proc/219054/stat : 219054 (pb-oll-rs) R 219051 219054 215796 0 -1 4194304 1543 0 0 0 16 6 0 0 20 0 1 0 24053518 45088768 3236 134679101440 4194304 5384485 140721511303728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28176384 140721511310359 140721511310436 140721511310436 140721511317451 0
/proc/219054/statm: 11008 3236 1357 291 0 2542 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 44032 KiB
Current children cumulated memory: 12944 KiB
[startup+0.313322 s]*
/proc/loadavg: 4.16 4.12 4.09 5/245 219057
/proc/meminfo: memFree=99895900/131655788 swapFree=131062644/131071996
[pid=219054] ppid=219051 vsize=44440 memory=15256 CPUtime=0.32 cores=1,3
/proc/219054/stat : 219054 (pb-oll-rs) R 219051 219054 215796 0 -1 4194304 1640 0 0 0 25 7 0 0 20 0 1 0 24053518 45506560 3814 134679101440 4194304 5384485 140721511303728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28176384 140721511310359 140721511310436 140721511310436 140721511317451 0
/proc/219054/statm: 11110 3814 1357 291 0 2644 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 44440 KiB
Current children cumulated memory: 15256 KiB
[startup+0.700343 s]
/proc/loadavg: 4.16 4.12 4.09 5/245 219057
/proc/meminfo: memFree=99895228/131655788 swapFree=131062644/131071996
[pid=219054] ppid=219051 vsize=48852 memory=17644 CPUtime=0.69 cores=1,3
/proc/219054/stat : 219054 (pb-oll-rs) R 219051 219054 215796 0 -1 4194304 2224 0 0 0 57 12 0 0 20 0 1 0 24053518 50024448 4411 134679101440 4194304 5384485 140721511303728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28176384 140721511310359 140721511310436 140721511310436 140721511317451 0
/proc/219054/statm: 12213 4411 1357 291 0 3747 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 48852 KiB
Current children cumulated memory: 17644 KiB
[startup+1.50034 s]
/proc/loadavg: 4.16 4.12 4.09 5/245 219057
/proc/meminfo: memFree=99892524/131655788 swapFree=131062644/131071996
[pid=219054] ppid=219051 vsize=55472 memory=25540 CPUtime=1.48 cores=1,3
/proc/219054/stat : 219054 (pb-oll-rs) R 219051 219054 215796 0 -1 4194304 3623 0 0 0 131 17 0 0 20 0 1 0 24053518 56803328 6385 134679101440 4194304 5384485 140721511303728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28176384 140721511310359 140721511310436 140721511310436 140721511317451 0
/proc/219054/statm: 13868 6385 1420 291 0 5402 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 55472 KiB
Current children cumulated memory: 25540 KiB
[startup+3.11284 s]
/proc/loadavg: 4.23 4.14 4.10 5/245 219057
/proc/meminfo: memFree=99879440/131655788 swapFree=131062644/131071996
[pid=219054] ppid=219051 vsize=64680 memory=31900 CPUtime=3.1 cores=1,3
/proc/219054/stat : 219054 (pb-oll-rs) R 219051 219054 215796 0 -1 4194304 4670 0 0 0 284 26 0 0 20 0 1 0 24053518 66232320 7975 134679101440 4194304 5384485 140721511303728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28176384 140721511310359 140721511310436 140721511310436 140721511317451 0
/proc/219054/statm: 16170 7975 1420 291 0 7704 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 64680 KiB
Current children cumulated memory: 31900 KiB
[startup+6.30033 s]
/proc/loadavg: 4.23 4.14 4.10 5/245 219057
/proc/meminfo: memFree=99869168/131655788 swapFree=131062644/131071996
[pid=219054] ppid=219051 vsize=67208 memory=37572 CPUtime=6.27 cores=1,3
/proc/219054/stat : 219054 (pb-oll-rs) R 219051 219054 215796 0 -1 4194304 5120 0 0 0 587 40 0 0 20 0 1 0 24053518 68820992 9393 134679101440 4194304 5384485 140721511303728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28176384 140721511310359 140721511310436 140721511310436 140721511317451 0
/proc/219054/statm: 16802 9393 1420 291 0 8336 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 67208 KiB
Current children cumulated memory: 37572 KiB
[startup+12.7003 s]
/proc/loadavg: 4.29 4.15 4.10 5/245 219058
/proc/meminfo: memFree=99864576/131655788 swapFree=131062644/131071996
[pid=219054] ppid=219051 vsize=82152 memory=41576 CPUtime=12.66 cores=1,3
/proc/219054/stat : 219054 (pb-oll-rs) R 219051 219054 215796 0 -1 4194304 6093 0 0 0 1198 68 0 0 20 0 1 0 24053518 84123648 10394 134679101440 4194304 5384485 140721511303728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28176384 140721511310359 140721511310436 140721511310436 140721511317451 0
/proc/219054/statm: 20538 10394 1420 291 0 12072 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 82152 KiB
Current children cumulated memory: 41576 KiB
[startup+25.5004 s]
/proc/loadavg: 4.30 4.16 4.11 5/245 219060
/proc/meminfo: memFree=99841036/131655788 swapFree=131062644/131071996
[pid=219054] ppid=219051 vsize=90752 memory=59964 CPUtime=25.42 cores=1,3
/proc/219054/stat : 219054 (pb-oll-rs) R 219051 219054 215796 0 -1 4194304 8675 0 0 0 2439 103 0 0 20 0 1 0 24053518 92930048 14991 134679101440 4194304 5384485 140721511303728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28176384 140721511310359 140721511310436 140721511310436 140721511317451 0
/proc/219054/statm: 22688 14991 1420 291 0 14222 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 90752 KiB
Current children cumulated memory: 59964 KiB
[startup+51.1129 s]
/proc/loadavg: 4.20 4.14 4.10 5/245 219065
/proc/meminfo: memFree=99818784/131655788 swapFree=131062644/131071996
[pid=219054] ppid=219051 vsize=118528 memory=76052 CPUtime=50.97 cores=1,3
/proc/219054/stat : 219054 (pb-oll-rs) R 219051 219054 215796 0 -1 4194304 10642 0 0 0 4941 156 0 0 20 0 1 0 24053518 121372672 19013 134679101440 4194304 5384485 140721511303728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28176384 140721511310359 140721511310436 140721511310436 140721511317451 0
/proc/219054/statm: 29632 19013 1420 291 0 21166 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 118528 KiB
Current children cumulated memory: 76052 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/245 219074
/proc/meminfo: memFree=99782664/131655788 swapFree=131062644/131071996
[pid=219054] ppid=219051 vsize=155560 memory=98524 CPUtime=102.03 cores=1,3
/proc/219054/stat : 219054 (pb-oll-rs) R 219051 219054 215796 0 -1 4194304 12819 0 0 0 9980 223 0 0 20 0 1 0 24053518 159293440 24631 134679101440 4194304 5384485 140721511303728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28176384 140721511310359 140721511310436 140721511310436 140721511317451 0
/proc/219054/statm: 38890 24631 1420 291 0 30424 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 155560 KiB
Current children cumulated memory: 98524 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/245 219085
/proc/meminfo: memFree=99771724/131655788 swapFree=131062644/131071996
[pid=219054] ppid=219051 vsize=161192 memory=109644 CPUtime=161.86 cores=1,3
/proc/219054/stat : 219054 (pb-oll-rs) R 219051 219054 215796 0 -1 4194304 14107 0 0 0 15872 314 0 0 20 0 1 0 24053518 165060608 27411 134679101440 4194304 5384485 140721511303728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28176384 140721511310359 140721511310436 140721511310436 140721511317451 0
/proc/219054/statm: 40298 27411 1420 291 0 31832 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 161192 KiB
Current children cumulated memory: 109644 KiB
[startup+222.3 s]
/proc/loadavg: 4.30 4.16 4.11 5/244 219095
/proc/meminfo: memFree=99754776/131655788 swapFree=131062644/131071996
[pid=219054] ppid=219051 vsize=164844 memory=119376 CPUtime=221.71 cores=1,3
/proc/219054/stat : 219054 (pb-oll-rs) R 219051 219054 215796 0 -1 4194304 14959 0 0 0 21765 406 0 0 20 0 1 0 24053518 168800256 29844 134679101440 4194304 5384485 140721511303728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28176384 140721511310359 140721511310436 140721511310436 140721511317451 0
/proc/219054/statm: 41211 29844 1420 291 0 32745 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 164844 KiB
Current children cumulated memory: 119376 KiB
[startup+282.3 s]
/proc/loadavg: 4.62 4.30 4.16 5/241 219105
/proc/meminfo: memFree=99742720/131655788 swapFree=131062644/131071996
[pid=219054] ppid=219051 vsize=166524 memory=127132 CPUtime=281.52 cores=1,3
/proc/219054/stat : 219054 (pb-oll-rs) R 219051 219054 215796 0 -1 4194304 15376 0 0 0 27694 458 0 0 20 0 1 0 24053518 170520576 31783 134679101440 4194304 5384485 140721511303728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28176384 140721511310359 140721511310436 140721511310436 140721511317451 0
/proc/219054/statm: 41631 31783 1420 291 0 33165 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 166524 KiB
Current children cumulated memory: 127132 KiB
[startup+342.3 s]
/proc/loadavg: 4.27 4.26 4.15 5/242 219117
/proc/meminfo: memFree=99731268/131655788 swapFree=131062644/131071996
[pid=219054] ppid=219051 vsize=169524 memory=137516 CPUtime=341.37 cores=1,3
/proc/219054/stat : 219054 (pb-oll-rs) R 219051 219054 215796 0 -1 4194304 16039 0 0 0 33608 529 0 0 20 0 1 0 24053518 173592576 34379 134679101440 4194304 5384485 140721511303728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28176384 140721511310359 140721511310436 140721511310436 140721511317451 0
/proc/219054/statm: 42381 34379 1420 291 0 33915 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 169524 KiB
Current children cumulated memory: 137516 KiB
[startup+402.3 s]
/proc/loadavg: 4.21 4.24 4.15 5/242 219127
/proc/meminfo: memFree=99714888/131655788 swapFree=131062644/131071996
[pid=219054] ppid=219051 vsize=233676 memory=152372 CPUtime=401.24 cores=1,3
/proc/219054/stat : 219054 (pb-oll-rs) R 219051 219054 215796 0 -1 4194304 18884 0 0 0 39524 600 0 0 20 0 1 0 24053518 239284224 38093 134679101440 4194304 5384485 140721511303728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28176384 140721511310359 140721511310436 140721511310436 140721511317451 0
/proc/219054/statm: 58419 38093 1420 291 0 49953 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 233676 KiB
Current children cumulated memory: 152372 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.21 4.15 5/242 219138
/proc/meminfo: memFree=99711976/131655788 swapFree=131062644/131071996
[pid=219054] ppid=219051 vsize=236264 memory=154552 CPUtime=461.1 cores=1,3
/proc/219054/stat : 219054 (pb-oll-rs) R 219051 219054 215796 0 -1 4194304 19572 0 0 0 45437 673 0 0 20 0 1 0 24053518 241934336 38638 134679101440 4194304 5384485 140721511303728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28176384 140721511310359 140721511310436 140721511310436 140721511317451 0
/proc/219054/statm: 59066 38638 1420 291 0 50600 0
################
# More data... #
################
Current children cumulated memory: 281596 KiB
[startup+2922.3 s]
/proc/loadavg: 4.04 4.09 4.12 5/245 220839
/proc/meminfo: memFree=97834828/131655788 swapFree=131062644/131071996
[pid=219054] ppid=219051 vsize=375184 memory=284648 CPUtime=2914.8 cores=1,3
/proc/219054/stat : 219054 (pb-oll-rs) R 219051 219054 215796 0 -1 4194304 37062 0 0 0 288981 2499 0 0 20 0 1 0 24053518 384188416 71162 134679101440 4194304 5384485 140721511303728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28176384 140721511310359 140721511310436 140721511310436 140721511317451 0
/proc/219054/statm: 93796 71162 1420 291 0 85330 0
Current children cumulated CPU time: 2914.8 s
Current children cumulated vsize: 375184 KiB
Current children cumulated memory: 284648 KiB
[startup+2982.3 s]
/proc/loadavg: 4.18 4.12 4.13 5/244 220851
/proc/meminfo: memFree=97475844/131655788 swapFree=131062644/131071996
[pid=219054] ppid=219051 vsize=376848 memory=285460 CPUtime=2974.66 cores=1,3
/proc/219054/stat : 219054 (pb-oll-rs) R 219051 219054 215796 0 -1 4194304 37411 0 0 0 294919 2547 0 0 20 0 1 0 24053518 385892352 71365 134679101440 4194304 5384485 140721511303728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28176384 140721511310359 140721511310436 140721511310436 140721511317451 0
/proc/219054/statm: 94212 71365 1420 291 0 85746 0
Current children cumulated CPU time: 2974.66 s
Current children cumulated vsize: 376848 KiB
Current children cumulated memory: 285460 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.11 4.12 5/243 220918
/proc/meminfo: memFree=97542612/131655788 swapFree=131062644/131071996
[pid=219054] ppid=219051 vsize=377360 memory=285884 CPUtime=3034.51 cores=1,3
/proc/219054/stat : 219054 (pb-oll-rs) R 219051 219054 215796 0 -1 4194304 37773 0 0 0 300863 2588 0 0 20 0 1 0 24053518 386416640 71471 134679101440 4194304 5384485 140721511303728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28176384 140721511310359 140721511310436 140721511310436 140721511317451 0
/proc/219054/statm: 94340 71471 1420 291 0 85874 0
Current children cumulated CPU time: 3034.51 s
Current children cumulated vsize: 377360 KiB
Current children cumulated memory: 285884 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.12 4.12 5/245 220933
/proc/meminfo: memFree=97460732/131655788 swapFree=131062644/131071996
[pid=219054] ppid=219051 vsize=378640 memory=286736 CPUtime=3094.34 cores=1,3
/proc/219054/stat : 219054 (pb-oll-rs) R 219051 219054 215796 0 -1 4194304 38295 0 0 0 306808 2626 0 0 20 0 1 0 24053518 387727360 71684 134679101440 4194304 5384485 140721511303728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28176384 140721511310359 140721511310436 140721511310436 140721511317451 0
/proc/219054/statm: 94660 71684 1420 291 0 86194 0
Current children cumulated CPU time: 3094.34 s
Current children cumulated vsize: 378640 KiB
Current children cumulated memory: 286736 KiB
[startup+3162.3 s]
/proc/loadavg: 4.27 4.14 4.13 5/244 220943
/proc/meminfo: memFree=97413824/131655788 swapFree=131062644/131071996
[pid=219054] ppid=219051 vsize=381712 memory=288984 CPUtime=3154.17 cores=1,3
/proc/219054/stat : 219054 (pb-oll-rs) R 219051 219054 215796 0 -1 4194304 39066 0 0 0 312761 2656 0 0 20 0 1 0 24053518 390873088 72246 134679101440 4194304 5384485 140721511303728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28176384 140721511310359 140721511310436 140721511310436 140721511317451 0
/proc/219054/statm: 95428 72246 1420 291 0 86962 0
Current children cumulated CPU time: 3154.17 s
Current children cumulated vsize: 381712 KiB
Current children cumulated memory: 288984 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.13 4.12 5/243 220953
/proc/meminfo: memFree=97259204/131655788 swapFree=131062644/131071996
[pid=219054] ppid=219051 vsize=382224 memory=289020 CPUtime=3213.99 cores=1,3
/proc/219054/stat : 219054 (pb-oll-rs) R 219051 219054 215796 0 -1 4194304 39252 0 0 0 318706 2693 0 0 20 0 1 0 24053518 391397376 72255 134679101440 4194304 5384485 140721511303728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28176384 140721511310359 140721511310436 140721511310436 140721511317451 0
/proc/219054/statm: 95556 72255 1420 291 0 87090 0
Current children cumulated CPU time: 3213.99 s
Current children cumulated vsize: 382224 KiB
Current children cumulated memory: 289020 KiB
[startup+3282.3 s]
/proc/loadavg: 4.24 4.15 4.13 5/244 220965
/proc/meminfo: memFree=97207200/131655788 swapFree=131062644/131071996
[pid=219054] ppid=219051 vsize=382736 memory=291680 CPUtime=3273.82 cores=1,3
/proc/219054/stat : 219054 (pb-oll-rs) R 219051 219054 215796 0 -1 4194304 39616 0 0 0 324650 2732 0 0 20 0 1 0 24053518 391921664 72920 134679101440 4194304 5384485 140721511303728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28176384 140721511310359 140721511310436 140721511310436 140721511317451 0
/proc/219054/statm: 95684 72920 1420 291 0 87218 0
Current children cumulated CPU time: 3273.82 s
Current children cumulated vsize: 382736 KiB
Current children cumulated memory: 291680 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.12 4.12 5/244 220975
/proc/meminfo: memFree=97157564/131655788 swapFree=131062644/131071996
[pid=219054] ppid=219051 vsize=383504 memory=292100 CPUtime=3333.65 cores=1,3
/proc/219054/stat : 219054 (pb-oll-rs) R 219051 219054 215796 0 -1 4194304 39994 0 0 0 330604 2761 0 0 20 0 1 0 24053518 392708096 73025 134679101440 4194304 5384485 140721511303728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28176384 140721511310359 140721511310436 140721511310436 140721511317451 0
/proc/219054/statm: 95876 73025 1420 291 0 87410 0
Current children cumulated CPU time: 3333.65 s
Current children cumulated vsize: 383504 KiB
Current children cumulated memory: 292100 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.11 4.11 5/242 220987
/proc/meminfo: memFree=97049264/131655788 swapFree=131062644/131071996
[pid=219054] ppid=219051 vsize=384016 memory=292408 CPUtime=3393.47 cores=1,3
/proc/219054/stat : 219054 (pb-oll-rs) R 219051 219054 215796 0 -1 4194304 40338 0 0 0 336547 2800 0 0 20 0 1 0 24053518 393232384 73102 134679101440 4194304 5384485 140721511303728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28176384 140721511310359 140721511310436 140721511310436 140721511317451 0
/proc/219054/statm: 96004 73102 1420 291 0 87538 0
Current children cumulated CPU time: 3393.47 s
Current children cumulated vsize: 384016 KiB
Current children cumulated memory: 292408 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/242 220997
/proc/meminfo: memFree=97029380/131655788 swapFree=131062644/131071996
[pid=219054] ppid=219051 vsize=385040 memory=292704 CPUtime=3453.29 cores=1,3
/proc/219054/stat : 219054 (pb-oll-rs) R 219051 219054 215796 0 -1 4194304 40576 0 0 0 342488 2841 0 0 20 0 1 0 24053518 394280960 73176 134679101440 4194304 5384485 140721511303728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28176384 140721511310359 140721511310436 140721511310436 140721511317451 0
/proc/219054/statm: 96260 73176 1420 291 0 87794 0
Current children cumulated CPU time: 3453.29 s
Current children cumulated vsize: 385040 KiB
Current children cumulated memory: 292704 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/242 221007
/proc/meminfo: memFree=96939488/131655788 swapFree=131062644/131071996
[pid=219054] ppid=219051 vsize=385040 memory=292976 CPUtime=3513.12 cores=1,3
/proc/219054/stat : 219054 (pb-oll-rs) R 219051 219054 215796 0 -1 4194304 40865 0 0 0 348436 2876 0 0 20 0 1 0 24053518 394280960 73244 134679101440 4194304 5384485 140721511303728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28176384 140721511310359 140721511310436 140721511310436 140721511317451 0
/proc/219054/statm: 96260 73244 1420 291 0 87794 0
Current children cumulated CPU time: 3513.12 s
Current children cumulated vsize: 385040 KiB
Current children cumulated memory: 292976 KiB
[startup+3582.3 s]
/proc/loadavg: 4.69 4.26 4.16 5/244 221022
/proc/meminfo: memFree=96863932/131655788 swapFree=131062644/131071996
[pid=219054] ppid=219051 vsize=385808 memory=293448 CPUtime=3572.94 cores=1,3
/proc/219054/stat : 219054 (pb-oll-rs) R 219051 219054 215796 0 -1 4194304 41256 0 0 0 354382 2912 0 0 20 0 1 0 24053518 395067392 73362 134679101440 4194304 5384485 140721511303728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28176384 140721511310359 140721511310436 140721511310436 140721511317451 0
/proc/219054/statm: 96452 73362 1420 291 0 87986 0
Current children cumulated CPU time: 3572.94 s
Current children cumulated vsize: 385808 KiB
Current children cumulated memory: 293448 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.72 4.32 4.18 5/243 221026
/proc/meminfo: memFree=96781848/131655788 swapFree=131062644/131071996
[pid=219054] ppid=219051 vsize=386064 memory=293464 CPUtime=3600.07 cores=1,3
/proc/219054/stat : 219054 (pb-oll-rs) R 219051 219054 215796 0 -1 4194304 41382 0 0 0 357075 2932 0 0 20 0 1 0 24053518 395329536 73366 134679101440 4194304 5384485 140721511303728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28176384 140721511310359 140721511310436 140721511310436 140721511317451 0
/proc/219054/statm: 96516 73366 1420 291 0 88050 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 386064 KiB
Current children cumulated memory: 293464 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.51 s]
# the end of solver process 219054 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3570.76 s, system=29.3231 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 4.72 4.32 4.18 5/243 221026
/proc/meminfo: memFree=96781848/131655788 swapFree=131062644/131071996
[pid=219054] ppid=219051 vsize=386064 memory=293464 CPUtime=3600.07 cores=1,3
/proc/219054/stat : 219054 (pb-oll-rs) R 219051 219054 215796 0 -1 4194304 41382 0 0 0 357075 2932 0 0 20 0 1 0 24053518 395329536 73366 134679101440 4194304 5384485 140721511303728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28176384 140721511310359 140721511310436 140721511310436 140721511317451 0
/proc/219054/statm: 96516 73366 1420 291 0 88050 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 386064 KiB
Current children cumulated memory: 293464 KiB
Child status: 0
Real time (s): 3609.51
CPU time (s): 3600.08
CPU user time (s): 3570.76
CPU system time (s): 29.3231
CPU usage (%): 99.7388
Max. virtual memory (cumulated for all children) (KiB): 386160
Max. memory (cumulated for all children) (KiB): 293540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.76
system time used= 29.3231
maximum resident set size= 293804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41398
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= 97
involuntary context switches= 2795
# summary of solver processes directly reported to runsolver:
# pid: 219054
# total CPU time (s): 3600.08
# total CPU user time (s): 3570.76
# total CPU system time (s): 29.3231
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.112 second user time and 36.077 second system time
The end
Begin job on nodeC003 at 2024-07-25 06:10:45
IDJOB=4458516
IDBENCH=177548
IDSOLVER=3082
FILE ID=nodeC003/4458516-1721880645
RUNJOBID= nodeC003-1721875971-215808
SLURM_JOB_ID= 8089247
Free space on /tmp= 723776 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
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-4458516-1721880645/watcher-4458516-1721880645 -o /tmp/evaluation-result-4458516-1721880645/solver-4458516-1721880645 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721875971-215808 --watchdog 3760 pb-oll-rs HOME/instance-4458516-1721880645.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b2f93c1f4bbb146f2fcd6f3efae8d4cf
RANDOM SEED=1587754271
nodeC003.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 : 3537.654
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 : 6984.09
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 : 3492.069
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.31
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.432
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 : 6984.09
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.275
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.31
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 : 3507.845
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 : 6984.09
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 : 3511.657
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.31
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.278
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 : 6984.09
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.370
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 99906920 kB
MemAvailable: 129445780 kB
Buffers: 296348 kB
Cached: 29790444 kB
SwapCached: 968 kB
Active: 2488972 kB
Inactive: 28261948 kB
Active(anon): 2576 kB
Inactive(anon): 714988 kB
Active(file): 2486396 kB
Inactive(file): 27546960 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131062644 kB
Dirty: 1748 kB
Writeback: 36 kB
AnonPages: 661456 kB
Mapped: 113948 kB
Shmem: 53440 kB
KReclaimable: 567248 kB
Slab: 681424 kB
SReclaimable: 567248 kB
SUnreclaim: 114176 kB
KernelStack: 3916 kB
PageTables: 11216 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1129976 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 14752 kB
HardwareCorrupted: 0 kB
AnonHugePages: 413696 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: 394056 kB
DirectMap2M: 40404992 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 723764 MiB
End job on nodeC003 at 2024-07-25 07:10:54