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 435 #constraints 501
0.00/0.00 c SMALL=int, LARGE=long long
0.00/0.00 c bounds - >= -282 @ 0.001624
0.00/0.00 c stratification level: 3
0.00/0.00 c bounds - >= -279 @ 0.002182
0.00/0.00 c bounds - >= -276 @ 0.002228
0.00/0.00 c bounds - >= -273 @ 0.002228
0.00/0.00 c bounds - >= -270 @ 0.002228
0.00/0.00 c finalizing WCE round: reformulating cores
0.00/0.07 c bounds 16 >= -270 @ 0.047107
0.00/0.07 c bounds 15 >= -270 @ 0.060395
0.00/0.07 c stratification level: 2
0.00/0.09 c bounds 15 >= -258 @ 0.061326
0.00/0.09 c bounds 15 >= -256 @ 0.061545
0.00/0.09 c bounds 15 >= -254 @ 0.061769
0.00/0.09 c bounds 15 >= -252 @ 0.061982
0.00/0.09 c bounds 15 >= -250 @ 0.062209
0.00/0.09 c bounds 15 >= -248 @ 0.062514
0.00/0.09 c bounds 15 >= -244 @ 0.062947
0.00/0.09 c bounds 15 >= -242 @ 0.063245
0.00/0.09 c bounds 15 >= -240 @ 0.063513
0.00/0.09 c bounds 15 >= -238 @ 0.063799
0.00/0.09 c bounds 15 >= -236 @ 0.064099
0.00/0.09 c bounds 15 >= -234 @ 0.064496
0.00/0.09 c bounds 15 >= -232 @ 0.064734
0.00/0.09 c bounds 15 >= -230 @ 0.06498
0.00/0.09 c bounds 15 >= -226 @ 0.065022
0.00/0.09 c bounds 15 >= -224 @ 0.065022
0.00/0.09 c bounds 15 >= -222 @ 0.065022
0.00/0.09 c bounds 15 >= -218 @ 0.065022
0.00/0.09 c bounds 15 >= -216 @ 0.065205
0.00/0.09 c bounds 15 >= -214 @ 0.065469
0.00/0.09 c bounds 15 >= -212 @ 0.065715
0.00/0.09 c bounds 15 >= -210 @ 0.065995
0.00/0.09 c bounds 15 >= -208 @ 0.06602
0.00/0.09 c bounds 15 >= -206 @ 0.06602
0.00/0.09 c finalizing WCE round: reformulating cores
38.46/38.66 c #Conflicts: 1000 | #Constraints: 1576
38.46/38.66 c #Conflicts: 2000 | #Constraints: 2597
38.46/38.66 c INPROCESSING
38.46/38.66 c GARBAGE COLLECT
38.46/38.66 c #Conflicts: 3000 | #Constraints: 2556
38.46/38.66 c #Conflicts: 4000 | #Constraints: 3564
38.46/38.66 c INPROCESSING
38.46/38.66 c GARBAGE COLLECT
38.46/38.66 c #Conflicts: 5000 | #Constraints: 2980
38.46/38.66 c #Conflicts: 6000 | #Constraints: 3982
38.46/38.66 c INPROCESSING
38.46/38.66 c GARBAGE COLLECT
38.46/38.66 c #Conflicts: 7000 | #Constraints: 2984
38.46/38.66 c #Conflicts: 8000 | #Constraints: 3986
38.46/38.66 c #Conflicts: 9000 | #Constraints: 4990
38.46/38.66 c INPROCESSING
38.46/38.66 c GARBAGE COLLECT
38.46/38.66 c #Conflicts: 10000 | #Constraints: 3695
38.46/38.66 c bounds 0 >= -206 @ 2.44911
38.46/38.66 c bounds 0 >= -202 @ 2.45483
38.46/38.66 c bounds 0 >= -200 @ 2.45853
38.46/38.66 c bounds 0 >= -198 @ 2.46122
38.46/38.66 c #Conflicts: 11000 | #Constraints: 4727
38.46/38.66 c #Conflicts: 12000 | #Constraints: 5727
38.46/38.66 c INPROCESSING
38.46/38.66 c GARBAGE COLLECT
38.46/38.66 c #Conflicts: 13000 | #Constraints: 4167
38.46/38.66 c #Conflicts: 14000 | #Constraints: 5167
38.46/38.66 c #Conflicts: 15000 | #Constraints: 6167
38.46/38.66 c INPROCESSING
38.46/38.66 c GARBAGE COLLECT
38.46/38.66 c #Conflicts: 16000 | #Constraints: 4397
38.46/38.66 c #Conflicts: 17000 | #Constraints: 5397
38.46/38.66 c #Conflicts: 18000 | #Constraints: 6397
38.46/38.66 c INPROCESSING
38.46/38.66 c GARBAGE COLLECT
38.46/38.66 c #Conflicts: 19000 | #Constraints: 4410
38.46/38.66 c #Conflicts: 20000 | #Constraints: 5410
38.46/38.66 c #Conflicts: 21000 | #Constraints: 6410
38.46/38.66 c INPROCESSING
38.46/38.66 c GARBAGE COLLECT
38.46/38.66 c #Conflicts: 22000 | #Constraints: 4214
38.46/38.66 c #Conflicts: 23000 | #Constraints: 5214
38.46/38.66 c #Conflicts: 24000 | #Constraints: 6214
38.46/38.66 c #Conflicts: 25000 | #Constraints: 7214
38.46/38.66 c INPROCESSING
38.46/38.66 c GARBAGE COLLECT
38.46/38.66 c #Conflicts: 26000 | #Constraints: 4822
38.46/38.66 c #Conflicts: 27000 | #Constraints: 5822
38.46/38.66 c #Conflicts: 28000 | #Constraints: 6822
38.46/38.66 c #Conflicts: 29000 | #Constraints: 7822
38.46/38.66 c INPROCESSING
38.46/38.66 c GARBAGE COLLECT
38.46/38.66 c #Conflicts: 30000 | #Constraints: 5224
38.46/38.66 c #Conflicts: 31000 | #Constraints: 6224
38.46/38.66 c #Conflicts: 32000 | #Constraints: 7224
38.46/38.66 c #Conflicts: 33000 | #Constraints: 8224
38.46/38.66 c INPROCESSING
38.46/38.66 c GARBAGE COLLECT
38.46/38.66 c #Conflicts: 34000 | #Constraints: 5425
38.46/38.66 c #Conflicts: 35000 | #Constraints: 6425
38.46/38.66 c #Conflicts: 36000 | #Constraints: 7425
38.46/38.66 c #Conflicts: 37000 | #Constraints: 8425
38.46/38.66 c INPROCESSING
38.46/38.66 c GARBAGE COLLECT
38.46/38.66 c #Conflicts: 38000 | #Constraints: 5434
38.46/38.66 c #Conflicts: 39000 | #Constraints: 6434
38.46/38.66 c #Conflicts: 40000 | #Constraints: 7434
38.46/38.66 c #Conflicts: 41000 | #Constraints: 8434
38.46/38.66 c INPROCESSING
38.46/38.66 c GARBAGE COLLECT
38.46/38.66 c #Conflicts: 42000 | #Constraints: 5234
38.46/38.66 c #Conflicts: 43000 | #Constraints: 6234
38.46/38.66 c #Conflicts: 44000 | #Constraints: 7234
38.46/38.66 c #Conflicts: 45000 | #Constraints: 8234
38.46/38.66 c #Conflicts: 46000 | #Constraints: 9234
38.46/38.66 c INPROCESSING
38.46/38.66 c GARBAGE COLLECT
38.46/38.66 c #Conflicts: 47000 | #Constraints: 5836
38.46/38.66 c #Conflicts: 48000 | #Constraints: 6836
38.46/38.66 c #Conflicts: 49000 | #Constraints: 7836
38.46/38.66 c #Conflicts: 50000 | #Constraints: 8836
38.46/38.66 c bounds 0 >= -196 @ 29.2099
38.46/38.66 c #Conflicts: 51000 | #Constraints: 9870
38.46/38.66 c INPROCESSING
38.46/38.66 c GARBAGE COLLECT
38.46/38.66 c #Conflicts: 52000 | #Constraints: 6255
38.46/38.66 c #Conflicts: 53000 | #Constraints: 7255
38.46/38.66 c #Conflicts: 54000 | #Constraints: 8255
38.46/38.66 c #Conflicts: 55000 | #Constraints: 9255
38.46/38.66 c #Conflicts: 56000 | #Constraints: 10255
38.46/38.66 c INPROCESSING
38.46/38.66 c GARBAGE COLLECT
38.46/38.66 c #Conflicts: 57000 | #Constraints: 6453
38.46/38.66 c #Conflicts: 58000 | #Constraints: 7453
38.46/38.66 c #Conflicts: 59000 | #Constraints: 8453
38.46/38.66 c #Conflicts: 60000 | #Constraints: 9453
38.46/38.66 c #Conflicts: 61000 | #Constraints: 10453
38.46/38.66 c INPROCESSING
38.46/38.66 c GARBAGE COLLECT
38.46/38.66 c #Conflicts: 62000 | #Constraints: 6443
38.46/38.66 c #Conflicts: 63000 | #Constraints: 7443
38.46/38.66 c #Conflicts: 64000 | #Constraints: 8443
38.46/38.66 c #Conflicts: 65000 | #Constraints: 9443
38.46/38.66 c #Conflicts: 66000 | #Constraints: 10443
85.51/85.81 c INPROCESSING
85.51/85.81 c GARBAGE COLLECT
85.51/85.81 c #Conflicts: 67000 | #Constraints: 6242
85.51/85.81 c #Conflicts: 68000 | #Constraints: 7242
85.51/85.81 c #Conflicts: 69000 | #Constraints: 8242
85.51/85.81 c #Conflicts: 70000 | #Constraints: 9242
85.51/85.81 c #Conflicts: 71000 | #Constraints: 10242
85.51/85.81 c #Conflicts: 72000 | #Constraints: 11242
85.51/85.81 c INPROCESSING
85.51/85.81 c GARBAGE COLLECT
85.51/85.81 c #Conflicts: 73000 | #Constraints: 6846
85.51/85.81 c #Conflicts: 74000 | #Constraints: 7846
85.51/85.81 c #Conflicts: 75000 | #Constraints: 8846
85.51/85.81 c #Conflicts: 76000 | #Constraints: 9846
85.51/85.81 c #Conflicts: 77000 | #Constraints: 10846
85.51/85.81 c #Conflicts: 78000 | #Constraints: 11846
85.51/85.81 c INPROCESSING
85.51/85.81 c GARBAGE COLLECT
85.51/85.81 c #Conflicts: 79000 | #Constraints: 7250
85.51/85.81 c #Conflicts: 80000 | #Constraints: 8250
85.51/85.81 c #Conflicts: 81000 | #Constraints: 9250
85.51/85.81 c #Conflicts: 82000 | #Constraints: 10250
85.51/85.81 c #Conflicts: 83000 | #Constraints: 11250
85.51/85.81 c #Conflicts: 84000 | #Constraints: 12250
85.51/85.81 c INPROCESSING
85.51/85.81 c GARBAGE COLLECT
85.51/85.81 c #Conflicts: 85000 | #Constraints: 7450
85.51/85.81 c #Conflicts: 86000 | #Constraints: 8450
85.51/85.81 c #Conflicts: 87000 | #Constraints: 9450
85.51/85.81 c #Conflicts: 88000 | #Constraints: 10450
85.51/85.81 c #Conflicts: 89000 | #Constraints: 11450
85.51/85.81 c #Conflicts: 90000 | #Constraints: 12450
85.51/85.81 c INPROCESSING
85.51/85.81 c GARBAGE COLLECT
85.51/85.81 c #Conflicts: 91000 | #Constraints: 7454
85.51/85.81 c #Conflicts: 92000 | #Constraints: 8454
85.51/85.81 c #Conflicts: 93000 | #Constraints: 9454
85.51/85.81 c #Conflicts: 94000 | #Constraints: 10454
85.51/85.81 c #Conflicts: 95000 | #Constraints: 11454
85.51/85.81 c #Conflicts: 96000 | #Constraints: 12454
85.51/85.81 c INPROCESSING
85.51/85.81 c GARBAGE COLLECT
85.51/85.81 c #Conflicts: 97000 | #Constraints: 7257
85.51/85.81 c #Conflicts: 98000 | #Constraints: 8257
85.51/85.81 c #Conflicts: 99000 | #Constraints: 9257
85.51/85.81 c #Conflicts: 100000 | #Constraints: 10257
85.51/85.81 c #Conflicts: 101000 | #Constraints: 11257
85.51/85.81 c #Conflicts: 102000 | #Constraints: 12257
85.51/85.81 c #Conflicts: 103000 | #Constraints: 13257
85.51/85.81 c INPROCESSING
85.51/85.81 c GARBAGE COLLECT
85.51/85.81 c #Conflicts: 104000 | #Constraints: 7847
85.51/85.81 c #Conflicts: 105000 | #Constraints: 8847
85.51/85.81 c #Conflicts: 106000 | #Constraints: 9847
85.51/85.81 c #Conflicts: 107000 | #Constraints: 10847
85.51/85.81 c #Conflicts: 108000 | #Constraints: 11847
85.51/85.81 c #Conflicts: 109000 | #Constraints: 12847
85.51/85.81 c #Conflicts: 110000 | #Constraints: 13847
85.51/85.81 c INPROCESSING
85.51/85.81 c GARBAGE COLLECT
85.51/85.81 c #Conflicts: 111000 | #Constraints: 8257
85.51/85.81 c #Conflicts: 112000 | #Constraints: 9257
85.51/85.81 c #Conflicts: 113000 | #Constraints: 10257
85.51/85.81 c #Conflicts: 114000 | #Constraints: 11257
85.51/85.81 c bounds 0 >= -194 @ 69.936
85.51/85.81 c #Conflicts: 115000 | #Constraints: 12268
85.51/85.81 c #Conflicts: 116000 | #Constraints: 13268
85.51/85.81 c #Conflicts: 117000 | #Constraints: 14268
85.51/85.81 c INPROCESSING
85.51/85.81 c GARBAGE COLLECT
85.51/85.81 c #Conflicts: 118000 | #Constraints: 8460
85.51/85.81 c #Conflicts: 119000 | #Constraints: 9460
85.51/85.81 c #Conflicts: 120000 | #Constraints: 10460
85.51/85.81 c #Conflicts: 121000 | #Constraints: 11460
85.51/85.81 c #Conflicts: 122000 | #Constraints: 12460
85.51/85.81 c #Conflicts: 123000 | #Constraints: 13460
85.51/85.81 c #Conflicts: 124000 | #Constraints: 14460
85.51/85.81 c INPROCESSING
85.51/85.81 c GARBAGE COLLECT
85.51/85.81 c #Conflicts: 125000 | #Constraints: 8462
85.51/85.81 c #Conflicts: 126000 | #Constraints: 9462
85.51/85.81 c #Conflicts: 127000 | #Constraints: 10462
85.51/85.81 c #Conflicts: 128000 | #Constraints: 11462
85.51/85.81 c #Conflicts: 129000 | #Constraints: 12462
85.51/85.81 c #Conflicts: 130000 | #Constraints: 13462
85.51/85.81 c #Conflicts: 131000 | #Constraints: 14462
85.51/85.81 c INPROCESSING
85.51/85.81 c GARBAGE COLLECT
85.51/85.81 c #Conflicts: 132000 | #Constraints: 8266
85.51/85.81 c #Conflicts: 133000 | #Constraints: 9266
85.51/85.81 c #Conflicts: 134000 | #Constraints: 10266
85.51/85.81 c #Conflicts: 135000 | #Constraints: 11266
85.51/85.81 c #Conflicts: 136000 | #Constraints: 12266
85.51/85.81 c #Conflicts: 137000 | #Constraints: 13266
154.28/154.82 c #Conflicts: 138000 | #Constraints: 14266
154.28/154.82 c #Conflicts: 139000 | #Constraints: 15266
154.28/154.82 c INPROCESSING
154.28/154.82 c GARBAGE COLLECT
154.28/154.82 c #Conflicts: 140000 | #Constraints: 8869
154.28/154.82 c #Conflicts: 141000 | #Constraints: 9869
154.28/154.82 c #Conflicts: 142000 | #Constraints: 10869
154.28/154.82 c #Conflicts: 143000 | #Constraints: 11869
154.28/154.82 c #Conflicts: 144000 | #Constraints: 12869
154.28/154.82 c #Conflicts: 145000 | #Constraints: 13869
154.28/154.82 c #Conflicts: 146000 | #Constraints: 14869
154.28/154.82 c #Conflicts: 147000 | #Constraints: 15869
154.28/154.82 c INPROCESSING
154.28/154.82 c GARBAGE COLLECT
154.28/154.82 c #Conflicts: 148000 | #Constraints: 9265
154.28/154.82 c #Conflicts: 149000 | #Constraints: 10265
154.28/154.82 c #Conflicts: 150000 | #Constraints: 11265
154.28/154.82 c #Conflicts: 151000 | #Constraints: 12265
154.28/154.82 c #Conflicts: 152000 | #Constraints: 13265
154.28/154.82 c #Conflicts: 153000 | #Constraints: 14265
154.28/154.82 c #Conflicts: 154000 | #Constraints: 15265
154.28/154.82 c #Conflicts: 155000 | #Constraints: 16265
154.28/154.82 c INPROCESSING
154.28/154.82 c GARBAGE COLLECT
154.28/154.82 c #Conflicts: 156000 | #Constraints: 9468
154.28/154.82 c #Conflicts: 157000 | #Constraints: 10468
154.28/154.82 c #Conflicts: 158000 | #Constraints: 11468
154.28/154.82 c #Conflicts: 159000 | #Constraints: 12468
154.28/154.82 c #Conflicts: 160000 | #Constraints: 13468
154.28/154.82 c #Conflicts: 161000 | #Constraints: 14468
154.28/154.82 c #Conflicts: 162000 | #Constraints: 15468
154.28/154.82 c #Conflicts: 163000 | #Constraints: 16468
154.28/154.82 c INPROCESSING
154.28/154.82 c GARBAGE COLLECT
154.28/154.82 c #Conflicts: 164000 | #Constraints: 9469
154.28/154.82 c #Conflicts: 165000 | #Constraints: 10469
154.28/154.82 c #Conflicts: 166000 | #Constraints: 11469
154.28/154.82 c #Conflicts: 167000 | #Constraints: 12469
154.28/154.82 c #Conflicts: 168000 | #Constraints: 13469
154.28/154.82 c #Conflicts: 169000 | #Constraints: 14469
154.28/154.82 c #Conflicts: 170000 | #Constraints: 15469
154.28/154.82 c #Conflicts: 171000 | #Constraints: 16469
154.28/154.82 c INPROCESSING
154.28/154.82 c GARBAGE COLLECT
154.28/154.82 c #Conflicts: 172000 | #Constraints: 9270
154.28/154.82 c #Conflicts: 173000 | #Constraints: 10270
154.28/154.82 c #Conflicts: 174000 | #Constraints: 11270
154.28/154.82 c #Conflicts: 175000 | #Constraints: 12270
154.28/154.82 c #Conflicts: 176000 | #Constraints: 13270
154.28/154.82 c #Conflicts: 177000 | #Constraints: 14270
154.28/154.82 c #Conflicts: 178000 | #Constraints: 15270
154.28/154.82 c #Conflicts: 179000 | #Constraints: 16270
154.28/154.82 c #Conflicts: 180000 | #Constraints: 17270
154.28/154.82 c INPROCESSING
154.28/154.82 c GARBAGE COLLECT
154.28/154.82 c #Conflicts: 181000 | #Constraints: 9869
154.28/154.82 c #Conflicts: 182000 | #Constraints: 10869
154.28/154.82 c #Conflicts: 183000 | #Constraints: 11869
154.28/154.82 c #Conflicts: 184000 | #Constraints: 12869
154.28/154.82 c #Conflicts: 185000 | #Constraints: 13869
154.28/154.82 c #Conflicts: 186000 | #Constraints: 14869
154.28/154.82 c #Conflicts: 187000 | #Constraints: 15869
154.28/154.82 c #Conflicts: 188000 | #Constraints: 16869
154.28/154.82 c #Conflicts: 189000 | #Constraints: 17869
154.28/154.82 c INPROCESSING
154.28/154.82 c GARBAGE COLLECT
154.28/154.82 c #Conflicts: 190000 | #Constraints: 10265
154.28/154.82 c #Conflicts: 191000 | #Constraints: 11265
154.28/154.82 c #Conflicts: 192000 | #Constraints: 12265
154.28/154.82 c #Conflicts: 193000 | #Constraints: 13265
154.28/154.82 c #Conflicts: 194000 | #Constraints: 14265
154.28/154.82 c #Conflicts: 195000 | #Constraints: 15265
154.28/154.82 c #Conflicts: 196000 | #Constraints: 16265
154.28/154.82 c #Conflicts: 197000 | #Constraints: 17265
154.28/154.82 c #Conflicts: 198000 | #Constraints: 18265
154.28/154.82 c INPROCESSING
154.28/154.82 c GARBAGE COLLECT
154.28/154.82 c #Conflicts: 199000 | #Constraints: 10465
154.28/154.82 c #Conflicts: 200000 | #Constraints: 11465
154.28/154.82 c #Conflicts: 201000 | #Constraints: 12465
154.28/154.82 c #Conflicts: 202000 | #Constraints: 13465
154.28/154.82 c #Conflicts: 203000 | #Constraints: 14465
154.28/154.82 c #Conflicts: 204000 | #Constraints: 15465
154.28/154.82 c #Conflicts: 205000 | #Constraints: 16465
154.28/154.82 c #Conflicts: 206000 | #Constraints: 17465
154.28/154.82 c #Conflicts: 207000 | #Constraints: 18465
154.28/154.82 c INPROCESSING
154.28/154.82 c GARBAGE COLLECT
154.28/154.82 c #Conflicts: 208000 | #Constraints: 10464
154.28/154.82 c #Conflicts: 209000 | #Constraints: 11464
154.28/154.82 c #Conflicts: 210000 | #Constraints: 12464
245.59/246.49 c #Conflicts: 211000 | #Constraints: 13464
245.59/246.49 c #Conflicts: 212000 | #Constraints: 14464
245.59/246.49 c #Conflicts: 213000 | #Constraints: 15464
245.59/246.49 c #Conflicts: 214000 | #Constraints: 16464
245.59/246.49 c #Conflicts: 215000 | #Constraints: 17464
245.59/246.49 c #Conflicts: 216000 | #Constraints: 18464
245.59/246.49 c INPROCESSING
245.59/246.49 c GARBAGE COLLECT
245.59/246.49 c #Conflicts: 217000 | #Constraints: 10273
245.59/246.49 c #Conflicts: 218000 | #Constraints: 11273
245.59/246.49 c #Conflicts: 219000 | #Constraints: 12273
245.59/246.49 c #Conflicts: 220000 | #Constraints: 13273
245.59/246.49 c #Conflicts: 221000 | #Constraints: 14273
245.59/246.49 c #Conflicts: 222000 | #Constraints: 15273
245.59/246.49 c #Conflicts: 223000 | #Constraints: 16273
245.59/246.49 c #Conflicts: 224000 | #Constraints: 17273
245.59/246.49 c #Conflicts: 225000 | #Constraints: 18273
245.59/246.49 c #Conflicts: 226000 | #Constraints: 19273
245.59/246.49 c INPROCESSING
245.59/246.49 c GARBAGE COLLECT
245.59/246.49 c #Conflicts: 227000 | #Constraints: 10870
245.59/246.49 c #Conflicts: 228000 | #Constraints: 11870
245.59/246.49 c #Conflicts: 229000 | #Constraints: 12870
245.59/246.49 c #Conflicts: 230000 | #Constraints: 13870
245.59/246.49 c #Conflicts: 231000 | #Constraints: 14870
245.59/246.49 c #Conflicts: 232000 | #Constraints: 15870
245.59/246.49 c #Conflicts: 233000 | #Constraints: 16870
245.59/246.49 c #Conflicts: 234000 | #Constraints: 17870
245.59/246.49 c #Conflicts: 235000 | #Constraints: 18870
245.59/246.49 c #Conflicts: 236000 | #Constraints: 19870
245.59/246.49 c INPROCESSING
245.59/246.49 c GARBAGE COLLECT
245.59/246.49 c #Conflicts: 237000 | #Constraints: 11265
245.59/246.49 c #Conflicts: 238000 | #Constraints: 12265
245.59/246.49 c #Conflicts: 239000 | #Constraints: 13265
245.59/246.49 c #Conflicts: 240000 | #Constraints: 14265
245.59/246.49 c #Conflicts: 241000 | #Constraints: 15265
245.59/246.49 c #Conflicts: 242000 | #Constraints: 16265
245.59/246.49 c #Conflicts: 243000 | #Constraints: 17265
245.59/246.49 c #Conflicts: 244000 | #Constraints: 18265
245.59/246.49 c #Conflicts: 245000 | #Constraints: 19265
245.59/246.49 c #Conflicts: 246000 | #Constraints: 20265
245.59/246.49 c INPROCESSING
245.59/246.49 c GARBAGE COLLECT
245.59/246.49 c #Conflicts: 247000 | #Constraints: 11473
245.59/246.49 c #Conflicts: 248000 | #Constraints: 12473
245.59/246.49 c #Conflicts: 249000 | #Constraints: 13473
245.59/246.49 c #Conflicts: 250000 | #Constraints: 14473
245.59/246.49 c #Conflicts: 251000 | #Constraints: 15473
245.59/246.49 c #Conflicts: 252000 | #Constraints: 16473
245.59/246.49 c #Conflicts: 253000 | #Constraints: 17473
245.59/246.49 c #Conflicts: 254000 | #Constraints: 18473
245.59/246.49 c #Conflicts: 255000 | #Constraints: 19473
245.59/246.49 c #Conflicts: 256000 | #Constraints: 20473
245.59/246.49 c INPROCESSING
245.59/246.49 c GARBAGE COLLECT
245.59/246.49 c #Conflicts: 257000 | #Constraints: 11467
245.59/246.49 c #Conflicts: 258000 | #Constraints: 12467
245.59/246.49 c #Conflicts: 259000 | #Constraints: 13467
245.59/246.49 c #Conflicts: 260000 | #Constraints: 14467
245.59/246.49 c #Conflicts: 261000 | #Constraints: 15467
245.59/246.49 c #Conflicts: 262000 | #Constraints: 16467
245.59/246.49 c #Conflicts: 263000 | #Constraints: 17467
245.59/246.49 c #Conflicts: 264000 | #Constraints: 18467
245.59/246.49 c #Conflicts: 265000 | #Constraints: 19467
245.59/246.49 c #Conflicts: 266000 | #Constraints: 20467
245.59/246.49 c INPROCESSING
245.59/246.49 c GARBAGE COLLECT
245.59/246.49 c #Conflicts: 267000 | #Constraints: 11270
245.59/246.49 c #Conflicts: 268000 | #Constraints: 12270
245.59/246.49 c #Conflicts: 269000 | #Constraints: 13270
245.59/246.49 c #Conflicts: 270000 | #Constraints: 14270
245.59/246.49 c #Conflicts: 271000 | #Constraints: 15270
245.59/246.49 c #Conflicts: 272000 | #Constraints: 16270
245.59/246.49 c #Conflicts: 273000 | #Constraints: 17270
245.59/246.49 c #Conflicts: 274000 | #Constraints: 18270
245.59/246.49 c #Conflicts: 275000 | #Constraints: 19270
245.59/246.49 c #Conflicts: 276000 | #Constraints: 20270
245.59/246.49 c #Conflicts: 277000 | #Constraints: 21270
245.59/246.49 c INPROCESSING
245.59/246.49 c GARBAGE COLLECT
245.59/246.49 c #Conflicts: 278000 | #Constraints: 11870
245.59/246.49 c #Conflicts: 279000 | #Constraints: 12870
245.59/246.49 c #Conflicts: 280000 | #Constraints: 13870
245.59/246.49 c #Conflicts: 281000 | #Constraints: 14870
245.59/246.49 c #Conflicts: 282000 | #Constraints: 15870
245.59/246.49 c #Conflicts: 283000 | #Constraints: 16870
245.59/246.49 c #Conflicts: 284000 | #Constraints: 17870
401.67/403.06 c #Conflicts: 285000 | #Constraints: 18870
401.67/403.06 c #Conflicts: 286000 | #Constraints: 19870
401.67/403.06 c #Conflicts: 287000 | #Constraints: 20870
401.67/403.06 c #Conflicts: 288000 | #Constraints: 21870
401.67/403.06 c INPROCESSING
401.67/403.06 c GARBAGE COLLECT
401.67/403.06 c #Conflicts: 289000 | #Constraints: 12269
401.67/403.06 c #Conflicts: 290000 | #Constraints: 13269
401.67/403.06 c #Conflicts: 291000 | #Constraints: 14269
401.67/403.06 c #Conflicts: 292000 | #Constraints: 15269
401.67/403.06 c #Conflicts: 293000 | #Constraints: 16269
401.67/403.06 c #Conflicts: 294000 | #Constraints: 17269
401.67/403.06 c #Conflicts: 295000 | #Constraints: 18269
401.67/403.06 c #Conflicts: 296000 | #Constraints: 19269
401.67/403.06 c #Conflicts: 297000 | #Constraints: 20269
401.67/403.06 c #Conflicts: 298000 | #Constraints: 21269
401.67/403.06 c #Conflicts: 299000 | #Constraints: 22269
401.67/403.06 c INPROCESSING
401.67/403.06 c GARBAGE COLLECT
401.67/403.06 c #Conflicts: 300000 | #Constraints: 12467
401.67/403.06 c #Conflicts: 301000 | #Constraints: 13467
401.67/403.06 c #Conflicts: 302000 | #Constraints: 14467
401.67/403.06 c #Conflicts: 303000 | #Constraints: 15467
401.67/403.06 c #Conflicts: 304000 | #Constraints: 16467
401.67/403.06 c #Conflicts: 305000 | #Constraints: 17467
401.67/403.06 c #Conflicts: 306000 | #Constraints: 18467
401.67/403.06 c #Conflicts: 307000 | #Constraints: 19467
401.67/403.06 c #Conflicts: 308000 | #Constraints: 20467
401.67/403.06 c #Conflicts: 309000 | #Constraints: 21467
401.67/403.06 c #Conflicts: 310000 | #Constraints: 22467
401.67/403.06 c INPROCESSING
401.67/403.06 c GARBAGE COLLECT
401.67/403.06 c #Conflicts: 311000 | #Constraints: 12472
401.67/403.06 c #Conflicts: 312000 | #Constraints: 13472
401.67/403.06 c #Conflicts: 313000 | #Constraints: 14472
401.67/403.06 c #Conflicts: 314000 | #Constraints: 15472
401.67/403.06 c #Conflicts: 315000 | #Constraints: 16472
401.67/403.06 c #Conflicts: 316000 | #Constraints: 17472
401.67/403.06 c #Conflicts: 317000 | #Constraints: 18472
401.67/403.06 c #Conflicts: 318000 | #Constraints: 19472
401.67/403.06 c #Conflicts: 319000 | #Constraints: 20472
401.67/403.06 c #Conflicts: 320000 | #Constraints: 21472
401.67/403.06 c #Conflicts: 321000 | #Constraints: 22472
401.67/403.06 c INPROCESSING
401.67/403.06 c GARBAGE COLLECT
401.67/403.06 c #Conflicts: 322000 | #Constraints: 12272
401.67/403.06 c #Conflicts: 323000 | #Constraints: 13272
401.67/403.06 c #Conflicts: 324000 | #Constraints: 14272
401.67/403.06 c #Conflicts: 325000 | #Constraints: 15272
401.67/403.06 c #Conflicts: 326000 | #Constraints: 16272
401.67/403.06 c #Conflicts: 327000 | #Constraints: 17272
401.67/403.06 c #Conflicts: 328000 | #Constraints: 18272
401.67/403.06 c #Conflicts: 329000 | #Constraints: 19272
401.67/403.06 c #Conflicts: 330000 | #Constraints: 20272
401.67/403.06 c #Conflicts: 331000 | #Constraints: 21272
401.67/403.06 c #Conflicts: 332000 | #Constraints: 22272
401.67/403.06 c #Conflicts: 333000 | #Constraints: 23272
401.67/403.06 c INPROCESSING
401.67/403.06 c GARBAGE COLLECT
401.67/403.06 c #Conflicts: 334000 | #Constraints: 12875
401.67/403.06 c #Conflicts: 335000 | #Constraints: 13875
401.67/403.06 c #Conflicts: 336000 | #Constraints: 14875
401.67/403.06 c #Conflicts: 337000 | #Constraints: 15875
401.67/403.06 c #Conflicts: 338000 | #Constraints: 16875
401.67/403.06 c #Conflicts: 339000 | #Constraints: 17875
401.67/403.06 c #Conflicts: 340000 | #Constraints: 18875
401.67/403.06 c #Conflicts: 341000 | #Constraints: 19875
401.67/403.06 c #Conflicts: 342000 | #Constraints: 20875
401.67/403.06 c #Conflicts: 343000 | #Constraints: 21875
401.67/403.06 c #Conflicts: 344000 | #Constraints: 22875
401.67/403.06 c #Conflicts: 345000 | #Constraints: 23875
401.67/403.06 c INPROCESSING
401.67/403.06 c GARBAGE COLLECT
401.67/403.06 c #Conflicts: 346000 | #Constraints: 13281
401.67/403.06 c #Conflicts: 347000 | #Constraints: 14281
401.67/403.06 c #Conflicts: 348000 | #Constraints: 15281
401.67/403.06 c #Conflicts: 349000 | #Constraints: 16281
401.67/403.06 c #Conflicts: 350000 | #Constraints: 17281
401.67/403.06 c #Conflicts: 351000 | #Constraints: 18281
401.67/403.06 c #Conflicts: 352000 | #Constraints: 19281
401.67/403.06 c #Conflicts: 353000 | #Constraints: 20281
401.67/403.06 c #Conflicts: 354000 | #Constraints: 21281
401.67/403.06 c #Conflicts: 355000 | #Constraints: 22281
401.67/403.06 c #Conflicts: 356000 | #Constraints: 23281
401.67/403.06 c #Conflicts: 357000 | #Constraints: 24281
401.67/403.06 c INPROCESSING
401.67/403.06 c GARBAGE COLLECT
401.67/403.06 c #Conflicts: 358000 | #Constraints: 13476
401.67/403.06 c #Conflicts: 359000 | #Constraints: 14476
525.04/526.85 c #Conflicts: 360000 | #Constraints: 15476
525.04/526.85 c #Conflicts: 361000 | #Constraints: 16476
525.04/526.85 c #Conflicts: 362000 | #Constraints: 17476
525.04/526.85 c #Conflicts: 363000 | #Constraints: 18476
525.04/526.85 c #Conflicts: 364000 | #Constraints: 19476
525.04/526.85 c #Conflicts: 365000 | #Constraints: 20476
525.04/526.85 c #Conflicts: 366000 | #Constraints: 21476
525.04/526.85 c #Conflicts: 367000 | #Constraints: 22476
525.04/526.85 c #Conflicts: 368000 | #Constraints: 23476
525.04/526.85 c #Conflicts: 369000 | #Constraints: 24476
525.04/526.85 c INPROCESSING
525.04/526.85 c GARBAGE COLLECT
525.04/526.85 c #Conflicts: 370000 | #Constraints: 13473
525.04/526.85 c #Conflicts: 371000 | #Constraints: 14473
525.04/526.85 c #Conflicts: 372000 | #Constraints: 15473
525.04/526.85 c #Conflicts: 373000 | #Constraints: 16473
525.04/526.85 c #Conflicts: 374000 | #Constraints: 17473
525.04/526.85 c #Conflicts: 375000 | #Constraints: 18473
525.04/526.85 c #Conflicts: 376000 | #Constraints: 19473
525.04/526.85 c #Conflicts: 377000 | #Constraints: 20473
525.04/526.85 c #Conflicts: 378000 | #Constraints: 21473
525.04/526.85 c #Conflicts: 379000 | #Constraints: 22473
525.04/526.85 c #Conflicts: 380000 | #Constraints: 23473
525.04/526.85 c #Conflicts: 381000 | #Constraints: 24473
525.04/526.85 c INPROCESSING
525.04/526.85 c GARBAGE COLLECT
525.04/526.85 c #Conflicts: 382000 | #Constraints: 13268
525.04/526.85 c #Conflicts: 383000 | #Constraints: 14268
525.04/526.85 c #Conflicts: 384000 | #Constraints: 15268
525.04/526.85 c #Conflicts: 385000 | #Constraints: 16268
525.04/526.85 c #Conflicts: 386000 | #Constraints: 17268
525.04/526.85 c #Conflicts: 387000 | #Constraints: 18268
525.04/526.85 c #Conflicts: 388000 | #Constraints: 19268
525.04/526.85 c #Conflicts: 389000 | #Constraints: 20268
525.04/526.85 c #Conflicts: 390000 | #Constraints: 21268
525.04/526.85 c #Conflicts: 391000 | #Constraints: 22268
525.04/526.85 c #Conflicts: 392000 | #Constraints: 23268
525.04/526.85 c #Conflicts: 393000 | #Constraints: 24268
525.04/526.85 c #Conflicts: 394000 | #Constraints: 25268
525.04/526.85 c INPROCESSING
525.04/526.85 c GARBAGE COLLECT
525.04/526.85 c #Conflicts: 395000 | #Constraints: 13870
525.04/526.85 c #Conflicts: 396000 | #Constraints: 14870
525.04/526.85 c #Conflicts: 397000 | #Constraints: 15870
525.04/526.85 c #Conflicts: 398000 | #Constraints: 16870
525.04/526.85 c #Conflicts: 399000 | #Constraints: 17870
525.04/526.85 c #Conflicts: 400000 | #Constraints: 18870
525.04/526.85 c #Conflicts: 401000 | #Constraints: 19870
525.04/526.85 c #Conflicts: 402000 | #Constraints: 20870
525.04/526.85 c #Conflicts: 403000 | #Constraints: 21870
525.04/526.85 c #Conflicts: 404000 | #Constraints: 22870
525.04/526.85 c #Conflicts: 405000 | #Constraints: 23870
525.04/526.85 c #Conflicts: 406000 | #Constraints: 24870
525.04/526.85 c #Conflicts: 407000 | #Constraints: 25870
525.04/526.85 c INPROCESSING
525.04/526.85 c GARBAGE COLLECT
525.04/526.85 c #Conflicts: 408000 | #Constraints: 14271
525.04/526.85 c #Conflicts: 409000 | #Constraints: 15271
525.04/526.85 c #Conflicts: 410000 | #Constraints: 16271
525.04/526.85 c #Conflicts: 411000 | #Constraints: 17271
525.04/526.85 c #Conflicts: 412000 | #Constraints: 18271
525.04/526.85 c #Conflicts: 413000 | #Constraints: 19271
525.04/526.85 c #Conflicts: 414000 | #Constraints: 20271
525.04/526.85 c #Conflicts: 415000 | #Constraints: 21271
525.04/526.85 c #Conflicts: 416000 | #Constraints: 22271
525.04/526.85 c #Conflicts: 417000 | #Constraints: 23271
525.04/526.85 c #Conflicts: 418000 | #Constraints: 24271
525.04/526.85 c #Conflicts: 419000 | #Constraints: 25271
525.04/526.85 c #Conflicts: 420000 | #Constraints: 26271
525.04/526.85 c INPROCESSING
525.04/526.85 c GARBAGE COLLECT
525.04/526.85 c #Conflicts: 421000 | #Constraints: 14480
525.04/526.85 c #Conflicts: 422000 | #Constraints: 15480
525.04/526.85 c #Conflicts: 423000 | #Constraints: 16480
525.04/526.85 c #Conflicts: 424000 | #Constraints: 17480
525.04/526.85 c #Conflicts: 425000 | #Constraints: 18480
525.04/526.85 c #Conflicts: 426000 | #Constraints: 19480
525.04/526.85 c #Conflicts: 427000 | #Constraints: 20480
525.04/526.85 c #Conflicts: 428000 | #Constraints: 21480
525.04/526.85 c #Conflicts: 429000 | #Constraints: 22480
525.04/526.85 c #Conflicts: 430000 | #Constraints: 23480
525.04/526.85 c #Conflicts: 431000 | #Constraints: 24480
525.04/526.85 c #Conflicts: 432000 | #Constraints: 25480
525.04/526.85 c #Conflicts: 433000 | #Constraints: 26480
525.04/526.85 c INPROCESSING
525.04/526.85 c GARBAGE COLLECT
525.04/526.85 c #Conflicts: 434000 | #Constraints: 14481
707.23/709.63 c #Conflicts: 435000 | #Constraints: 15481
707.23/709.63 c #Conflicts: 436000 | #Constraints: 16481
707.23/709.63 c #Conflicts: 437000 | #Constraints: 17481
707.23/709.63 c #Conflicts: 438000 | #Constraints: 18481
707.23/709.63 c #Conflicts: 439000 | #Constraints: 19481
707.23/709.63 c #Conflicts: 440000 | #Constraints: 20481
707.23/709.63 c #Conflicts: 441000 | #Constraints: 21481
707.23/709.63 c #Conflicts: 442000 | #Constraints: 22481
707.23/709.63 c #Conflicts: 443000 | #Constraints: 23481
707.23/709.63 c #Conflicts: 444000 | #Constraints: 24481
707.23/709.63 c #Conflicts: 445000 | #Constraints: 25481
707.23/709.63 c #Conflicts: 446000 | #Constraints: 26481
707.23/709.63 c INPROCESSING
707.23/709.63 c GARBAGE COLLECT
707.23/709.63 c #Conflicts: 447000 | #Constraints: 14276
707.23/709.63 c #Conflicts: 448000 | #Constraints: 15276
707.23/709.63 c #Conflicts: 449000 | #Constraints: 16276
707.23/709.63 c #Conflicts: 450000 | #Constraints: 17276
707.23/709.63 c #Conflicts: 451000 | #Constraints: 18276
707.23/709.63 c #Conflicts: 452000 | #Constraints: 19276
707.23/709.63 c #Conflicts: 453000 | #Constraints: 20276
707.23/709.63 c #Conflicts: 454000 | #Constraints: 21276
707.23/709.63 c #Conflicts: 455000 | #Constraints: 22276
707.23/709.63 c #Conflicts: 456000 | #Constraints: 23276
707.23/709.63 c #Conflicts: 457000 | #Constraints: 24276
707.23/709.63 c #Conflicts: 458000 | #Constraints: 25276
707.23/709.63 c #Conflicts: 459000 | #Constraints: 26276
707.23/709.63 c #Conflicts: 460000 | #Constraints: 27276
707.23/709.63 c INPROCESSING
707.23/709.63 c GARBAGE COLLECT
707.23/709.63 c #Conflicts: 461000 | #Constraints: 14878
707.23/709.63 c #Conflicts: 462000 | #Constraints: 15878
707.23/709.63 c #Conflicts: 463000 | #Constraints: 16878
707.23/709.63 c #Conflicts: 464000 | #Constraints: 17878
707.23/709.63 c #Conflicts: 465000 | #Constraints: 18878
707.23/709.63 c #Conflicts: 466000 | #Constraints: 19878
707.23/709.63 c #Conflicts: 467000 | #Constraints: 20878
707.23/709.63 c #Conflicts: 468000 | #Constraints: 21878
707.23/709.63 c #Conflicts: 469000 | #Constraints: 22878
707.23/709.63 c #Conflicts: 470000 | #Constraints: 23878
707.23/709.63 c #Conflicts: 471000 | #Constraints: 24878
707.23/709.63 c #Conflicts: 472000 | #Constraints: 25878
707.23/709.63 c #Conflicts: 473000 | #Constraints: 26878
707.23/709.63 c #Conflicts: 474000 | #Constraints: 27878
707.23/709.63 c INPROCESSING
707.23/709.63 c GARBAGE COLLECT
707.23/709.63 c #Conflicts: 475000 | #Constraints: 15284
707.23/709.63 c #Conflicts: 476000 | #Constraints: 16284
707.23/709.63 c #Conflicts: 477000 | #Constraints: 17284
707.23/709.63 c #Conflicts: 478000 | #Constraints: 18284
707.23/709.63 c #Conflicts: 479000 | #Constraints: 19284
707.23/709.63 c #Conflicts: 480000 | #Constraints: 20284
707.23/709.63 c #Conflicts: 481000 | #Constraints: 21284
707.23/709.63 c #Conflicts: 482000 | #Constraints: 22284
707.23/709.63 c #Conflicts: 483000 | #Constraints: 23284
707.23/709.63 c #Conflicts: 484000 | #Constraints: 24284
707.23/709.63 c #Conflicts: 485000 | #Constraints: 25284
707.23/709.63 c #Conflicts: 486000 | #Constraints: 26284
707.23/709.63 c #Conflicts: 487000 | #Constraints: 27284
707.23/709.63 c #Conflicts: 488000 | #Constraints: 28284
707.23/709.63 c INPROCESSING
707.23/709.63 c GARBAGE COLLECT
707.23/709.63 c #Conflicts: 489000 | #Constraints: 15481
707.23/709.63 c #Conflicts: 490000 | #Constraints: 16481
707.23/709.63 c #Conflicts: 491000 | #Constraints: 17481
707.23/709.63 c #Conflicts: 492000 | #Constraints: 18481
707.23/709.63 c #Conflicts: 493000 | #Constraints: 19481
707.23/709.63 c #Conflicts: 494000 | #Constraints: 20481
707.23/709.63 c #Conflicts: 495000 | #Constraints: 21481
707.23/709.63 c #Conflicts: 496000 | #Constraints: 22481
707.23/709.63 c #Conflicts: 497000 | #Constraints: 23481
707.23/709.63 c #Conflicts: 498000 | #Constraints: 24481
707.23/709.63 c #Conflicts: 499000 | #Constraints: 25481
707.23/709.63 c #Conflicts: 500000 | #Constraints: 26481
707.23/709.63 c #Conflicts: 501000 | #Constraints: 27481
707.23/709.63 c #Conflicts: 502000 | #Constraints: 28481
707.23/709.63 c INPROCESSING
707.23/709.63 c GARBAGE COLLECT
707.23/709.63 c #Conflicts: 503000 | #Constraints: 15488
707.23/709.63 c #Conflicts: 504000 | #Constraints: 16488
707.23/709.63 c #Conflicts: 505000 | #Constraints: 17488
707.23/709.63 c #Conflicts: 506000 | #Constraints: 18488
707.23/709.63 c #Conflicts: 507000 | #Constraints: 19488
707.23/709.63 c #Conflicts: 508000 | #Constraints: 20488
707.23/709.63 c #Conflicts: 509000 | #Constraints: 21488
824.35/827.18 c #Conflicts: 510000 | #Constraints: 22488
824.35/827.18 c #Conflicts: 511000 | #Constraints: 23488
824.35/827.18 c #Conflicts: 512000 | #Constraints: 24488
824.35/827.18 c #Conflicts: 513000 | #Constraints: 25488
824.35/827.18 c #Conflicts: 514000 | #Constraints: 26488
824.35/827.18 c #Conflicts: 515000 | #Constraints: 27488
824.35/827.18 c #Conflicts: 516000 | #Constraints: 28488
824.35/827.18 c INPROCESSING
824.35/827.18 c GARBAGE COLLECT
824.35/827.18 c #Conflicts: 517000 | #Constraints: 15282
824.35/827.18 c #Conflicts: 518000 | #Constraints: 16282
824.35/827.18 c #Conflicts: 519000 | #Constraints: 17282
824.35/827.18 c #Conflicts: 520000 | #Constraints: 18282
824.35/827.18 c #Conflicts: 521000 | #Constraints: 19282
824.35/827.18 c #Conflicts: 522000 | #Constraints: 20282
824.35/827.18 c #Conflicts: 523000 | #Constraints: 21282
824.35/827.18 c #Conflicts: 524000 | #Constraints: 22282
824.35/827.18 c #Conflicts: 525000 | #Constraints: 23282
824.35/827.18 c #Conflicts: 526000 | #Constraints: 24282
824.35/827.18 c #Conflicts: 527000 | #Constraints: 25282
824.35/827.18 c #Conflicts: 528000 | #Constraints: 26282
824.35/827.18 c #Conflicts: 529000 | #Constraints: 27282
824.35/827.18 c #Conflicts: 530000 | #Constraints: 28282
824.35/827.18 c #Conflicts: 531000 | #Constraints: 29282
824.35/827.18 c INPROCESSING
824.35/827.18 c GARBAGE COLLECT
824.35/827.18 c #Conflicts: 532000 | #Constraints: 15885
824.35/827.18 c #Conflicts: 533000 | #Constraints: 16885
824.35/827.18 c #Conflicts: 534000 | #Constraints: 17885
824.35/827.18 c #Conflicts: 535000 | #Constraints: 18885
824.35/827.18 c #Conflicts: 536000 | #Constraints: 19885
824.35/827.18 c #Conflicts: 537000 | #Constraints: 20885
824.35/827.18 c #Conflicts: 538000 | #Constraints: 21885
824.35/827.18 c #Conflicts: 539000 | #Constraints: 22885
824.35/827.18 c #Conflicts: 540000 | #Constraints: 23885
824.35/827.18 c #Conflicts: 541000 | #Constraints: 24885
824.35/827.18 c #Conflicts: 542000 | #Constraints: 25885
824.35/827.18 c #Conflicts: 543000 | #Constraints: 26885
824.35/827.18 c #Conflicts: 544000 | #Constraints: 27885
824.35/827.18 c #Conflicts: 545000 | #Constraints: 28885
824.35/827.18 c #Conflicts: 546000 | #Constraints: 29885
824.35/827.18 c INPROCESSING
824.35/827.18 c GARBAGE COLLECT
824.35/827.18 c #Conflicts: 547000 | #Constraints: 16288
824.35/827.18 c #Conflicts: 548000 | #Constraints: 17288
824.35/827.18 c #Conflicts: 549000 | #Constraints: 18288
824.35/827.18 c #Conflicts: 550000 | #Constraints: 19288
824.35/827.18 c #Conflicts: 551000 | #Constraints: 20288
824.35/827.18 c #Conflicts: 552000 | #Constraints: 21288
824.35/827.18 c #Conflicts: 553000 | #Constraints: 22288
824.35/827.18 c #Conflicts: 554000 | #Constraints: 23288
824.35/827.18 c #Conflicts: 555000 | #Constraints: 24288
824.35/827.18 c #Conflicts: 556000 | #Constraints: 25288
824.35/827.18 c #Conflicts: 557000 | #Constraints: 26288
824.35/827.18 c #Conflicts: 558000 | #Constraints: 27288
824.35/827.18 c #Conflicts: 559000 | #Constraints: 28288
824.35/827.18 c #Conflicts: 560000 | #Constraints: 29288
824.35/827.18 c #Conflicts: 561000 | #Constraints: 30288
824.35/827.18 c INPROCESSING
824.35/827.18 c GARBAGE COLLECT
824.35/827.18 c #Conflicts: 562000 | #Constraints: 16488
824.35/827.18 c #Conflicts: 563000 | #Constraints: 17488
824.35/827.18 c #Conflicts: 564000 | #Constraints: 18488
824.35/827.18 c #Conflicts: 565000 | #Constraints: 19488
824.35/827.18 c #Conflicts: 566000 | #Constraints: 20488
824.35/827.18 c #Conflicts: 567000 | #Constraints: 21488
824.35/827.18 c #Conflicts: 568000 | #Constraints: 22488
824.35/827.18 c #Conflicts: 569000 | #Constraints: 23488
824.35/827.18 c #Conflicts: 570000 | #Constraints: 24488
824.35/827.18 c bounds 0 >= -192 @ 811.651
824.35/827.18 c #Conflicts: 571000 | #Constraints: 25507
824.35/827.18 c #Conflicts: 572000 | #Constraints: 26507
824.35/827.18 c #Conflicts: 573000 | #Constraints: 27507
824.35/827.18 c #Conflicts: 574000 | #Constraints: 28507
824.35/827.18 c #Conflicts: 575000 | #Constraints: 29507
824.35/827.18 c #Conflicts: 576000 | #Constraints: 30507
824.35/827.18 c INPROCESSING
824.35/827.18 c GARBAGE COLLECT
824.35/827.18 c #Conflicts: 577000 | #Constraints: 16494
824.35/827.18 c #Conflicts: 578000 | #Constraints: 17494
824.35/827.18 c #Conflicts: 579000 | #Constraints: 18494
824.35/827.18 c #Conflicts: 580000 | #Constraints: 19494
824.35/827.18 c #Conflicts: 581000 | #Constraints: 20494
824.35/827.18 c #Conflicts: 582000 | #Constraints: 21494
824.35/827.18 c #Conflicts: 583000 | #Constraints: 22494
824.35/827.18 c #Conflicts: 584000 | #Constraints: 23494
963.49/966.72 c #Conflicts: 585000 | #Constraints: 24494
963.49/966.72 c #Conflicts: 586000 | #Constraints: 25494
963.49/966.72 c #Conflicts: 587000 | #Constraints: 26494
963.49/966.72 c #Conflicts: 588000 | #Constraints: 27494
963.49/966.72 c #Conflicts: 589000 | #Constraints: 28494
963.49/966.72 c #Conflicts: 590000 | #Constraints: 29494
963.49/966.72 c #Conflicts: 591000 | #Constraints: 30494
963.49/966.72 c INPROCESSING
963.49/966.72 c GARBAGE COLLECT
963.49/966.72 c #Conflicts: 592000 | #Constraints: 16290
963.49/966.72 c #Conflicts: 593000 | #Constraints: 17290
963.49/966.72 c #Conflicts: 594000 | #Constraints: 18290
963.49/966.72 c #Conflicts: 595000 | #Constraints: 19290
963.49/966.72 c #Conflicts: 596000 | #Constraints: 20290
963.49/966.72 c #Conflicts: 597000 | #Constraints: 21290
963.49/966.72 c #Conflicts: 598000 | #Constraints: 22290
963.49/966.72 c #Conflicts: 599000 | #Constraints: 23290
963.49/966.72 c #Conflicts: 600000 | #Constraints: 24290
963.49/966.72 c #Conflicts: 601000 | #Constraints: 25290
963.49/966.72 c #Conflicts: 602000 | #Constraints: 26290
963.49/966.72 c #Conflicts: 603000 | #Constraints: 27290
963.49/966.72 c #Conflicts: 604000 | #Constraints: 28290
963.49/966.72 c #Conflicts: 605000 | #Constraints: 29290
963.49/966.72 c #Conflicts: 606000 | #Constraints: 30290
963.49/966.72 c #Conflicts: 607000 | #Constraints: 31290
963.49/966.72 c INPROCESSING
963.49/966.72 c GARBAGE COLLECT
963.49/966.72 c #Conflicts: 608000 | #Constraints: 16889
963.49/966.72 c #Conflicts: 609000 | #Constraints: 17889
963.49/966.72 c #Conflicts: 610000 | #Constraints: 18889
963.49/966.72 c #Conflicts: 611000 | #Constraints: 19889
963.49/966.72 c #Conflicts: 612000 | #Constraints: 20889
963.49/966.72 c #Conflicts: 613000 | #Constraints: 21889
963.49/966.72 c #Conflicts: 614000 | #Constraints: 22889
963.49/966.72 c #Conflicts: 615000 | #Constraints: 23889
963.49/966.72 c #Conflicts: 616000 | #Constraints: 24889
963.49/966.72 c #Conflicts: 617000 | #Constraints: 25889
963.49/966.72 c #Conflicts: 618000 | #Constraints: 26889
963.49/966.72 c #Conflicts: 619000 | #Constraints: 27889
963.49/966.72 c #Conflicts: 620000 | #Constraints: 28889
963.49/966.72 c #Conflicts: 621000 | #Constraints: 29889
963.49/966.72 c #Conflicts: 622000 | #Constraints: 30889
963.49/966.72 c #Conflicts: 623000 | #Constraints: 31889
963.49/966.72 c INPROCESSING
963.49/966.72 c GARBAGE COLLECT
963.49/966.72 c #Conflicts: 624000 | #Constraints: 17283
963.49/966.72 c #Conflicts: 625000 | #Constraints: 18283
963.49/966.72 c #Conflicts: 626000 | #Constraints: 19283
963.49/966.72 c #Conflicts: 627000 | #Constraints: 20283
963.49/966.72 c #Conflicts: 628000 | #Constraints: 21283
963.49/966.72 c #Conflicts: 629000 | #Constraints: 22283
963.49/966.72 c #Conflicts: 630000 | #Constraints: 23283
963.49/966.72 c #Conflicts: 631000 | #Constraints: 24283
963.49/966.72 c #Conflicts: 632000 | #Constraints: 25283
963.49/966.72 c #Conflicts: 633000 | #Constraints: 26283
963.49/966.72 c #Conflicts: 634000 | #Constraints: 27283
963.49/966.72 c #Conflicts: 635000 | #Constraints: 28283
963.49/966.72 c #Conflicts: 636000 | #Constraints: 29283
963.49/966.72 c #Conflicts: 637000 | #Constraints: 30283
963.49/966.72 c #Conflicts: 638000 | #Constraints: 31283
963.49/966.72 c #Conflicts: 639000 | #Constraints: 32283
963.49/966.72 c INPROCESSING
963.49/966.72 c GARBAGE COLLECT
963.49/966.72 c #Conflicts: 640000 | #Constraints: 17480
963.49/966.72 c #Conflicts: 641000 | #Constraints: 18480
963.49/966.72 c #Conflicts: 642000 | #Constraints: 19480
963.49/966.72 c #Conflicts: 643000 | #Constraints: 20480
963.49/966.72 c #Conflicts: 644000 | #Constraints: 21480
963.49/966.72 c #Conflicts: 645000 | #Constraints: 22480
963.49/966.72 c #Conflicts: 646000 | #Constraints: 23480
963.49/966.72 c #Conflicts: 647000 | #Constraints: 24480
963.49/966.72 c #Conflicts: 648000 | #Constraints: 25480
963.49/966.72 c #Conflicts: 649000 | #Constraints: 26480
963.49/966.72 c #Conflicts: 650000 | #Constraints: 27480
963.49/966.72 c #Conflicts: 651000 | #Constraints: 28480
963.49/966.72 c #Conflicts: 652000 | #Constraints: 29480
963.49/966.72 c #Conflicts: 653000 | #Constraints: 30480
963.49/966.72 c #Conflicts: 654000 | #Constraints: 31480
963.49/966.72 c #Conflicts: 655000 | #Constraints: 32480
963.49/966.72 c INPROCESSING
963.49/966.72 c GARBAGE COLLECT
963.49/966.72 c #Conflicts: 656000 | #Constraints: 17481
963.49/966.72 c #Conflicts: 657000 | #Constraints: 18481
963.49/966.72 c #Conflicts: 658000 | #Constraints: 19481
963.49/966.72 c #Conflicts: 659000 | #Constraints: 20481
963.49/966.72 c #Conflicts: 660000 | #Constraints: 21481
1208.90/1212.99 c #Conflicts: 661000 | #Constraints: 22481
1208.90/1212.99 c #Conflicts: 662000 | #Constraints: 23481
1208.90/1212.99 c #Conflicts: 663000 | #Constraints: 24481
1208.90/1212.99 c #Conflicts: 664000 | #Constraints: 25481
1208.90/1212.99 c #Conflicts: 665000 | #Constraints: 26481
1208.90/1212.99 c #Conflicts: 666000 | #Constraints: 27481
1208.90/1212.99 c #Conflicts: 667000 | #Constraints: 28481
1208.90/1212.99 c #Conflicts: 668000 | #Constraints: 29481
1208.90/1212.99 c #Conflicts: 669000 | #Constraints: 30481
1208.90/1212.99 c #Conflicts: 670000 | #Constraints: 31481
1208.90/1212.99 c #Conflicts: 671000 | #Constraints: 32481
1208.90/1212.99 c INPROCESSING
1208.90/1212.99 c GARBAGE COLLECT
1208.90/1212.99 c #Conflicts: 672000 | #Constraints: 17292
1208.90/1212.99 c #Conflicts: 673000 | #Constraints: 18292
1208.90/1212.99 c #Conflicts: 674000 | #Constraints: 19292
1208.90/1212.99 c #Conflicts: 675000 | #Constraints: 20292
1208.90/1212.99 c #Conflicts: 676000 | #Constraints: 21292
1208.90/1212.99 c #Conflicts: 677000 | #Constraints: 22292
1208.90/1212.99 c #Conflicts: 678000 | #Constraints: 23292
1208.90/1212.99 c #Conflicts: 679000 | #Constraints: 24292
1208.90/1212.99 c #Conflicts: 680000 | #Constraints: 25292
1208.90/1212.99 c #Conflicts: 681000 | #Constraints: 26292
1208.90/1212.99 c #Conflicts: 682000 | #Constraints: 27292
1208.90/1212.99 c #Conflicts: 683000 | #Constraints: 28292
1208.90/1212.99 c #Conflicts: 684000 | #Constraints: 29292
1208.90/1212.99 c #Conflicts: 685000 | #Constraints: 30292
1208.90/1212.99 c #Conflicts: 686000 | #Constraints: 31292
1208.90/1212.99 c #Conflicts: 687000 | #Constraints: 32292
1208.90/1212.99 c #Conflicts: 688000 | #Constraints: 33292
1208.90/1212.99 c INPROCESSING
1208.90/1212.99 c GARBAGE COLLECT
1208.90/1212.99 c #Conflicts: 689000 | #Constraints: 17892
1208.90/1212.99 c #Conflicts: 690000 | #Constraints: 18892
1208.90/1212.99 c #Conflicts: 691000 | #Constraints: 19892
1208.90/1212.99 c #Conflicts: 692000 | #Constraints: 20892
1208.90/1212.99 c #Conflicts: 693000 | #Constraints: 21892
1208.90/1212.99 c #Conflicts: 694000 | #Constraints: 22892
1208.90/1212.99 c #Conflicts: 695000 | #Constraints: 23892
1208.90/1212.99 c #Conflicts: 696000 | #Constraints: 24892
1208.90/1212.99 c #Conflicts: 697000 | #Constraints: 25892
1208.90/1212.99 c #Conflicts: 698000 | #Constraints: 26892
1208.90/1212.99 c #Conflicts: 699000 | #Constraints: 27892
1208.90/1212.99 c #Conflicts: 700000 | #Constraints: 28892
1208.90/1212.99 c #Conflicts: 701000 | #Constraints: 29892
1208.90/1212.99 c #Conflicts: 702000 | #Constraints: 30892
1208.90/1212.99 c #Conflicts: 703000 | #Constraints: 31892
1208.90/1212.99 c #Conflicts: 704000 | #Constraints: 32892
1208.90/1212.99 c #Conflicts: 705000 | #Constraints: 33892
1208.90/1212.99 c INPROCESSING
1208.90/1212.99 c GARBAGE COLLECT
1208.90/1212.99 c #Conflicts: 706000 | #Constraints: 18295
1208.90/1212.99 c #Conflicts: 707000 | #Constraints: 19295
1208.90/1212.99 c #Conflicts: 708000 | #Constraints: 20295
1208.90/1212.99 c #Conflicts: 709000 | #Constraints: 21295
1208.90/1212.99 c #Conflicts: 710000 | #Constraints: 22295
1208.90/1212.99 c #Conflicts: 711000 | #Constraints: 23295
1208.90/1212.99 c #Conflicts: 712000 | #Constraints: 24295
1208.90/1212.99 c #Conflicts: 713000 | #Constraints: 25295
1208.90/1212.99 c #Conflicts: 714000 | #Constraints: 26295
1208.90/1212.99 c #Conflicts: 715000 | #Constraints: 27295
1208.90/1212.99 c #Conflicts: 716000 | #Constraints: 28295
1208.90/1212.99 c #Conflicts: 717000 | #Constraints: 29295
1208.90/1212.99 c #Conflicts: 718000 | #Constraints: 30295
1208.90/1212.99 c #Conflicts: 719000 | #Constraints: 31295
1208.90/1212.99 c #Conflicts: 720000 | #Constraints: 32295
1208.90/1212.99 c #Conflicts: 721000 | #Constraints: 33295
1208.90/1212.99 c #Conflicts: 722000 | #Constraints: 34295
1208.90/1212.99 c INPROCESSING
1208.90/1212.99 c GARBAGE COLLECT
1208.90/1212.99 c #Conflicts: 723000 | #Constraints: 18490
1208.90/1212.99 c #Conflicts: 724000 | #Constraints: 19490
1208.90/1212.99 c #Conflicts: 725000 | #Constraints: 20490
1208.90/1212.99 c #Conflicts: 726000 | #Constraints: 21490
1208.90/1212.99 c #Conflicts: 727000 | #Constraints: 22490
1208.90/1212.99 c #Conflicts: 728000 | #Constraints: 23490
1208.90/1212.99 c #Conflicts: 729000 | #Constraints: 24490
1208.90/1212.99 c #Conflicts: 730000 | #Constraints: 25490
1208.90/1212.99 c #Conflicts: 731000 | #Constraints: 26490
1208.90/1212.99 c #Conflicts: 732000 | #Constraints: 27490
1208.90/1212.99 c #Conflicts: 733000 | #Constraints: 28490
1208.90/1212.99 c #Conflicts: 734000 | #Constraints: 29490
1208.90/1212.99 c #Conflicts: 735000 | #Constraints: 30490
1208.90/1212.99 c #Conflicts: 736000 | #Constraints: 31490
1424.70/1429.46 c #Conflicts: 737000 | #Constraints: 32490
1424.70/1429.46 c #Conflicts: 738000 | #Constraints: 33490
1424.70/1429.46 c #Conflicts: 739000 | #Constraints: 34490
1424.70/1429.46 c INPROCESSING
1424.70/1429.46 c GARBAGE COLLECT
1424.70/1429.46 c #Conflicts: 740000 | #Constraints: 18496
1424.70/1429.46 c #Conflicts: 741000 | #Constraints: 19496
1424.70/1429.46 c #Conflicts: 742000 | #Constraints: 20496
1424.70/1429.46 c #Conflicts: 743000 | #Constraints: 21496
1424.70/1429.46 c #Conflicts: 744000 | #Constraints: 22496
1424.70/1429.46 c #Conflicts: 745000 | #Constraints: 23496
1424.70/1429.46 c #Conflicts: 746000 | #Constraints: 24496
1424.70/1429.46 c #Conflicts: 747000 | #Constraints: 25496
1424.70/1429.46 c #Conflicts: 748000 | #Constraints: 26496
1424.70/1429.46 c #Conflicts: 749000 | #Constraints: 27496
1424.70/1429.46 c #Conflicts: 750000 | #Constraints: 28496
1424.70/1429.46 c #Conflicts: 751000 | #Constraints: 29496
1424.70/1429.46 c #Conflicts: 752000 | #Constraints: 30496
1424.70/1429.46 c #Conflicts: 753000 | #Constraints: 31496
1424.70/1429.46 c #Conflicts: 754000 | #Constraints: 32496
1424.70/1429.46 c #Conflicts: 755000 | #Constraints: 33496
1424.70/1429.46 c #Conflicts: 756000 | #Constraints: 34496
1424.70/1429.46 c INPROCESSING
1424.70/1429.46 c GARBAGE COLLECT
1424.70/1429.46 c #Conflicts: 757000 | #Constraints: 18295
1424.70/1429.46 c #Conflicts: 758000 | #Constraints: 19295
1424.70/1429.46 c #Conflicts: 759000 | #Constraints: 20295
1424.70/1429.46 c #Conflicts: 760000 | #Constraints: 21295
1424.70/1429.46 c #Conflicts: 761000 | #Constraints: 22295
1424.70/1429.46 c #Conflicts: 762000 | #Constraints: 23295
1424.70/1429.46 c #Conflicts: 763000 | #Constraints: 24295
1424.70/1429.46 c #Conflicts: 764000 | #Constraints: 25295
1424.70/1429.46 c #Conflicts: 765000 | #Constraints: 26295
1424.70/1429.46 c #Conflicts: 766000 | #Constraints: 27295
1424.70/1429.46 c #Conflicts: 767000 | #Constraints: 28295
1424.70/1429.46 c #Conflicts: 768000 | #Constraints: 29295
1424.70/1429.46 c #Conflicts: 769000 | #Constraints: 30295
1424.70/1429.46 c #Conflicts: 770000 | #Constraints: 31295
1424.70/1429.46 c #Conflicts: 771000 | #Constraints: 32295
1424.70/1429.46 c #Conflicts: 772000 | #Constraints: 33295
1424.70/1429.46 c #Conflicts: 773000 | #Constraints: 34295
1424.70/1429.46 c #Conflicts: 774000 | #Constraints: 35295
1424.70/1429.46 c INPROCESSING
1424.70/1429.46 c GARBAGE COLLECT
1424.70/1429.46 c #Conflicts: 775000 | #Constraints: 18895
1424.70/1429.46 c #Conflicts: 776000 | #Constraints: 19895
1424.70/1429.46 c #Conflicts: 777000 | #Constraints: 20895
1424.70/1429.46 c #Conflicts: 778000 | #Constraints: 21895
1424.70/1429.46 c #Conflicts: 779000 | #Constraints: 22895
1424.70/1429.46 c #Conflicts: 780000 | #Constraints: 23895
1424.70/1429.46 c #Conflicts: 781000 | #Constraints: 24895
1424.70/1429.46 c #Conflicts: 782000 | #Constraints: 25895
1424.70/1429.46 c #Conflicts: 783000 | #Constraints: 26895
1424.70/1429.46 c #Conflicts: 784000 | #Constraints: 27895
1424.70/1429.46 c #Conflicts: 785000 | #Constraints: 28895
1424.70/1429.46 c #Conflicts: 786000 | #Constraints: 29895
1424.70/1429.46 c #Conflicts: 787000 | #Constraints: 30895
1424.70/1429.46 c #Conflicts: 788000 | #Constraints: 31895
1424.70/1429.46 c #Conflicts: 789000 | #Constraints: 32895
1424.70/1429.46 c #Conflicts: 790000 | #Constraints: 33895
1424.70/1429.46 c #Conflicts: 791000 | #Constraints: 34895
1424.70/1429.46 c #Conflicts: 792000 | #Constraints: 35895
1424.70/1429.46 c INPROCESSING
1424.70/1429.46 c GARBAGE COLLECT
1424.70/1429.46 c #Conflicts: 793000 | #Constraints: 19287
1424.70/1429.46 c #Conflicts: 794000 | #Constraints: 20287
1424.70/1429.46 c #Conflicts: 795000 | #Constraints: 21287
1424.70/1429.46 c #Conflicts: 796000 | #Constraints: 22287
1424.70/1429.46 c #Conflicts: 797000 | #Constraints: 23287
1424.70/1429.46 c #Conflicts: 798000 | #Constraints: 24287
1424.70/1429.46 c #Conflicts: 799000 | #Constraints: 25287
1424.70/1429.46 c #Conflicts: 800000 | #Constraints: 26287
1424.70/1429.46 c #Conflicts: 801000 | #Constraints: 27287
1424.70/1429.46 c #Conflicts: 802000 | #Constraints: 28287
1424.70/1429.46 c #Conflicts: 803000 | #Constraints: 29287
1424.70/1429.46 c #Conflicts: 804000 | #Constraints: 30287
1424.70/1429.46 c #Conflicts: 805000 | #Constraints: 31287
1424.70/1429.46 c #Conflicts: 806000 | #Constraints: 32287
1424.70/1429.46 c #Conflicts: 807000 | #Constraints: 33287
1424.70/1429.46 c #Conflicts: 808000 | #Constraints: 34287
1424.70/1429.46 c #Conflicts: 809000 | #Constraints: 35287
1424.70/1429.46 c #Conflicts: 810000 | #Constraints: 36287
1424.70/1429.46 c INPROCESSING
1424.70/1429.46 c GARBAGE COLLECT
1424.70/1429.46 c #Conflicts: 811000 | #Constraints: 19483
1424.70/1429.46 c #Conflicts: 812000 | #Constraints: 20483
1680.58/1686.16 c #Conflicts: 813000 | #Constraints: 21483
1680.58/1686.16 c #Conflicts: 814000 | #Constraints: 22483
1680.58/1686.16 c #Conflicts: 815000 | #Constraints: 23483
1680.58/1686.16 c #Conflicts: 816000 | #Constraints: 24483
1680.58/1686.16 c #Conflicts: 817000 | #Constraints: 25483
1680.58/1686.16 c #Conflicts: 818000 | #Constraints: 26483
1680.58/1686.16 c #Conflicts: 819000 | #Constraints: 27483
1680.58/1686.16 c #Conflicts: 820000 | #Constraints: 28483
1680.58/1686.16 c #Conflicts: 821000 | #Constraints: 29483
1680.58/1686.16 c #Conflicts: 822000 | #Constraints: 30483
1680.58/1686.16 c #Conflicts: 823000 | #Constraints: 31483
1680.58/1686.16 c #Conflicts: 824000 | #Constraints: 32483
1680.58/1686.16 c #Conflicts: 825000 | #Constraints: 33483
1680.58/1686.16 c #Conflicts: 826000 | #Constraints: 34483
1680.58/1686.16 c #Conflicts: 827000 | #Constraints: 35483
1680.58/1686.16 c #Conflicts: 828000 | #Constraints: 36483
1680.58/1686.16 c INPROCESSING
1680.58/1686.16 c GARBAGE COLLECT
1680.58/1686.16 c #Conflicts: 829000 | #Constraints: 19487
1680.58/1686.16 c #Conflicts: 830000 | #Constraints: 20487
1680.58/1686.16 c #Conflicts: 831000 | #Constraints: 21487
1680.58/1686.16 c #Conflicts: 832000 | #Constraints: 22487
1680.58/1686.16 c #Conflicts: 833000 | #Constraints: 23487
1680.58/1686.16 c #Conflicts: 834000 | #Constraints: 24487
1680.58/1686.16 c #Conflicts: 835000 | #Constraints: 25487
1680.58/1686.16 c #Conflicts: 836000 | #Constraints: 26487
1680.58/1686.16 c #Conflicts: 837000 | #Constraints: 27487
1680.58/1686.16 c #Conflicts: 838000 | #Constraints: 28487
1680.58/1686.16 c #Conflicts: 839000 | #Constraints: 29487
1680.58/1686.16 c #Conflicts: 840000 | #Constraints: 30487
1680.58/1686.16 c #Conflicts: 841000 | #Constraints: 31487
1680.58/1686.16 c #Conflicts: 842000 | #Constraints: 32487
1680.58/1686.16 c #Conflicts: 843000 | #Constraints: 33487
1680.58/1686.16 c #Conflicts: 844000 | #Constraints: 34487
1680.58/1686.16 c #Conflicts: 845000 | #Constraints: 35487
1680.58/1686.16 c #Conflicts: 846000 | #Constraints: 36487
1680.58/1686.16 c INPROCESSING
1680.58/1686.16 c GARBAGE COLLECT
1680.58/1686.16 c #Conflicts: 847000 | #Constraints: 19291
1680.58/1686.16 c #Conflicts: 848000 | #Constraints: 20291
1680.58/1686.16 c #Conflicts: 849000 | #Constraints: 21291
1680.58/1686.16 c #Conflicts: 850000 | #Constraints: 22291
1680.58/1686.16 c #Conflicts: 851000 | #Constraints: 23291
1680.58/1686.16 c #Conflicts: 852000 | #Constraints: 24291
1680.58/1686.16 c #Conflicts: 853000 | #Constraints: 25291
1680.58/1686.16 c #Conflicts: 854000 | #Constraints: 26291
1680.58/1686.16 c #Conflicts: 855000 | #Constraints: 27291
1680.58/1686.16 c #Conflicts: 856000 | #Constraints: 28291
1680.58/1686.16 c #Conflicts: 857000 | #Constraints: 29291
1680.58/1686.16 c #Conflicts: 858000 | #Constraints: 30291
1680.58/1686.16 c #Conflicts: 859000 | #Constraints: 31291
1680.58/1686.16 c #Conflicts: 860000 | #Constraints: 32291
1680.58/1686.16 c #Conflicts: 861000 | #Constraints: 33291
1680.58/1686.16 c #Conflicts: 862000 | #Constraints: 34291
1680.58/1686.16 c #Conflicts: 863000 | #Constraints: 35291
1680.58/1686.16 c #Conflicts: 864000 | #Constraints: 36291
1680.58/1686.16 c #Conflicts: 865000 | #Constraints: 37291
1680.58/1686.16 c INPROCESSING
1680.58/1686.16 c GARBAGE COLLECT
1680.58/1686.16 c #Conflicts: 866000 | #Constraints: 19890
1680.58/1686.16 c #Conflicts: 867000 | #Constraints: 20890
1680.58/1686.16 c #Conflicts: 868000 | #Constraints: 21890
1680.58/1686.16 c #Conflicts: 869000 | #Constraints: 22890
1680.58/1686.16 c #Conflicts: 870000 | #Constraints: 23890
1680.58/1686.16 c #Conflicts: 871000 | #Constraints: 24890
1680.58/1686.16 c #Conflicts: 872000 | #Constraints: 25890
1680.58/1686.16 c #Conflicts: 873000 | #Constraints: 26890
1680.58/1686.16 c #Conflicts: 874000 | #Constraints: 27890
1680.58/1686.16 c #Conflicts: 875000 | #Constraints: 28890
1680.58/1686.16 c #Conflicts: 876000 | #Constraints: 29890
1680.58/1686.16 c #Conflicts: 877000 | #Constraints: 30890
1680.58/1686.16 c #Conflicts: 878000 | #Constraints: 31890
1680.58/1686.16 c #Conflicts: 879000 | #Constraints: 32890
1680.58/1686.16 c #Conflicts: 880000 | #Constraints: 33890
1680.58/1686.16 c #Conflicts: 881000 | #Constraints: 34890
1680.58/1686.16 c #Conflicts: 882000 | #Constraints: 35890
1680.58/1686.16 c #Conflicts: 883000 | #Constraints: 36890
1680.58/1686.16 c #Conflicts: 884000 | #Constraints: 37890
1680.58/1686.16 c INPROCESSING
1680.58/1686.16 c GARBAGE COLLECT
1680.58/1686.16 c #Conflicts: 885000 | #Constraints: 20290
1680.58/1686.16 c #Conflicts: 886000 | #Constraints: 21290
1680.58/1686.16 c #Conflicts: 887000 | #Constraints: 22290
1680.58/1686.16 c #Conflicts: 888000 | #Constraints: 23290
1965.95/1972.45 c #Conflicts: 889000 | #Constraints: 24290
1965.95/1972.45 c #Conflicts: 890000 | #Constraints: 25290
1965.95/1972.45 c #Conflicts: 891000 | #Constraints: 26290
1965.95/1972.45 c #Conflicts: 892000 | #Constraints: 27290
1965.95/1972.45 c #Conflicts: 893000 | #Constraints: 28290
1965.95/1972.45 c #Conflicts: 894000 | #Constraints: 29290
1965.95/1972.45 c #Conflicts: 895000 | #Constraints: 30290
1965.95/1972.45 c #Conflicts: 896000 | #Constraints: 31290
1965.95/1972.45 c #Conflicts: 897000 | #Constraints: 32290
1965.95/1972.45 c #Conflicts: 898000 | #Constraints: 33290
1965.95/1972.45 c #Conflicts: 899000 | #Constraints: 34290
1965.95/1972.45 c #Conflicts: 900000 | #Constraints: 35290
1965.95/1972.45 c #Conflicts: 901000 | #Constraints: 36290
1965.95/1972.45 c #Conflicts: 902000 | #Constraints: 37290
1965.95/1972.45 c #Conflicts: 903000 | #Constraints: 38290
1965.95/1972.45 c INPROCESSING
1965.95/1972.45 c GARBAGE COLLECT
1965.95/1972.45 c #Conflicts: 904000 | #Constraints: 20494
1965.95/1972.45 c #Conflicts: 905000 | #Constraints: 21494
1965.95/1972.45 c #Conflicts: 906000 | #Constraints: 22494
1965.95/1972.45 c #Conflicts: 907000 | #Constraints: 23494
1965.95/1972.45 c #Conflicts: 908000 | #Constraints: 24494
1965.95/1972.45 c #Conflicts: 909000 | #Constraints: 25494
1965.95/1972.45 c #Conflicts: 910000 | #Constraints: 26494
1965.95/1972.45 c #Conflicts: 911000 | #Constraints: 27494
1965.95/1972.45 c #Conflicts: 912000 | #Constraints: 28494
1965.95/1972.45 c #Conflicts: 913000 | #Constraints: 29494
1965.95/1972.45 c #Conflicts: 914000 | #Constraints: 30494
1965.95/1972.45 c #Conflicts: 915000 | #Constraints: 31494
1965.95/1972.45 c #Conflicts: 916000 | #Constraints: 32494
1965.95/1972.45 c #Conflicts: 917000 | #Constraints: 33494
1965.95/1972.45 c #Conflicts: 918000 | #Constraints: 34494
1965.95/1972.45 c #Conflicts: 919000 | #Constraints: 35494
1965.95/1972.45 c #Conflicts: 920000 | #Constraints: 36494
1965.95/1972.45 c #Conflicts: 921000 | #Constraints: 37494
1965.95/1972.45 c #Conflicts: 922000 | #Constraints: 38494
1965.95/1972.45 c INPROCESSING
1965.95/1972.45 c GARBAGE COLLECT
1965.95/1972.45 c #Conflicts: 923000 | #Constraints: 20489
1965.95/1972.45 c #Conflicts: 924000 | #Constraints: 21489
1965.95/1972.45 c #Conflicts: 925000 | #Constraints: 22489
1965.95/1972.45 c #Conflicts: 926000 | #Constraints: 23489
1965.95/1972.45 c #Conflicts: 927000 | #Constraints: 24489
1965.95/1972.45 c #Conflicts: 928000 | #Constraints: 25489
1965.95/1972.45 c #Conflicts: 929000 | #Constraints: 26489
1965.95/1972.45 c #Conflicts: 930000 | #Constraints: 27489
1965.95/1972.45 c #Conflicts: 931000 | #Constraints: 28489
1965.95/1972.45 c #Conflicts: 932000 | #Constraints: 29489
1965.95/1972.45 c #Conflicts: 933000 | #Constraints: 30489
1965.95/1972.45 c #Conflicts: 934000 | #Constraints: 31489
1965.95/1972.45 c #Conflicts: 935000 | #Constraints: 32489
1965.95/1972.45 c #Conflicts: 936000 | #Constraints: 33489
1965.95/1972.45 c #Conflicts: 937000 | #Constraints: 34489
1965.95/1972.45 c #Conflicts: 938000 | #Constraints: 35489
1965.95/1972.45 c #Conflicts: 939000 | #Constraints: 36489
1965.95/1972.45 c #Conflicts: 940000 | #Constraints: 37489
1965.95/1972.45 c #Conflicts: 941000 | #Constraints: 38489
1965.95/1972.45 c INPROCESSING
1965.95/1972.45 c GARBAGE COLLECT
1965.95/1972.45 c #Conflicts: 942000 | #Constraints: 20292
1965.95/1972.45 c #Conflicts: 943000 | #Constraints: 21292
1965.95/1972.45 c #Conflicts: 944000 | #Constraints: 22292
1965.95/1972.45 c #Conflicts: 945000 | #Constraints: 23292
1965.95/1972.46 c #Conflicts: 946000 | #Constraints: 24292
1965.95/1972.46 c #Conflicts: 947000 | #Constraints: 25292
1965.95/1972.46 c #Conflicts: 948000 | #Constraints: 26292
1965.95/1972.46 c #Conflicts: 949000 | #Constraints: 27292
1965.95/1972.46 c #Conflicts: 950000 | #Constraints: 28292
1965.95/1972.46 c #Conflicts: 951000 | #Constraints: 29292
1965.95/1972.46 c #Conflicts: 952000 | #Constraints: 30292
1965.95/1972.46 c #Conflicts: 953000 | #Constraints: 31292
1965.95/1972.46 c #Conflicts: 954000 | #Constraints: 32292
1965.95/1972.46 c #Conflicts: 955000 | #Constraints: 33292
1965.95/1972.46 c #Conflicts: 956000 | #Constraints: 34292
1965.95/1972.46 c #Conflicts: 957000 | #Constraints: 35292
1965.95/1972.46 c #Conflicts: 958000 | #Constraints: 36292
1965.95/1972.46 c #Conflicts: 959000 | #Constraints: 37292
1965.95/1972.46 c #Conflicts: 960000 | #Constraints: 38292
1965.95/1972.46 c #Conflicts: 961000 | #Constraints: 39292
1965.95/1972.46 c INPROCESSING
1965.95/1972.46 c GARBAGE COLLECT
1965.95/1972.46 c #Conflicts: 962000 | #Constraints: 20886
1965.95/1972.46 c #Conflicts: 963000 | #Constraints: 21886
1965.95/1972.46 c #Conflicts: 964000 | #Constraints: 22886
2367.84/2375.68 c #Conflicts: 965000 | #Constraints: 23886
2367.84/2375.68 c #Conflicts: 966000 | #Constraints: 24886
2367.84/2375.68 c #Conflicts: 967000 | #Constraints: 25886
2367.84/2375.68 c #Conflicts: 968000 | #Constraints: 26886
2367.84/2375.68 c #Conflicts: 969000 | #Constraints: 27886
2367.84/2375.68 c #Conflicts: 970000 | #Constraints: 28886
2367.84/2375.68 c #Conflicts: 971000 | #Constraints: 29886
2367.84/2375.68 c #Conflicts: 972000 | #Constraints: 30886
2367.84/2375.68 c #Conflicts: 973000 | #Constraints: 31886
2367.84/2375.68 c #Conflicts: 974000 | #Constraints: 32886
2367.84/2375.68 c #Conflicts: 975000 | #Constraints: 33886
2367.84/2375.68 c #Conflicts: 976000 | #Constraints: 34886
2367.84/2375.68 c #Conflicts: 977000 | #Constraints: 35886
2367.84/2375.68 c #Conflicts: 978000 | #Constraints: 36886
2367.84/2375.68 c #Conflicts: 979000 | #Constraints: 37886
2367.84/2375.68 c #Conflicts: 980000 | #Constraints: 38886
2367.84/2375.68 c #Conflicts: 981000 | #Constraints: 39886
2367.84/2375.68 c INPROCESSING
2367.84/2375.68 c GARBAGE COLLECT
2367.84/2375.68 c #Conflicts: 982000 | #Constraints: 21291
2367.84/2375.68 c #Conflicts: 983000 | #Constraints: 22291
2367.84/2375.68 c #Conflicts: 984000 | #Constraints: 23291
2367.84/2375.68 c #Conflicts: 985000 | #Constraints: 24291
2367.84/2375.68 c #Conflicts: 986000 | #Constraints: 25291
2367.84/2375.68 c #Conflicts: 987000 | #Constraints: 26291
2367.84/2375.68 c #Conflicts: 988000 | #Constraints: 27291
2367.84/2375.68 c #Conflicts: 989000 | #Constraints: 28291
2367.84/2375.68 c #Conflicts: 990000 | #Constraints: 29291
2367.84/2375.68 c #Conflicts: 991000 | #Constraints: 30291
2367.84/2375.68 c #Conflicts: 992000 | #Constraints: 31291
2367.84/2375.68 c #Conflicts: 993000 | #Constraints: 32291
2367.84/2375.68 c #Conflicts: 994000 | #Constraints: 33291
2367.84/2375.68 c #Conflicts: 995000 | #Constraints: 34291
2367.84/2375.68 c #Conflicts: 996000 | #Constraints: 35291
2367.84/2375.68 c #Conflicts: 997000 | #Constraints: 36291
2367.84/2375.68 c #Conflicts: 998000 | #Constraints: 37291
2367.84/2375.68 c #Conflicts: 999000 | #Constraints: 38291
2367.84/2375.68 c #Conflicts: 1000000 | #Constraints: 39291
2367.84/2375.68 c #Conflicts: 1001000 | #Constraints: 40291
2367.84/2375.68 c INPROCESSING
2367.84/2375.68 c GARBAGE COLLECT
2367.84/2375.68 c #Conflicts: 1002000 | #Constraints: 21498
2367.84/2375.68 c #Conflicts: 1003000 | #Constraints: 22498
2367.84/2375.68 c #Conflicts: 1004000 | #Constraints: 23498
2367.84/2375.68 c #Conflicts: 1005000 | #Constraints: 24498
2367.84/2375.68 c #Conflicts: 1006000 | #Constraints: 25498
2367.84/2375.68 c #Conflicts: 1007000 | #Constraints: 26498
2367.84/2375.68 c #Conflicts: 1008000 | #Constraints: 27498
2367.84/2375.68 c #Conflicts: 1009000 | #Constraints: 28498
2367.84/2375.68 c #Conflicts: 1010000 | #Constraints: 29498
2367.84/2375.68 c #Conflicts: 1011000 | #Constraints: 30498
2367.84/2375.68 c #Conflicts: 1012000 | #Constraints: 31498
2367.84/2375.68 c #Conflicts: 1013000 | #Constraints: 32498
2367.84/2375.68 c #Conflicts: 1014000 | #Constraints: 33498
2367.84/2375.68 c #Conflicts: 1015000 | #Constraints: 34498
2367.84/2375.68 c #Conflicts: 1016000 | #Constraints: 35498
2367.84/2375.68 c #Conflicts: 1017000 | #Constraints: 36498
2367.84/2375.68 c #Conflicts: 1018000 | #Constraints: 37498
2367.84/2375.68 c #Conflicts: 1019000 | #Constraints: 38498
2367.84/2375.68 c #Conflicts: 1020000 | #Constraints: 39498
2367.84/2375.68 c #Conflicts: 1021000 | #Constraints: 40498
2367.84/2375.68 c INPROCESSING
2367.84/2375.68 c GARBAGE COLLECT
2367.84/2375.68 c #Conflicts: 1022000 | #Constraints: 21499
2367.84/2375.68 c #Conflicts: 1023000 | #Constraints: 22499
2367.84/2375.68 c #Conflicts: 1024000 | #Constraints: 23499
2367.84/2375.68 c #Conflicts: 1025000 | #Constraints: 24499
2367.84/2375.68 c #Conflicts: 1026000 | #Constraints: 25499
2367.84/2375.68 c #Conflicts: 1027000 | #Constraints: 26499
2367.84/2375.68 c #Conflicts: 1028000 | #Constraints: 27499
2367.84/2375.68 c #Conflicts: 1029000 | #Constraints: 28499
2367.84/2375.68 c #Conflicts: 1030000 | #Constraints: 29499
2367.84/2375.68 c #Conflicts: 1031000 | #Constraints: 30499
2367.84/2375.68 c #Conflicts: 1032000 | #Constraints: 31499
2367.84/2375.68 c #Conflicts: 1033000 | #Constraints: 32499
2367.84/2375.68 c #Conflicts: 1034000 | #Constraints: 33499
2367.84/2375.68 c #Conflicts: 1035000 | #Constraints: 34499
2367.84/2375.68 c #Conflicts: 1036000 | #Constraints: 35499
2367.84/2375.68 c #Conflicts: 1037000 | #Constraints: 36499
2367.84/2375.68 c #Conflicts: 1038000 | #Constraints: 37499
2367.84/2375.68 c #Conflicts: 1039000 | #Constraints: 38499
2367.84/2375.68 c #Conflicts: 1040000 | #Constraints: 39499
2367.84/2375.68 c #Conflicts: 1041000 | #Constraints: 40499
2900.82/2910.31 c INPROCESSING
2900.82/2910.31 c GARBAGE COLLECT
2900.82/2910.31 c #Conflicts: 1042000 | #Constraints: 21300
2900.82/2910.31 c #Conflicts: 1043000 | #Constraints: 22300
2900.82/2910.31 c #Conflicts: 1044000 | #Constraints: 23300
2900.82/2910.31 c #Conflicts: 1045000 | #Constraints: 24300
2900.82/2910.31 c #Conflicts: 1046000 | #Constraints: 25300
2900.82/2910.31 c #Conflicts: 1047000 | #Constraints: 26300
2900.82/2910.31 c #Conflicts: 1048000 | #Constraints: 27300
2900.82/2910.31 c #Conflicts: 1049000 | #Constraints: 28300
2900.82/2910.31 c #Conflicts: 1050000 | #Constraints: 29300
2900.82/2910.31 c #Conflicts: 1051000 | #Constraints: 30300
2900.82/2910.31 c #Conflicts: 1052000 | #Constraints: 31300
2900.82/2910.31 c #Conflicts: 1053000 | #Constraints: 32300
2900.82/2910.31 c #Conflicts: 1054000 | #Constraints: 33300
2900.82/2910.31 c #Conflicts: 1055000 | #Constraints: 34300
2900.82/2910.31 c #Conflicts: 1056000 | #Constraints: 35300
2900.82/2910.31 c #Conflicts: 1057000 | #Constraints: 36300
2900.82/2910.31 c #Conflicts: 1058000 | #Constraints: 37300
2900.82/2910.31 c #Conflicts: 1059000 | #Constraints: 38300
2900.82/2910.31 c #Conflicts: 1060000 | #Constraints: 39300
2900.82/2910.31 c #Conflicts: 1061000 | #Constraints: 40300
2900.82/2910.31 c #Conflicts: 1062000 | #Constraints: 41300
2900.82/2910.31 c INPROCESSING
2900.82/2910.31 c GARBAGE COLLECT
2900.82/2910.31 c #Conflicts: 1063000 | #Constraints: 21915
2900.82/2910.31 c #Conflicts: 1064000 | #Constraints: 22915
2900.82/2910.31 c #Conflicts: 1065000 | #Constraints: 23915
2900.82/2910.31 c #Conflicts: 1066000 | #Constraints: 24915
2900.82/2910.31 c #Conflicts: 1067000 | #Constraints: 25915
2900.82/2910.31 c #Conflicts: 1068000 | #Constraints: 26915
2900.82/2910.31 c #Conflicts: 1069000 | #Constraints: 27915
2900.82/2910.31 c #Conflicts: 1070000 | #Constraints: 28915
2900.82/2910.31 c #Conflicts: 1071000 | #Constraints: 29915
2900.82/2910.31 c #Conflicts: 1072000 | #Constraints: 30915
2900.82/2910.31 c #Conflicts: 1073000 | #Constraints: 31915
2900.82/2910.31 c #Conflicts: 1074000 | #Constraints: 32915
2900.82/2910.31 c #Conflicts: 1075000 | #Constraints: 33915
2900.82/2910.31 c #Conflicts: 1076000 | #Constraints: 34915
2900.82/2910.31 c #Conflicts: 1077000 | #Constraints: 35915
2900.82/2910.31 c #Conflicts: 1078000 | #Constraints: 36915
2900.82/2910.31 c #Conflicts: 1079000 | #Constraints: 37915
2900.82/2910.31 c #Conflicts: 1080000 | #Constraints: 38915
2900.82/2910.31 c #Conflicts: 1081000 | #Constraints: 39915
2900.82/2910.31 c #Conflicts: 1082000 | #Constraints: 40915
2900.82/2910.31 c #Conflicts: 1083000 | #Constraints: 41915
2900.82/2910.31 c INPROCESSING
2900.82/2910.31 c GARBAGE COLLECT
2900.82/2910.31 c #Conflicts: 1084000 | #Constraints: 22318
2900.82/2910.31 c #Conflicts: 1085000 | #Constraints: 23318
2900.82/2910.31 c #Conflicts: 1086000 | #Constraints: 24318
2900.82/2910.31 c #Conflicts: 1087000 | #Constraints: 25318
2900.82/2910.31 c #Conflicts: 1088000 | #Constraints: 26318
2900.82/2910.31 c #Conflicts: 1089000 | #Constraints: 27318
2900.82/2910.31 c #Conflicts: 1090000 | #Constraints: 28318
2900.82/2910.31 c #Conflicts: 1091000 | #Constraints: 29318
2900.82/2910.31 c #Conflicts: 1092000 | #Constraints: 30318
2900.82/2910.31 c #Conflicts: 1093000 | #Constraints: 31318
2900.82/2910.31 c #Conflicts: 1094000 | #Constraints: 32318
2900.82/2910.31 c #Conflicts: 1095000 | #Constraints: 33318
2900.82/2910.31 c #Conflicts: 1096000 | #Constraints: 34318
2900.82/2910.31 c #Conflicts: 1097000 | #Constraints: 35318
2900.82/2910.31 c #Conflicts: 1098000 | #Constraints: 36318
2900.82/2910.31 c #Conflicts: 1099000 | #Constraints: 37318
2900.82/2910.31 c #Conflicts: 1100000 | #Constraints: 38318
2900.82/2910.31 c #Conflicts: 1101000 | #Constraints: 39318
2900.82/2910.31 c #Conflicts: 1102000 | #Constraints: 40318
2900.82/2910.31 c #Conflicts: 1103000 | #Constraints: 41318
2900.82/2910.31 c #Conflicts: 1104000 | #Constraints: 42318
2900.82/2910.31 c INPROCESSING
2900.82/2910.31 c GARBAGE COLLECT
2900.82/2910.31 c #Conflicts: 1105000 | #Constraints: 22517
2900.82/2910.31 c #Conflicts: 1106000 | #Constraints: 23517
2900.82/2910.31 c #Conflicts: 1107000 | #Constraints: 24517
2900.82/2910.31 c #Conflicts: 1108000 | #Constraints: 25517
2900.82/2910.31 c #Conflicts: 1109000 | #Constraints: 26517
2900.82/2910.31 c #Conflicts: 1110000 | #Constraints: 27517
2900.82/2910.31 c #Conflicts: 1111000 | #Constraints: 28517
2900.82/2910.31 c #Conflicts: 1112000 | #Constraints: 29517
2900.82/2910.31 c #Conflicts: 1113000 | #Constraints: 30517
2900.82/2910.31 c #Conflicts: 1114000 | #Constraints: 31517
2900.82/2910.31 c #Conflicts: 1115000 | #Constraints: 32517
2900.82/2910.31 c #Conflicts: 1116000 | #Constraints: 33517
2900.82/2910.31 c #Conflicts: 1117000 | #Constraints: 34517
3181.43/3191.81 c #Conflicts: 1118000 | #Constraints: 35517
3181.43/3191.81 c #Conflicts: 1119000 | #Constraints: 36517
3181.43/3191.81 c #Conflicts: 1120000 | #Constraints: 37517
3181.43/3191.81 c #Conflicts: 1121000 | #Constraints: 38517
3181.43/3191.81 c #Conflicts: 1122000 | #Constraints: 39517
3181.43/3191.81 c #Conflicts: 1123000 | #Constraints: 40517
3181.43/3191.81 c #Conflicts: 1124000 | #Constraints: 41517
3181.43/3191.81 c #Conflicts: 1125000 | #Constraints: 42517
3181.43/3191.81 c INPROCESSING
3181.43/3191.81 c GARBAGE COLLECT
3181.43/3191.81 c #Conflicts: 1126000 | #Constraints: 22516
3181.43/3191.81 c #Conflicts: 1127000 | #Constraints: 23516
3181.43/3191.81 c #Conflicts: 1128000 | #Constraints: 24516
3181.43/3191.81 c #Conflicts: 1129000 | #Constraints: 25516
3181.43/3191.81 c #Conflicts: 1130000 | #Constraints: 26516
3181.43/3191.81 c #Conflicts: 1131000 | #Constraints: 27516
3181.43/3191.81 c #Conflicts: 1132000 | #Constraints: 28516
3181.43/3191.81 c #Conflicts: 1133000 | #Constraints: 29516
3181.43/3191.81 c #Conflicts: 1134000 | #Constraints: 30516
3181.43/3191.81 c #Conflicts: 1135000 | #Constraints: 31516
3181.43/3191.81 c #Conflicts: 1136000 | #Constraints: 32516
3181.43/3191.81 c #Conflicts: 1137000 | #Constraints: 33516
3181.43/3191.81 c #Conflicts: 1138000 | #Constraints: 34516
3181.43/3191.81 c #Conflicts: 1139000 | #Constraints: 35516
3181.43/3191.81 c #Conflicts: 1140000 | #Constraints: 36516
3181.43/3191.81 c #Conflicts: 1141000 | #Constraints: 37516
3181.43/3191.81 c #Conflicts: 1142000 | #Constraints: 38516
3181.43/3191.81 c #Conflicts: 1143000 | #Constraints: 39516
3181.43/3191.81 c #Conflicts: 1144000 | #Constraints: 40516
3181.43/3191.81 c #Conflicts: 1145000 | #Constraints: 41516
3181.43/3191.81 c #Conflicts: 1146000 | #Constraints: 42516
3181.43/3191.81 c INPROCESSING
3181.43/3191.81 c GARBAGE COLLECT
3181.43/3191.81 c #Conflicts: 1147000 | #Constraints: 22313
3181.43/3191.81 c #Conflicts: 1148000 | #Constraints: 23313
3181.43/3191.81 c #Conflicts: 1149000 | #Constraints: 24313
3181.43/3191.81 c #Conflicts: 1150000 | #Constraints: 25313
3181.43/3191.81 c #Conflicts: 1151000 | #Constraints: 26313
3181.43/3191.81 c #Conflicts: 1152000 | #Constraints: 27313
3181.43/3191.81 c #Conflicts: 1153000 | #Constraints: 28313
3181.43/3191.81 c #Conflicts: 1154000 | #Constraints: 29313
3181.43/3191.81 c #Conflicts: 1155000 | #Constraints: 30313
3181.43/3191.81 c #Conflicts: 1156000 | #Constraints: 31313
3181.43/3191.81 c #Conflicts: 1157000 | #Constraints: 32313
3181.43/3191.81 c #Conflicts: 1158000 | #Constraints: 33313
3181.43/3191.81 c #Conflicts: 1159000 | #Constraints: 34313
3181.43/3191.81 c #Conflicts: 1160000 | #Constraints: 35313
3181.43/3191.81 c #Conflicts: 1161000 | #Constraints: 36313
3181.43/3191.81 c #Conflicts: 1162000 | #Constraints: 37313
3181.43/3191.81 c #Conflicts: 1163000 | #Constraints: 38313
3181.43/3191.81 c #Conflicts: 1164000 | #Constraints: 39313
3181.43/3191.81 c #Conflicts: 1165000 | #Constraints: 40313
3181.43/3191.81 c #Conflicts: 1166000 | #Constraints: 41313
3181.43/3191.81 c #Conflicts: 1167000 | #Constraints: 42313
3181.43/3191.81 c #Conflicts: 1168000 | #Constraints: 43313
3181.43/3191.81 c INPROCESSING
3181.43/3191.81 c GARBAGE COLLECT
3181.43/3191.81 c #Conflicts: 1169000 | #Constraints: 22909
3181.43/3191.81 c #Conflicts: 1170000 | #Constraints: 23909
3181.43/3191.81 c #Conflicts: 1171000 | #Constraints: 24909
3181.43/3191.81 c #Conflicts: 1172000 | #Constraints: 25909
3181.43/3191.81 c #Conflicts: 1173000 | #Constraints: 26909
3181.43/3191.81 c #Conflicts: 1174000 | #Constraints: 27909
3181.43/3191.81 c #Conflicts: 1175000 | #Constraints: 28909
3181.43/3191.81 c #Conflicts: 1176000 | #Constraints: 29909
3181.43/3191.81 c #Conflicts: 1177000 | #Constraints: 30909
3181.43/3191.81 c #Conflicts: 1178000 | #Constraints: 31909
3181.43/3191.81 c #Conflicts: 1179000 | #Constraints: 32909
3181.43/3191.81 c #Conflicts: 1180000 | #Constraints: 33909
3181.43/3191.81 c #Conflicts: 1181000 | #Constraints: 34909
3181.43/3191.81 c #Conflicts: 1182000 | #Constraints: 35909
3181.43/3191.81 c #Conflicts: 1183000 | #Constraints: 36909
3181.43/3191.81 c #Conflicts: 1184000 | #Constraints: 37909
3181.43/3191.81 c #Conflicts: 1185000 | #Constraints: 38909
3181.43/3191.81 c #Conflicts: 1186000 | #Constraints: 39909
3181.43/3191.81 c #Conflicts: 1187000 | #Constraints: 40909
3181.43/3191.81 c #Conflicts: 1188000 | #Constraints: 41909
3181.43/3191.81 c #Conflicts: 1189000 | #Constraints: 42909
3181.43/3191.81 c #Conflicts: 1190000 | #Constraints: 43909
3181.43/3191.81 c INPROCESSING
3181.43/3191.81 c GARBAGE COLLECT
3181.43/3191.81 c #Conflicts: 1191000 | #Constraints: 23308
3181.43/3191.81 c #Conflicts: 1192000 | #Constraints: 24308
3181.43/3191.81 c #Conflicts: 1193000 | #Constraints: 25308
3498.02/3509.40 c #Conflicts: 1194000 | #Constraints: 26308
3498.02/3509.40 c #Conflicts: 1195000 | #Constraints: 27308
3498.02/3509.40 c #Conflicts: 1196000 | #Constraints: 28308
3498.02/3509.40 c #Conflicts: 1197000 | #Constraints: 29308
3498.02/3509.40 c #Conflicts: 1198000 | #Constraints: 30308
3498.02/3509.40 c #Conflicts: 1199000 | #Constraints: 31308
3498.02/3509.40 c #Conflicts: 1200000 | #Constraints: 32308
3498.02/3509.40 c #Conflicts: 1201000 | #Constraints: 33308
3498.02/3509.40 c #Conflicts: 1202000 | #Constraints: 34308
3498.02/3509.40 c #Conflicts: 1203000 | #Constraints: 35308
3498.02/3509.40 c #Conflicts: 1204000 | #Constraints: 36308
3498.02/3509.40 c #Conflicts: 1205000 | #Constraints: 37308
3498.02/3509.40 c #Conflicts: 1206000 | #Constraints: 38308
3498.02/3509.40 c #Conflicts: 1207000 | #Constraints: 39308
3498.02/3509.40 c #Conflicts: 1208000 | #Constraints: 40308
3498.02/3509.40 c #Conflicts: 1209000 | #Constraints: 41308
3498.02/3509.40 c #Conflicts: 1210000 | #Constraints: 42308
3498.02/3509.40 c #Conflicts: 1211000 | #Constraints: 43308
3498.02/3509.40 c #Conflicts: 1212000 | #Constraints: 44308
3498.02/3509.40 c INPROCESSING
3498.02/3509.40 c GARBAGE COLLECT
3498.02/3509.40 c #Conflicts: 1213000 | #Constraints: 23504
3498.02/3509.40 c #Conflicts: 1214000 | #Constraints: 24504
3498.02/3509.40 c #Conflicts: 1215000 | #Constraints: 25504
3498.02/3509.40 c #Conflicts: 1216000 | #Constraints: 26504
3498.02/3509.40 c #Conflicts: 1217000 | #Constraints: 27504
3498.02/3509.40 c #Conflicts: 1218000 | #Constraints: 28504
3498.02/3509.40 c #Conflicts: 1219000 | #Constraints: 29504
3498.02/3509.40 c #Conflicts: 1220000 | #Constraints: 30504
3498.02/3509.40 c #Conflicts: 1221000 | #Constraints: 31504
3498.02/3509.40 c #Conflicts: 1222000 | #Constraints: 32504
3498.02/3509.40 c #Conflicts: 1223000 | #Constraints: 33504
3498.02/3509.40 c #Conflicts: 1224000 | #Constraints: 34504
3498.02/3509.40 c #Conflicts: 1225000 | #Constraints: 35504
3498.02/3509.40 c #Conflicts: 1226000 | #Constraints: 36504
3498.02/3509.40 c #Conflicts: 1227000 | #Constraints: 37504
3498.02/3509.40 c #Conflicts: 1228000 | #Constraints: 38504
3498.02/3509.40 c #Conflicts: 1229000 | #Constraints: 39504
3498.02/3509.40 c #Conflicts: 1230000 | #Constraints: 40504
3498.02/3509.40 c #Conflicts: 1231000 | #Constraints: 41504
3498.02/3509.40 c #Conflicts: 1232000 | #Constraints: 42504
3498.02/3509.40 c #Conflicts: 1233000 | #Constraints: 43504
3498.02/3509.40 c #Conflicts: 1234000 | #Constraints: 44504
3498.02/3509.40 c INPROCESSING
3498.02/3509.40 c GARBAGE COLLECT
3498.02/3509.40 c #Conflicts: 1235000 | #Constraints: 23502
3498.02/3509.40 c #Conflicts: 1236000 | #Constraints: 24502
3498.02/3509.40 c #Conflicts: 1237000 | #Constraints: 25502
3498.02/3509.40 c #Conflicts: 1238000 | #Constraints: 26502
3498.02/3509.40 c #Conflicts: 1239000 | #Constraints: 27502
3498.02/3509.40 c #Conflicts: 1240000 | #Constraints: 28502
3498.02/3509.40 c #Conflicts: 1241000 | #Constraints: 29502
3498.02/3509.40 c #Conflicts: 1242000 | #Constraints: 30502
3498.02/3509.40 c #Conflicts: 1243000 | #Constraints: 31502
3498.02/3509.40 c #Conflicts: 1244000 | #Constraints: 32502
3498.02/3509.40 c #Conflicts: 1245000 | #Constraints: 33502
3498.02/3509.40 c #Conflicts: 1246000 | #Constraints: 34502
3498.02/3509.40 c #Conflicts: 1247000 | #Constraints: 35502
3498.02/3509.40 c #Conflicts: 1248000 | #Constraints: 36502
3498.02/3509.40 c #Conflicts: 1249000 | #Constraints: 37502
3498.02/3509.40 c #Conflicts: 1250000 | #Constraints: 38502
3498.02/3509.40 c #Conflicts: 1251000 | #Constraints: 39502
3498.02/3509.40 c #Conflicts: 1252000 | #Constraints: 40502
3498.02/3509.40 c #Conflicts: 1253000 | #Constraints: 41502
3498.02/3509.40 c #Conflicts: 1254000 | #Constraints: 42502
3498.02/3509.40 c #Conflicts: 1255000 | #Constraints: 43502
3498.02/3509.40 c #Conflicts: 1256000 | #Constraints: 44502
3498.02/3509.40 c INPROCESSING
3498.02/3509.40 c GARBAGE COLLECT
3498.02/3509.40 c #Conflicts: 1257000 | #Constraints: 23303
3498.02/3509.40 c #Conflicts: 1258000 | #Constraints: 24303
3498.02/3509.40 c #Conflicts: 1259000 | #Constraints: 25303
3498.02/3509.40 c #Conflicts: 1260000 | #Constraints: 26303
3498.02/3509.40 c #Conflicts: 1261000 | #Constraints: 27303
3498.02/3509.40 c #Conflicts: 1262000 | #Constraints: 28303
3498.02/3509.40 c #Conflicts: 1263000 | #Constraints: 29303
3498.02/3509.40 c #Conflicts: 1264000 | #Constraints: 30303
3498.02/3509.40 c #Conflicts: 1265000 | #Constraints: 31303
3498.02/3509.40 c #Conflicts: 1266000 | #Constraints: 32303
3498.02/3509.40 c #Conflicts: 1267000 | #Constraints: 33303
3498.02/3509.40 c #Conflicts: 1268000 | #Constraints: 34303
3498.02/3509.40 c #Conflicts: 1269000 | #Constraints: 35303
3498.02/3509.40 c #Conflicts: 1270000 | #Constraints: 36303
3600.00/3611.70 c #Conflicts: 1271000 | #Constraints: 37303
3600.00/3611.70 c #Conflicts: 1272000 | #Constraints: 38303
3600.00/3611.70 c #Conflicts: 1273000 | #Constraints: 39303
3600.00/3611.70 c #Conflicts: 1274000 | #Constraints: 40303
3600.00/3611.70 c #Conflicts: 1275000 | #Constraints: 41303
3600.00/3611.70 c #Conflicts: 1276000 | #Constraints: 42303
3600.00/3611.70 c #Conflicts: 1277000 | #Constraints: 43303
3600.00/3611.70 c #Conflicts: 1278000 | #Constraints: 44303
3600.00/3611.70 c #Conflicts: 1279000 | #Constraints: 45303
3600.00/3611.70 c INPROCESSING
3600.00/3611.70 c GARBAGE COLLECT
3600.00/3611.70 c #Conflicts: 1280000 | #Constraints: 23909
3600.00/3611.70 c #Conflicts: 1281000 | #Constraints: 24909
3600.00/3611.70 c #Conflicts: 1282000 | #Constraints: 25909
3600.00/3611.70 c #Conflicts: 1283000 | #Constraints: 26909
3600.00/3611.70 c #Conflicts: 1284000 | #Constraints: 27909
3600.00/3611.70 c #Conflicts: 1285000 | #Constraints: 28909
3600.00/3611.70 c #Conflicts: 1286000 | #Constraints: 29909
3600.00/3611.70 c #Conflicts: 1287000 | #Constraints: 30909
3600.00/3611.70 c Program interrupted by user.
3600.00/3611.70 c cpu time 3588.6 s
3600.00/3611.70 c deterministic time 532313720651 5.32e+11
3600.00/3611.70 c optimization time 17.6328 s
3600.00/3611.70 c total solve time 3570.97 s
3600.00/3611.70 c core-guided solve time 3570.97 s
3600.00/3611.70 c propagation time 3334.18 s
3600.00/3611.70 c conflict analysis time 223.188 s
3600.00/3611.70 c propagations 61447737
3600.00/3611.70 c resolve steps 7358618
3600.00/3611.70 c decisions 6168828
3600.00/3611.70 c conflicts 1287281
3600.00/3611.70 c restarts 2488
3600.00/3611.70 c inprocessing phases 104
3600.00/3611.70 c input clauses 437
3600.00/3611.70 c input cardinalities 140
3600.00/3611.70 c input general constraints 126
3600.00/3611.70 c input average constraint length 37.90
3600.00/3611.70 c input average constraint degree 22.27
3600.00/3611.70 c learned clauses 27237
3600.00/3611.70 c learned cardinalities 801
3600.00/3611.70 c learned general constraints 1259260
3600.00/3611.70 c learned average constraint length 220.52
3600.00/3611.70 c learned average constraint degree 2414804.07
3600.00/3611.70 c watched constraints 893660
3600.00/3611.70 c counting constraints 365726
3600.00/3611.70 c gcd simplifications 3350
3600.00/3611.70 c detected cardinalities 7
3600.00/3611.70 c weakened non-implied lits 18220077
3600.00/3611.70 c weakened non-implying lits 26928
3600.00/3611.70 c original variables 435
3600.00/3611.70 c clausal propagations 15220782
3600.00/3611.70 c cardinality propagations 4971491
3600.00/3611.70 c watched propagations 10839016
3600.00/3611.70 c counting propagations 29998652
3600.00/3611.70 c watch lookups 44084285899
3600.00/3611.70 c watch backjump lookups 39839567578
3600.00/3611.70 c watch checks 354861189872
3600.00/3611.70 c propagation checks 92515687661
3600.00/3611.70 c constraint additions 876469602
3600.00/3611.70 c trail pops 68903473
3600.00/3611.70 c formula constraints 501
3600.00/3611.70 c learned constraints 1287298
3600.00/3611.70 c bound constraints 55
3600.00/3611.70 c core-guided constraints 147
3600.00/3611.70 c encountered formula constraints 3229400
3600.00/3611.70 c encountered learned constraints 5127344
3600.00/3611.70 c encountered bound constraints 307
3600.00/3611.70 c encountered core-guided constraints 288848
3600.00/3611.70 c LP total time 0 s
3600.00/3611.70 c LP solve time 0 s
3600.00/3611.70 c LP constraints added 0
3600.00/3611.70 c LP constraints removed 0
3600.00/3611.70 c LP pivots internal 0
3600.00/3611.70 c LP pivots root 0
3600.00/3611.70 c LP calls 0
3600.00/3611.70 c LP optimalities 0
3600.00/3611.70 c LP no pivot count 0
3600.00/3611.70 c LP infeasibilities 0
3600.00/3611.70 c LP valid Farkas constraints 0
3600.00/3611.70 c LP learned Farkas constraints 0
3600.00/3611.70 c LP basis resets 0
3600.00/3611.70 c LP cycling count 0
3600.00/3611.70 c LP singular count 0
3600.00/3611.70 c LP no primal count 0
3600.00/3611.70 c LP no farkas count 0
3600.00/3611.70 c LP other issue count 0
3600.00/3611.70 c LP Gomory cuts 0
3600.00/3611.70 c LP learned cuts 0
3600.00/3611.70 c LP deleted cuts 0
3600.00/3611.70 c LP encountered Gomory constraints 0
3600.00/3611.70 c LP encountered Farkas constraints 0
3600.00/3611.70 c LP encountered learned Farkas constraints 0
3600.00/3611.70 c CG auxiliary variables introduced 61
3600.00/3611.70 c CG solutions found 3
3600.00/3611.70 c CG cores constructed 34
3600.00/3611.70 c CG core cardinality constraints returned 4
3600.00/3611.70 c CG unit cores 0
3600.00/3611.70 c CG single cores 32
3600.00/3611.70 c CG blocks removed during cardinality reduction 0
3600.00/3611.70 c CG first core best 0
3600.00/3611.70 c CG decision core best 1
3600.00/3611.70 c CG core reduction tie 1
3600.00/3611.70 c CG core degree average 1.12
3600.00/3611.70 c CG core slack average 7.76
3600.00/3611.70 c CG exhausted 0
3600.00/3611.70 c CG exhaust time 2.39066 s
3600.00/3611.70 c CG trimmed 2
3600.00/3611.70 c CG trim time 0.007392 s
3600.00/3611.70 c CG minimized 0
3600.00/3611.70 c CG minimize time 0 s
3600.00/3611.70 c CG am1 prop time 0.003797 s
3600.00/3611.70 c CG # am1s reformulated 4
3600.00/3611.70 c CG lower bound derived from am1s 10
3600.00/3611.70 c CG # clausal cores 32
3600.00/3611.70 c CG # cardinality cores 4
3600.00/3611.70 c CG # pb cores 0
3600.00/3611.70 c CG # pb reforms 15
3600.00/3611.70 c CG # cores discarded because of pb reform 0
3600.00/3611.70 d LOWERBOUND -192
3600.00/3611.70 d NCORES 34
3600.00/3611.70 d NPBCORES 0
3600.00/3611.70 d NPBREFORM 15
3600.00/3611.70 d NTRIMMED 2
3600.00/3611.70 d NEXHAUSTED 0
3600.00/3611.70 d NAM1S 4
3600.00/3611.70 d AM1LB 10
3600.00/3611.70 o 0
3600.00/3611.70 s SATISFIABLE
3600.00/3611.70 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
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: 63931 MiB (60621 MiB free)
memory of node 1: 64510 MiB (61218 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454376-1721426779/watcher-4454376-1721426779 -o /tmp/evaluation-result-4454376-1721426779/solver-4454376-1721426779 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721423159-1047832 --watchdog 3760 pb-oll-rs HOME/instance-4454376-1721426779.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=1050057, runsolver pid=1050054
Current StackSize limit: 8192 KiB
[startup+0.100086 s]*
/proc/loadavg: 4.37 4.16 4.11 5/257 1050058
/proc/meminfo: memFree=124757368/131524600 swapFree=131071996/131071996
[pid=1050057] ppid=1050054 vsize=41024 memory=11576 CPUtime=0.1 cores=0,2
/proc/1050057/stat : 1050057 (pb-oll-rs) R 1050054 1050057 1047822 0 -1 4194304 1180 0 0 0 9 1 0 0 20 0 1 0 194847613 42008576 2894 134679101440 4194304 5384485 140734783382080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23851008 140734783386645 140734783386722 140734783386722 140734783393739 0
/proc/1050057/statm: 10256 2894 1408 291 0 1790 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41024 KiB
Current children cumulated memory: 11576 KiB
[startup+0.205784 s]*
/proc/loadavg: 4.37 4.16 4.11 5/257 1050058
/proc/meminfo: memFree=124755192/131524600 swapFree=131071996/131071996
[pid=1050057] ppid=1050054 vsize=43236 memory=13688 CPUtime=0.2 cores=0,2
/proc/1050057/stat : 1050057 (pb-oll-rs) R 1050054 1050057 1047822 0 -1 4194304 1730 0 0 0 19 1 0 0 20 0 1 0 194847613 44273664 3422 134679101440 4194304 5384485 140734783382080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23851008 140734783386645 140734783386722 140734783386722 140734783393739 0
/proc/1050057/statm: 10809 3422 1408 291 0 2343 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43236 KiB
Current children cumulated memory: 13688 KiB
[startup+0.30571 s]*
/proc/loadavg: 4.37 4.16 4.11 5/257 1050058
/proc/meminfo: memFree=124749932/131524600 swapFree=131071996/131071996
[pid=1050057] ppid=1050054 vsize=48392 memory=18704 CPUtime=0.3 cores=0,2
/proc/1050057/stat : 1050057 (pb-oll-rs) R 1050054 1050057 1047822 0 -1 4194304 2471 0 0 0 28 2 0 0 20 0 1 0 194847613 49553408 4676 134679101440 4194304 5384485 140734783382080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23851008 140734783386645 140734783386722 140734783386722 140734783393739 0
/proc/1050057/statm: 12098 4676 1408 291 0 3632 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 48392 KiB
Current children cumulated memory: 18704 KiB
[startup+0.700221 s]
/proc/loadavg: 4.37 4.16 4.11 6/257 1050058
/proc/meminfo: memFree=124749128/131524600 swapFree=131071996/131071996
[pid=1050057] ppid=1050054 vsize=52184 memory=21800 CPUtime=0.69 cores=0,2
/proc/1050057/stat : 1050057 (pb-oll-rs) R 1050054 1050057 1047822 0 -1 4194304 3189 0 0 0 66 3 0 0 20 0 1 0 194847613 53436416 5450 134679101440 4194304 5384485 140734783382080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23851008 140734783386645 140734783386722 140734783386722 140734783393739 0
/proc/1050057/statm: 13046 5450 1462 291 0 4580 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 52184 KiB
Current children cumulated memory: 21800 KiB
[startup+1.50022 s]
/proc/loadavg: 4.37 4.16 4.11 5/257 1050058
/proc/meminfo: memFree=124745104/131524600 swapFree=131071996/131071996
[pid=1050057] ppid=1050054 vsize=57724 memory=24024 CPUtime=1.49 cores=0,2
/proc/1050057/stat : 1050057 (pb-oll-rs) R 1050054 1050057 1047822 0 -1 4194304 3735 0 0 0 143 6 0 0 20 0 1 0 194847613 59109376 6006 134679101440 4194304 5384485 140734783382080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23851008 140734783386645 140734783386722 140734783386722 140734783393739 0
/proc/1050057/statm: 14431 6006 1462 291 0 5965 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 57724 KiB
Current children cumulated memory: 24024 KiB
[startup+3.10593 s]
/proc/loadavg: 4.37 4.16 4.11 5/257 1050058
/proc/meminfo: memFree=124743360/131524600 swapFree=131071996/131071996
[pid=1050057] ppid=1050054 vsize=58428 memory=27392 CPUtime=3.08 cores=0,2
/proc/1050057/stat : 1050057 (pb-oll-rs) R 1050054 1050057 1047822 0 -1 4194304 4081 0 0 0 299 9 0 0 20 0 1 0 194847613 59830272 6848 134679101440 4194304 5384485 140734783382080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23851008 140734783386645 140734783386722 140734783386722 140734783393739 0
/proc/1050057/statm: 14607 6848 1462 291 0 6141 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 58428 KiB
Current children cumulated memory: 27392 KiB
[startup+6.30021 s]
/proc/loadavg: 4.42 4.18 4.12 5/257 1050059
/proc/meminfo: memFree=124722952/131524600 swapFree=131071996/131071996
[pid=1050057] ppid=1050054 vsize=60924 memory=29496 CPUtime=6.27 cores=0,2
/proc/1050057/stat : 1050057 (pb-oll-rs) R 1050054 1050057 1047822 0 -1 4194304 4548 0 0 0 612 15 0 0 20 0 1 0 194847613 62386176 7374 134679101440 4194304 5384485 140734783382080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23851008 140734783386645 140734783386722 140734783386722 140734783393739 0
/proc/1050057/statm: 15231 7374 1462 291 0 6765 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 60924 KiB
Current children cumulated memory: 29496 KiB
[startup+12.7002 s]
/proc/loadavg: 4.47 4.19 4.12 5/257 1050059
/proc/meminfo: memFree=124669672/131524600 swapFree=131071996/131071996
[pid=1050057] ppid=1050054 vsize=62400 memory=31068 CPUtime=12.65 cores=0,2
/proc/1050057/stat : 1050057 (pb-oll-rs) R 1050054 1050057 1047822 0 -1 4194304 4979 0 0 0 1244 21 0 0 20 0 1 0 194847613 63897600 7767 134679101440 4194304 5384485 140734783382080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23851008 140734783386645 140734783386722 140734783386722 140734783393739 0
/proc/1050057/statm: 15600 7767 1462 291 0 7134 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 62400 KiB
Current children cumulated memory: 31068 KiB
[startup+25.5002 s]
/proc/loadavg: 4.44 4.20 4.12 5/257 1050062
/proc/meminfo: memFree=124648192/131524600 swapFree=131071996/131071996
[pid=1050057] ppid=1050054 vsize=72840 memory=37328 CPUtime=25.41 cores=0,2
/proc/1050057/stat : 1050057 (pb-oll-rs) R 1050054 1050057 1047822 0 -1 4194304 5999 0 0 0 2509 32 0 0 20 0 1 0 194847613 74588160 9332 134679101440 4194304 5384485 140734783382080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23851008 140734783386645 140734783386722 140734783386722 140734783393739 0
/proc/1050057/statm: 18210 9332 1462 291 0 9744 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 72840 KiB
Current children cumulated memory: 37328 KiB
[startup+51.1057 s]
/proc/loadavg: 4.29 4.18 4.12 5/257 1050065
/proc/meminfo: memFree=124551276/131524600 swapFree=131071996/131071996
[pid=1050057] ppid=1050054 vsize=82292 memory=49656 CPUtime=50.93 cores=0,2
/proc/1050057/stat : 1050057 (pb-oll-rs) R 1050054 1050057 1047822 0 -1 4194304 8097 0 0 0 5036 57 0 0 20 0 1 0 194847613 84267008 12414 134679101440 4194304 5384485 140734783382080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23851008 140734783386645 140734783386722 140734783386722 140734783393739 0
/proc/1050057/statm: 20573 12414 1462 291 0 12107 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 82292 KiB
Current children cumulated memory: 49656 KiB
[startup+102.3 s]
/proc/loadavg: 4.26 4.19 4.12 5/259 1050089
/proc/meminfo: memFree=124433164/131524600 swapFree=131071996/131071996
[pid=1050057] ppid=1050054 vsize=99824 memory=59904 CPUtime=101.95 cores=0,2
/proc/1050057/stat : 1050057 (pb-oll-rs) R 1050054 1050057 1047822 0 -1 4194304 9654 0 0 0 10084 111 0 0 20 0 1 0 194847613 102219776 14976 134679101440 4194304 5384485 140734783382080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23851008 140734783386645 140734783386722 140734783386722 140734783393739 0
/proc/1050057/statm: 24956 14976 1462 291 0 16490 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 99824 KiB
Current children cumulated memory: 59904 KiB
[startup+162.3 s]
/proc/loadavg: 4.50 4.29 4.17 5/261 1050325
/proc/meminfo: memFree=124329624/131524600 swapFree=131071996/131071996
[pid=1050057] ppid=1050054 vsize=101268 memory=61236 CPUtime=161.76 cores=0,2
/proc/1050057/stat : 1050057 (pb-oll-rs) R 1050054 1050057 1047822 0 -1 4194304 9982 0 0 0 16017 159 0 0 20 0 1 0 194847613 103698432 15309 134679101440 4194304 5384485 140734783382080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23851008 140734783386645 140734783386722 140734783386722 140734783393739 0
/proc/1050057/statm: 25317 15309 1462 291 0 16851 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 101268 KiB
Current children cumulated memory: 61236 KiB
[startup+222.3 s]
/proc/loadavg: 4.24 4.25 4.16 5/261 1050335
/proc/meminfo: memFree=124269088/131524600 swapFree=131071996/131071996
[pid=1050057] ppid=1050054 vsize=105876 memory=64844 CPUtime=221.57 cores=0,2
/proc/1050057/stat : 1050057 (pb-oll-rs) R 1050054 1050057 1047822 0 -1 4194304 10959 0 0 0 21950 207 0 0 20 0 1 0 194847613 108417024 16211 134679101440 4194304 5384485 140734783382080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23851008 140734783386645 140734783386722 140734783386722 140734783393739 0
/proc/1050057/statm: 26469 16211 1462 291 0 18003 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 105876 KiB
Current children cumulated memory: 64844 KiB
[startup+282.3 s]
/proc/loadavg: 4.36 4.28 4.18 5/261 1050637
/proc/meminfo: memFree=124308484/131524600 swapFree=131071996/131071996
[pid=1050057] ppid=1050054 vsize=107660 memory=68560 CPUtime=281.37 cores=0,2
/proc/1050057/stat : 1050057 (pb-oll-rs) R 1050054 1050057 1047822 0 -1 4194304 11558 0 0 0 27892 245 0 0 20 0 1 0 194847613 110243840 17140 134679101440 4194304 5384485 140734783382080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23851008 140734783386645 140734783386722 140734783386722 140734783393739 0
/proc/1050057/statm: 26915 17140 1462 291 0 18449 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 107660 KiB
Current children cumulated memory: 68560 KiB
[startup+342.3 s]
/proc/loadavg: 4.19 4.25 4.17 5/261 1050647
/proc/meminfo: memFree=124254464/131524600 swapFree=131071996/131071996
[pid=1050057] ppid=1050054 vsize=108812 memory=71968 CPUtime=341.17 cores=0,2
/proc/1050057/stat : 1050057 (pb-oll-rs) R 1050054 1050057 1047822 0 -1 4194304 11909 0 0 0 33850 267 0 0 20 0 1 0 194847613 111423488 17992 134679101440 4194304 5384485 140734783382080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23851008 140734783386645 140734783386722 140734783386722 140734783393739 0
/proc/1050057/statm: 27203 17992 1462 291 0 18737 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 108812 KiB
Current children cumulated memory: 71968 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.21 4.16 5/261 1050658
/proc/meminfo: memFree=124238452/131524600 swapFree=131071996/131071996
[pid=1050057] ppid=1050054 vsize=112276 memory=76752 CPUtime=400.96 cores=0,2
/proc/1050057/stat : 1050057 (pb-oll-rs) R 1050054 1050057 1047822 0 -1 4194304 13332 0 0 0 39806 290 0 0 20 0 1 0 194847613 114970624 19188 134679101440 4194304 5384485 140734783382080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23851008 140734783386645 140734783386722 140734783386722 140734783393739 0
/proc/1050057/statm: 28069 19188 1462 291 0 19603 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 112276 KiB
Current children cumulated memory: 76752 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.20 4.16 5/259 1050669
/proc/meminfo: memFree=124231452/131524600 swapFree=131071996/131071996
[pid=1050057] ppid=1050054 vsize=112400 memory=76952 CPUtime=460.76 cores=0,2
/proc/1050057/stat : 1050057 (pb-oll-rs) R 1050054 1050057 1047822 0 -1 4194304 13415 0 0 0 45757 319 0 0 20 0 1 0 194847613 115097600 19238 134679101440 4194304 5384485 140734783382080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23851008 140734783386645 140734783386722 140734783386722 140734783393739 0
/proc/1050057/statm: 28100 19238 1462 291 0 19634 0
################
# More data... #
################
Current children cumulated memory: 142488 KiB
[startup+2922.3 s]
/proc/loadavg: 4.28 4.25 4.16 5/256 1051773
/proc/meminfo: memFree=122544776/131524600 swapFree=131071996/131071996
[pid=1050057] ppid=1050054 vsize=203624 memory=142488 CPUtime=2912.78 cores=0,2
/proc/1050057/stat : 1050057 (pb-oll-rs) R 1050054 1050057 1047822 0 -1 4194304 25224 0 0 0 290277 1001 0 0 20 0 1 0 194847613 208510976 35622 134679101440 4194304 5384485 140734783382080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23851008 140734783386645 140734783386722 140734783386722 140734783393739 0
/proc/1050057/statm: 50906 35622 1462 291 0 42440 0
Current children cumulated CPU time: 2912.78 s
Current children cumulated vsize: 203624 KiB
Current children cumulated memory: 142488 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.22 4.15 5/257 1052166
/proc/meminfo: memFree=122538552/131524600 swapFree=131071996/131071996
[pid=1050057] ppid=1050054 vsize=203624 memory=142488 CPUtime=2972.59 cores=0,2
/proc/1050057/stat : 1050057 (pb-oll-rs) R 1050054 1050057 1047822 0 -1 4194304 25283 0 0 0 296253 1006 0 0 20 0 1 0 194847613 208510976 35622 134679101440 4194304 5384485 140734783382080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23851008 140734783386645 140734783386722 140734783386722 140734783393739 0
/proc/1050057/statm: 50906 35622 1462 291 0 42440 0
Current children cumulated CPU time: 2972.59 s
Current children cumulated vsize: 203624 KiB
Current children cumulated memory: 142488 KiB
[startup+3042.3 s]
/proc/loadavg: 4.17 4.21 4.15 5/256 1052176
/proc/meminfo: memFree=122538020/131524600 swapFree=131071996/131071996
[pid=1050057] ppid=1050054 vsize=203748 memory=142420 CPUtime=3032.4 cores=0,2
/proc/1050057/stat : 1050057 (pb-oll-rs) R 1050054 1050057 1047822 0 -1 4194304 25490 0 0 0 302221 1019 0 0 20 0 1 0 194847613 208637952 35605 134679101440 4194304 5384485 140734783382080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23851008 140734783386645 140734783386722 140734783386722 140734783393739 0
/proc/1050057/statm: 50937 35605 1462 291 0 42471 0
Current children cumulated CPU time: 3032.4 s
Current children cumulated vsize: 203748 KiB
Current children cumulated memory: 142420 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.20 4.15 5/256 1052187
/proc/meminfo: memFree=122535248/131524600 swapFree=131071996/131071996
[pid=1050057] ppid=1050054 vsize=204128 memory=142716 CPUtime=3092.21 cores=0,2
/proc/1050057/stat : 1050057 (pb-oll-rs) R 1050054 1050057 1047822 0 -1 4194304 25775 0 0 0 308187 1034 0 0 20 0 1 0 194847613 209027072 35679 134679101440 4194304 5384485 140734783382080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23851008 140734783386645 140734783386722 140734783386722 140734783393739 0
/proc/1050057/statm: 51032 35679 1462 291 0 42566 0
Current children cumulated CPU time: 3092.21 s
Current children cumulated vsize: 204128 KiB
Current children cumulated memory: 142716 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.17 4.15 5/258 1052367
/proc/meminfo: memFree=122518248/131524600 swapFree=131071996/131071996
[pid=1050057] ppid=1050054 vsize=204640 memory=143012 CPUtime=3152.03 cores=0,2
/proc/1050057/stat : 1050057 (pb-oll-rs) R 1050054 1050057 1047822 0 -1 4194304 26035 0 0 0 314154 1049 0 0 20 0 1 0 194847613 209551360 35753 134679101440 4194304 5384485 140734783382080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23851008 140734783386645 140734783386722 140734783386722 140734783393739 0
/proc/1050057/statm: 51160 35753 1462 291 0 42694 0
Current children cumulated CPU time: 3152.03 s
Current children cumulated vsize: 204640 KiB
Current children cumulated memory: 143012 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.17 4.15 5/258 1052377
/proc/meminfo: memFree=122467820/131524600 swapFree=131071996/131071996
[pid=1050057] ppid=1050054 vsize=204896 memory=143148 CPUtime=3211.83 cores=0,2
/proc/1050057/stat : 1050057 (pb-oll-rs) R 1050054 1050057 1047822 0 -1 4194304 26262 0 0 0 320119 1064 0 0 20 0 1 0 194847613 209813504 35787 134679101440 4194304 5384485 140734783382080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23851008 140734783386645 140734783386722 140734783386722 140734783393739 0
/proc/1050057/statm: 51224 35787 1462 291 0 42758 0
Current children cumulated CPU time: 3211.83 s
Current children cumulated vsize: 204896 KiB
Current children cumulated memory: 143148 KiB
[startup+3282.3 s]
/proc/loadavg: 4.05 4.14 4.14 5/257 1052404
/proc/meminfo: memFree=122416680/131524600 swapFree=131071996/131071996
[pid=1050057] ppid=1050054 vsize=205408 memory=145552 CPUtime=3271.65 cores=0,2
/proc/1050057/stat : 1050057 (pb-oll-rs) R 1050054 1050057 1047822 0 -1 4194304 26551 0 0 0 326090 1075 0 0 20 0 1 0 194847613 210337792 36388 134679101440 4194304 5384485 140734783382080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23851008 140734783386645 140734783386722 140734783386722 140734783393739 0
/proc/1050057/statm: 51352 36388 1462 291 0 42886 0
Current children cumulated CPU time: 3271.65 s
Current children cumulated vsize: 205408 KiB
Current children cumulated memory: 145552 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.14 4.14 5/258 1052415
/proc/meminfo: memFree=122361500/131524600 swapFree=131071996/131071996
[pid=1050057] ppid=1050054 vsize=205408 memory=145552 CPUtime=3331.45 cores=0,2
/proc/1050057/stat : 1050057 (pb-oll-rs) R 1050054 1050057 1047822 0 -1 4194304 26603 0 0 0 332057 1088 0 0 20 0 1 0 194847613 210337792 36388 134679101440 4194304 5384485 140734783382080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23851008 140734783386645 140734783386722 140734783386722 140734783393739 0
/proc/1050057/statm: 51352 36388 1462 291 0 42886 0
Current children cumulated CPU time: 3331.45 s
Current children cumulated vsize: 205408 KiB
Current children cumulated memory: 145552 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.13 4.13 5/258 1052426
/proc/meminfo: memFree=122286680/131524600 swapFree=131071996/131071996
[pid=1050057] ppid=1050054 vsize=206428 memory=146192 CPUtime=3391.26 cores=0,2
/proc/1050057/stat : 1050057 (pb-oll-rs) R 1050054 1050057 1047822 0 -1 4194304 27027 0 0 0 338026 1100 0 0 20 0 1 0 194847613 211382272 36548 134679101440 4194304 5384485 140734783382080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23851008 140734783386645 140734783386722 140734783386722 140734783393739 0
/proc/1050057/statm: 51607 36548 1462 291 0 43141 0
Current children cumulated CPU time: 3391.26 s
Current children cumulated vsize: 206428 KiB
Current children cumulated memory: 146192 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.12 4.12 5/257 1052437
/proc/meminfo: memFree=122247004/131524600 swapFree=131071996/131071996
[pid=1050057] ppid=1050054 vsize=206916 memory=146484 CPUtime=3451.07 cores=0,2
/proc/1050057/stat : 1050057 (pb-oll-rs) R 1050054 1050057 1047822 0 -1 4194304 27180 0 0 0 343994 1113 0 0 20 0 1 0 194847613 211881984 36621 134679101440 4194304 5384485 140734783382080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23851008 140734783386645 140734783386722 140734783386722 140734783393739 0
/proc/1050057/statm: 51729 36621 1462 291 0 43263 0
Current children cumulated CPU time: 3451.07 s
Current children cumulated vsize: 206916 KiB
Current children cumulated memory: 146484 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/257 1052447
/proc/meminfo: memFree=122235660/131524600 swapFree=131071996/131071996
[pid=1050057] ppid=1050054 vsize=206916 memory=146572 CPUtime=3510.88 cores=0,2
/proc/1050057/stat : 1050057 (pb-oll-rs) R 1050054 1050057 1047822 0 -1 4194304 27233 0 0 0 349961 1127 0 0 20 0 1 0 194847613 211881984 36643 134679101440 4194304 5384485 140734783382080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23851008 140734783386645 140734783386722 140734783386722 140734783393739 0
/proc/1050057/statm: 51729 36643 1462 291 0 43263 0
Current children cumulated CPU time: 3510.88 s
Current children cumulated vsize: 206916 KiB
Current children cumulated memory: 146572 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.12 5/256 1052457
/proc/meminfo: memFree=122230804/131524600 swapFree=131071996/131071996
[pid=1050057] ppid=1050054 vsize=207708 memory=146912 CPUtime=3570.69 cores=0,2
/proc/1050057/stat : 1050057 (pb-oll-rs) R 1050054 1050057 1047822 0 -1 4194304 27451 0 0 0 355934 1135 0 0 20 0 1 0 194847613 212692992 36728 134679101440 4194304 5384485 140734783382080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23851008 140734783386645 140734783386722 140734783386722 140734783393739 0
/proc/1050057/statm: 51927 36728 1462 291 0 43461 0
Current children cumulated CPU time: 3570.69 s
Current children cumulated vsize: 207708 KiB
Current children cumulated memory: 146912 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.7 s]
/proc/loadavg: 4.09 4.11 4.11 5/255 1052553
/proc/meminfo: memFree=122777784/131524600 swapFree=131071996/131071996
[pid=1050057] ppid=1050054 vsize=208956 memory=147408 CPUtime=3600 cores=0,2
/proc/1050057/stat : 1050057 (pb-oll-rs) R 1050054 1050057 1047822 0 -1 4194304 27824 0 0 0 358859 1141 0 0 20 0 1 0 194847613 213970944 36852 134679101440 4194304 5384485 140734783382080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23851008 140734783386645 140734783386722 140734783386722 140734783393739 0
/proc/1050057/statm: 52239 36852 1462 291 0 43773 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 208956 KiB
Current children cumulated memory: 147408 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.71 s]
# the end of solver process 1050057 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.6 s, system=11.4179 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.7 s]
/proc/loadavg: 4.09 4.11 4.11 5/255 1052553
/proc/meminfo: memFree=122777784/131524600 swapFree=131071996/131071996
[pid=1050057] ppid=1050054 vsize=208956 memory=147408 CPUtime=3600 cores=0,2
/proc/1050057/stat : 1050057 (pb-oll-rs) R 1050054 1050057 1047822 0 -1 4194304 27824 0 0 0 358859 1141 0 0 20 0 1 0 194847613 213970944 36852 134679101440 4194304 5384485 140734783382080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 23851008 140734783386645 140734783386722 140734783386722 140734783393739 0
/proc/1050057/statm: 52239 36852 1462 291 0 43773 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 208956 KiB
Current children cumulated memory: 147408 KiB
Child status: 0
Real time (s): 3611.71
CPU time (s): 3600.02
CPU user time (s): 3588.6
CPU system time (s): 11.4179
CPU usage (%): 99.6764
Max. virtual memory (cumulated for all children) (KiB): 208956
Max. memory (cumulated for all children) (KiB): 147408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.6
system time used= 11.4179
maximum resident set size= 147828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27841
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= 54
involuntary context switches= 25432
# summary of solver processes directly reported to runsolver:
# pid: 1050057
# total CPU time (s): 3600.02
# total CPU user time (s): 3588.6
# total CPU system time (s): 11.4179
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.78308 second user time and 18.1373 second system time
The end
Begin job on nodeC033 at 2024-07-20 00:06:31
IDJOB=4454376
IDBENCH=146653
IDSOLVER=3082
FILE ID=nodeC033/4454376-1721426779
RUNJOBID= nodeC033-1721423159-1047832
SLURM_JOB_ID= 7545610
Free space on /tmp= 890076 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:100.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454376-1721426779/watcher-4454376-1721426779 -o /tmp/evaluation-result-4454376-1721426779/solver-4454376-1721426779 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721423159-1047832 --watchdog 3760 pb-oll-rs HOME/instance-4454376-1721426779.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7fa9d6bae1eb6fc87d1fc158a8928861
RANDOM SEED=1248776018
nodeC033.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 : 0xb00002a
cpu MHz : 3647.188
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3689.603
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3654.441
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.957
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3690.228
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3689.636
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3662.712
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.829
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124764028 kB
MemAvailable: 129058060 kB
Buffers: 584776 kB
Cached: 4501632 kB
SwapCached: 0 kB
Active: 1046916 kB
Inactive: 4984368 kB
Active(anon): 1556 kB
Inactive(anon): 989228 kB
Active(file): 1045360 kB
Inactive(file): 3995140 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 6644 kB
Writeback: 0 kB
AnonPages: 940212 kB
Mapped: 111752 kB
Shmem: 45908 kB
KReclaimable: 186356 kB
Slab: 309664 kB
SReclaimable: 186356 kB
SUnreclaim: 123308 kB
KernelStack: 4144 kB
PageTables: 11388 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1530572 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 71584 kB
HardwareCorrupted: 0 kB
AnonHugePages: 536576 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: 273108 kB
DirectMap2M: 28860416 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 890076 MiB
End job on nodeC033 at 2024-07-20 01:06:43