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.01 c [STEP] solving
0.00/0.01 c #variables 435 #constraints 501
0.00/0.01 c SMALL=int, LARGE=long long
0.00/0.01 c bounds - >= -282 @ 0.004756
0.00/0.01 c stratification level: 3
0.00/0.01 c bounds - >= -279 @ 0.005304
0.00/0.01 c bounds - >= -276 @ 0.005304
0.00/0.01 c bounds - >= -273 @ 0.005317
0.00/0.01 c bounds - >= -270 @ 0.005762
0.00/0.01 c finalizing WCE round: reformulating cores
0.10/0.21 c bounds 16 >= -270 @ 0.148457
0.10/0.21 c bounds 15 >= -270 @ 0.189019
0.10/0.21 c stratification level: 2
0.22/0.27 c bounds 15 >= -258 @ 0.191486
0.22/0.27 c bounds 15 >= -256 @ 0.191737
0.22/0.27 c bounds 15 >= -254 @ 0.191823
0.22/0.27 c bounds 15 >= -252 @ 0.192429
0.22/0.27 c bounds 15 >= -250 @ 0.193059
0.22/0.27 c bounds 15 >= -248 @ 0.193951
0.22/0.27 c bounds 15 >= -244 @ 0.195188
0.22/0.27 c bounds 15 >= -242 @ 0.195994
0.22/0.27 c bounds 15 >= -240 @ 0.19673
0.22/0.27 c bounds 15 >= -238 @ 0.197567
0.22/0.27 c bounds 15 >= -236 @ 0.197708
0.22/0.27 c bounds 15 >= -234 @ 0.198583
0.22/0.27 c bounds 15 >= -232 @ 0.198701
0.22/0.27 c bounds 15 >= -230 @ 0.199017
0.22/0.27 c bounds 15 >= -226 @ 0.199786
0.22/0.27 c bounds 15 >= -224 @ 0.200429
0.22/0.27 c bounds 15 >= -222 @ 0.201039
0.22/0.27 c bounds 15 >= -218 @ 0.201619
0.22/0.27 c bounds 15 >= -216 @ 0.202367
0.22/0.27 c bounds 15 >= -214 @ 0.20305
0.22/0.27 c bounds 15 >= -212 @ 0.203768
0.22/0.27 c bounds 15 >= -210 @ 0.204641
0.22/0.27 c bounds 15 >= -208 @ 0.205446
0.22/0.27 c bounds 15 >= -206 @ 0.205663
0.22/0.27 c finalizing WCE round: reformulating cores
37.90/38.03 c #Conflicts: 1000 | #Constraints: 1576
37.90/38.03 c #Conflicts: 2000 | #Constraints: 2597
37.90/38.03 c INPROCESSING
37.90/38.03 c GARBAGE COLLECT
37.90/38.03 c #Conflicts: 3000 | #Constraints: 2556
37.90/38.03 c #Conflicts: 4000 | #Constraints: 3564
37.90/38.03 c INPROCESSING
37.90/38.03 c GARBAGE COLLECT
37.90/38.03 c #Conflicts: 5000 | #Constraints: 2980
37.90/38.03 c #Conflicts: 6000 | #Constraints: 3982
37.90/38.03 c INPROCESSING
37.90/38.03 c GARBAGE COLLECT
37.90/38.03 c #Conflicts: 7000 | #Constraints: 2984
37.90/38.03 c #Conflicts: 8000 | #Constraints: 3986
37.90/38.03 c #Conflicts: 9000 | #Constraints: 4990
37.90/38.03 c INPROCESSING
37.90/38.03 c GARBAGE COLLECT
37.90/38.03 c #Conflicts: 10000 | #Constraints: 3695
37.90/38.03 c bounds 0 >= -206 @ 3.34785
37.90/38.03 c bounds 0 >= -202 @ 3.35287
37.90/38.03 c bounds 0 >= -200 @ 3.35609
37.90/38.03 c bounds 0 >= -198 @ 3.35918
37.90/38.03 c #Conflicts: 11000 | #Constraints: 4727
37.90/38.03 c #Conflicts: 12000 | #Constraints: 5727
37.90/38.03 c INPROCESSING
37.90/38.03 c GARBAGE COLLECT
37.90/38.03 c #Conflicts: 13000 | #Constraints: 4167
37.90/38.03 c #Conflicts: 14000 | #Constraints: 5167
37.90/38.03 c #Conflicts: 15000 | #Constraints: 6167
37.90/38.03 c INPROCESSING
37.90/38.03 c GARBAGE COLLECT
37.90/38.03 c #Conflicts: 16000 | #Constraints: 4397
37.90/38.03 c #Conflicts: 17000 | #Constraints: 5397
37.90/38.03 c #Conflicts: 18000 | #Constraints: 6397
37.90/38.03 c INPROCESSING
37.90/38.03 c GARBAGE COLLECT
37.90/38.03 c #Conflicts: 19000 | #Constraints: 4410
37.90/38.03 c #Conflicts: 20000 | #Constraints: 5410
37.90/38.03 c #Conflicts: 21000 | #Constraints: 6410
37.90/38.03 c INPROCESSING
37.90/38.03 c GARBAGE COLLECT
37.90/38.03 c #Conflicts: 22000 | #Constraints: 4214
37.90/38.03 c #Conflicts: 23000 | #Constraints: 5214
37.90/38.03 c #Conflicts: 24000 | #Constraints: 6214
37.90/38.03 c #Conflicts: 25000 | #Constraints: 7214
37.90/38.03 c INPROCESSING
37.90/38.03 c GARBAGE COLLECT
37.90/38.03 c #Conflicts: 26000 | #Constraints: 4822
37.90/38.03 c #Conflicts: 27000 | #Constraints: 5822
37.90/38.03 c #Conflicts: 28000 | #Constraints: 6822
37.90/38.03 c #Conflicts: 29000 | #Constraints: 7822
37.90/38.03 c INPROCESSING
37.90/38.03 c GARBAGE COLLECT
37.90/38.03 c #Conflicts: 30000 | #Constraints: 5224
37.90/38.03 c #Conflicts: 31000 | #Constraints: 6224
37.90/38.03 c #Conflicts: 32000 | #Constraints: 7224
37.90/38.03 c #Conflicts: 33000 | #Constraints: 8224
37.90/38.03 c INPROCESSING
37.90/38.03 c GARBAGE COLLECT
37.90/38.03 c #Conflicts: 34000 | #Constraints: 5425
37.90/38.03 c #Conflicts: 35000 | #Constraints: 6425
37.90/38.03 c #Conflicts: 36000 | #Constraints: 7425
37.90/38.03 c #Conflicts: 37000 | #Constraints: 8425
37.90/38.03 c INPROCESSING
37.90/38.03 c GARBAGE COLLECT
37.90/38.03 c #Conflicts: 38000 | #Constraints: 5434
37.90/38.03 c #Conflicts: 39000 | #Constraints: 6434
37.90/38.03 c #Conflicts: 40000 | #Constraints: 7434
37.90/38.03 c #Conflicts: 41000 | #Constraints: 8434
37.90/38.03 c INPROCESSING
37.90/38.03 c GARBAGE COLLECT
37.90/38.03 c #Conflicts: 42000 | #Constraints: 5234
37.90/38.03 c #Conflicts: 43000 | #Constraints: 6234
37.90/38.03 c #Conflicts: 44000 | #Constraints: 7234
37.90/38.03 c #Conflicts: 45000 | #Constraints: 8234
37.90/38.03 c #Conflicts: 46000 | #Constraints: 9234
37.90/38.03 c INPROCESSING
37.90/38.03 c GARBAGE COLLECT
37.90/38.03 c #Conflicts: 47000 | #Constraints: 5836
37.90/38.03 c #Conflicts: 48000 | #Constraints: 6836
37.90/38.03 c #Conflicts: 49000 | #Constraints: 7836
37.90/38.03 c #Conflicts: 50000 | #Constraints: 8836
37.90/38.03 c bounds 0 >= -196 @ 28.8466
37.90/38.03 c #Conflicts: 51000 | #Constraints: 9870
37.90/38.03 c INPROCESSING
37.90/38.03 c GARBAGE COLLECT
37.90/38.03 c #Conflicts: 52000 | #Constraints: 6255
37.90/38.03 c #Conflicts: 53000 | #Constraints: 7255
37.90/38.03 c #Conflicts: 54000 | #Constraints: 8255
37.90/38.03 c #Conflicts: 55000 | #Constraints: 9255
37.90/38.03 c #Conflicts: 56000 | #Constraints: 10255
37.90/38.03 c INPROCESSING
37.90/38.03 c GARBAGE COLLECT
37.90/38.03 c #Conflicts: 57000 | #Constraints: 6453
37.90/38.03 c #Conflicts: 58000 | #Constraints: 7453
37.90/38.03 c #Conflicts: 59000 | #Constraints: 8453
37.90/38.03 c #Conflicts: 60000 | #Constraints: 9453
37.90/38.03 c #Conflicts: 61000 | #Constraints: 10453
37.90/38.03 c INPROCESSING
37.90/38.03 c GARBAGE COLLECT
37.90/38.03 c #Conflicts: 62000 | #Constraints: 6443
37.90/38.03 c #Conflicts: 63000 | #Constraints: 7443
37.90/38.03 c #Conflicts: 64000 | #Constraints: 8443
37.90/38.03 c #Conflicts: 65000 | #Constraints: 9443
37.90/38.03 c #Conflicts: 66000 | #Constraints: 10443
83.36/83.65 c INPROCESSING
83.36/83.65 c GARBAGE COLLECT
83.36/83.65 c #Conflicts: 67000 | #Constraints: 6242
83.36/83.65 c #Conflicts: 68000 | #Constraints: 7242
83.36/83.65 c #Conflicts: 69000 | #Constraints: 8242
83.36/83.65 c #Conflicts: 70000 | #Constraints: 9242
83.36/83.65 c #Conflicts: 71000 | #Constraints: 10242
83.36/83.65 c #Conflicts: 72000 | #Constraints: 11242
83.36/83.65 c INPROCESSING
83.36/83.65 c GARBAGE COLLECT
83.36/83.65 c #Conflicts: 73000 | #Constraints: 6846
83.36/83.65 c #Conflicts: 74000 | #Constraints: 7846
83.36/83.65 c #Conflicts: 75000 | #Constraints: 8846
83.36/83.65 c #Conflicts: 76000 | #Constraints: 9846
83.36/83.65 c #Conflicts: 77000 | #Constraints: 10846
83.36/83.65 c #Conflicts: 78000 | #Constraints: 11846
83.36/83.65 c INPROCESSING
83.36/83.65 c GARBAGE COLLECT
83.36/83.65 c #Conflicts: 79000 | #Constraints: 7250
83.36/83.65 c #Conflicts: 80000 | #Constraints: 8250
83.36/83.65 c #Conflicts: 81000 | #Constraints: 9250
83.36/83.65 c #Conflicts: 82000 | #Constraints: 10250
83.36/83.65 c #Conflicts: 83000 | #Constraints: 11250
83.36/83.65 c #Conflicts: 84000 | #Constraints: 12250
83.36/83.65 c INPROCESSING
83.36/83.65 c GARBAGE COLLECT
83.36/83.65 c #Conflicts: 85000 | #Constraints: 7450
83.36/83.65 c #Conflicts: 86000 | #Constraints: 8450
83.36/83.65 c #Conflicts: 87000 | #Constraints: 9450
83.36/83.65 c #Conflicts: 88000 | #Constraints: 10450
83.36/83.65 c #Conflicts: 89000 | #Constraints: 11450
83.36/83.65 c #Conflicts: 90000 | #Constraints: 12450
83.36/83.65 c INPROCESSING
83.36/83.65 c GARBAGE COLLECT
83.36/83.65 c #Conflicts: 91000 | #Constraints: 7454
83.36/83.65 c #Conflicts: 92000 | #Constraints: 8454
83.36/83.65 c #Conflicts: 93000 | #Constraints: 9454
83.36/83.65 c #Conflicts: 94000 | #Constraints: 10454
83.36/83.65 c #Conflicts: 95000 | #Constraints: 11454
83.36/83.65 c #Conflicts: 96000 | #Constraints: 12454
83.36/83.65 c INPROCESSING
83.36/83.65 c GARBAGE COLLECT
83.36/83.65 c #Conflicts: 97000 | #Constraints: 7257
83.36/83.65 c #Conflicts: 98000 | #Constraints: 8257
83.36/83.65 c #Conflicts: 99000 | #Constraints: 9257
83.36/83.65 c #Conflicts: 100000 | #Constraints: 10257
83.36/83.65 c #Conflicts: 101000 | #Constraints: 11257
83.36/83.65 c #Conflicts: 102000 | #Constraints: 12257
83.36/83.65 c #Conflicts: 103000 | #Constraints: 13257
83.36/83.65 c INPROCESSING
83.36/83.65 c GARBAGE COLLECT
83.36/83.65 c #Conflicts: 104000 | #Constraints: 7847
83.36/83.65 c #Conflicts: 105000 | #Constraints: 8847
83.36/83.65 c #Conflicts: 106000 | #Constraints: 9847
83.36/83.65 c #Conflicts: 107000 | #Constraints: 10847
83.36/83.65 c #Conflicts: 108000 | #Constraints: 11847
83.36/83.65 c #Conflicts: 109000 | #Constraints: 12847
83.36/83.65 c #Conflicts: 110000 | #Constraints: 13847
83.36/83.65 c INPROCESSING
83.36/83.65 c GARBAGE COLLECT
83.36/83.65 c #Conflicts: 111000 | #Constraints: 8257
83.36/83.65 c #Conflicts: 112000 | #Constraints: 9257
83.36/83.65 c #Conflicts: 113000 | #Constraints: 10257
83.36/83.65 c #Conflicts: 114000 | #Constraints: 11257
83.36/83.65 c bounds 0 >= -194 @ 68.1687
83.36/83.65 c #Conflicts: 115000 | #Constraints: 12268
83.36/83.65 c #Conflicts: 116000 | #Constraints: 13268
83.36/83.65 c #Conflicts: 117000 | #Constraints: 14268
83.36/83.65 c INPROCESSING
83.36/83.65 c GARBAGE COLLECT
83.36/83.65 c #Conflicts: 118000 | #Constraints: 8460
83.36/83.65 c #Conflicts: 119000 | #Constraints: 9460
83.36/83.65 c #Conflicts: 120000 | #Constraints: 10460
83.36/83.65 c #Conflicts: 121000 | #Constraints: 11460
83.36/83.65 c #Conflicts: 122000 | #Constraints: 12460
83.36/83.65 c #Conflicts: 123000 | #Constraints: 13460
83.36/83.65 c #Conflicts: 124000 | #Constraints: 14460
83.36/83.65 c INPROCESSING
83.36/83.65 c GARBAGE COLLECT
83.36/83.65 c #Conflicts: 125000 | #Constraints: 8462
83.36/83.65 c #Conflicts: 126000 | #Constraints: 9462
83.36/83.65 c #Conflicts: 127000 | #Constraints: 10462
83.36/83.65 c #Conflicts: 128000 | #Constraints: 11462
83.36/83.65 c #Conflicts: 129000 | #Constraints: 12462
83.36/83.65 c #Conflicts: 130000 | #Constraints: 13462
83.36/83.65 c #Conflicts: 131000 | #Constraints: 14462
83.36/83.65 c INPROCESSING
83.36/83.65 c GARBAGE COLLECT
83.36/83.65 c #Conflicts: 132000 | #Constraints: 8266
83.36/83.65 c #Conflicts: 133000 | #Constraints: 9266
83.36/83.65 c #Conflicts: 134000 | #Constraints: 10266
83.36/83.65 c #Conflicts: 135000 | #Constraints: 11266
83.36/83.65 c #Conflicts: 136000 | #Constraints: 12266
83.36/83.65 c #Conflicts: 137000 | #Constraints: 13266
150.29/150.74 c #Conflicts: 138000 | #Constraints: 14266
150.29/150.74 c #Conflicts: 139000 | #Constraints: 15266
150.29/150.74 c INPROCESSING
150.29/150.74 c GARBAGE COLLECT
150.29/150.74 c #Conflicts: 140000 | #Constraints: 8869
150.29/150.74 c #Conflicts: 141000 | #Constraints: 9869
150.29/150.74 c #Conflicts: 142000 | #Constraints: 10869
150.29/150.74 c #Conflicts: 143000 | #Constraints: 11869
150.29/150.74 c #Conflicts: 144000 | #Constraints: 12869
150.29/150.74 c #Conflicts: 145000 | #Constraints: 13869
150.29/150.74 c #Conflicts: 146000 | #Constraints: 14869
150.29/150.74 c #Conflicts: 147000 | #Constraints: 15869
150.29/150.74 c INPROCESSING
150.29/150.74 c GARBAGE COLLECT
150.29/150.74 c #Conflicts: 148000 | #Constraints: 9265
150.29/150.74 c #Conflicts: 149000 | #Constraints: 10265
150.29/150.74 c #Conflicts: 150000 | #Constraints: 11265
150.29/150.74 c #Conflicts: 151000 | #Constraints: 12265
150.29/150.74 c #Conflicts: 152000 | #Constraints: 13265
150.29/150.74 c #Conflicts: 153000 | #Constraints: 14265
150.29/150.74 c #Conflicts: 154000 | #Constraints: 15265
150.29/150.74 c #Conflicts: 155000 | #Constraints: 16265
150.29/150.74 c INPROCESSING
150.29/150.74 c GARBAGE COLLECT
150.29/150.74 c #Conflicts: 156000 | #Constraints: 9468
150.29/150.74 c #Conflicts: 157000 | #Constraints: 10468
150.29/150.74 c #Conflicts: 158000 | #Constraints: 11468
150.29/150.74 c #Conflicts: 159000 | #Constraints: 12468
150.29/150.74 c #Conflicts: 160000 | #Constraints: 13468
150.29/150.74 c #Conflicts: 161000 | #Constraints: 14468
150.29/150.74 c #Conflicts: 162000 | #Constraints: 15468
150.29/150.74 c #Conflicts: 163000 | #Constraints: 16468
150.29/150.74 c INPROCESSING
150.29/150.74 c GARBAGE COLLECT
150.29/150.74 c #Conflicts: 164000 | #Constraints: 9469
150.29/150.74 c #Conflicts: 165000 | #Constraints: 10469
150.29/150.74 c #Conflicts: 166000 | #Constraints: 11469
150.29/150.74 c #Conflicts: 167000 | #Constraints: 12469
150.29/150.74 c #Conflicts: 168000 | #Constraints: 13469
150.29/150.74 c #Conflicts: 169000 | #Constraints: 14469
150.29/150.74 c #Conflicts: 170000 | #Constraints: 15469
150.29/150.74 c #Conflicts: 171000 | #Constraints: 16469
150.29/150.74 c INPROCESSING
150.29/150.74 c GARBAGE COLLECT
150.29/150.74 c #Conflicts: 172000 | #Constraints: 9270
150.29/150.74 c #Conflicts: 173000 | #Constraints: 10270
150.29/150.74 c #Conflicts: 174000 | #Constraints: 11270
150.29/150.74 c #Conflicts: 175000 | #Constraints: 12270
150.29/150.74 c #Conflicts: 176000 | #Constraints: 13270
150.29/150.74 c #Conflicts: 177000 | #Constraints: 14270
150.29/150.74 c #Conflicts: 178000 | #Constraints: 15270
150.29/150.74 c #Conflicts: 179000 | #Constraints: 16270
150.29/150.74 c #Conflicts: 180000 | #Constraints: 17270
150.29/150.74 c INPROCESSING
150.29/150.74 c GARBAGE COLLECT
150.29/150.74 c #Conflicts: 181000 | #Constraints: 9869
150.29/150.74 c #Conflicts: 182000 | #Constraints: 10869
150.29/150.74 c #Conflicts: 183000 | #Constraints: 11869
150.29/150.74 c #Conflicts: 184000 | #Constraints: 12869
150.29/150.74 c #Conflicts: 185000 | #Constraints: 13869
150.29/150.74 c #Conflicts: 186000 | #Constraints: 14869
150.29/150.74 c #Conflicts: 187000 | #Constraints: 15869
150.29/150.74 c #Conflicts: 188000 | #Constraints: 16869
150.29/150.74 c #Conflicts: 189000 | #Constraints: 17869
150.29/150.74 c INPROCESSING
150.29/150.74 c GARBAGE COLLECT
150.29/150.74 c #Conflicts: 190000 | #Constraints: 10265
150.29/150.74 c #Conflicts: 191000 | #Constraints: 11265
150.29/150.74 c #Conflicts: 192000 | #Constraints: 12265
150.29/150.74 c #Conflicts: 193000 | #Constraints: 13265
150.29/150.74 c #Conflicts: 194000 | #Constraints: 14265
150.29/150.74 c #Conflicts: 195000 | #Constraints: 15265
150.29/150.74 c #Conflicts: 196000 | #Constraints: 16265
150.29/150.74 c #Conflicts: 197000 | #Constraints: 17265
150.29/150.74 c #Conflicts: 198000 | #Constraints: 18265
150.29/150.74 c INPROCESSING
150.29/150.74 c GARBAGE COLLECT
150.29/150.74 c #Conflicts: 199000 | #Constraints: 10465
150.29/150.74 c #Conflicts: 200000 | #Constraints: 11465
150.29/150.74 c #Conflicts: 201000 | #Constraints: 12465
150.29/150.74 c #Conflicts: 202000 | #Constraints: 13465
150.29/150.74 c #Conflicts: 203000 | #Constraints: 14465
150.29/150.74 c #Conflicts: 204000 | #Constraints: 15465
150.29/150.74 c #Conflicts: 205000 | #Constraints: 16465
150.29/150.74 c #Conflicts: 206000 | #Constraints: 17465
150.29/150.74 c #Conflicts: 207000 | #Constraints: 18465
150.29/150.74 c INPROCESSING
150.29/150.74 c GARBAGE COLLECT
150.29/150.74 c #Conflicts: 208000 | #Constraints: 10464
150.29/150.74 c #Conflicts: 209000 | #Constraints: 11464
150.29/150.74 c #Conflicts: 210000 | #Constraints: 12464
239.65/240.39 c #Conflicts: 211000 | #Constraints: 13464
239.65/240.39 c #Conflicts: 212000 | #Constraints: 14464
239.65/240.39 c #Conflicts: 213000 | #Constraints: 15464
239.65/240.39 c #Conflicts: 214000 | #Constraints: 16464
239.65/240.39 c #Conflicts: 215000 | #Constraints: 17464
239.65/240.39 c #Conflicts: 216000 | #Constraints: 18464
239.65/240.39 c INPROCESSING
239.65/240.39 c GARBAGE COLLECT
239.65/240.39 c #Conflicts: 217000 | #Constraints: 10273
239.65/240.39 c #Conflicts: 218000 | #Constraints: 11273
239.65/240.39 c #Conflicts: 219000 | #Constraints: 12273
239.65/240.39 c #Conflicts: 220000 | #Constraints: 13273
239.65/240.39 c #Conflicts: 221000 | #Constraints: 14273
239.65/240.39 c #Conflicts: 222000 | #Constraints: 15273
239.65/240.39 c #Conflicts: 223000 | #Constraints: 16273
239.65/240.39 c #Conflicts: 224000 | #Constraints: 17273
239.65/240.39 c #Conflicts: 225000 | #Constraints: 18273
239.65/240.39 c #Conflicts: 226000 | #Constraints: 19273
239.65/240.39 c INPROCESSING
239.65/240.39 c GARBAGE COLLECT
239.65/240.39 c #Conflicts: 227000 | #Constraints: 10870
239.65/240.39 c #Conflicts: 228000 | #Constraints: 11870
239.65/240.39 c #Conflicts: 229000 | #Constraints: 12870
239.65/240.39 c #Conflicts: 230000 | #Constraints: 13870
239.65/240.39 c #Conflicts: 231000 | #Constraints: 14870
239.65/240.39 c #Conflicts: 232000 | #Constraints: 15870
239.65/240.39 c #Conflicts: 233000 | #Constraints: 16870
239.65/240.39 c #Conflicts: 234000 | #Constraints: 17870
239.65/240.39 c #Conflicts: 235000 | #Constraints: 18870
239.65/240.39 c #Conflicts: 236000 | #Constraints: 19870
239.65/240.39 c INPROCESSING
239.65/240.39 c GARBAGE COLLECT
239.65/240.39 c #Conflicts: 237000 | #Constraints: 11265
239.65/240.39 c #Conflicts: 238000 | #Constraints: 12265
239.65/240.39 c #Conflicts: 239000 | #Constraints: 13265
239.65/240.39 c #Conflicts: 240000 | #Constraints: 14265
239.65/240.39 c #Conflicts: 241000 | #Constraints: 15265
239.65/240.39 c #Conflicts: 242000 | #Constraints: 16265
239.65/240.39 c #Conflicts: 243000 | #Constraints: 17265
239.65/240.39 c #Conflicts: 244000 | #Constraints: 18265
239.65/240.39 c #Conflicts: 245000 | #Constraints: 19265
239.65/240.39 c #Conflicts: 246000 | #Constraints: 20265
239.65/240.39 c INPROCESSING
239.65/240.39 c GARBAGE COLLECT
239.65/240.39 c #Conflicts: 247000 | #Constraints: 11473
239.65/240.39 c #Conflicts: 248000 | #Constraints: 12473
239.65/240.39 c #Conflicts: 249000 | #Constraints: 13473
239.65/240.39 c #Conflicts: 250000 | #Constraints: 14473
239.65/240.39 c #Conflicts: 251000 | #Constraints: 15473
239.65/240.39 c #Conflicts: 252000 | #Constraints: 16473
239.65/240.39 c #Conflicts: 253000 | #Constraints: 17473
239.65/240.39 c #Conflicts: 254000 | #Constraints: 18473
239.65/240.39 c #Conflicts: 255000 | #Constraints: 19473
239.65/240.39 c #Conflicts: 256000 | #Constraints: 20473
239.65/240.39 c INPROCESSING
239.65/240.39 c GARBAGE COLLECT
239.65/240.39 c #Conflicts: 257000 | #Constraints: 11467
239.65/240.39 c #Conflicts: 258000 | #Constraints: 12467
239.65/240.39 c #Conflicts: 259000 | #Constraints: 13467
239.65/240.39 c #Conflicts: 260000 | #Constraints: 14467
239.65/240.39 c #Conflicts: 261000 | #Constraints: 15467
239.65/240.39 c #Conflicts: 262000 | #Constraints: 16467
239.65/240.39 c #Conflicts: 263000 | #Constraints: 17467
239.65/240.39 c #Conflicts: 264000 | #Constraints: 18467
239.65/240.39 c #Conflicts: 265000 | #Constraints: 19467
239.65/240.39 c #Conflicts: 266000 | #Constraints: 20467
239.65/240.39 c INPROCESSING
239.65/240.39 c GARBAGE COLLECT
239.65/240.39 c #Conflicts: 267000 | #Constraints: 11270
239.65/240.39 c #Conflicts: 268000 | #Constraints: 12270
239.65/240.39 c #Conflicts: 269000 | #Constraints: 13270
239.65/240.39 c #Conflicts: 270000 | #Constraints: 14270
239.65/240.39 c #Conflicts: 271000 | #Constraints: 15270
239.65/240.39 c #Conflicts: 272000 | #Constraints: 16270
239.65/240.39 c #Conflicts: 273000 | #Constraints: 17270
239.65/240.39 c #Conflicts: 274000 | #Constraints: 18270
239.65/240.39 c #Conflicts: 275000 | #Constraints: 19270
239.65/240.39 c #Conflicts: 276000 | #Constraints: 20270
239.65/240.39 c #Conflicts: 277000 | #Constraints: 21270
239.65/240.39 c INPROCESSING
239.65/240.39 c GARBAGE COLLECT
239.65/240.39 c #Conflicts: 278000 | #Constraints: 11870
239.65/240.39 c #Conflicts: 279000 | #Constraints: 12870
239.65/240.39 c #Conflicts: 280000 | #Constraints: 13870
239.65/240.39 c #Conflicts: 281000 | #Constraints: 14870
239.65/240.39 c #Conflicts: 282000 | #Constraints: 15870
239.65/240.39 c #Conflicts: 283000 | #Constraints: 16870
239.65/240.39 c #Conflicts: 284000 | #Constraints: 17870
396.95/398.05 c #Conflicts: 285000 | #Constraints: 18870
396.95/398.05 c #Conflicts: 286000 | #Constraints: 19870
396.95/398.05 c #Conflicts: 287000 | #Constraints: 20870
396.95/398.05 c #Conflicts: 288000 | #Constraints: 21870
396.95/398.05 c INPROCESSING
396.95/398.05 c GARBAGE COLLECT
396.95/398.05 c #Conflicts: 289000 | #Constraints: 12269
396.95/398.05 c #Conflicts: 290000 | #Constraints: 13269
396.95/398.05 c #Conflicts: 291000 | #Constraints: 14269
396.95/398.05 c #Conflicts: 292000 | #Constraints: 15269
396.95/398.05 c #Conflicts: 293000 | #Constraints: 16269
396.95/398.05 c #Conflicts: 294000 | #Constraints: 17269
396.95/398.05 c #Conflicts: 295000 | #Constraints: 18269
396.95/398.05 c #Conflicts: 296000 | #Constraints: 19269
396.95/398.05 c #Conflicts: 297000 | #Constraints: 20269
396.95/398.05 c #Conflicts: 298000 | #Constraints: 21269
396.95/398.05 c #Conflicts: 299000 | #Constraints: 22269
396.95/398.05 c INPROCESSING
396.95/398.05 c GARBAGE COLLECT
396.95/398.05 c #Conflicts: 300000 | #Constraints: 12467
396.95/398.05 c #Conflicts: 301000 | #Constraints: 13467
396.95/398.05 c #Conflicts: 302000 | #Constraints: 14467
396.95/398.05 c #Conflicts: 303000 | #Constraints: 15467
396.95/398.05 c #Conflicts: 304000 | #Constraints: 16467
396.95/398.05 c #Conflicts: 305000 | #Constraints: 17467
396.95/398.05 c #Conflicts: 306000 | #Constraints: 18467
396.95/398.05 c #Conflicts: 307000 | #Constraints: 19467
396.95/398.05 c #Conflicts: 308000 | #Constraints: 20467
396.95/398.05 c #Conflicts: 309000 | #Constraints: 21467
396.95/398.05 c #Conflicts: 310000 | #Constraints: 22467
396.95/398.05 c INPROCESSING
396.95/398.05 c GARBAGE COLLECT
396.95/398.05 c #Conflicts: 311000 | #Constraints: 12472
396.95/398.05 c #Conflicts: 312000 | #Constraints: 13472
396.95/398.05 c #Conflicts: 313000 | #Constraints: 14472
396.95/398.05 c #Conflicts: 314000 | #Constraints: 15472
396.95/398.05 c #Conflicts: 315000 | #Constraints: 16472
396.95/398.05 c #Conflicts: 316000 | #Constraints: 17472
396.95/398.05 c #Conflicts: 317000 | #Constraints: 18472
396.95/398.05 c #Conflicts: 318000 | #Constraints: 19472
396.95/398.05 c #Conflicts: 319000 | #Constraints: 20472
396.95/398.05 c #Conflicts: 320000 | #Constraints: 21472
396.95/398.05 c #Conflicts: 321000 | #Constraints: 22472
396.95/398.05 c INPROCESSING
396.95/398.05 c GARBAGE COLLECT
396.95/398.05 c #Conflicts: 322000 | #Constraints: 12272
396.95/398.05 c #Conflicts: 323000 | #Constraints: 13272
396.95/398.05 c #Conflicts: 324000 | #Constraints: 14272
396.95/398.05 c #Conflicts: 325000 | #Constraints: 15272
396.95/398.05 c #Conflicts: 326000 | #Constraints: 16272
396.95/398.05 c #Conflicts: 327000 | #Constraints: 17272
396.95/398.05 c #Conflicts: 328000 | #Constraints: 18272
396.95/398.05 c #Conflicts: 329000 | #Constraints: 19272
396.95/398.05 c #Conflicts: 330000 | #Constraints: 20272
396.95/398.05 c #Conflicts: 331000 | #Constraints: 21272
396.95/398.05 c #Conflicts: 332000 | #Constraints: 22272
396.95/398.05 c #Conflicts: 333000 | #Constraints: 23272
396.95/398.05 c INPROCESSING
396.95/398.05 c GARBAGE COLLECT
396.95/398.05 c #Conflicts: 334000 | #Constraints: 12875
396.95/398.05 c #Conflicts: 335000 | #Constraints: 13875
396.95/398.05 c #Conflicts: 336000 | #Constraints: 14875
396.95/398.05 c #Conflicts: 337000 | #Constraints: 15875
396.95/398.05 c #Conflicts: 338000 | #Constraints: 16875
396.95/398.05 c #Conflicts: 339000 | #Constraints: 17875
396.95/398.05 c #Conflicts: 340000 | #Constraints: 18875
396.95/398.05 c #Conflicts: 341000 | #Constraints: 19875
396.95/398.05 c #Conflicts: 342000 | #Constraints: 20875
396.95/398.05 c #Conflicts: 343000 | #Constraints: 21875
396.95/398.05 c #Conflicts: 344000 | #Constraints: 22875
396.95/398.05 c #Conflicts: 345000 | #Constraints: 23875
396.95/398.05 c INPROCESSING
396.95/398.05 c GARBAGE COLLECT
396.95/398.05 c #Conflicts: 346000 | #Constraints: 13281
396.95/398.05 c #Conflicts: 347000 | #Constraints: 14281
396.95/398.05 c #Conflicts: 348000 | #Constraints: 15281
396.95/398.05 c #Conflicts: 349000 | #Constraints: 16281
396.95/398.05 c #Conflicts: 350000 | #Constraints: 17281
396.95/398.05 c #Conflicts: 351000 | #Constraints: 18281
396.95/398.05 c #Conflicts: 352000 | #Constraints: 19281
396.95/398.05 c #Conflicts: 353000 | #Constraints: 20281
396.95/398.05 c #Conflicts: 354000 | #Constraints: 21281
396.95/398.05 c #Conflicts: 355000 | #Constraints: 22281
396.95/398.05 c #Conflicts: 356000 | #Constraints: 23281
396.95/398.05 c #Conflicts: 357000 | #Constraints: 24281
396.95/398.05 c INPROCESSING
396.95/398.05 c GARBAGE COLLECT
396.95/398.05 c #Conflicts: 358000 | #Constraints: 13476
396.95/398.05 c #Conflicts: 359000 | #Constraints: 14476
520.51/521.92 c #Conflicts: 360000 | #Constraints: 15476
520.51/521.92 c #Conflicts: 361000 | #Constraints: 16476
520.51/521.92 c #Conflicts: 362000 | #Constraints: 17476
520.51/521.92 c #Conflicts: 363000 | #Constraints: 18476
520.51/521.92 c #Conflicts: 364000 | #Constraints: 19476
520.51/521.92 c #Conflicts: 365000 | #Constraints: 20476
520.51/521.92 c #Conflicts: 366000 | #Constraints: 21476
520.51/521.92 c #Conflicts: 367000 | #Constraints: 22476
520.51/521.92 c #Conflicts: 368000 | #Constraints: 23476
520.51/521.92 c #Conflicts: 369000 | #Constraints: 24476
520.51/521.92 c INPROCESSING
520.51/521.92 c GARBAGE COLLECT
520.51/521.92 c #Conflicts: 370000 | #Constraints: 13473
520.51/521.92 c #Conflicts: 371000 | #Constraints: 14473
520.51/521.92 c #Conflicts: 372000 | #Constraints: 15473
520.51/521.92 c #Conflicts: 373000 | #Constraints: 16473
520.51/521.92 c #Conflicts: 374000 | #Constraints: 17473
520.51/521.92 c #Conflicts: 375000 | #Constraints: 18473
520.51/521.92 c #Conflicts: 376000 | #Constraints: 19473
520.51/521.92 c #Conflicts: 377000 | #Constraints: 20473
520.51/521.92 c #Conflicts: 378000 | #Constraints: 21473
520.51/521.92 c #Conflicts: 379000 | #Constraints: 22473
520.51/521.92 c #Conflicts: 380000 | #Constraints: 23473
520.51/521.92 c #Conflicts: 381000 | #Constraints: 24473
520.51/521.92 c INPROCESSING
520.51/521.92 c GARBAGE COLLECT
520.51/521.92 c #Conflicts: 382000 | #Constraints: 13268
520.51/521.92 c #Conflicts: 383000 | #Constraints: 14268
520.51/521.92 c #Conflicts: 384000 | #Constraints: 15268
520.51/521.92 c #Conflicts: 385000 | #Constraints: 16268
520.51/521.92 c #Conflicts: 386000 | #Constraints: 17268
520.51/521.92 c #Conflicts: 387000 | #Constraints: 18268
520.51/521.92 c #Conflicts: 388000 | #Constraints: 19268
520.51/521.92 c #Conflicts: 389000 | #Constraints: 20268
520.51/521.92 c #Conflicts: 390000 | #Constraints: 21268
520.51/521.92 c #Conflicts: 391000 | #Constraints: 22268
520.51/521.92 c #Conflicts: 392000 | #Constraints: 23268
520.51/521.92 c #Conflicts: 393000 | #Constraints: 24268
520.51/521.92 c #Conflicts: 394000 | #Constraints: 25268
520.51/521.92 c INPROCESSING
520.51/521.92 c GARBAGE COLLECT
520.51/521.92 c #Conflicts: 395000 | #Constraints: 13870
520.51/521.92 c #Conflicts: 396000 | #Constraints: 14870
520.51/521.92 c #Conflicts: 397000 | #Constraints: 15870
520.51/521.92 c #Conflicts: 398000 | #Constraints: 16870
520.51/521.92 c #Conflicts: 399000 | #Constraints: 17870
520.51/521.92 c #Conflicts: 400000 | #Constraints: 18870
520.51/521.92 c #Conflicts: 401000 | #Constraints: 19870
520.51/521.92 c #Conflicts: 402000 | #Constraints: 20870
520.51/521.92 c #Conflicts: 403000 | #Constraints: 21870
520.51/521.92 c #Conflicts: 404000 | #Constraints: 22870
520.51/521.92 c #Conflicts: 405000 | #Constraints: 23870
520.51/521.92 c #Conflicts: 406000 | #Constraints: 24870
520.51/521.92 c #Conflicts: 407000 | #Constraints: 25870
520.51/521.92 c INPROCESSING
520.51/521.92 c GARBAGE COLLECT
520.51/521.92 c #Conflicts: 408000 | #Constraints: 14271
520.51/521.92 c #Conflicts: 409000 | #Constraints: 15271
520.51/521.92 c #Conflicts: 410000 | #Constraints: 16271
520.51/521.92 c #Conflicts: 411000 | #Constraints: 17271
520.51/521.92 c #Conflicts: 412000 | #Constraints: 18271
520.51/521.92 c #Conflicts: 413000 | #Constraints: 19271
520.51/521.92 c #Conflicts: 414000 | #Constraints: 20271
520.51/521.92 c #Conflicts: 415000 | #Constraints: 21271
520.51/521.92 c #Conflicts: 416000 | #Constraints: 22271
520.51/521.92 c #Conflicts: 417000 | #Constraints: 23271
520.51/521.92 c #Conflicts: 418000 | #Constraints: 24271
520.51/521.92 c #Conflicts: 419000 | #Constraints: 25271
520.51/521.92 c #Conflicts: 420000 | #Constraints: 26271
520.51/521.92 c INPROCESSING
520.51/521.92 c GARBAGE COLLECT
520.51/521.92 c #Conflicts: 421000 | #Constraints: 14480
520.51/521.92 c #Conflicts: 422000 | #Constraints: 15480
520.51/521.92 c #Conflicts: 423000 | #Constraints: 16480
520.51/521.92 c #Conflicts: 424000 | #Constraints: 17480
520.51/521.92 c #Conflicts: 425000 | #Constraints: 18480
520.51/521.92 c #Conflicts: 426000 | #Constraints: 19480
520.51/521.92 c #Conflicts: 427000 | #Constraints: 20480
520.51/521.92 c #Conflicts: 428000 | #Constraints: 21480
520.51/521.92 c #Conflicts: 429000 | #Constraints: 22480
520.51/521.92 c #Conflicts: 430000 | #Constraints: 23480
520.51/521.92 c #Conflicts: 431000 | #Constraints: 24480
520.51/521.92 c #Conflicts: 432000 | #Constraints: 25480
520.51/521.92 c #Conflicts: 433000 | #Constraints: 26480
520.51/521.92 c INPROCESSING
520.51/521.92 c GARBAGE COLLECT
520.51/521.92 c #Conflicts: 434000 | #Constraints: 14481
700.60/702.54 c #Conflicts: 435000 | #Constraints: 15481
700.60/702.54 c #Conflicts: 436000 | #Constraints: 16481
700.60/702.54 c #Conflicts: 437000 | #Constraints: 17481
700.60/702.54 c #Conflicts: 438000 | #Constraints: 18481
700.60/702.54 c #Conflicts: 439000 | #Constraints: 19481
700.60/702.54 c #Conflicts: 440000 | #Constraints: 20481
700.60/702.54 c #Conflicts: 441000 | #Constraints: 21481
700.60/702.54 c #Conflicts: 442000 | #Constraints: 22481
700.60/702.54 c #Conflicts: 443000 | #Constraints: 23481
700.60/702.54 c #Conflicts: 444000 | #Constraints: 24481
700.60/702.54 c #Conflicts: 445000 | #Constraints: 25481
700.60/702.54 c #Conflicts: 446000 | #Constraints: 26481
700.60/702.54 c INPROCESSING
700.60/702.54 c GARBAGE COLLECT
700.60/702.54 c #Conflicts: 447000 | #Constraints: 14276
700.60/702.54 c #Conflicts: 448000 | #Constraints: 15276
700.60/702.54 c #Conflicts: 449000 | #Constraints: 16276
700.60/702.54 c #Conflicts: 450000 | #Constraints: 17276
700.60/702.54 c #Conflicts: 451000 | #Constraints: 18276
700.60/702.54 c #Conflicts: 452000 | #Constraints: 19276
700.60/702.54 c #Conflicts: 453000 | #Constraints: 20276
700.60/702.54 c #Conflicts: 454000 | #Constraints: 21276
700.60/702.54 c #Conflicts: 455000 | #Constraints: 22276
700.60/702.54 c #Conflicts: 456000 | #Constraints: 23276
700.60/702.54 c #Conflicts: 457000 | #Constraints: 24276
700.60/702.54 c #Conflicts: 458000 | #Constraints: 25276
700.60/702.54 c #Conflicts: 459000 | #Constraints: 26276
700.60/702.54 c #Conflicts: 460000 | #Constraints: 27276
700.60/702.54 c INPROCESSING
700.60/702.54 c GARBAGE COLLECT
700.60/702.54 c #Conflicts: 461000 | #Constraints: 14878
700.60/702.54 c #Conflicts: 462000 | #Constraints: 15878
700.60/702.54 c #Conflicts: 463000 | #Constraints: 16878
700.60/702.54 c #Conflicts: 464000 | #Constraints: 17878
700.60/702.54 c #Conflicts: 465000 | #Constraints: 18878
700.60/702.54 c #Conflicts: 466000 | #Constraints: 19878
700.60/702.54 c #Conflicts: 467000 | #Constraints: 20878
700.60/702.54 c #Conflicts: 468000 | #Constraints: 21878
700.60/702.54 c #Conflicts: 469000 | #Constraints: 22878
700.60/702.54 c #Conflicts: 470000 | #Constraints: 23878
700.60/702.54 c #Conflicts: 471000 | #Constraints: 24878
700.60/702.54 c #Conflicts: 472000 | #Constraints: 25878
700.60/702.54 c #Conflicts: 473000 | #Constraints: 26878
700.60/702.54 c #Conflicts: 474000 | #Constraints: 27878
700.60/702.54 c INPROCESSING
700.60/702.54 c GARBAGE COLLECT
700.60/702.54 c #Conflicts: 475000 | #Constraints: 15284
700.60/702.54 c #Conflicts: 476000 | #Constraints: 16284
700.60/702.54 c #Conflicts: 477000 | #Constraints: 17284
700.60/702.54 c #Conflicts: 478000 | #Constraints: 18284
700.60/702.54 c #Conflicts: 479000 | #Constraints: 19284
700.60/702.54 c #Conflicts: 480000 | #Constraints: 20284
700.60/702.54 c #Conflicts: 481000 | #Constraints: 21284
700.60/702.54 c #Conflicts: 482000 | #Constraints: 22284
700.60/702.54 c #Conflicts: 483000 | #Constraints: 23284
700.60/702.54 c #Conflicts: 484000 | #Constraints: 24284
700.60/702.54 c #Conflicts: 485000 | #Constraints: 25284
700.60/702.54 c #Conflicts: 486000 | #Constraints: 26284
700.60/702.54 c #Conflicts: 487000 | #Constraints: 27284
700.60/702.54 c #Conflicts: 488000 | #Constraints: 28284
700.60/702.54 c INPROCESSING
700.60/702.54 c GARBAGE COLLECT
700.60/702.54 c #Conflicts: 489000 | #Constraints: 15481
700.60/702.54 c #Conflicts: 490000 | #Constraints: 16481
700.60/702.54 c #Conflicts: 491000 | #Constraints: 17481
700.60/702.54 c #Conflicts: 492000 | #Constraints: 18481
700.60/702.54 c #Conflicts: 493000 | #Constraints: 19481
700.60/702.54 c #Conflicts: 494000 | #Constraints: 20481
700.60/702.54 c #Conflicts: 495000 | #Constraints: 21481
700.60/702.54 c #Conflicts: 496000 | #Constraints: 22481
700.60/702.54 c #Conflicts: 497000 | #Constraints: 23481
700.60/702.54 c #Conflicts: 498000 | #Constraints: 24481
700.60/702.54 c #Conflicts: 499000 | #Constraints: 25481
700.60/702.54 c #Conflicts: 500000 | #Constraints: 26481
700.60/702.54 c #Conflicts: 501000 | #Constraints: 27481
700.60/702.54 c #Conflicts: 502000 | #Constraints: 28481
700.60/702.54 c INPROCESSING
700.60/702.54 c GARBAGE COLLECT
700.60/702.54 c #Conflicts: 503000 | #Constraints: 15488
700.60/702.54 c #Conflicts: 504000 | #Constraints: 16488
700.60/702.54 c #Conflicts: 505000 | #Constraints: 17488
700.60/702.54 c #Conflicts: 506000 | #Constraints: 18488
700.60/702.54 c #Conflicts: 507000 | #Constraints: 19488
700.60/702.54 c #Conflicts: 508000 | #Constraints: 20488
700.60/702.54 c #Conflicts: 509000 | #Constraints: 21488
812.73/814.98 c #Conflicts: 510000 | #Constraints: 22488
812.73/814.98 c #Conflicts: 511000 | #Constraints: 23488
812.73/814.98 c #Conflicts: 512000 | #Constraints: 24488
812.73/814.98 c #Conflicts: 513000 | #Constraints: 25488
812.73/814.98 c #Conflicts: 514000 | #Constraints: 26488
812.73/814.98 c #Conflicts: 515000 | #Constraints: 27488
812.73/814.98 c #Conflicts: 516000 | #Constraints: 28488
812.73/814.98 c INPROCESSING
812.73/814.98 c GARBAGE COLLECT
812.73/814.98 c #Conflicts: 517000 | #Constraints: 15282
812.73/814.98 c #Conflicts: 518000 | #Constraints: 16282
812.73/814.98 c #Conflicts: 519000 | #Constraints: 17282
812.73/814.98 c #Conflicts: 520000 | #Constraints: 18282
812.73/814.98 c #Conflicts: 521000 | #Constraints: 19282
812.73/814.98 c #Conflicts: 522000 | #Constraints: 20282
812.73/814.98 c #Conflicts: 523000 | #Constraints: 21282
812.73/814.98 c #Conflicts: 524000 | #Constraints: 22282
812.73/814.98 c #Conflicts: 525000 | #Constraints: 23282
812.73/814.98 c #Conflicts: 526000 | #Constraints: 24282
812.73/814.98 c #Conflicts: 527000 | #Constraints: 25282
812.73/814.98 c #Conflicts: 528000 | #Constraints: 26282
812.73/814.98 c #Conflicts: 529000 | #Constraints: 27282
812.73/814.98 c #Conflicts: 530000 | #Constraints: 28282
812.73/814.98 c #Conflicts: 531000 | #Constraints: 29282
812.73/814.98 c INPROCESSING
812.73/814.98 c GARBAGE COLLECT
812.73/814.98 c #Conflicts: 532000 | #Constraints: 15885
812.73/814.98 c #Conflicts: 533000 | #Constraints: 16885
812.73/814.98 c #Conflicts: 534000 | #Constraints: 17885
812.73/814.98 c #Conflicts: 535000 | #Constraints: 18885
812.73/814.98 c #Conflicts: 536000 | #Constraints: 19885
812.73/814.98 c #Conflicts: 537000 | #Constraints: 20885
812.73/814.98 c #Conflicts: 538000 | #Constraints: 21885
812.73/814.98 c #Conflicts: 539000 | #Constraints: 22885
812.73/814.98 c #Conflicts: 540000 | #Constraints: 23885
812.73/814.98 c #Conflicts: 541000 | #Constraints: 24885
812.73/814.98 c #Conflicts: 542000 | #Constraints: 25885
812.73/814.98 c #Conflicts: 543000 | #Constraints: 26885
812.73/814.98 c #Conflicts: 544000 | #Constraints: 27885
812.73/814.98 c #Conflicts: 545000 | #Constraints: 28885
812.73/814.98 c #Conflicts: 546000 | #Constraints: 29885
812.73/814.98 c INPROCESSING
812.73/814.98 c GARBAGE COLLECT
812.73/814.98 c #Conflicts: 547000 | #Constraints: 16288
812.73/814.98 c #Conflicts: 548000 | #Constraints: 17288
812.73/814.98 c #Conflicts: 549000 | #Constraints: 18288
812.73/814.98 c #Conflicts: 550000 | #Constraints: 19288
812.73/814.98 c #Conflicts: 551000 | #Constraints: 20288
812.73/814.98 c #Conflicts: 552000 | #Constraints: 21288
812.73/814.98 c #Conflicts: 553000 | #Constraints: 22288
812.73/814.98 c #Conflicts: 554000 | #Constraints: 23288
812.73/814.98 c #Conflicts: 555000 | #Constraints: 24288
812.73/814.98 c #Conflicts: 556000 | #Constraints: 25288
812.73/814.98 c #Conflicts: 557000 | #Constraints: 26288
812.73/814.98 c #Conflicts: 558000 | #Constraints: 27288
812.73/814.98 c #Conflicts: 559000 | #Constraints: 28288
812.73/814.98 c #Conflicts: 560000 | #Constraints: 29288
812.73/814.98 c #Conflicts: 561000 | #Constraints: 30288
812.73/814.98 c INPROCESSING
812.73/814.98 c GARBAGE COLLECT
812.73/814.98 c #Conflicts: 562000 | #Constraints: 16488
812.73/814.98 c #Conflicts: 563000 | #Constraints: 17488
812.73/814.98 c #Conflicts: 564000 | #Constraints: 18488
812.73/814.98 c #Conflicts: 565000 | #Constraints: 19488
812.73/814.98 c #Conflicts: 566000 | #Constraints: 20488
812.73/814.98 c #Conflicts: 567000 | #Constraints: 21488
812.73/814.98 c #Conflicts: 568000 | #Constraints: 22488
812.73/814.98 c #Conflicts: 569000 | #Constraints: 23488
812.73/814.98 c #Conflicts: 570000 | #Constraints: 24488
812.73/814.98 c bounds 0 >= -192 @ 800.372
812.73/814.98 c #Conflicts: 571000 | #Constraints: 25507
812.73/814.98 c #Conflicts: 572000 | #Constraints: 26507
812.73/814.98 c #Conflicts: 573000 | #Constraints: 27507
812.73/814.98 c #Conflicts: 574000 | #Constraints: 28507
812.73/814.98 c #Conflicts: 575000 | #Constraints: 29507
812.73/814.98 c #Conflicts: 576000 | #Constraints: 30507
812.73/814.98 c INPROCESSING
812.73/814.98 c GARBAGE COLLECT
812.73/814.98 c #Conflicts: 577000 | #Constraints: 16494
812.73/814.98 c #Conflicts: 578000 | #Constraints: 17494
812.73/814.98 c #Conflicts: 579000 | #Constraints: 18494
812.73/814.98 c #Conflicts: 580000 | #Constraints: 19494
812.73/814.98 c #Conflicts: 581000 | #Constraints: 20494
812.73/814.98 c #Conflicts: 582000 | #Constraints: 21494
812.73/814.98 c #Conflicts: 583000 | #Constraints: 22494
812.73/814.98 c #Conflicts: 584000 | #Constraints: 23494
952.27/954.89 c #Conflicts: 585000 | #Constraints: 24494
952.27/954.89 c #Conflicts: 586000 | #Constraints: 25494
952.27/954.89 c #Conflicts: 587000 | #Constraints: 26494
952.27/954.89 c #Conflicts: 588000 | #Constraints: 27494
952.27/954.89 c #Conflicts: 589000 | #Constraints: 28494
952.27/954.89 c #Conflicts: 590000 | #Constraints: 29494
952.27/954.89 c #Conflicts: 591000 | #Constraints: 30494
952.27/954.89 c INPROCESSING
952.27/954.89 c GARBAGE COLLECT
952.27/954.89 c #Conflicts: 592000 | #Constraints: 16290
952.27/954.89 c #Conflicts: 593000 | #Constraints: 17290
952.27/954.89 c #Conflicts: 594000 | #Constraints: 18290
952.27/954.89 c #Conflicts: 595000 | #Constraints: 19290
952.27/954.89 c #Conflicts: 596000 | #Constraints: 20290
952.27/954.89 c #Conflicts: 597000 | #Constraints: 21290
952.27/954.89 c #Conflicts: 598000 | #Constraints: 22290
952.27/954.89 c #Conflicts: 599000 | #Constraints: 23290
952.27/954.89 c #Conflicts: 600000 | #Constraints: 24290
952.27/954.89 c #Conflicts: 601000 | #Constraints: 25290
952.27/954.89 c #Conflicts: 602000 | #Constraints: 26290
952.27/954.89 c #Conflicts: 603000 | #Constraints: 27290
952.27/954.89 c #Conflicts: 604000 | #Constraints: 28290
952.27/954.89 c #Conflicts: 605000 | #Constraints: 29290
952.27/954.89 c #Conflicts: 606000 | #Constraints: 30290
952.27/954.89 c #Conflicts: 607000 | #Constraints: 31290
952.27/954.89 c INPROCESSING
952.27/954.89 c GARBAGE COLLECT
952.27/954.89 c #Conflicts: 608000 | #Constraints: 16889
952.27/954.89 c #Conflicts: 609000 | #Constraints: 17889
952.27/954.89 c #Conflicts: 610000 | #Constraints: 18889
952.27/954.89 c #Conflicts: 611000 | #Constraints: 19889
952.27/954.89 c #Conflicts: 612000 | #Constraints: 20889
952.27/954.89 c #Conflicts: 613000 | #Constraints: 21889
952.27/954.89 c #Conflicts: 614000 | #Constraints: 22889
952.27/954.89 c #Conflicts: 615000 | #Constraints: 23889
952.27/954.89 c #Conflicts: 616000 | #Constraints: 24889
952.27/954.89 c #Conflicts: 617000 | #Constraints: 25889
952.27/954.89 c #Conflicts: 618000 | #Constraints: 26889
952.27/954.89 c #Conflicts: 619000 | #Constraints: 27889
952.27/954.89 c #Conflicts: 620000 | #Constraints: 28889
952.27/954.89 c #Conflicts: 621000 | #Constraints: 29889
952.27/954.89 c #Conflicts: 622000 | #Constraints: 30889
952.27/954.89 c #Conflicts: 623000 | #Constraints: 31889
952.27/954.89 c INPROCESSING
952.27/954.89 c GARBAGE COLLECT
952.27/954.89 c #Conflicts: 624000 | #Constraints: 17283
952.27/954.89 c #Conflicts: 625000 | #Constraints: 18283
952.27/954.89 c #Conflicts: 626000 | #Constraints: 19283
952.27/954.89 c #Conflicts: 627000 | #Constraints: 20283
952.27/954.89 c #Conflicts: 628000 | #Constraints: 21283
952.27/954.89 c #Conflicts: 629000 | #Constraints: 22283
952.27/954.89 c #Conflicts: 630000 | #Constraints: 23283
952.27/954.89 c #Conflicts: 631000 | #Constraints: 24283
952.27/954.89 c #Conflicts: 632000 | #Constraints: 25283
952.27/954.89 c #Conflicts: 633000 | #Constraints: 26283
952.27/954.89 c #Conflicts: 634000 | #Constraints: 27283
952.27/954.89 c #Conflicts: 635000 | #Constraints: 28283
952.27/954.89 c #Conflicts: 636000 | #Constraints: 29283
952.27/954.89 c #Conflicts: 637000 | #Constraints: 30283
952.27/954.89 c #Conflicts: 638000 | #Constraints: 31283
952.27/954.89 c #Conflicts: 639000 | #Constraints: 32283
952.27/954.89 c INPROCESSING
952.27/954.89 c GARBAGE COLLECT
952.27/954.89 c #Conflicts: 640000 | #Constraints: 17480
952.27/954.89 c #Conflicts: 641000 | #Constraints: 18480
952.27/954.89 c #Conflicts: 642000 | #Constraints: 19480
952.27/954.89 c #Conflicts: 643000 | #Constraints: 20480
952.27/954.89 c #Conflicts: 644000 | #Constraints: 21480
952.27/954.89 c #Conflicts: 645000 | #Constraints: 22480
952.27/954.89 c #Conflicts: 646000 | #Constraints: 23480
952.27/954.89 c #Conflicts: 647000 | #Constraints: 24480
952.27/954.89 c #Conflicts: 648000 | #Constraints: 25480
952.27/954.89 c #Conflicts: 649000 | #Constraints: 26480
952.27/954.89 c #Conflicts: 650000 | #Constraints: 27480
952.27/954.89 c #Conflicts: 651000 | #Constraints: 28480
952.27/954.89 c #Conflicts: 652000 | #Constraints: 29480
952.27/954.89 c #Conflicts: 653000 | #Constraints: 30480
952.27/954.89 c #Conflicts: 654000 | #Constraints: 31480
952.27/954.89 c #Conflicts: 655000 | #Constraints: 32480
952.27/954.89 c INPROCESSING
952.27/954.89 c GARBAGE COLLECT
952.27/954.89 c #Conflicts: 656000 | #Constraints: 17481
952.27/954.89 c #Conflicts: 657000 | #Constraints: 18481
952.27/954.89 c #Conflicts: 658000 | #Constraints: 19481
952.27/954.89 c #Conflicts: 659000 | #Constraints: 20481
952.27/954.89 c #Conflicts: 660000 | #Constraints: 21481
1202.95/1206.19 c #Conflicts: 661000 | #Constraints: 22481
1202.95/1206.19 c #Conflicts: 662000 | #Constraints: 23481
1202.95/1206.19 c #Conflicts: 663000 | #Constraints: 24481
1202.95/1206.19 c #Conflicts: 664000 | #Constraints: 25481
1202.95/1206.19 c #Conflicts: 665000 | #Constraints: 26481
1202.95/1206.19 c #Conflicts: 666000 | #Constraints: 27481
1202.95/1206.19 c #Conflicts: 667000 | #Constraints: 28481
1202.95/1206.19 c #Conflicts: 668000 | #Constraints: 29481
1202.95/1206.19 c #Conflicts: 669000 | #Constraints: 30481
1202.95/1206.19 c #Conflicts: 670000 | #Constraints: 31481
1202.95/1206.19 c #Conflicts: 671000 | #Constraints: 32481
1202.95/1206.19 c INPROCESSING
1202.95/1206.19 c GARBAGE COLLECT
1202.95/1206.19 c #Conflicts: 672000 | #Constraints: 17292
1202.95/1206.19 c #Conflicts: 673000 | #Constraints: 18292
1202.95/1206.19 c #Conflicts: 674000 | #Constraints: 19292
1202.95/1206.19 c #Conflicts: 675000 | #Constraints: 20292
1202.95/1206.19 c #Conflicts: 676000 | #Constraints: 21292
1202.95/1206.19 c #Conflicts: 677000 | #Constraints: 22292
1202.95/1206.19 c #Conflicts: 678000 | #Constraints: 23292
1202.95/1206.19 c #Conflicts: 679000 | #Constraints: 24292
1202.95/1206.19 c #Conflicts: 680000 | #Constraints: 25292
1202.95/1206.19 c #Conflicts: 681000 | #Constraints: 26292
1202.95/1206.19 c #Conflicts: 682000 | #Constraints: 27292
1202.95/1206.19 c #Conflicts: 683000 | #Constraints: 28292
1202.95/1206.19 c #Conflicts: 684000 | #Constraints: 29292
1202.95/1206.19 c #Conflicts: 685000 | #Constraints: 30292
1202.95/1206.19 c #Conflicts: 686000 | #Constraints: 31292
1202.95/1206.19 c #Conflicts: 687000 | #Constraints: 32292
1202.95/1206.19 c #Conflicts: 688000 | #Constraints: 33292
1202.95/1206.19 c INPROCESSING
1202.95/1206.19 c GARBAGE COLLECT
1202.95/1206.19 c #Conflicts: 689000 | #Constraints: 17892
1202.95/1206.19 c #Conflicts: 690000 | #Constraints: 18892
1202.95/1206.19 c #Conflicts: 691000 | #Constraints: 19892
1202.95/1206.19 c #Conflicts: 692000 | #Constraints: 20892
1202.95/1206.19 c #Conflicts: 693000 | #Constraints: 21892
1202.95/1206.19 c #Conflicts: 694000 | #Constraints: 22892
1202.95/1206.19 c #Conflicts: 695000 | #Constraints: 23892
1202.95/1206.19 c #Conflicts: 696000 | #Constraints: 24892
1202.95/1206.19 c #Conflicts: 697000 | #Constraints: 25892
1202.95/1206.19 c #Conflicts: 698000 | #Constraints: 26892
1202.95/1206.19 c #Conflicts: 699000 | #Constraints: 27892
1202.95/1206.19 c #Conflicts: 700000 | #Constraints: 28892
1202.95/1206.19 c #Conflicts: 701000 | #Constraints: 29892
1202.95/1206.19 c #Conflicts: 702000 | #Constraints: 30892
1202.95/1206.19 c #Conflicts: 703000 | #Constraints: 31892
1202.95/1206.19 c #Conflicts: 704000 | #Constraints: 32892
1202.95/1206.19 c #Conflicts: 705000 | #Constraints: 33892
1202.95/1206.19 c INPROCESSING
1202.95/1206.19 c GARBAGE COLLECT
1202.95/1206.19 c #Conflicts: 706000 | #Constraints: 18295
1202.95/1206.19 c #Conflicts: 707000 | #Constraints: 19295
1202.95/1206.19 c #Conflicts: 708000 | #Constraints: 20295
1202.95/1206.19 c #Conflicts: 709000 | #Constraints: 21295
1202.95/1206.19 c #Conflicts: 710000 | #Constraints: 22295
1202.95/1206.19 c #Conflicts: 711000 | #Constraints: 23295
1202.95/1206.19 c #Conflicts: 712000 | #Constraints: 24295
1202.95/1206.19 c #Conflicts: 713000 | #Constraints: 25295
1202.95/1206.19 c #Conflicts: 714000 | #Constraints: 26295
1202.95/1206.19 c #Conflicts: 715000 | #Constraints: 27295
1202.95/1206.19 c #Conflicts: 716000 | #Constraints: 28295
1202.95/1206.19 c #Conflicts: 717000 | #Constraints: 29295
1202.95/1206.19 c #Conflicts: 718000 | #Constraints: 30295
1202.95/1206.19 c #Conflicts: 719000 | #Constraints: 31295
1202.95/1206.19 c #Conflicts: 720000 | #Constraints: 32295
1202.95/1206.19 c #Conflicts: 721000 | #Constraints: 33295
1202.95/1206.19 c #Conflicts: 722000 | #Constraints: 34295
1202.95/1206.19 c INPROCESSING
1202.95/1206.19 c GARBAGE COLLECT
1202.95/1206.19 c #Conflicts: 723000 | #Constraints: 18490
1202.95/1206.19 c #Conflicts: 724000 | #Constraints: 19490
1202.95/1206.19 c #Conflicts: 725000 | #Constraints: 20490
1202.95/1206.19 c #Conflicts: 726000 | #Constraints: 21490
1202.95/1206.19 c #Conflicts: 727000 | #Constraints: 22490
1202.95/1206.19 c #Conflicts: 728000 | #Constraints: 23490
1202.95/1206.19 c #Conflicts: 729000 | #Constraints: 24490
1202.95/1206.19 c #Conflicts: 730000 | #Constraints: 25490
1202.95/1206.19 c #Conflicts: 731000 | #Constraints: 26490
1202.95/1206.19 c #Conflicts: 732000 | #Constraints: 27490
1202.95/1206.19 c #Conflicts: 733000 | #Constraints: 28490
1202.95/1206.19 c #Conflicts: 734000 | #Constraints: 29490
1202.95/1206.19 c #Conflicts: 735000 | #Constraints: 30490
1202.95/1206.19 c #Conflicts: 736000 | #Constraints: 31490
1424.87/1428.60 c #Conflicts: 737000 | #Constraints: 32490
1424.87/1428.60 c #Conflicts: 738000 | #Constraints: 33490
1424.87/1428.60 c #Conflicts: 739000 | #Constraints: 34490
1424.87/1428.60 c INPROCESSING
1424.87/1428.60 c GARBAGE COLLECT
1424.87/1428.60 c #Conflicts: 740000 | #Constraints: 18496
1424.87/1428.60 c #Conflicts: 741000 | #Constraints: 19496
1424.87/1428.60 c #Conflicts: 742000 | #Constraints: 20496
1424.87/1428.60 c #Conflicts: 743000 | #Constraints: 21496
1424.87/1428.60 c #Conflicts: 744000 | #Constraints: 22496
1424.87/1428.60 c #Conflicts: 745000 | #Constraints: 23496
1424.87/1428.60 c #Conflicts: 746000 | #Constraints: 24496
1424.87/1428.60 c #Conflicts: 747000 | #Constraints: 25496
1424.87/1428.60 c #Conflicts: 748000 | #Constraints: 26496
1424.87/1428.60 c #Conflicts: 749000 | #Constraints: 27496
1424.87/1428.60 c #Conflicts: 750000 | #Constraints: 28496
1424.87/1428.60 c #Conflicts: 751000 | #Constraints: 29496
1424.87/1428.60 c #Conflicts: 752000 | #Constraints: 30496
1424.87/1428.60 c #Conflicts: 753000 | #Constraints: 31496
1424.87/1428.60 c #Conflicts: 754000 | #Constraints: 32496
1424.87/1428.60 c #Conflicts: 755000 | #Constraints: 33496
1424.87/1428.60 c #Conflicts: 756000 | #Constraints: 34496
1424.87/1428.60 c INPROCESSING
1424.87/1428.60 c GARBAGE COLLECT
1424.87/1428.60 c #Conflicts: 757000 | #Constraints: 18295
1424.87/1428.60 c #Conflicts: 758000 | #Constraints: 19295
1424.87/1428.60 c #Conflicts: 759000 | #Constraints: 20295
1424.87/1428.60 c #Conflicts: 760000 | #Constraints: 21295
1424.87/1428.60 c #Conflicts: 761000 | #Constraints: 22295
1424.87/1428.60 c #Conflicts: 762000 | #Constraints: 23295
1424.87/1428.60 c #Conflicts: 763000 | #Constraints: 24295
1424.87/1428.60 c #Conflicts: 764000 | #Constraints: 25295
1424.87/1428.60 c #Conflicts: 765000 | #Constraints: 26295
1424.87/1428.60 c #Conflicts: 766000 | #Constraints: 27295
1424.87/1428.60 c #Conflicts: 767000 | #Constraints: 28295
1424.87/1428.60 c #Conflicts: 768000 | #Constraints: 29295
1424.87/1428.60 c #Conflicts: 769000 | #Constraints: 30295
1424.87/1428.60 c #Conflicts: 770000 | #Constraints: 31295
1424.87/1428.60 c #Conflicts: 771000 | #Constraints: 32295
1424.87/1428.60 c #Conflicts: 772000 | #Constraints: 33295
1424.87/1428.60 c #Conflicts: 773000 | #Constraints: 34295
1424.87/1428.60 c #Conflicts: 774000 | #Constraints: 35295
1424.87/1428.60 c INPROCESSING
1424.87/1428.60 c GARBAGE COLLECT
1424.87/1428.60 c #Conflicts: 775000 | #Constraints: 18895
1424.87/1428.60 c #Conflicts: 776000 | #Constraints: 19895
1424.87/1428.60 c #Conflicts: 777000 | #Constraints: 20895
1424.87/1428.60 c #Conflicts: 778000 | #Constraints: 21895
1424.87/1428.60 c #Conflicts: 779000 | #Constraints: 22895
1424.87/1428.60 c #Conflicts: 780000 | #Constraints: 23895
1424.87/1428.60 c #Conflicts: 781000 | #Constraints: 24895
1424.87/1428.60 c #Conflicts: 782000 | #Constraints: 25895
1424.87/1428.60 c #Conflicts: 783000 | #Constraints: 26895
1424.87/1428.60 c #Conflicts: 784000 | #Constraints: 27895
1424.87/1428.60 c #Conflicts: 785000 | #Constraints: 28895
1424.87/1428.60 c #Conflicts: 786000 | #Constraints: 29895
1424.87/1428.60 c #Conflicts: 787000 | #Constraints: 30895
1424.87/1428.60 c #Conflicts: 788000 | #Constraints: 31895
1424.87/1428.60 c #Conflicts: 789000 | #Constraints: 32895
1424.87/1428.60 c #Conflicts: 790000 | #Constraints: 33895
1424.87/1428.60 c #Conflicts: 791000 | #Constraints: 34895
1424.87/1428.60 c #Conflicts: 792000 | #Constraints: 35895
1424.87/1428.60 c INPROCESSING
1424.87/1428.60 c GARBAGE COLLECT
1424.87/1428.60 c #Conflicts: 793000 | #Constraints: 19287
1424.87/1428.60 c #Conflicts: 794000 | #Constraints: 20287
1424.87/1428.60 c #Conflicts: 795000 | #Constraints: 21287
1424.87/1428.60 c #Conflicts: 796000 | #Constraints: 22287
1424.87/1428.60 c #Conflicts: 797000 | #Constraints: 23287
1424.87/1428.60 c #Conflicts: 798000 | #Constraints: 24287
1424.87/1428.60 c #Conflicts: 799000 | #Constraints: 25287
1424.87/1428.60 c #Conflicts: 800000 | #Constraints: 26287
1424.87/1428.60 c #Conflicts: 801000 | #Constraints: 27287
1424.87/1428.60 c #Conflicts: 802000 | #Constraints: 28287
1424.87/1428.60 c #Conflicts: 803000 | #Constraints: 29287
1424.87/1428.60 c #Conflicts: 804000 | #Constraints: 30287
1424.87/1428.60 c #Conflicts: 805000 | #Constraints: 31287
1424.87/1428.60 c #Conflicts: 806000 | #Constraints: 32287
1424.87/1428.60 c #Conflicts: 807000 | #Constraints: 33287
1424.87/1428.60 c #Conflicts: 808000 | #Constraints: 34287
1424.87/1428.60 c #Conflicts: 809000 | #Constraints: 35287
1424.87/1428.60 c #Conflicts: 810000 | #Constraints: 36287
1424.87/1428.60 c INPROCESSING
1424.87/1428.60 c GARBAGE COLLECT
1424.87/1428.60 c #Conflicts: 811000 | #Constraints: 19483
1424.87/1428.60 c #Conflicts: 812000 | #Constraints: 20483
1685.41/1689.87 c #Conflicts: 813000 | #Constraints: 21483
1685.41/1689.87 c #Conflicts: 814000 | #Constraints: 22483
1685.41/1689.87 c #Conflicts: 815000 | #Constraints: 23483
1685.41/1689.87 c #Conflicts: 816000 | #Constraints: 24483
1685.41/1689.87 c #Conflicts: 817000 | #Constraints: 25483
1685.41/1689.87 c #Conflicts: 818000 | #Constraints: 26483
1685.41/1689.87 c #Conflicts: 819000 | #Constraints: 27483
1685.41/1689.87 c #Conflicts: 820000 | #Constraints: 28483
1685.41/1689.87 c #Conflicts: 821000 | #Constraints: 29483
1685.41/1689.87 c #Conflicts: 822000 | #Constraints: 30483
1685.41/1689.87 c #Conflicts: 823000 | #Constraints: 31483
1685.41/1689.87 c #Conflicts: 824000 | #Constraints: 32483
1685.41/1689.87 c #Conflicts: 825000 | #Constraints: 33483
1685.41/1689.87 c #Conflicts: 826000 | #Constraints: 34483
1685.41/1689.87 c #Conflicts: 827000 | #Constraints: 35483
1685.41/1689.87 c #Conflicts: 828000 | #Constraints: 36483
1685.41/1689.87 c INPROCESSING
1685.41/1689.87 c GARBAGE COLLECT
1685.41/1689.87 c #Conflicts: 829000 | #Constraints: 19487
1685.41/1689.87 c #Conflicts: 830000 | #Constraints: 20487
1685.41/1689.87 c #Conflicts: 831000 | #Constraints: 21487
1685.41/1689.87 c #Conflicts: 832000 | #Constraints: 22487
1685.41/1689.87 c #Conflicts: 833000 | #Constraints: 23487
1685.41/1689.87 c #Conflicts: 834000 | #Constraints: 24487
1685.41/1689.87 c #Conflicts: 835000 | #Constraints: 25487
1685.41/1689.87 c #Conflicts: 836000 | #Constraints: 26487
1685.41/1689.87 c #Conflicts: 837000 | #Constraints: 27487
1685.41/1689.87 c #Conflicts: 838000 | #Constraints: 28487
1685.41/1689.87 c #Conflicts: 839000 | #Constraints: 29487
1685.41/1689.87 c #Conflicts: 840000 | #Constraints: 30487
1685.41/1689.87 c #Conflicts: 841000 | #Constraints: 31487
1685.41/1689.87 c #Conflicts: 842000 | #Constraints: 32487
1685.41/1689.87 c #Conflicts: 843000 | #Constraints: 33487
1685.41/1689.87 c #Conflicts: 844000 | #Constraints: 34487
1685.41/1689.87 c #Conflicts: 845000 | #Constraints: 35487
1685.41/1689.87 c #Conflicts: 846000 | #Constraints: 36487
1685.41/1689.87 c INPROCESSING
1685.41/1689.87 c GARBAGE COLLECT
1685.41/1689.87 c #Conflicts: 847000 | #Constraints: 19291
1685.41/1689.87 c #Conflicts: 848000 | #Constraints: 20291
1685.41/1689.87 c #Conflicts: 849000 | #Constraints: 21291
1685.41/1689.87 c #Conflicts: 850000 | #Constraints: 22291
1685.41/1689.87 c #Conflicts: 851000 | #Constraints: 23291
1685.41/1689.87 c #Conflicts: 852000 | #Constraints: 24291
1685.41/1689.87 c #Conflicts: 853000 | #Constraints: 25291
1685.41/1689.87 c #Conflicts: 854000 | #Constraints: 26291
1685.41/1689.87 c #Conflicts: 855000 | #Constraints: 27291
1685.41/1689.87 c #Conflicts: 856000 | #Constraints: 28291
1685.41/1689.87 c #Conflicts: 857000 | #Constraints: 29291
1685.41/1689.87 c #Conflicts: 858000 | #Constraints: 30291
1685.41/1689.87 c #Conflicts: 859000 | #Constraints: 31291
1685.41/1689.87 c #Conflicts: 860000 | #Constraints: 32291
1685.41/1689.87 c #Conflicts: 861000 | #Constraints: 33291
1685.41/1689.87 c #Conflicts: 862000 | #Constraints: 34291
1685.41/1689.87 c #Conflicts: 863000 | #Constraints: 35291
1685.41/1689.87 c #Conflicts: 864000 | #Constraints: 36291
1685.41/1689.87 c #Conflicts: 865000 | #Constraints: 37291
1685.41/1689.87 c INPROCESSING
1685.41/1689.87 c GARBAGE COLLECT
1685.41/1689.87 c #Conflicts: 866000 | #Constraints: 19890
1685.41/1689.87 c #Conflicts: 867000 | #Constraints: 20890
1685.41/1689.87 c #Conflicts: 868000 | #Constraints: 21890
1685.41/1689.87 c #Conflicts: 869000 | #Constraints: 22890
1685.41/1689.87 c #Conflicts: 870000 | #Constraints: 23890
1685.41/1689.87 c #Conflicts: 871000 | #Constraints: 24890
1685.41/1689.87 c #Conflicts: 872000 | #Constraints: 25890
1685.41/1689.87 c #Conflicts: 873000 | #Constraints: 26890
1685.41/1689.87 c #Conflicts: 874000 | #Constraints: 27890
1685.41/1689.87 c #Conflicts: 875000 | #Constraints: 28890
1685.41/1689.87 c #Conflicts: 876000 | #Constraints: 29890
1685.41/1689.87 c #Conflicts: 877000 | #Constraints: 30890
1685.41/1689.87 c #Conflicts: 878000 | #Constraints: 31890
1685.41/1689.87 c #Conflicts: 879000 | #Constraints: 32890
1685.41/1689.87 c #Conflicts: 880000 | #Constraints: 33890
1685.41/1689.87 c #Conflicts: 881000 | #Constraints: 34890
1685.41/1689.87 c #Conflicts: 882000 | #Constraints: 35890
1685.41/1689.87 c #Conflicts: 883000 | #Constraints: 36890
1685.41/1689.87 c #Conflicts: 884000 | #Constraints: 37890
1685.41/1689.87 c INPROCESSING
1685.41/1689.87 c GARBAGE COLLECT
1685.41/1689.87 c #Conflicts: 885000 | #Constraints: 20290
1685.41/1689.87 c #Conflicts: 886000 | #Constraints: 21290
1685.41/1689.87 c #Conflicts: 887000 | #Constraints: 22290
1685.41/1689.87 c #Conflicts: 888000 | #Constraints: 23290
1975.57/1980.72 c #Conflicts: 889000 | #Constraints: 24290
1975.57/1980.72 c #Conflicts: 890000 | #Constraints: 25290
1975.57/1980.72 c #Conflicts: 891000 | #Constraints: 26290
1975.57/1980.72 c #Conflicts: 892000 | #Constraints: 27290
1975.57/1980.72 c #Conflicts: 893000 | #Constraints: 28290
1975.57/1980.72 c #Conflicts: 894000 | #Constraints: 29290
1975.57/1980.72 c #Conflicts: 895000 | #Constraints: 30290
1975.57/1980.72 c #Conflicts: 896000 | #Constraints: 31290
1975.57/1980.72 c #Conflicts: 897000 | #Constraints: 32290
1975.57/1980.72 c #Conflicts: 898000 | #Constraints: 33290
1975.57/1980.72 c #Conflicts: 899000 | #Constraints: 34290
1975.57/1980.72 c #Conflicts: 900000 | #Constraints: 35290
1975.57/1980.72 c #Conflicts: 901000 | #Constraints: 36290
1975.57/1980.72 c #Conflicts: 902000 | #Constraints: 37290
1975.57/1980.72 c #Conflicts: 903000 | #Constraints: 38290
1975.57/1980.72 c INPROCESSING
1975.57/1980.72 c GARBAGE COLLECT
1975.57/1980.72 c #Conflicts: 904000 | #Constraints: 20494
1975.57/1980.72 c #Conflicts: 905000 | #Constraints: 21494
1975.57/1980.72 c #Conflicts: 906000 | #Constraints: 22494
1975.57/1980.72 c #Conflicts: 907000 | #Constraints: 23494
1975.57/1980.72 c #Conflicts: 908000 | #Constraints: 24494
1975.57/1980.72 c #Conflicts: 909000 | #Constraints: 25494
1975.57/1980.72 c #Conflicts: 910000 | #Constraints: 26494
1975.57/1980.72 c #Conflicts: 911000 | #Constraints: 27494
1975.57/1980.72 c #Conflicts: 912000 | #Constraints: 28494
1975.57/1980.72 c #Conflicts: 913000 | #Constraints: 29494
1975.57/1980.72 c #Conflicts: 914000 | #Constraints: 30494
1975.57/1980.72 c #Conflicts: 915000 | #Constraints: 31494
1975.57/1980.72 c #Conflicts: 916000 | #Constraints: 32494
1975.57/1980.72 c #Conflicts: 917000 | #Constraints: 33494
1975.57/1980.72 c #Conflicts: 918000 | #Constraints: 34494
1975.57/1980.72 c #Conflicts: 919000 | #Constraints: 35494
1975.57/1980.72 c #Conflicts: 920000 | #Constraints: 36494
1975.57/1980.72 c #Conflicts: 921000 | #Constraints: 37494
1975.57/1980.72 c #Conflicts: 922000 | #Constraints: 38494
1975.57/1980.72 c INPROCESSING
1975.57/1980.72 c GARBAGE COLLECT
1975.57/1980.72 c #Conflicts: 923000 | #Constraints: 20489
1975.57/1980.72 c #Conflicts: 924000 | #Constraints: 21489
1975.57/1980.72 c #Conflicts: 925000 | #Constraints: 22489
1975.57/1980.72 c #Conflicts: 926000 | #Constraints: 23489
1975.57/1980.72 c #Conflicts: 927000 | #Constraints: 24489
1975.57/1980.72 c #Conflicts: 928000 | #Constraints: 25489
1975.57/1980.72 c #Conflicts: 929000 | #Constraints: 26489
1975.57/1980.72 c #Conflicts: 930000 | #Constraints: 27489
1975.57/1980.72 c #Conflicts: 931000 | #Constraints: 28489
1975.57/1980.72 c #Conflicts: 932000 | #Constraints: 29489
1975.57/1980.72 c #Conflicts: 933000 | #Constraints: 30489
1975.57/1980.72 c #Conflicts: 934000 | #Constraints: 31489
1975.57/1980.72 c #Conflicts: 935000 | #Constraints: 32489
1975.57/1980.72 c #Conflicts: 936000 | #Constraints: 33489
1975.57/1980.72 c #Conflicts: 937000 | #Constraints: 34489
1975.57/1980.72 c #Conflicts: 938000 | #Constraints: 35489
1975.57/1980.72 c #Conflicts: 939000 | #Constraints: 36489
1975.57/1980.72 c #Conflicts: 940000 | #Constraints: 37489
1975.57/1980.72 c #Conflicts: 941000 | #Constraints: 38489
1975.57/1980.72 c INPROCESSING
1975.57/1980.72 c GARBAGE COLLECT
1975.57/1980.72 c #Conflicts: 942000 | #Constraints: 20292
1975.57/1980.72 c #Conflicts: 943000 | #Constraints: 21292
1975.57/1980.72 c #Conflicts: 944000 | #Constraints: 22292
1975.57/1980.72 c #Conflicts: 945000 | #Constraints: 23292
1975.57/1980.72 c #Conflicts: 946000 | #Constraints: 24292
1975.57/1980.72 c #Conflicts: 947000 | #Constraints: 25292
1975.57/1980.72 c #Conflicts: 948000 | #Constraints: 26292
1975.57/1980.72 c #Conflicts: 949000 | #Constraints: 27292
1975.57/1980.72 c #Conflicts: 950000 | #Constraints: 28292
1975.57/1980.72 c #Conflicts: 951000 | #Constraints: 29292
1975.57/1980.72 c #Conflicts: 952000 | #Constraints: 30292
1975.57/1980.72 c #Conflicts: 953000 | #Constraints: 31292
1975.57/1980.72 c #Conflicts: 954000 | #Constraints: 32292
1975.57/1980.72 c #Conflicts: 955000 | #Constraints: 33292
1975.57/1980.72 c #Conflicts: 956000 | #Constraints: 34292
1975.57/1980.72 c #Conflicts: 957000 | #Constraints: 35292
1975.57/1980.72 c #Conflicts: 958000 | #Constraints: 36292
1975.57/1980.72 c #Conflicts: 959000 | #Constraints: 37292
1975.57/1980.72 c #Conflicts: 960000 | #Constraints: 38292
1975.57/1980.72 c #Conflicts: 961000 | #Constraints: 39292
1975.57/1980.72 c INPROCESSING
1975.57/1980.72 c GARBAGE COLLECT
1975.57/1980.72 c #Conflicts: 962000 | #Constraints: 20886
1975.57/1980.72 c #Conflicts: 963000 | #Constraints: 21886
1975.57/1980.72 c #Conflicts: 964000 | #Constraints: 22886
2388.17/2394.49 c #Conflicts: 965000 | #Constraints: 23886
2388.17/2394.49 c #Conflicts: 966000 | #Constraints: 24886
2388.17/2394.49 c #Conflicts: 967000 | #Constraints: 25886
2388.17/2394.49 c #Conflicts: 968000 | #Constraints: 26886
2388.17/2394.49 c #Conflicts: 969000 | #Constraints: 27886
2388.17/2394.49 c #Conflicts: 970000 | #Constraints: 28886
2388.17/2394.49 c #Conflicts: 971000 | #Constraints: 29886
2388.17/2394.49 c #Conflicts: 972000 | #Constraints: 30886
2388.17/2394.49 c #Conflicts: 973000 | #Constraints: 31886
2388.17/2394.49 c #Conflicts: 974000 | #Constraints: 32886
2388.17/2394.49 c #Conflicts: 975000 | #Constraints: 33886
2388.17/2394.49 c #Conflicts: 976000 | #Constraints: 34886
2388.17/2394.49 c #Conflicts: 977000 | #Constraints: 35886
2388.17/2394.49 c #Conflicts: 978000 | #Constraints: 36886
2388.17/2394.49 c #Conflicts: 979000 | #Constraints: 37886
2388.17/2394.49 c #Conflicts: 980000 | #Constraints: 38886
2388.17/2394.49 c #Conflicts: 981000 | #Constraints: 39886
2388.17/2394.49 c INPROCESSING
2388.17/2394.49 c GARBAGE COLLECT
2388.17/2394.49 c #Conflicts: 982000 | #Constraints: 21291
2388.17/2394.49 c #Conflicts: 983000 | #Constraints: 22291
2388.17/2394.49 c #Conflicts: 984000 | #Constraints: 23291
2388.17/2394.49 c #Conflicts: 985000 | #Constraints: 24291
2388.17/2394.49 c #Conflicts: 986000 | #Constraints: 25291
2388.17/2394.49 c #Conflicts: 987000 | #Constraints: 26291
2388.17/2394.49 c #Conflicts: 988000 | #Constraints: 27291
2388.17/2394.49 c #Conflicts: 989000 | #Constraints: 28291
2388.17/2394.49 c #Conflicts: 990000 | #Constraints: 29291
2388.17/2394.49 c #Conflicts: 991000 | #Constraints: 30291
2388.17/2394.49 c #Conflicts: 992000 | #Constraints: 31291
2388.17/2394.49 c #Conflicts: 993000 | #Constraints: 32291
2388.17/2394.49 c #Conflicts: 994000 | #Constraints: 33291
2388.17/2394.49 c #Conflicts: 995000 | #Constraints: 34291
2388.17/2394.49 c #Conflicts: 996000 | #Constraints: 35291
2388.17/2394.49 c #Conflicts: 997000 | #Constraints: 36291
2388.17/2394.49 c #Conflicts: 998000 | #Constraints: 37291
2388.17/2394.49 c #Conflicts: 999000 | #Constraints: 38291
2388.17/2394.49 c #Conflicts: 1000000 | #Constraints: 39291
2388.17/2394.49 c #Conflicts: 1001000 | #Constraints: 40291
2388.17/2394.49 c INPROCESSING
2388.17/2394.49 c GARBAGE COLLECT
2388.17/2394.49 c #Conflicts: 1002000 | #Constraints: 21498
2388.17/2394.49 c #Conflicts: 1003000 | #Constraints: 22498
2388.17/2394.49 c #Conflicts: 1004000 | #Constraints: 23498
2388.17/2394.49 c #Conflicts: 1005000 | #Constraints: 24498
2388.17/2394.49 c #Conflicts: 1006000 | #Constraints: 25498
2388.17/2394.49 c #Conflicts: 1007000 | #Constraints: 26498
2388.17/2394.49 c #Conflicts: 1008000 | #Constraints: 27498
2388.17/2394.49 c #Conflicts: 1009000 | #Constraints: 28498
2388.17/2394.49 c #Conflicts: 1010000 | #Constraints: 29498
2388.17/2394.49 c #Conflicts: 1011000 | #Constraints: 30498
2388.17/2394.49 c #Conflicts: 1012000 | #Constraints: 31498
2388.17/2394.49 c #Conflicts: 1013000 | #Constraints: 32498
2388.17/2394.49 c #Conflicts: 1014000 | #Constraints: 33498
2388.17/2394.49 c #Conflicts: 1015000 | #Constraints: 34498
2388.17/2394.49 c #Conflicts: 1016000 | #Constraints: 35498
2388.17/2394.49 c #Conflicts: 1017000 | #Constraints: 36498
2388.17/2394.49 c #Conflicts: 1018000 | #Constraints: 37498
2388.17/2394.49 c #Conflicts: 1019000 | #Constraints: 38498
2388.17/2394.49 c #Conflicts: 1020000 | #Constraints: 39498
2388.17/2394.49 c #Conflicts: 1021000 | #Constraints: 40498
2388.17/2394.49 c INPROCESSING
2388.17/2394.49 c GARBAGE COLLECT
2388.17/2394.49 c #Conflicts: 1022000 | #Constraints: 21499
2388.17/2394.49 c #Conflicts: 1023000 | #Constraints: 22499
2388.17/2394.49 c #Conflicts: 1024000 | #Constraints: 23499
2388.17/2394.49 c #Conflicts: 1025000 | #Constraints: 24499
2388.17/2394.49 c #Conflicts: 1026000 | #Constraints: 25499
2388.17/2394.49 c #Conflicts: 1027000 | #Constraints: 26499
2388.17/2394.49 c #Conflicts: 1028000 | #Constraints: 27499
2388.17/2394.49 c #Conflicts: 1029000 | #Constraints: 28499
2388.17/2394.49 c #Conflicts: 1030000 | #Constraints: 29499
2388.17/2394.49 c #Conflicts: 1031000 | #Constraints: 30499
2388.17/2394.49 c #Conflicts: 1032000 | #Constraints: 31499
2388.17/2394.49 c #Conflicts: 1033000 | #Constraints: 32499
2388.17/2394.49 c #Conflicts: 1034000 | #Constraints: 33499
2388.17/2394.49 c #Conflicts: 1035000 | #Constraints: 34499
2388.17/2394.49 c #Conflicts: 1036000 | #Constraints: 35499
2388.17/2394.49 c #Conflicts: 1037000 | #Constraints: 36499
2388.17/2394.49 c #Conflicts: 1038000 | #Constraints: 37499
2388.17/2394.49 c #Conflicts: 1039000 | #Constraints: 38499
2388.17/2394.49 c #Conflicts: 1040000 | #Constraints: 39499
2388.17/2394.49 c #Conflicts: 1041000 | #Constraints: 40499
2915.03/2922.68 c INPROCESSING
2915.03/2922.68 c GARBAGE COLLECT
2915.03/2922.68 c #Conflicts: 1042000 | #Constraints: 21300
2915.03/2922.68 c #Conflicts: 1043000 | #Constraints: 22300
2915.03/2922.68 c #Conflicts: 1044000 | #Constraints: 23300
2915.03/2922.68 c #Conflicts: 1045000 | #Constraints: 24300
2915.03/2922.68 c #Conflicts: 1046000 | #Constraints: 25300
2915.03/2922.68 c #Conflicts: 1047000 | #Constraints: 26300
2915.03/2922.68 c #Conflicts: 1048000 | #Constraints: 27300
2915.03/2922.68 c #Conflicts: 1049000 | #Constraints: 28300
2915.03/2922.68 c #Conflicts: 1050000 | #Constraints: 29300
2915.03/2922.68 c #Conflicts: 1051000 | #Constraints: 30300
2915.03/2922.68 c #Conflicts: 1052000 | #Constraints: 31300
2915.03/2922.68 c #Conflicts: 1053000 | #Constraints: 32300
2915.03/2922.68 c #Conflicts: 1054000 | #Constraints: 33300
2915.03/2922.68 c #Conflicts: 1055000 | #Constraints: 34300
2915.03/2922.68 c #Conflicts: 1056000 | #Constraints: 35300
2915.03/2922.68 c #Conflicts: 1057000 | #Constraints: 36300
2915.03/2922.68 c #Conflicts: 1058000 | #Constraints: 37300
2915.03/2922.68 c #Conflicts: 1059000 | #Constraints: 38300
2915.03/2922.68 c #Conflicts: 1060000 | #Constraints: 39300
2915.03/2922.68 c #Conflicts: 1061000 | #Constraints: 40300
2915.03/2922.68 c #Conflicts: 1062000 | #Constraints: 41300
2915.03/2922.68 c INPROCESSING
2915.03/2922.68 c GARBAGE COLLECT
2915.03/2922.68 c #Conflicts: 1063000 | #Constraints: 21915
2915.03/2922.68 c #Conflicts: 1064000 | #Constraints: 22915
2915.03/2922.68 c #Conflicts: 1065000 | #Constraints: 23915
2915.03/2922.68 c #Conflicts: 1066000 | #Constraints: 24915
2915.03/2922.68 c #Conflicts: 1067000 | #Constraints: 25915
2915.03/2922.68 c #Conflicts: 1068000 | #Constraints: 26915
2915.03/2922.68 c #Conflicts: 1069000 | #Constraints: 27915
2915.03/2922.68 c #Conflicts: 1070000 | #Constraints: 28915
2915.03/2922.68 c #Conflicts: 1071000 | #Constraints: 29915
2915.03/2922.68 c #Conflicts: 1072000 | #Constraints: 30915
2915.03/2922.68 c #Conflicts: 1073000 | #Constraints: 31915
2915.03/2922.68 c #Conflicts: 1074000 | #Constraints: 32915
2915.03/2922.68 c #Conflicts: 1075000 | #Constraints: 33915
2915.03/2922.68 c #Conflicts: 1076000 | #Constraints: 34915
2915.03/2922.68 c #Conflicts: 1077000 | #Constraints: 35915
2915.03/2922.68 c #Conflicts: 1078000 | #Constraints: 36915
2915.03/2922.68 c #Conflicts: 1079000 | #Constraints: 37915
2915.03/2922.68 c #Conflicts: 1080000 | #Constraints: 38915
2915.03/2922.68 c #Conflicts: 1081000 | #Constraints: 39915
2915.03/2922.68 c #Conflicts: 1082000 | #Constraints: 40915
2915.03/2922.68 c #Conflicts: 1083000 | #Constraints: 41915
2915.03/2922.68 c INPROCESSING
2915.03/2922.68 c GARBAGE COLLECT
2915.03/2922.68 c #Conflicts: 1084000 | #Constraints: 22318
2915.03/2922.68 c #Conflicts: 1085000 | #Constraints: 23318
2915.03/2922.68 c #Conflicts: 1086000 | #Constraints: 24318
2915.03/2922.68 c #Conflicts: 1087000 | #Constraints: 25318
2915.03/2922.68 c #Conflicts: 1088000 | #Constraints: 26318
2915.03/2922.68 c #Conflicts: 1089000 | #Constraints: 27318
2915.03/2922.68 c #Conflicts: 1090000 | #Constraints: 28318
2915.03/2922.68 c #Conflicts: 1091000 | #Constraints: 29318
2915.03/2922.68 c #Conflicts: 1092000 | #Constraints: 30318
2915.03/2922.68 c #Conflicts: 1093000 | #Constraints: 31318
2915.03/2922.68 c #Conflicts: 1094000 | #Constraints: 32318
2915.03/2922.68 c #Conflicts: 1095000 | #Constraints: 33318
2915.03/2922.68 c #Conflicts: 1096000 | #Constraints: 34318
2915.03/2922.68 c #Conflicts: 1097000 | #Constraints: 35318
2915.03/2922.68 c #Conflicts: 1098000 | #Constraints: 36318
2915.03/2922.68 c #Conflicts: 1099000 | #Constraints: 37318
2915.03/2922.68 c #Conflicts: 1100000 | #Constraints: 38318
2915.03/2922.68 c #Conflicts: 1101000 | #Constraints: 39318
2915.03/2922.68 c #Conflicts: 1102000 | #Constraints: 40318
2915.03/2922.68 c #Conflicts: 1103000 | #Constraints: 41318
2915.03/2922.68 c #Conflicts: 1104000 | #Constraints: 42318
2915.03/2922.68 c INPROCESSING
2915.03/2922.68 c GARBAGE COLLECT
2915.03/2922.68 c #Conflicts: 1105000 | #Constraints: 22517
2915.03/2922.68 c #Conflicts: 1106000 | #Constraints: 23517
2915.03/2922.68 c #Conflicts: 1107000 | #Constraints: 24517
2915.03/2922.68 c #Conflicts: 1108000 | #Constraints: 25517
2915.03/2922.68 c #Conflicts: 1109000 | #Constraints: 26517
2915.03/2922.68 c #Conflicts: 1110000 | #Constraints: 27517
2915.03/2922.68 c #Conflicts: 1111000 | #Constraints: 28517
2915.03/2922.68 c #Conflicts: 1112000 | #Constraints: 29517
2915.03/2922.68 c #Conflicts: 1113000 | #Constraints: 30517
2915.03/2922.68 c #Conflicts: 1114000 | #Constraints: 31517
2915.03/2922.68 c #Conflicts: 1115000 | #Constraints: 32517
2915.03/2922.68 c #Conflicts: 1116000 | #Constraints: 33517
2915.03/2922.68 c #Conflicts: 1117000 | #Constraints: 34517
3201.31/3209.68 c #Conflicts: 1118000 | #Constraints: 35517
3201.31/3209.68 c #Conflicts: 1119000 | #Constraints: 36517
3201.31/3209.68 c #Conflicts: 1120000 | #Constraints: 37517
3201.31/3209.68 c #Conflicts: 1121000 | #Constraints: 38517
3201.31/3209.68 c #Conflicts: 1122000 | #Constraints: 39517
3201.31/3209.68 c #Conflicts: 1123000 | #Constraints: 40517
3201.31/3209.68 c #Conflicts: 1124000 | #Constraints: 41517
3201.31/3209.68 c #Conflicts: 1125000 | #Constraints: 42517
3201.31/3209.68 c INPROCESSING
3201.31/3209.68 c GARBAGE COLLECT
3201.31/3209.68 c #Conflicts: 1126000 | #Constraints: 22516
3201.31/3209.68 c #Conflicts: 1127000 | #Constraints: 23516
3201.31/3209.68 c #Conflicts: 1128000 | #Constraints: 24516
3201.31/3209.68 c #Conflicts: 1129000 | #Constraints: 25516
3201.31/3209.68 c #Conflicts: 1130000 | #Constraints: 26516
3201.31/3209.68 c #Conflicts: 1131000 | #Constraints: 27516
3201.31/3209.68 c #Conflicts: 1132000 | #Constraints: 28516
3201.31/3209.68 c #Conflicts: 1133000 | #Constraints: 29516
3201.31/3209.68 c #Conflicts: 1134000 | #Constraints: 30516
3201.31/3209.68 c #Conflicts: 1135000 | #Constraints: 31516
3201.31/3209.68 c #Conflicts: 1136000 | #Constraints: 32516
3201.31/3209.68 c #Conflicts: 1137000 | #Constraints: 33516
3201.31/3209.68 c #Conflicts: 1138000 | #Constraints: 34516
3201.31/3209.68 c #Conflicts: 1139000 | #Constraints: 35516
3201.31/3209.68 c #Conflicts: 1140000 | #Constraints: 36516
3201.31/3209.68 c #Conflicts: 1141000 | #Constraints: 37516
3201.31/3209.68 c #Conflicts: 1142000 | #Constraints: 38516
3201.31/3209.68 c #Conflicts: 1143000 | #Constraints: 39516
3201.31/3209.68 c #Conflicts: 1144000 | #Constraints: 40516
3201.31/3209.68 c #Conflicts: 1145000 | #Constraints: 41516
3201.31/3209.68 c #Conflicts: 1146000 | #Constraints: 42516
3201.31/3209.68 c INPROCESSING
3201.31/3209.68 c GARBAGE COLLECT
3201.31/3209.68 c #Conflicts: 1147000 | #Constraints: 22313
3201.31/3209.68 c #Conflicts: 1148000 | #Constraints: 23313
3201.31/3209.68 c #Conflicts: 1149000 | #Constraints: 24313
3201.31/3209.68 c #Conflicts: 1150000 | #Constraints: 25313
3201.31/3209.68 c #Conflicts: 1151000 | #Constraints: 26313
3201.31/3209.68 c #Conflicts: 1152000 | #Constraints: 27313
3201.31/3209.68 c #Conflicts: 1153000 | #Constraints: 28313
3201.31/3209.68 c #Conflicts: 1154000 | #Constraints: 29313
3201.31/3209.68 c #Conflicts: 1155000 | #Constraints: 30313
3201.31/3209.68 c #Conflicts: 1156000 | #Constraints: 31313
3201.31/3209.68 c #Conflicts: 1157000 | #Constraints: 32313
3201.31/3209.68 c #Conflicts: 1158000 | #Constraints: 33313
3201.31/3209.68 c #Conflicts: 1159000 | #Constraints: 34313
3201.31/3209.68 c #Conflicts: 1160000 | #Constraints: 35313
3201.31/3209.68 c #Conflicts: 1161000 | #Constraints: 36313
3201.31/3209.68 c #Conflicts: 1162000 | #Constraints: 37313
3201.31/3209.68 c #Conflicts: 1163000 | #Constraints: 38313
3201.31/3209.68 c #Conflicts: 1164000 | #Constraints: 39313
3201.31/3209.68 c #Conflicts: 1165000 | #Constraints: 40313
3201.31/3209.68 c #Conflicts: 1166000 | #Constraints: 41313
3201.31/3209.68 c #Conflicts: 1167000 | #Constraints: 42313
3201.31/3209.68 c #Conflicts: 1168000 | #Constraints: 43313
3201.31/3209.68 c INPROCESSING
3201.31/3209.68 c GARBAGE COLLECT
3201.31/3209.68 c #Conflicts: 1169000 | #Constraints: 22909
3201.31/3209.68 c #Conflicts: 1170000 | #Constraints: 23909
3201.31/3209.68 c #Conflicts: 1171000 | #Constraints: 24909
3201.31/3209.68 c #Conflicts: 1172000 | #Constraints: 25909
3201.31/3209.68 c #Conflicts: 1173000 | #Constraints: 26909
3201.31/3209.68 c #Conflicts: 1174000 | #Constraints: 27909
3201.31/3209.68 c #Conflicts: 1175000 | #Constraints: 28909
3201.31/3209.68 c #Conflicts: 1176000 | #Constraints: 29909
3201.31/3209.68 c #Conflicts: 1177000 | #Constraints: 30909
3201.31/3209.68 c #Conflicts: 1178000 | #Constraints: 31909
3201.31/3209.68 c #Conflicts: 1179000 | #Constraints: 32909
3201.31/3209.68 c #Conflicts: 1180000 | #Constraints: 33909
3201.31/3209.68 c #Conflicts: 1181000 | #Constraints: 34909
3201.31/3209.68 c #Conflicts: 1182000 | #Constraints: 35909
3201.31/3209.68 c #Conflicts: 1183000 | #Constraints: 36909
3201.31/3209.68 c #Conflicts: 1184000 | #Constraints: 37909
3201.31/3209.68 c #Conflicts: 1185000 | #Constraints: 38909
3201.31/3209.68 c #Conflicts: 1186000 | #Constraints: 39909
3201.31/3209.68 c #Conflicts: 1187000 | #Constraints: 40909
3201.31/3209.68 c #Conflicts: 1188000 | #Constraints: 41909
3201.31/3209.68 c #Conflicts: 1189000 | #Constraints: 42909
3201.31/3209.68 c #Conflicts: 1190000 | #Constraints: 43909
3201.31/3209.68 c INPROCESSING
3201.31/3209.68 c GARBAGE COLLECT
3201.31/3209.68 c #Conflicts: 1191000 | #Constraints: 23308
3201.31/3209.68 c #Conflicts: 1192000 | #Constraints: 24308
3201.31/3209.68 c #Conflicts: 1193000 | #Constraints: 25308
3521.31/3530.44 c #Conflicts: 1194000 | #Constraints: 26308
3521.31/3530.44 c #Conflicts: 1195000 | #Constraints: 27308
3521.31/3530.44 c #Conflicts: 1196000 | #Constraints: 28308
3521.31/3530.44 c #Conflicts: 1197000 | #Constraints: 29308
3521.31/3530.44 c #Conflicts: 1198000 | #Constraints: 30308
3521.31/3530.44 c #Conflicts: 1199000 | #Constraints: 31308
3521.31/3530.44 c #Conflicts: 1200000 | #Constraints: 32308
3521.31/3530.44 c #Conflicts: 1201000 | #Constraints: 33308
3521.31/3530.44 c #Conflicts: 1202000 | #Constraints: 34308
3521.31/3530.44 c #Conflicts: 1203000 | #Constraints: 35308
3521.31/3530.44 c #Conflicts: 1204000 | #Constraints: 36308
3521.31/3530.44 c #Conflicts: 1205000 | #Constraints: 37308
3521.31/3530.44 c #Conflicts: 1206000 | #Constraints: 38308
3521.31/3530.44 c #Conflicts: 1207000 | #Constraints: 39308
3521.31/3530.44 c #Conflicts: 1208000 | #Constraints: 40308
3521.31/3530.44 c #Conflicts: 1209000 | #Constraints: 41308
3521.31/3530.44 c #Conflicts: 1210000 | #Constraints: 42308
3521.31/3530.44 c #Conflicts: 1211000 | #Constraints: 43308
3521.31/3530.44 c #Conflicts: 1212000 | #Constraints: 44308
3521.31/3530.44 c INPROCESSING
3521.31/3530.44 c GARBAGE COLLECT
3521.31/3530.44 c #Conflicts: 1213000 | #Constraints: 23504
3521.31/3530.44 c #Conflicts: 1214000 | #Constraints: 24504
3521.31/3530.44 c #Conflicts: 1215000 | #Constraints: 25504
3521.31/3530.44 c #Conflicts: 1216000 | #Constraints: 26504
3521.31/3530.44 c #Conflicts: 1217000 | #Constraints: 27504
3521.31/3530.44 c #Conflicts: 1218000 | #Constraints: 28504
3521.31/3530.44 c #Conflicts: 1219000 | #Constraints: 29504
3521.31/3530.44 c #Conflicts: 1220000 | #Constraints: 30504
3521.31/3530.44 c #Conflicts: 1221000 | #Constraints: 31504
3521.31/3530.44 c #Conflicts: 1222000 | #Constraints: 32504
3521.31/3530.44 c #Conflicts: 1223000 | #Constraints: 33504
3521.31/3530.44 c #Conflicts: 1224000 | #Constraints: 34504
3521.31/3530.44 c #Conflicts: 1225000 | #Constraints: 35504
3521.31/3530.44 c #Conflicts: 1226000 | #Constraints: 36504
3521.31/3530.44 c #Conflicts: 1227000 | #Constraints: 37504
3521.31/3530.44 c #Conflicts: 1228000 | #Constraints: 38504
3521.31/3530.44 c #Conflicts: 1229000 | #Constraints: 39504
3521.31/3530.44 c #Conflicts: 1230000 | #Constraints: 40504
3521.31/3530.44 c #Conflicts: 1231000 | #Constraints: 41504
3521.31/3530.44 c #Conflicts: 1232000 | #Constraints: 42504
3521.31/3530.44 c #Conflicts: 1233000 | #Constraints: 43504
3521.31/3530.44 c #Conflicts: 1234000 | #Constraints: 44504
3521.31/3530.44 c INPROCESSING
3521.31/3530.44 c GARBAGE COLLECT
3521.31/3530.44 c #Conflicts: 1235000 | #Constraints: 23502
3521.31/3530.44 c #Conflicts: 1236000 | #Constraints: 24502
3521.31/3530.44 c #Conflicts: 1237000 | #Constraints: 25502
3521.31/3530.44 c #Conflicts: 1238000 | #Constraints: 26502
3521.31/3530.44 c #Conflicts: 1239000 | #Constraints: 27502
3521.31/3530.44 c #Conflicts: 1240000 | #Constraints: 28502
3521.31/3530.44 c #Conflicts: 1241000 | #Constraints: 29502
3521.31/3530.44 c #Conflicts: 1242000 | #Constraints: 30502
3521.31/3530.44 c #Conflicts: 1243000 | #Constraints: 31502
3521.31/3530.44 c #Conflicts: 1244000 | #Constraints: 32502
3521.31/3530.44 c #Conflicts: 1245000 | #Constraints: 33502
3521.31/3530.44 c #Conflicts: 1246000 | #Constraints: 34502
3521.31/3530.44 c #Conflicts: 1247000 | #Constraints: 35502
3521.31/3530.44 c #Conflicts: 1248000 | #Constraints: 36502
3521.31/3530.44 c #Conflicts: 1249000 | #Constraints: 37502
3521.31/3530.44 c #Conflicts: 1250000 | #Constraints: 38502
3521.31/3530.44 c #Conflicts: 1251000 | #Constraints: 39502
3521.31/3530.44 c #Conflicts: 1252000 | #Constraints: 40502
3521.31/3530.44 c #Conflicts: 1253000 | #Constraints: 41502
3521.31/3530.44 c #Conflicts: 1254000 | #Constraints: 42502
3521.31/3530.44 c #Conflicts: 1255000 | #Constraints: 43502
3521.31/3530.44 c #Conflicts: 1256000 | #Constraints: 44502
3521.31/3530.44 c INPROCESSING
3521.31/3530.44 c GARBAGE COLLECT
3521.31/3530.44 c #Conflicts: 1257000 | #Constraints: 23303
3521.31/3530.44 c #Conflicts: 1258000 | #Constraints: 24303
3521.31/3530.44 c #Conflicts: 1259000 | #Constraints: 25303
3521.31/3530.44 c #Conflicts: 1260000 | #Constraints: 26303
3521.31/3530.44 c #Conflicts: 1261000 | #Constraints: 27303
3521.31/3530.44 c #Conflicts: 1262000 | #Constraints: 28303
3521.31/3530.44 c #Conflicts: 1263000 | #Constraints: 29303
3521.31/3530.44 c #Conflicts: 1264000 | #Constraints: 30303
3521.31/3530.44 c #Conflicts: 1265000 | #Constraints: 31303
3521.31/3530.44 c #Conflicts: 1266000 | #Constraints: 32303
3521.31/3530.44 c #Conflicts: 1267000 | #Constraints: 33303
3521.31/3530.44 c #Conflicts: 1268000 | #Constraints: 34303
3521.31/3530.44 c #Conflicts: 1269000 | #Constraints: 35303
3521.31/3530.44 c #Conflicts: 1270000 | #Constraints: 36303
3600.00/3609.30 c #Conflicts: 1271000 | #Constraints: 37303
3600.00/3609.30 c #Conflicts: 1272000 | #Constraints: 38303
3600.00/3609.30 c #Conflicts: 1273000 | #Constraints: 39303
3600.00/3609.30 c #Conflicts: 1274000 | #Constraints: 40303
3600.00/3609.30 c #Conflicts: 1275000 | #Constraints: 41303
3600.00/3609.30 c #Conflicts: 1276000 | #Constraints: 42303
3600.00/3609.30 c #Conflicts: 1277000 | #Constraints: 43303
3600.00/3609.30 c #Conflicts: 1278000 | #Constraints: 44303
3600.00/3609.30 c Program interrupted by user.
3600.00/3609.30 c cpu time 3588.4 s
3600.00/3609.30 c deterministic time 528495844684 5.28e+11
3600.00/3609.30 c optimization time 130.081 s
3600.00/3609.30 c total solve time 3458.32 s
3600.00/3609.30 c core-guided solve time 3458.32 s
3600.00/3609.30 c propagation time 3335.22 s
3600.00/3609.30 c conflict analysis time 222.317 s
3600.00/3609.30 c propagations 60933041
3600.00/3609.30 c resolve steps 7291422
3600.00/3609.30 c decisions 6124132
3600.00/3609.30 c conflicts 1278351
3600.00/3609.30 c restarts 2452
3600.00/3609.30 c inprocessing phases 103
3600.00/3609.30 c input clauses 437
3600.00/3609.30 c input cardinalities 140
3600.00/3609.30 c input general constraints 126
3600.00/3609.30 c input average constraint length 37.90
3600.00/3609.30 c input average constraint degree 22.27
3600.00/3609.30 c learned clauses 27083
3600.00/3609.30 c learned cardinalities 793
3600.00/3609.30 c learned general constraints 1250492
3600.00/3609.30 c learned average constraint length 220.38
3600.00/3609.30 c learned average constraint degree 2391673.51
3600.00/3609.30 c watched constraints 885709
3600.00/3609.30 c counting constraints 364909
3600.00/3609.30 c gcd simplifications 3333
3600.00/3609.30 c detected cardinalities 7
3600.00/3609.30 c weakened non-implied lits 18059515
3600.00/3609.30 c weakened non-implying lits 26601
3600.00/3609.30 c original variables 435
3600.00/3609.30 c clausal propagations 15095424
3600.00/3609.30 c cardinality propagations 4940108
3600.00/3609.30 c watched propagations 10716562
3600.00/3609.30 c counting propagations 29765944
3600.00/3609.30 c watch lookups 43837489608
3600.00/3609.30 c watch backjump lookups 39629427198
3600.00/3609.30 c watch checks 352141935180
3600.00/3609.30 c propagation checks 91882349755
3600.00/3609.30 c constraint additions 869250543
3600.00/3609.30 c trail pops 68335226
3600.00/3609.30 c formula constraints 501
3600.00/3609.30 c learned constraints 1278368
3600.00/3609.30 c bound constraints 55
3600.00/3609.30 c core-guided constraints 147
3600.00/3609.30 c encountered formula constraints 3202094
3600.00/3609.30 c encountered learned constraints 5081314
3600.00/3609.30 c encountered bound constraints 297
3600.00/3609.30 c encountered core-guided constraints 286068
3600.00/3609.30 c LP total time 0 s
3600.00/3609.30 c LP solve time 0 s
3600.00/3609.30 c LP constraints added 0
3600.00/3609.30 c LP constraints removed 0
3600.00/3609.30 c LP pivots internal 0
3600.00/3609.30 c LP pivots root 0
3600.00/3609.30 c LP calls 0
3600.00/3609.30 c LP optimalities 0
3600.00/3609.30 c LP no pivot count 0
3600.00/3609.30 c LP infeasibilities 0
3600.00/3609.30 c LP valid Farkas constraints 0
3600.00/3609.30 c LP learned Farkas constraints 0
3600.00/3609.30 c LP basis resets 0
3600.00/3609.30 c LP cycling count 0
3600.00/3609.30 c LP singular count 0
3600.00/3609.30 c LP no primal count 0
3600.00/3609.30 c LP no farkas count 0
3600.00/3609.30 c LP other issue count 0
3600.00/3609.30 c LP Gomory cuts 0
3600.00/3609.30 c LP learned cuts 0
3600.00/3609.30 c LP deleted cuts 0
3600.00/3609.30 c LP encountered Gomory constraints 0
3600.00/3609.30 c LP encountered Farkas constraints 0
3600.00/3609.30 c LP encountered learned Farkas constraints 0
3600.00/3609.30 c CG auxiliary variables introduced 61
3600.00/3609.30 c CG solutions found 3
3600.00/3609.30 c CG cores constructed 34
3600.00/3609.30 c CG core cardinality constraints returned 4
3600.00/3609.30 c CG unit cores 0
3600.00/3609.30 c CG single cores 32
3600.00/3609.30 c CG blocks removed during cardinality reduction 0
3600.00/3609.30 c CG first core best 0
3600.00/3609.30 c CG decision core best 1
3600.00/3609.30 c CG core reduction tie 1
3600.00/3609.30 c CG core degree average 1.12
3600.00/3609.30 c CG core slack average 7.76
3600.00/3609.30 c CG exhausted 0
3600.00/3609.30 c CG exhaust time 3.21816 s
3600.00/3609.30 c CG trimmed 2
3600.00/3609.30 c CG trim time 0.008774 s
3600.00/3609.30 c CG minimized 0
3600.00/3609.30 c CG minimize time 0 s
3600.00/3609.30 c CG am1 prop time 0.004159 s
3600.00/3609.30 c CG # am1s reformulated 4
3600.00/3609.30 c CG lower bound derived from am1s 10
3600.00/3609.30 c CG # clausal cores 32
3600.00/3609.30 c CG # cardinality cores 4
3600.00/3609.30 c CG # pb cores 0
3600.00/3609.30 c CG # pb reforms 15
3600.00/3609.30 c CG # cores discarded because of pb reform 0
3600.00/3609.30 d LOWERBOUND -192
3600.00/3609.30 d NCORES 34
3600.00/3609.30 d NPBCORES 0
3600.00/3609.30 d NPBREFORM 15
3600.00/3609.30 d NTRIMMED 2
3600.00/3609.30 d NEXHAUSTED 0
3600.00/3609.30 d NAM1S 4
3600.00/3609.30 d AM1LB 10
3600.00/3609.30 o 0
3600.00/3609.30 s SATISFIABLE
3600.00/3609.30 v x1 x2 -x3 x4 x5 x6 x7 x8 -x9 -x10 x11 x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 x65 x66 x67 -x68 x69 x70 -x71 -x72 -x73 -x74 x75 x76 x77 x78 x79 -x80 x81 x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 x98 x99 x100 x101 x102 x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 x116 x117 x118 x119 -x120 x121 x122 x123 -x124 -x125 -x126 -x127 x128 x129 x130 x131 x132 x133 x134 -x135 -x136 -x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 -x147 -x148 x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 x167 -x168 -x169 -x170 x171 -x172 -x173 x174 x175 -x176 -x177 -x178 x179 x180 -x181 x182 x183 x184 x185 x186 -x187 x188 x189 x190 x191 x192 x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 x205 -x206 -x207 -x208 x209 -x210 -x211 x212 x213 x214 x215 -x216 x217 x218 x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 x233 x234 x235 x236 -x237 -x238 x239 x240 -x241 -x242 x243 x244 -x245 -x246 -x247 -x248 x249 x250 -x251 -x252 -x253 x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 x266 x267 x268 x269 x270 x271 x272 -x273 -x274 x275 x276 -x277 -x278 -x279 x280 -x281 -x282 x283 x284 -x285 -x286 -x287 x288 x289 x290 x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 x300 x301 x302 x303 x304 x305 x306 x307 x308 x309 -x310 x311 x312 x313 -x314 x315 -x316 -x317 x318 x319 -x320 -x321 -x322 x323 -x324 -x325 x326 x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 x344 x345 x346 -x347 -x348 -x349 -x350 x351 -x352 x353 x354 x355 x356 x357 x358 x359 x360 x361 -x362 x363 x364 -x365 -x366 x367 x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 x376 -x377 -x378 -x379 -x380 x381 x382 x383 x384 x385 x386 x387 x388 x389 -x390 x391 x392 x393 x394 -x395 -x396 -x397 x398 -x399 -x400 -x401 x402 -x403 -x404 x405 x406 -x407 -x408 x409 x410 -x411 -x412 -x413 x414 x415 -x416 -x417 -x418 x419 -x420 -x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 x431 x432 x433 x434 x435
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (61906 MiB free)
memory of node 1: 64510 MiB (63601 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435934-1721061224/watcher-4435934-1721061224 -o /tmp/evaluation-result-4435934-1721061224/solver-4435934-1721061224 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721061236-800994 --watchdog 3760 pb-oll-rs HOME/instance-4435934-1721061224.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=801043, runsolver pid=801039
[startup+0.100404 s]*
/proc/loadavg: 1.15 1.19 1.87 5/243 801054
/proc/meminfo: memFree=128512632/131655788 swapFree=131071996/131071996
[pid=801043] ppid=801039 vsize=39452 memory=6924 CPUtime=0.1 cores=5,7
/proc/801043/stat : 801043 (pb-oll-rs) R 801039 801043 800981 0 -1 4194304 564 0 0 0 9 1 0 0 20 0 1 0 158281988 40398848 1731 134679101440 4194304 5384005 140725960217280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36413440 140725960225815 140725960225892 140725960225892 140725960232907 0
/proc/801043/statm: 9863 1731 1365 291 0 1397 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39452 KiB
Current children cumulated memory: 6924 KiB
[startup+0.213283 s]*
/proc/loadavg: 1.15 1.19 1.87 4/242 801068
/proc/meminfo: memFree=128501568/131655788 swapFree=131071996/131071996
[pid=801043] ppid=801039 vsize=40628 memory=10612 CPUtime=0.22 cores=5,7
/proc/801043/stat : 801043 (pb-oll-rs) R 801039 801043 800981 0 -1 4194304 983 0 0 0 20 2 0 0 20 0 1 0 158281988 41603072 2653 134679101440 4194304 5384005 140725960217280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36413440 140725960225815 140725960225892 140725960225892 140725960232907 0
/proc/801043/statm: 10157 2653 1365 291 0 1691 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 40628 KiB
Current children cumulated memory: 10612 KiB
[startup+0.314003 s]*
/proc/loadavg: 1.15 1.19 1.87 4/242 801068
/proc/meminfo: memFree=128498840/131655788 swapFree=131071996/131071996
[pid=801043] ppid=801039 vsize=41836 memory=11932 CPUtime=0.31 cores=5,7
/proc/801043/stat : 801043 (pb-oll-rs) R 801039 801043 800981 0 -1 4194304 1287 0 0 0 29 2 0 0 20 0 1 0 158281988 42840064 2983 134679101440 4194304 5384005 140725960217280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36413440 140725960225815 140725960225892 140725960225892 140725960232907 0
/proc/801043/statm: 10459 2983 1365 291 0 1993 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41836 KiB
Current children cumulated memory: 11932 KiB
[startup+0.700311 s]
/proc/loadavg: 1.15 1.19 1.87 6/242 801094
/proc/meminfo: memFree=128492896/131655788 swapFree=131071996/131071996
[pid=801043] ppid=801039 vsize=45096 memory=15892 CPUtime=0.69 cores=5,7
/proc/801043/stat : 801043 (pb-oll-rs) R 801039 801043 800981 0 -1 4194304 2315 0 0 0 63 6 0 0 20 0 1 0 158281988 46178304 3973 134679101440 4194304 5384005 140725960217280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36413440 140725960225815 140725960225892 140725960225892 140725960232907 0
/proc/801043/statm: 11274 3973 1365 291 0 2808 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45096 KiB
Current children cumulated memory: 15892 KiB
[startup+1.50033 s]
/proc/loadavg: 1.15 1.19 1.87 5/245 801100
/proc/meminfo: memFree=128473380/131655788 swapFree=131071996/131071996
[pid=801043] ppid=801039 vsize=52344 memory=21972 CPUtime=1.48 cores=5,7
/proc/801043/stat : 801043 (pb-oll-rs) R 801039 801043 800981 0 -1 4194304 3739 0 0 0 140 8 0 0 20 0 1 0 158281988 53600256 5493 134679101440 4194304 5384005 140725960217280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36413440 140725960225815 140725960225892 140725960225892 140725960232907 0
/proc/801043/statm: 13086 5493 1422 291 0 4620 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 52344 KiB
Current children cumulated memory: 21972 KiB
[startup+3.11363 s]
/proc/loadavg: 1.38 1.24 1.88 5/245 801102
/proc/meminfo: memFree=128324828/131655788 swapFree=131071996/131071996
[pid=801043] ppid=801039 vsize=57884 memory=24392 CPUtime=3.09 cores=5,7
/proc/801043/stat : 801043 (pb-oll-rs) R 801039 801043 800981 0 -1 4194304 4351 0 0 0 296 13 0 0 20 0 1 0 158281988 59273216 6098 134679101440 4194304 5384005 140725960217280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36413440 140725960225815 140725960225892 140725960225892 140725960232907 0
/proc/801043/statm: 14471 6098 1422 291 0 6005 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 57884 KiB
Current children cumulated memory: 24392 KiB
[startup+6.30032 s]
/proc/loadavg: 1.38 1.24 1.88 5/245 801102
/proc/meminfo: memFree=128198812/131655788 swapFree=131071996/131071996
[pid=801043] ppid=801039 vsize=59964 memory=28016 CPUtime=6.26 cores=5,7
/proc/801043/stat : 801043 (pb-oll-rs) R 801039 801043 800981 0 -1 4194304 4774 0 0 0 610 16 0 0 20 0 1 0 158281988 61403136 7004 134679101440 4194304 5384005 140725960217280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36413440 140725960225815 140725960225892 140725960225892 140725960232907 0
/proc/801043/statm: 14991 7004 1422 291 0 6525 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 59964 KiB
Current children cumulated memory: 28016 KiB
[startup+12.7003 s]
/proc/loadavg: 1.78 1.33 1.90 5/244 801103
/proc/meminfo: memFree=128046736/131655788 swapFree=131071996/131071996
[pid=801043] ppid=801039 vsize=62208 memory=31892 CPUtime=12.65 cores=5,7
/proc/801043/stat : 801043 (pb-oll-rs) R 801039 801043 800981 0 -1 4194304 5235 0 0 0 1241 24 0 0 20 0 1 0 158281988 63700992 7973 134679101440 4194304 5384005 140725960217280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36413440 140725960225815 140725960225892 140725960225892 140725960232907 0
/proc/801043/statm: 15552 7973 1422 291 0 7086 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 62208 KiB
Current children cumulated memory: 31892 KiB
[startup+25.5004 s]
/proc/loadavg: 2.12 1.42 1.93 5/244 801106
/proc/meminfo: memFree=127899704/131655788 swapFree=131071996/131071996
[pid=801043] ppid=801039 vsize=72840 memory=35572 CPUtime=25.41 cores=5,7
/proc/801043/stat : 801043 (pb-oll-rs) R 801039 801043 800981 0 -1 4194304 6170 0 0 0 2506 35 0 0 20 0 1 0 158281988 74588160 8893 134679101440 4194304 5384005 140725960217280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36413440 140725960225815 140725960225892 140725960225892 140725960232907 0
/proc/801043/statm: 18210 8893 1422 291 0 9744 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 72840 KiB
Current children cumulated memory: 35572 KiB
[startup+51.1138 s]
/proc/loadavg: 2.77 1.63 1.98 5/244 801109
/proc/meminfo: memFree=127695564/131655788 swapFree=131071996/131071996
[pid=801043] ppid=801039 vsize=82292 memory=49496 CPUtime=50.97 cores=5,7
/proc/801043/stat : 801043 (pb-oll-rs) R 801039 801043 800981 0 -1 4194304 8612 0 0 0 5030 67 0 0 20 0 1 0 158281988 84267008 12374 134679101440 4194304 5384005 140725960217280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36413440 140725960225815 140725960225892 140725960225892 140725960232907 0
/proc/801043/statm: 20573 12374 1422 291 0 12107 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 82292 KiB
Current children cumulated memory: 49496 KiB
[startup+102.3 s]
/proc/loadavg: 3.56 2.04 2.11 5/244 801119
/proc/meminfo: memFree=127525696/131655788 swapFree=131071996/131071996
[pid=801043] ppid=801039 vsize=100088 memory=59740 CPUtime=102.01 cores=5,7
/proc/801043/stat : 801043 (pb-oll-rs) R 801039 801043 800981 0 -1 4194304 10145 0 0 0 10082 119 0 0 20 0 1 0 158281988 102490112 14935 134679101440 4194304 5384005 140725960217280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36413440 140725960225815 140725960225892 140725960225892 140725960232907 0
/proc/801043/statm: 25022 14935 1422 291 0 16556 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 100088 KiB
Current children cumulated memory: 59740 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 2.42 2.23 5/241 801132
/proc/meminfo: memFree=127395216/131655788 swapFree=131071996/131071996
[pid=801043] ppid=801039 vsize=102056 memory=61264 CPUtime=161.86 cores=5,7
/proc/801043/stat : 801043 (pb-oll-rs) R 801039 801043 800981 0 -1 4194304 11568 0 0 0 16015 171 0 0 20 0 1 0 158281988 104505344 15316 134679101440 4194304 5384005 140725960217280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36413440 140725960225815 140725960225892 140725960225892 140725960232907 0
/proc/801043/statm: 25514 15316 1422 291 0 17048 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 102056 KiB
Current children cumulated memory: 61264 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 2.74 2.36 5/241 801142
/proc/meminfo: memFree=127039572/131655788 swapFree=131071996/131071996
[pid=801043] ppid=801039 vsize=106000 memory=68876 CPUtime=221.7 cores=5,7
/proc/801043/stat : 801043 (pb-oll-rs) R 801039 801043 800981 0 -1 4194304 12551 0 0 0 21950 220 0 0 20 0 1 0 158281988 108544000 17219 134679101440 4194304 5384005 140725960217280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36413440 140725960225815 140725960225892 140725960225892 140725960232907 0
/proc/801043/statm: 26500 17219 1422 291 0 18034 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 106000 KiB
Current children cumulated memory: 68876 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 2.98 2.47 5/241 801152
/proc/meminfo: memFree=126905364/131655788 swapFree=131071996/131071996
[pid=801043] ppid=801039 vsize=107660 memory=70372 CPUtime=281.54 cores=5,7
/proc/801043/stat : 801043 (pb-oll-rs) R 801039 801043 800981 0 -1 4194304 13054 0 0 0 27896 258 0 0 20 0 1 0 158281988 110243840 17593 134679101440 4194304 5384005 140725960217280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36413440 140725960225815 140725960225892 140725960225892 140725960232907 0
/proc/801043/statm: 26915 17593 1422 291 0 18449 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 107660 KiB
Current children cumulated memory: 70372 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 3.20 2.58 5/241 801163
/proc/meminfo: memFree=126846996/131655788 swapFree=131071996/131071996
[pid=801043] ppid=801039 vsize=108812 memory=71472 CPUtime=341.39 cores=5,7
/proc/801043/stat : 801043 (pb-oll-rs) R 801039 801043 800981 0 -1 4194304 13372 0 0 0 33859 280 0 0 20 0 1 0 158281988 111423488 17868 134679101440 4194304 5384005 140725960217280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36413440 140725960225815 140725960225892 140725960225892 140725960232907 0
/proc/801043/statm: 27203 17868 1422 291 0 18737 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 108812 KiB
Current children cumulated memory: 71472 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.36 2.67 5/245 801179
/proc/meminfo: memFree=126814668/131655788 swapFree=131071996/131071996
[pid=801043] ppid=801039 vsize=112276 memory=76592 CPUtime=401.23 cores=5,7
/proc/801043/stat : 801043 (pb-oll-rs) R 801039 801043 800981 0 -1 4194304 14359 0 0 0 39814 309 0 0 20 0 1 0 158281988 114970624 19148 134679101440 4194304 5384005 140725960217280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36413440 140725960225815 140725960225892 140725960225892 140725960232907 0
/proc/801043/statm: 28069 19148 1422 291 0 19603 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 112276 KiB
Current children cumulated memory: 76592 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 3.53 2.77 5/245 801189
/proc/meminfo: memFree=126805360/131655788 swapFree=131071996/131071996
[pid=801043] ppid=801039 vsize=112400 memory=76792 CPUtime=461.07 cores=5,7
/proc/801043/stat : 801043 (pb-oll-rs) R 801039 801043 800981 0 -1 4194304 14451 0 0 0 45768 339 0 0 20 0 1 0 158281988 115097600 19198 134679101440 4194304 5384005 140725960217280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36413440 140725960225815 140725960225892 140725960225892 140725960232907 0
################
# More data... #
################
Current children cumulated memory: 143208 KiB
[startup+2922.3 s]
/proc/loadavg: 4.18 4.17 4.13 5/244 802200
/proc/meminfo: memFree=125626308/131655788 swapFree=131071996/131071996
[pid=801043] ppid=801039 vsize=203624 memory=143208 CPUtime=2914.73 cores=5,7
/proc/801043/stat : 801043 (pb-oll-rs) R 801039 801043 800981 0 -1 4194304 26676 0 0 0 290459 1014 0 0 20 0 1 0 158281988 208510976 35802 134679101440 4194304 5384005 140725960217280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36413440 140725960225815 140725960225892 140725960225892 140725960232907 0
/proc/801043/statm: 50906 35802 1422 291 0 42440 0
Current children cumulated CPU time: 2914.73 s
Current children cumulated vsize: 203624 KiB
Current children cumulated memory: 143208 KiB
[startup+2982.3 s]
/proc/loadavg: 4.41 4.23 4.15 5/243 802210
/proc/meminfo: memFree=125580832/131655788 swapFree=131071996/131071996
[pid=801043] ppid=801039 vsize=203624 memory=143208 CPUtime=2974.58 cores=5,7
/proc/801043/stat : 801043 (pb-oll-rs) R 801039 801043 800981 0 -1 4194304 26738 0 0 0 296439 1019 0 0 20 0 1 0 158281988 208510976 35802 134679101440 4194304 5384005 140725960217280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36413440 140725960225815 140725960225892 140725960225892 140725960232907 0
/proc/801043/statm: 50906 35802 1422 291 0 42440 0
Current children cumulated CPU time: 2974.58 s
Current children cumulated vsize: 203624 KiB
Current children cumulated memory: 143208 KiB
[startup+3042.3 s]
/proc/loadavg: 4.23 4.22 4.15 5/243 802221
/proc/meminfo: memFree=125537388/131655788 swapFree=131071996/131071996
[pid=801043] ppid=801039 vsize=203748 memory=143124 CPUtime=3034.43 cores=5,7
/proc/801043/stat : 801043 (pb-oll-rs) R 801039 801043 800981 0 -1 4194304 26937 0 0 0 302409 1034 0 0 20 0 1 0 158281988 208637952 35781 134679101440 4194304 5384005 140725960217280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36413440 140725960225815 140725960225892 140725960225892 140725960232907 0
/proc/801043/statm: 50937 35781 1422 291 0 42471 0
Current children cumulated CPU time: 3034.43 s
Current children cumulated vsize: 203748 KiB
Current children cumulated memory: 143124 KiB
[startup+3102.3 s]
/proc/loadavg: 4.19 4.21 4.15 5/244 802614
/proc/meminfo: memFree=125493360/131655788 swapFree=131071996/131071996
[pid=801043] ppid=801039 vsize=204128 memory=143408 CPUtime=3094.28 cores=5,7
/proc/801043/stat : 801043 (pb-oll-rs) R 801039 801043 800981 0 -1 4194304 27220 0 0 0 308380 1048 0 0 20 0 1 0 158281988 209027072 35852 134679101440 4194304 5384005 140725960217280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36413440 140725960225815 140725960225892 140725960225892 140725960232907 0
/proc/801043/statm: 51032 35852 1422 291 0 42566 0
Current children cumulated CPU time: 3094.28 s
Current children cumulated vsize: 204128 KiB
Current children cumulated memory: 143408 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.20 4.15 5/243 802625
/proc/meminfo: memFree=125455304/131655788 swapFree=131071996/131071996
[pid=801043] ppid=801039 vsize=204640 memory=143704 CPUtime=3154.13 cores=5,7
/proc/801043/stat : 801043 (pb-oll-rs) R 801039 801043 800981 0 -1 4194304 27493 0 0 0 314348 1065 0 0 20 0 1 0 158281988 209551360 35926 134679101440 4194304 5384005 140725960217280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36413440 140725960225815 140725960225892 140725960225892 140725960232907 0
/proc/801043/statm: 51160 35926 1422 291 0 42694 0
Current children cumulated CPU time: 3154.13 s
Current children cumulated vsize: 204640 KiB
Current children cumulated memory: 143704 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.17 4.15 5/243 802635
/proc/meminfo: memFree=125427348/131655788 swapFree=131071996/131071996
[pid=801043] ppid=801039 vsize=204896 memory=143840 CPUtime=3213.98 cores=5,7
/proc/801043/stat : 801043 (pb-oll-rs) R 801039 801043 800981 0 -1 4194304 27710 0 0 0 320317 1081 0 0 20 0 1 0 158281988 209813504 35960 134679101440 4194304 5384005 140725960217280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36413440 140725960225815 140725960225892 140725960225892 140725960232907 0
/proc/801043/statm: 51224 35960 1422 291 0 42758 0
Current children cumulated CPU time: 3213.98 s
Current children cumulated vsize: 204896 KiB
Current children cumulated memory: 143840 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.17 4.15 5/246 802816
/proc/meminfo: memFree=125425320/131655788 swapFree=131071996/131071996
[pid=801043] ppid=801039 vsize=204896 memory=143840 CPUtime=3273.83 cores=5,7
/proc/801043/stat : 801043 (pb-oll-rs) R 801039 801043 800981 0 -1 4194304 27782 0 0 0 326290 1093 0 0 20 0 1 0 158281988 209813504 35960 134679101440 4194304 5384005 140725960217280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36413440 140725960225815 140725960225892 140725960225892 140725960232907 0
/proc/801043/statm: 51224 35960 1422 291 0 42758 0
Current children cumulated CPU time: 3273.83 s
Current children cumulated vsize: 204896 KiB
Current children cumulated memory: 143840 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.14 4.13 5/246 802827
/proc/meminfo: memFree=125419788/131655788 swapFree=131071996/131071996
[pid=801043] ppid=801039 vsize=205408 memory=146244 CPUtime=3333.68 cores=5,7
/proc/801043/stat : 801043 (pb-oll-rs) R 801039 801043 800981 0 -1 4194304 28054 0 0 0 332262 1106 0 0 20 0 1 0 158281988 210337792 36561 134679101440 4194304 5384005 140725960217280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36413440 140725960225815 140725960225892 140725960225892 140725960232907 0
/proc/801043/statm: 51352 36561 1422 291 0 42886 0
Current children cumulated CPU time: 3333.68 s
Current children cumulated vsize: 205408 KiB
Current children cumulated memory: 146244 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.14 4.13 5/247 802894
/proc/meminfo: memFree=125411696/131655788 swapFree=131071996/131071996
[pid=801043] ppid=801039 vsize=205656 memory=146140 CPUtime=3393.52 cores=5,7
/proc/801043/stat : 801043 (pb-oll-rs) R 801039 801043 800981 0 -1 4194304 28162 0 0 0 338237 1115 0 0 20 0 1 0 158281988 210591744 36535 134679101440 4194304 5384005 140725960217280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36413440 140725960225815 140725960225892 140725960225892 140725960232907 0
/proc/801043/statm: 51414 36535 1422 291 0 42948 0
Current children cumulated CPU time: 3393.52 s
Current children cumulated vsize: 205656 KiB
Current children cumulated memory: 146140 KiB
[startup+3462.3 s]
/proc/loadavg: 4.24 4.17 4.15 5/245 802904
/proc/meminfo: memFree=125403368/131655788 swapFree=131071996/131071996
[pid=801043] ppid=801039 vsize=206428 memory=146864 CPUtime=3453.37 cores=5,7
/proc/801043/stat : 801043 (pb-oll-rs) R 801039 801043 800981 0 -1 4194304 28532 0 0 0 344202 1135 0 0 20 0 1 0 158281988 211382272 36716 134679101440 4194304 5384005 140725960217280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36413440 140725960225815 140725960225892 140725960225892 140725960232907 0
/proc/801043/statm: 51607 36716 1422 291 0 43141 0
Current children cumulated CPU time: 3453.37 s
Current children cumulated vsize: 206428 KiB
Current children cumulated memory: 146864 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.16 4.14 5/245 802915
/proc/meminfo: memFree=125363696/131655788 swapFree=131071996/131071996
[pid=801043] ppid=801039 vsize=206916 memory=147244 CPUtime=3513.22 cores=5,7
/proc/801043/stat : 801043 (pb-oll-rs) R 801039 801043 800981 0 -1 4194304 28681 0 0 0 350173 1149 0 0 20 0 1 0 158281988 211881984 36811 134679101440 4194304 5384005 140725960217280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36413440 140725960225815 140725960225892 140725960225892 140725960232907 0
/proc/801043/statm: 51729 36811 1422 291 0 43263 0
Current children cumulated CPU time: 3513.22 s
Current children cumulated vsize: 206916 KiB
Current children cumulated memory: 147244 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.14 4.13 5/246 802926
/proc/meminfo: memFree=125330460/131655788 swapFree=131071996/131071996
[pid=801043] ppid=801039 vsize=206916 memory=147244 CPUtime=3573.08 cores=5,7
/proc/801043/stat : 801043 (pb-oll-rs) R 801039 801043 800981 0 -1 4194304 28743 0 0 0 356151 1157 0 0 20 0 1 0 158281988 211881984 36811 134679101440 4194304 5384005 140725960217280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36413440 140725960225815 140725960225892 140725960225892 140725960232907 0
/proc/801043/statm: 51729 36811 1422 291 0 43263 0
Current children cumulated CPU time: 3573.08 s
Current children cumulated vsize: 206916 KiB
Current children cumulated memory: 147244 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.15 4.14 4.13 5/245 802930
/proc/meminfo: memFree=125322740/131655788 swapFree=131071996/131071996
[pid=801043] ppid=801039 vsize=207832 memory=147588 CPUtime=3600 cores=5,7
/proc/801043/stat : 801043 (pb-oll-rs) R 801039 801043 800981 0 -1 4194304 28936 0 0 0 358839 1161 0 0 20 0 1 0 158281988 212819968 36897 134679101440 4194304 5384005 140725960217280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36413440 140725960225815 140725960225892 140725960225892 140725960232907 0
/proc/801043/statm: 51958 36897 1422 291 0 43492 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 207832 KiB
Current children cumulated memory: 147588 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.31 s]
# the end of solver process 801043 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.41 s, system=11.618 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.15 4.14 4.13 5/245 802930
/proc/meminfo: memFree=125322740/131655788 swapFree=131071996/131071996
[pid=801043] ppid=801039 vsize=207832 memory=147588 CPUtime=3600 cores=5,7
/proc/801043/stat : 801043 (pb-oll-rs) R 801039 801043 800981 0 -1 4194304 28936 0 0 0 358839 1161 0 0 20 0 1 0 158281988 212819968 36897 134679101440 4194304 5384005 140725960217280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36413440 140725960225815 140725960225892 140725960225892 140725960232907 0
/proc/801043/statm: 51958 36897 1422 291 0 43492 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 207832 KiB
Current children cumulated memory: 147588 KiB
Child status: 0
Real time (s): 3609.31
CPU time (s): 3600.02
CPU user time (s): 3588.41
CPU system time (s): 11.618
CPU usage (%): 99.7428
Max. virtual memory (cumulated for all children) (KiB): 207832
Max. memory (cumulated for all children) (KiB): 147588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.41
system time used= 11.618
maximum resident set size= 147756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28951
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= 57
involuntary context switches= 2627
# summary of solver processes directly reported to runsolver:
# pid: 801043
# total CPU time (s): 3600.02
# total CPU user time (s): 3588.41
# total CPU system time (s): 11.618
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.1488 second user time and 31.4288 second system time
The end
Begin job on nodeC009 at 2024-07-15 18:33:56
IDJOB=4435934
IDBENCH=146653
IDSOLVER=3067
FILE ID=nodeC009/4435934-1721061224
RUNJOBID= nodeC009-1721061236-800994
SLURM_JOB_ID= 7505510
Free space on /tmp= 723768 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
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-4435934-1721061224/watcher-4435934-1721061224 -o /tmp/evaluation-result-4435934-1721061224/solver-4435934-1721061224 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721061236-800994 --watchdog 3760 pb-oll-rs HOME/instance-4435934-1721061224.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7fa9d6bae1eb6fc87d1fc158a8928861
RANDOM SEED=1108231342
nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.327
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3339.266
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.321
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.319
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.335
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.318
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.324
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.334
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128523664 kB
MemAvailable: 129924192 kB
Buffers: 371104 kB
Cached: 1858316 kB
SwapCached: 0 kB
Active: 596380 kB
Inactive: 1984424 kB
Active(anon): 1356 kB
Inactive(anon): 388048 kB
Active(file): 595024 kB
Inactive(file): 1596376 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 5984 kB
Writeback: 4 kB
AnonPages: 351572 kB
Mapped: 103032 kB
Shmem: 37700 kB
KReclaimable: 98320 kB
Slab: 195208 kB
SReclaimable: 98320 kB
SUnreclaim: 96888 kB
KernelStack: 3696 kB
PageTables: 9636 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 726236 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51456 kB
HardwareCorrupted: 0 kB
AnonHugePages: 229376 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: 187208 kB
DirectMap2M: 19640320 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723760 MiB
End job on nodeC009 at 2024-07-15 19:34:05