0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 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.004945
0.00/0.01 c stratification level: 3
0.00/0.02 c bounds - >= -279 @ 0.005736
0.00/0.02 c bounds - >= -276 @ 0.006164
0.00/0.02 c bounds - >= -273 @ 0.006366
0.00/0.02 c bounds - >= -270 @ 0.006366
0.00/0.02 c finalizing WCE round: reformulating cores
0.21/0.23 c bounds 16 >= -270 @ 0.167988
0.21/0.23 c bounds 15 >= -270 @ 0.210275
0.21/0.23 c stratification level: 2
0.21/0.30 c bounds 15 >= -258 @ 0.212194
0.21/0.30 c bounds 15 >= -256 @ 0.212311
0.21/0.30 c bounds 15 >= -254 @ 0.212948
0.21/0.30 c bounds 15 >= -252 @ 0.213545
0.21/0.30 c bounds 15 >= -250 @ 0.214198
0.21/0.30 c bounds 15 >= -248 @ 0.215065
0.21/0.30 c bounds 15 >= -244 @ 0.216251
0.21/0.30 c bounds 15 >= -242 @ 0.217034
0.21/0.30 c bounds 15 >= -240 @ 0.217164
0.21/0.30 c bounds 15 >= -238 @ 0.217609
0.21/0.30 c bounds 15 >= -236 @ 0.21839
0.21/0.30 c bounds 15 >= -234 @ 0.219518
0.21/0.30 c bounds 15 >= -232 @ 0.220191
0.21/0.30 c bounds 15 >= -230 @ 0.220885
0.21/0.30 c bounds 15 >= -226 @ 0.221667
0.21/0.30 c bounds 15 >= -224 @ 0.222299
0.21/0.30 c bounds 15 >= -222 @ 0.222905
0.21/0.30 c bounds 15 >= -218 @ 0.223135
0.21/0.30 c bounds 15 >= -216 @ 0.223216
0.21/0.30 c bounds 15 >= -214 @ 0.223874
0.21/0.30 c bounds 15 >= -212 @ 0.224125
0.21/0.30 c bounds 15 >= -210 @ 0.224451
0.21/0.30 c bounds 15 >= -208 @ 0.225163
0.21/0.30 c bounds 15 >= -206 @ 0.226101
0.21/0.30 c finalizing WCE round: reformulating cores
39.97/40.15 c #Conflicts: 1000 | #Constraints: 1576
39.97/40.15 c #Conflicts: 2000 | #Constraints: 2597
39.97/40.15 c INPROCESSING
39.97/40.15 c GARBAGE COLLECT
39.97/40.15 c #Conflicts: 3000 | #Constraints: 2556
39.97/40.15 c #Conflicts: 4000 | #Constraints: 3564
39.97/40.15 c INPROCESSING
39.97/40.15 c GARBAGE COLLECT
39.97/40.15 c #Conflicts: 5000 | #Constraints: 2980
39.97/40.15 c #Conflicts: 6000 | #Constraints: 3982
39.97/40.15 c INPROCESSING
39.97/40.15 c GARBAGE COLLECT
39.97/40.15 c #Conflicts: 7000 | #Constraints: 2984
39.97/40.15 c #Conflicts: 8000 | #Constraints: 3986
39.97/40.15 c #Conflicts: 9000 | #Constraints: 4990
39.97/40.15 c INPROCESSING
39.97/40.15 c GARBAGE COLLECT
39.97/40.15 c #Conflicts: 10000 | #Constraints: 3695
39.97/40.15 c bounds 0 >= -206 @ 3.35311
39.97/40.15 c bounds 0 >= -202 @ 3.35914
39.97/40.15 c bounds 0 >= -200 @ 3.36264
39.97/40.15 c bounds 0 >= -198 @ 3.36612
39.97/40.15 c #Conflicts: 11000 | #Constraints: 4727
39.97/40.15 c #Conflicts: 12000 | #Constraints: 5727
39.97/40.15 c INPROCESSING
39.97/40.15 c GARBAGE COLLECT
39.97/40.15 c #Conflicts: 13000 | #Constraints: 4167
39.97/40.15 c #Conflicts: 14000 | #Constraints: 5167
39.97/40.15 c #Conflicts: 15000 | #Constraints: 6167
39.97/40.15 c INPROCESSING
39.97/40.15 c GARBAGE COLLECT
39.97/40.15 c #Conflicts: 16000 | #Constraints: 4397
39.97/40.15 c #Conflicts: 17000 | #Constraints: 5397
39.97/40.15 c #Conflicts: 18000 | #Constraints: 6397
39.97/40.15 c INPROCESSING
39.97/40.15 c GARBAGE COLLECT
39.97/40.15 c #Conflicts: 19000 | #Constraints: 4410
39.97/40.15 c #Conflicts: 20000 | #Constraints: 5410
39.97/40.15 c #Conflicts: 21000 | #Constraints: 6410
39.97/40.15 c INPROCESSING
39.97/40.15 c GARBAGE COLLECT
39.97/40.15 c #Conflicts: 22000 | #Constraints: 4214
39.97/40.15 c #Conflicts: 23000 | #Constraints: 5214
39.97/40.15 c #Conflicts: 24000 | #Constraints: 6214
39.97/40.15 c #Conflicts: 25000 | #Constraints: 7214
39.97/40.15 c INPROCESSING
39.97/40.15 c GARBAGE COLLECT
39.97/40.15 c #Conflicts: 26000 | #Constraints: 4822
39.97/40.15 c #Conflicts: 27000 | #Constraints: 5822
39.97/40.15 c #Conflicts: 28000 | #Constraints: 6822
39.97/40.15 c #Conflicts: 29000 | #Constraints: 7822
39.97/40.15 c INPROCESSING
39.97/40.15 c GARBAGE COLLECT
39.97/40.15 c #Conflicts: 30000 | #Constraints: 5224
39.97/40.15 c #Conflicts: 31000 | #Constraints: 6224
39.97/40.15 c #Conflicts: 32000 | #Constraints: 7224
39.97/40.15 c #Conflicts: 33000 | #Constraints: 8224
39.97/40.15 c INPROCESSING
39.97/40.15 c GARBAGE COLLECT
39.97/40.15 c #Conflicts: 34000 | #Constraints: 5425
39.97/40.15 c #Conflicts: 35000 | #Constraints: 6425
39.97/40.15 c #Conflicts: 36000 | #Constraints: 7425
39.97/40.15 c #Conflicts: 37000 | #Constraints: 8425
39.97/40.15 c INPROCESSING
39.97/40.15 c GARBAGE COLLECT
39.97/40.15 c #Conflicts: 38000 | #Constraints: 5434
39.97/40.15 c #Conflicts: 39000 | #Constraints: 6434
39.97/40.15 c #Conflicts: 40000 | #Constraints: 7434
39.97/40.15 c #Conflicts: 41000 | #Constraints: 8434
39.97/40.15 c INPROCESSING
39.97/40.15 c GARBAGE COLLECT
39.97/40.15 c #Conflicts: 42000 | #Constraints: 5234
39.97/40.15 c #Conflicts: 43000 | #Constraints: 6234
39.97/40.15 c #Conflicts: 44000 | #Constraints: 7234
39.97/40.15 c #Conflicts: 45000 | #Constraints: 8234
39.97/40.15 c #Conflicts: 46000 | #Constraints: 9234
39.97/40.15 c INPROCESSING
39.97/40.15 c GARBAGE COLLECT
39.97/40.15 c #Conflicts: 47000 | #Constraints: 5836
39.97/40.15 c #Conflicts: 48000 | #Constraints: 6836
39.97/40.15 c #Conflicts: 49000 | #Constraints: 7836
39.97/40.15 c #Conflicts: 50000 | #Constraints: 8836
39.97/40.15 c bounds 0 >= -196 @ 30.5138
39.97/40.15 c #Conflicts: 51000 | #Constraints: 9870
39.97/40.15 c INPROCESSING
39.97/40.15 c GARBAGE COLLECT
39.97/40.15 c #Conflicts: 52000 | #Constraints: 6255
39.97/40.15 c #Conflicts: 53000 | #Constraints: 7255
39.97/40.15 c #Conflicts: 54000 | #Constraints: 8255
39.97/40.15 c #Conflicts: 55000 | #Constraints: 9255
39.97/40.15 c #Conflicts: 56000 | #Constraints: 10255
39.97/40.15 c INPROCESSING
39.97/40.15 c GARBAGE COLLECT
39.97/40.15 c #Conflicts: 57000 | #Constraints: 6453
39.97/40.15 c #Conflicts: 58000 | #Constraints: 7453
39.97/40.15 c #Conflicts: 59000 | #Constraints: 8453
39.97/40.15 c #Conflicts: 60000 | #Constraints: 9453
39.97/40.15 c #Conflicts: 61000 | #Constraints: 10453
39.97/40.15 c INPROCESSING
39.97/40.15 c GARBAGE COLLECT
39.97/40.15 c #Conflicts: 62000 | #Constraints: 6443
39.97/40.15 c #Conflicts: 63000 | #Constraints: 7443
39.97/40.15 c #Conflicts: 64000 | #Constraints: 8443
39.97/40.15 c #Conflicts: 65000 | #Constraints: 9443
39.97/40.15 c #Conflicts: 66000 | #Constraints: 10443
87.72/88.07 c INPROCESSING
87.72/88.07 c GARBAGE COLLECT
87.72/88.07 c #Conflicts: 67000 | #Constraints: 6242
87.72/88.07 c #Conflicts: 68000 | #Constraints: 7242
87.72/88.07 c #Conflicts: 69000 | #Constraints: 8242
87.72/88.07 c #Conflicts: 70000 | #Constraints: 9242
87.72/88.07 c #Conflicts: 71000 | #Constraints: 10242
87.72/88.07 c #Conflicts: 72000 | #Constraints: 11242
87.72/88.07 c INPROCESSING
87.72/88.07 c GARBAGE COLLECT
87.72/88.07 c #Conflicts: 73000 | #Constraints: 6846
87.72/88.07 c #Conflicts: 74000 | #Constraints: 7846
87.72/88.07 c #Conflicts: 75000 | #Constraints: 8846
87.72/88.07 c #Conflicts: 76000 | #Constraints: 9846
87.72/88.07 c #Conflicts: 77000 | #Constraints: 10846
87.72/88.07 c #Conflicts: 78000 | #Constraints: 11846
87.72/88.07 c INPROCESSING
87.72/88.07 c GARBAGE COLLECT
87.72/88.07 c #Conflicts: 79000 | #Constraints: 7250
87.72/88.07 c #Conflicts: 80000 | #Constraints: 8250
87.72/88.07 c #Conflicts: 81000 | #Constraints: 9250
87.72/88.07 c #Conflicts: 82000 | #Constraints: 10250
87.72/88.07 c #Conflicts: 83000 | #Constraints: 11250
87.72/88.07 c #Conflicts: 84000 | #Constraints: 12250
87.72/88.07 c INPROCESSING
87.72/88.07 c GARBAGE COLLECT
87.72/88.07 c #Conflicts: 85000 | #Constraints: 7450
87.72/88.07 c #Conflicts: 86000 | #Constraints: 8450
87.72/88.07 c #Conflicts: 87000 | #Constraints: 9450
87.72/88.07 c #Conflicts: 88000 | #Constraints: 10450
87.72/88.07 c #Conflicts: 89000 | #Constraints: 11450
87.72/88.07 c #Conflicts: 90000 | #Constraints: 12450
87.72/88.07 c INPROCESSING
87.72/88.07 c GARBAGE COLLECT
87.72/88.07 c #Conflicts: 91000 | #Constraints: 7454
87.72/88.07 c #Conflicts: 92000 | #Constraints: 8454
87.72/88.07 c #Conflicts: 93000 | #Constraints: 9454
87.72/88.07 c #Conflicts: 94000 | #Constraints: 10454
87.72/88.07 c #Conflicts: 95000 | #Constraints: 11454
87.72/88.07 c #Conflicts: 96000 | #Constraints: 12454
87.72/88.07 c INPROCESSING
87.72/88.07 c GARBAGE COLLECT
87.72/88.07 c #Conflicts: 97000 | #Constraints: 7257
87.72/88.07 c #Conflicts: 98000 | #Constraints: 8257
87.72/88.07 c #Conflicts: 99000 | #Constraints: 9257
87.72/88.07 c #Conflicts: 100000 | #Constraints: 10257
87.72/88.07 c #Conflicts: 101000 | #Constraints: 11257
87.72/88.07 c #Conflicts: 102000 | #Constraints: 12257
87.72/88.07 c #Conflicts: 103000 | #Constraints: 13257
87.72/88.07 c INPROCESSING
87.72/88.07 c GARBAGE COLLECT
87.72/88.07 c #Conflicts: 104000 | #Constraints: 7847
87.72/88.07 c #Conflicts: 105000 | #Constraints: 8847
87.72/88.07 c #Conflicts: 106000 | #Constraints: 9847
87.72/88.07 c #Conflicts: 107000 | #Constraints: 10847
87.72/88.07 c #Conflicts: 108000 | #Constraints: 11847
87.72/88.07 c #Conflicts: 109000 | #Constraints: 12847
87.72/88.07 c #Conflicts: 110000 | #Constraints: 13847
87.72/88.07 c INPROCESSING
87.72/88.07 c GARBAGE COLLECT
87.72/88.07 c #Conflicts: 111000 | #Constraints: 8257
87.72/88.07 c #Conflicts: 112000 | #Constraints: 9257
87.72/88.07 c #Conflicts: 113000 | #Constraints: 10257
87.72/88.07 c #Conflicts: 114000 | #Constraints: 11257
87.72/88.07 c bounds 0 >= -194 @ 72.0201
87.72/88.07 c #Conflicts: 115000 | #Constraints: 12268
87.72/88.07 c #Conflicts: 116000 | #Constraints: 13268
87.72/88.07 c #Conflicts: 117000 | #Constraints: 14268
87.72/88.07 c INPROCESSING
87.72/88.07 c GARBAGE COLLECT
87.72/88.07 c #Conflicts: 118000 | #Constraints: 8460
87.72/88.07 c #Conflicts: 119000 | #Constraints: 9460
87.72/88.07 c #Conflicts: 120000 | #Constraints: 10460
87.72/88.07 c #Conflicts: 121000 | #Constraints: 11460
87.72/88.07 c #Conflicts: 122000 | #Constraints: 12460
87.72/88.07 c #Conflicts: 123000 | #Constraints: 13460
87.72/88.07 c #Conflicts: 124000 | #Constraints: 14460
87.72/88.07 c INPROCESSING
87.72/88.07 c GARBAGE COLLECT
87.72/88.07 c #Conflicts: 125000 | #Constraints: 8462
87.72/88.07 c #Conflicts: 126000 | #Constraints: 9462
87.72/88.07 c #Conflicts: 127000 | #Constraints: 10462
87.72/88.07 c #Conflicts: 128000 | #Constraints: 11462
87.72/88.07 c #Conflicts: 129000 | #Constraints: 12462
87.72/88.07 c #Conflicts: 130000 | #Constraints: 13462
87.72/88.07 c #Conflicts: 131000 | #Constraints: 14462
87.72/88.07 c INPROCESSING
87.72/88.07 c GARBAGE COLLECT
87.72/88.07 c #Conflicts: 132000 | #Constraints: 8266
87.72/88.07 c #Conflicts: 133000 | #Constraints: 9266
87.72/88.07 c #Conflicts: 134000 | #Constraints: 10266
87.72/88.07 c #Conflicts: 135000 | #Constraints: 11266
87.72/88.07 c #Conflicts: 136000 | #Constraints: 12266
87.72/88.07 c #Conflicts: 137000 | #Constraints: 13266
156.62/157.19 c #Conflicts: 138000 | #Constraints: 14266
156.62/157.19 c #Conflicts: 139000 | #Constraints: 15266
156.62/157.19 c INPROCESSING
156.62/157.19 c GARBAGE COLLECT
156.62/157.19 c #Conflicts: 140000 | #Constraints: 8869
156.62/157.19 c #Conflicts: 141000 | #Constraints: 9869
156.62/157.19 c #Conflicts: 142000 | #Constraints: 10869
156.62/157.19 c #Conflicts: 143000 | #Constraints: 11869
156.62/157.19 c #Conflicts: 144000 | #Constraints: 12869
156.62/157.19 c #Conflicts: 145000 | #Constraints: 13869
156.62/157.19 c #Conflicts: 146000 | #Constraints: 14869
156.62/157.19 c #Conflicts: 147000 | #Constraints: 15869
156.62/157.19 c INPROCESSING
156.62/157.19 c GARBAGE COLLECT
156.62/157.19 c #Conflicts: 148000 | #Constraints: 9265
156.62/157.19 c #Conflicts: 149000 | #Constraints: 10265
156.62/157.19 c #Conflicts: 150000 | #Constraints: 11265
156.62/157.19 c #Conflicts: 151000 | #Constraints: 12265
156.62/157.19 c #Conflicts: 152000 | #Constraints: 13265
156.62/157.19 c #Conflicts: 153000 | #Constraints: 14265
156.62/157.19 c #Conflicts: 154000 | #Constraints: 15265
156.62/157.19 c #Conflicts: 155000 | #Constraints: 16265
156.62/157.19 c INPROCESSING
156.62/157.19 c GARBAGE COLLECT
156.62/157.19 c #Conflicts: 156000 | #Constraints: 9468
156.62/157.19 c #Conflicts: 157000 | #Constraints: 10468
156.62/157.19 c #Conflicts: 158000 | #Constraints: 11468
156.62/157.19 c #Conflicts: 159000 | #Constraints: 12468
156.62/157.19 c #Conflicts: 160000 | #Constraints: 13468
156.62/157.19 c #Conflicts: 161000 | #Constraints: 14468
156.62/157.19 c #Conflicts: 162000 | #Constraints: 15468
156.62/157.19 c #Conflicts: 163000 | #Constraints: 16468
156.62/157.19 c INPROCESSING
156.62/157.19 c GARBAGE COLLECT
156.62/157.19 c #Conflicts: 164000 | #Constraints: 9469
156.62/157.19 c #Conflicts: 165000 | #Constraints: 10469
156.62/157.19 c #Conflicts: 166000 | #Constraints: 11469
156.62/157.19 c #Conflicts: 167000 | #Constraints: 12469
156.62/157.19 c #Conflicts: 168000 | #Constraints: 13469
156.62/157.19 c #Conflicts: 169000 | #Constraints: 14469
156.62/157.19 c #Conflicts: 170000 | #Constraints: 15469
156.62/157.19 c #Conflicts: 171000 | #Constraints: 16469
156.62/157.19 c INPROCESSING
156.62/157.19 c GARBAGE COLLECT
156.62/157.19 c #Conflicts: 172000 | #Constraints: 9270
156.62/157.19 c #Conflicts: 173000 | #Constraints: 10270
156.62/157.19 c #Conflicts: 174000 | #Constraints: 11270
156.62/157.19 c #Conflicts: 175000 | #Constraints: 12270
156.62/157.19 c #Conflicts: 176000 | #Constraints: 13270
156.62/157.19 c #Conflicts: 177000 | #Constraints: 14270
156.62/157.19 c #Conflicts: 178000 | #Constraints: 15270
156.62/157.19 c #Conflicts: 179000 | #Constraints: 16270
156.62/157.19 c #Conflicts: 180000 | #Constraints: 17270
156.62/157.19 c INPROCESSING
156.62/157.19 c GARBAGE COLLECT
156.62/157.19 c #Conflicts: 181000 | #Constraints: 9869
156.62/157.19 c #Conflicts: 182000 | #Constraints: 10869
156.62/157.19 c #Conflicts: 183000 | #Constraints: 11869
156.62/157.19 c #Conflicts: 184000 | #Constraints: 12869
156.62/157.19 c #Conflicts: 185000 | #Constraints: 13869
156.62/157.19 c #Conflicts: 186000 | #Constraints: 14869
156.62/157.19 c #Conflicts: 187000 | #Constraints: 15869
156.62/157.19 c #Conflicts: 188000 | #Constraints: 16869
156.62/157.19 c #Conflicts: 189000 | #Constraints: 17869
156.62/157.19 c INPROCESSING
156.62/157.19 c GARBAGE COLLECT
156.62/157.19 c #Conflicts: 190000 | #Constraints: 10265
156.62/157.19 c #Conflicts: 191000 | #Constraints: 11265
156.62/157.19 c #Conflicts: 192000 | #Constraints: 12265
156.62/157.19 c #Conflicts: 193000 | #Constraints: 13265
156.62/157.19 c #Conflicts: 194000 | #Constraints: 14265
156.62/157.19 c #Conflicts: 195000 | #Constraints: 15265
156.62/157.19 c #Conflicts: 196000 | #Constraints: 16265
156.62/157.19 c #Conflicts: 197000 | #Constraints: 17265
156.62/157.19 c #Conflicts: 198000 | #Constraints: 18265
156.62/157.19 c INPROCESSING
156.62/157.19 c GARBAGE COLLECT
156.62/157.19 c #Conflicts: 199000 | #Constraints: 10465
156.62/157.19 c #Conflicts: 200000 | #Constraints: 11465
156.62/157.19 c #Conflicts: 201000 | #Constraints: 12465
156.62/157.19 c #Conflicts: 202000 | #Constraints: 13465
156.62/157.19 c #Conflicts: 203000 | #Constraints: 14465
156.62/157.19 c #Conflicts: 204000 | #Constraints: 15465
156.62/157.19 c #Conflicts: 205000 | #Constraints: 16465
156.62/157.19 c #Conflicts: 206000 | #Constraints: 17465
156.62/157.19 c #Conflicts: 207000 | #Constraints: 18465
156.62/157.19 c INPROCESSING
156.62/157.19 c GARBAGE COLLECT
156.62/157.19 c #Conflicts: 208000 | #Constraints: 10464
156.62/157.19 c #Conflicts: 209000 | #Constraints: 11464
156.62/157.19 c #Conflicts: 210000 | #Constraints: 12464
248.46/249.21 c #Conflicts: 211000 | #Constraints: 13464
248.46/249.21 c #Conflicts: 212000 | #Constraints: 14464
248.46/249.21 c #Conflicts: 213000 | #Constraints: 15464
248.46/249.21 c #Conflicts: 214000 | #Constraints: 16464
248.46/249.21 c #Conflicts: 215000 | #Constraints: 17464
248.46/249.21 c #Conflicts: 216000 | #Constraints: 18464
248.46/249.21 c INPROCESSING
248.46/249.21 c GARBAGE COLLECT
248.46/249.21 c #Conflicts: 217000 | #Constraints: 10273
248.46/249.21 c #Conflicts: 218000 | #Constraints: 11273
248.46/249.21 c #Conflicts: 219000 | #Constraints: 12273
248.46/249.21 c #Conflicts: 220000 | #Constraints: 13273
248.46/249.21 c #Conflicts: 221000 | #Constraints: 14273
248.46/249.21 c #Conflicts: 222000 | #Constraints: 15273
248.46/249.21 c #Conflicts: 223000 | #Constraints: 16273
248.46/249.21 c #Conflicts: 224000 | #Constraints: 17273
248.46/249.21 c #Conflicts: 225000 | #Constraints: 18273
248.46/249.21 c #Conflicts: 226000 | #Constraints: 19273
248.46/249.21 c INPROCESSING
248.46/249.21 c GARBAGE COLLECT
248.46/249.21 c #Conflicts: 227000 | #Constraints: 10870
248.46/249.21 c #Conflicts: 228000 | #Constraints: 11870
248.46/249.21 c #Conflicts: 229000 | #Constraints: 12870
248.46/249.21 c #Conflicts: 230000 | #Constraints: 13870
248.46/249.21 c #Conflicts: 231000 | #Constraints: 14870
248.46/249.21 c #Conflicts: 232000 | #Constraints: 15870
248.46/249.21 c #Conflicts: 233000 | #Constraints: 16870
248.46/249.21 c #Conflicts: 234000 | #Constraints: 17870
248.46/249.21 c #Conflicts: 235000 | #Constraints: 18870
248.46/249.21 c #Conflicts: 236000 | #Constraints: 19870
248.46/249.21 c INPROCESSING
248.46/249.21 c GARBAGE COLLECT
248.46/249.21 c #Conflicts: 237000 | #Constraints: 11265
248.46/249.21 c #Conflicts: 238000 | #Constraints: 12265
248.46/249.21 c #Conflicts: 239000 | #Constraints: 13265
248.46/249.21 c #Conflicts: 240000 | #Constraints: 14265
248.46/249.21 c #Conflicts: 241000 | #Constraints: 15265
248.46/249.21 c #Conflicts: 242000 | #Constraints: 16265
248.46/249.21 c #Conflicts: 243000 | #Constraints: 17265
248.46/249.21 c #Conflicts: 244000 | #Constraints: 18265
248.46/249.21 c #Conflicts: 245000 | #Constraints: 19265
248.46/249.21 c #Conflicts: 246000 | #Constraints: 20265
248.46/249.21 c INPROCESSING
248.46/249.21 c GARBAGE COLLECT
248.46/249.21 c #Conflicts: 247000 | #Constraints: 11473
248.46/249.21 c #Conflicts: 248000 | #Constraints: 12473
248.46/249.21 c #Conflicts: 249000 | #Constraints: 13473
248.46/249.21 c #Conflicts: 250000 | #Constraints: 14473
248.46/249.21 c #Conflicts: 251000 | #Constraints: 15473
248.46/249.21 c #Conflicts: 252000 | #Constraints: 16473
248.46/249.21 c #Conflicts: 253000 | #Constraints: 17473
248.46/249.21 c #Conflicts: 254000 | #Constraints: 18473
248.46/249.21 c #Conflicts: 255000 | #Constraints: 19473
248.46/249.21 c #Conflicts: 256000 | #Constraints: 20473
248.46/249.21 c INPROCESSING
248.46/249.21 c GARBAGE COLLECT
248.46/249.21 c #Conflicts: 257000 | #Constraints: 11467
248.46/249.21 c #Conflicts: 258000 | #Constraints: 12467
248.46/249.21 c #Conflicts: 259000 | #Constraints: 13467
248.46/249.21 c #Conflicts: 260000 | #Constraints: 14467
248.46/249.21 c #Conflicts: 261000 | #Constraints: 15467
248.46/249.21 c #Conflicts: 262000 | #Constraints: 16467
248.46/249.21 c #Conflicts: 263000 | #Constraints: 17467
248.46/249.21 c #Conflicts: 264000 | #Constraints: 18467
248.46/249.21 c #Conflicts: 265000 | #Constraints: 19467
248.46/249.21 c #Conflicts: 266000 | #Constraints: 20467
248.46/249.21 c INPROCESSING
248.46/249.21 c GARBAGE COLLECT
248.46/249.21 c #Conflicts: 267000 | #Constraints: 11270
248.46/249.21 c #Conflicts: 268000 | #Constraints: 12270
248.46/249.21 c #Conflicts: 269000 | #Constraints: 13270
248.46/249.21 c #Conflicts: 270000 | #Constraints: 14270
248.46/249.21 c #Conflicts: 271000 | #Constraints: 15270
248.46/249.21 c #Conflicts: 272000 | #Constraints: 16270
248.46/249.21 c #Conflicts: 273000 | #Constraints: 17270
248.46/249.21 c #Conflicts: 274000 | #Constraints: 18270
248.46/249.21 c #Conflicts: 275000 | #Constraints: 19270
248.46/249.21 c #Conflicts: 276000 | #Constraints: 20270
248.46/249.21 c #Conflicts: 277000 | #Constraints: 21270
248.46/249.21 c INPROCESSING
248.46/249.21 c GARBAGE COLLECT
248.46/249.21 c #Conflicts: 278000 | #Constraints: 11870
248.46/249.21 c #Conflicts: 279000 | #Constraints: 12870
248.46/249.21 c #Conflicts: 280000 | #Constraints: 13870
248.46/249.21 c #Conflicts: 281000 | #Constraints: 14870
248.46/249.21 c #Conflicts: 282000 | #Constraints: 15870
248.46/249.21 c #Conflicts: 283000 | #Constraints: 16870
248.46/249.21 c #Conflicts: 284000 | #Constraints: 17870
406.68/407.95 c #Conflicts: 285000 | #Constraints: 18870
406.68/407.95 c #Conflicts: 286000 | #Constraints: 19870
406.68/407.95 c #Conflicts: 287000 | #Constraints: 20870
406.68/407.95 c #Conflicts: 288000 | #Constraints: 21870
406.68/407.95 c INPROCESSING
406.68/407.95 c GARBAGE COLLECT
406.68/407.95 c #Conflicts: 289000 | #Constraints: 12269
406.68/407.95 c #Conflicts: 290000 | #Constraints: 13269
406.68/407.95 c #Conflicts: 291000 | #Constraints: 14269
406.68/407.95 c #Conflicts: 292000 | #Constraints: 15269
406.68/407.95 c #Conflicts: 293000 | #Constraints: 16269
406.68/407.95 c #Conflicts: 294000 | #Constraints: 17269
406.68/407.95 c #Conflicts: 295000 | #Constraints: 18269
406.68/407.95 c #Conflicts: 296000 | #Constraints: 19269
406.68/407.95 c #Conflicts: 297000 | #Constraints: 20269
406.68/407.95 c #Conflicts: 298000 | #Constraints: 21269
406.68/407.95 c #Conflicts: 299000 | #Constraints: 22269
406.68/407.95 c INPROCESSING
406.68/407.95 c GARBAGE COLLECT
406.68/407.95 c #Conflicts: 300000 | #Constraints: 12467
406.68/407.95 c #Conflicts: 301000 | #Constraints: 13467
406.68/407.95 c #Conflicts: 302000 | #Constraints: 14467
406.68/407.95 c #Conflicts: 303000 | #Constraints: 15467
406.68/407.95 c #Conflicts: 304000 | #Constraints: 16467
406.68/407.95 c #Conflicts: 305000 | #Constraints: 17467
406.68/407.95 c #Conflicts: 306000 | #Constraints: 18467
406.68/407.95 c #Conflicts: 307000 | #Constraints: 19467
406.68/407.95 c #Conflicts: 308000 | #Constraints: 20467
406.68/407.95 c #Conflicts: 309000 | #Constraints: 21467
406.68/407.95 c #Conflicts: 310000 | #Constraints: 22467
406.68/407.95 c INPROCESSING
406.68/407.95 c GARBAGE COLLECT
406.68/407.95 c #Conflicts: 311000 | #Constraints: 12472
406.68/407.95 c #Conflicts: 312000 | #Constraints: 13472
406.68/407.95 c #Conflicts: 313000 | #Constraints: 14472
406.68/407.95 c #Conflicts: 314000 | #Constraints: 15472
406.68/407.95 c #Conflicts: 315000 | #Constraints: 16472
406.68/407.95 c #Conflicts: 316000 | #Constraints: 17472
406.68/407.95 c #Conflicts: 317000 | #Constraints: 18472
406.68/407.95 c #Conflicts: 318000 | #Constraints: 19472
406.68/407.95 c #Conflicts: 319000 | #Constraints: 20472
406.68/407.95 c #Conflicts: 320000 | #Constraints: 21472
406.68/407.95 c #Conflicts: 321000 | #Constraints: 22472
406.68/407.95 c INPROCESSING
406.68/407.95 c GARBAGE COLLECT
406.68/407.95 c #Conflicts: 322000 | #Constraints: 12272
406.68/407.95 c #Conflicts: 323000 | #Constraints: 13272
406.68/407.95 c #Conflicts: 324000 | #Constraints: 14272
406.68/407.95 c #Conflicts: 325000 | #Constraints: 15272
406.68/407.95 c #Conflicts: 326000 | #Constraints: 16272
406.68/407.95 c #Conflicts: 327000 | #Constraints: 17272
406.68/407.95 c #Conflicts: 328000 | #Constraints: 18272
406.68/407.95 c #Conflicts: 329000 | #Constraints: 19272
406.68/407.95 c #Conflicts: 330000 | #Constraints: 20272
406.68/407.95 c #Conflicts: 331000 | #Constraints: 21272
406.68/407.95 c #Conflicts: 332000 | #Constraints: 22272
406.68/407.95 c #Conflicts: 333000 | #Constraints: 23272
406.68/407.95 c INPROCESSING
406.68/407.95 c GARBAGE COLLECT
406.68/407.95 c #Conflicts: 334000 | #Constraints: 12875
406.68/407.95 c #Conflicts: 335000 | #Constraints: 13875
406.68/407.95 c #Conflicts: 336000 | #Constraints: 14875
406.68/407.95 c #Conflicts: 337000 | #Constraints: 15875
406.68/407.95 c #Conflicts: 338000 | #Constraints: 16875
406.68/407.95 c #Conflicts: 339000 | #Constraints: 17875
406.68/407.95 c #Conflicts: 340000 | #Constraints: 18875
406.68/407.95 c #Conflicts: 341000 | #Constraints: 19875
406.68/407.95 c #Conflicts: 342000 | #Constraints: 20875
406.68/407.95 c #Conflicts: 343000 | #Constraints: 21875
406.68/407.95 c #Conflicts: 344000 | #Constraints: 22875
406.68/407.95 c #Conflicts: 345000 | #Constraints: 23875
406.68/407.95 c INPROCESSING
406.68/407.95 c GARBAGE COLLECT
406.68/407.95 c #Conflicts: 346000 | #Constraints: 13281
406.68/407.95 c #Conflicts: 347000 | #Constraints: 14281
406.68/407.95 c #Conflicts: 348000 | #Constraints: 15281
406.68/407.95 c #Conflicts: 349000 | #Constraints: 16281
406.68/407.95 c #Conflicts: 350000 | #Constraints: 17281
406.68/407.95 c #Conflicts: 351000 | #Constraints: 18281
406.68/407.95 c #Conflicts: 352000 | #Constraints: 19281
406.68/407.95 c #Conflicts: 353000 | #Constraints: 20281
406.68/407.95 c #Conflicts: 354000 | #Constraints: 21281
406.68/407.95 c #Conflicts: 355000 | #Constraints: 22281
406.68/407.95 c #Conflicts: 356000 | #Constraints: 23281
406.68/407.95 c #Conflicts: 357000 | #Constraints: 24281
406.68/407.95 c INPROCESSING
406.68/407.95 c GARBAGE COLLECT
406.68/407.95 c #Conflicts: 358000 | #Constraints: 13476
406.68/407.95 c #Conflicts: 359000 | #Constraints: 14476
533.51/535.16 c #Conflicts: 360000 | #Constraints: 15476
533.51/535.16 c #Conflicts: 361000 | #Constraints: 16476
533.51/535.16 c #Conflicts: 362000 | #Constraints: 17476
533.51/535.16 c #Conflicts: 363000 | #Constraints: 18476
533.51/535.16 c #Conflicts: 364000 | #Constraints: 19476
533.51/535.16 c #Conflicts: 365000 | #Constraints: 20476
533.51/535.16 c #Conflicts: 366000 | #Constraints: 21476
533.51/535.16 c #Conflicts: 367000 | #Constraints: 22476
533.51/535.16 c #Conflicts: 368000 | #Constraints: 23476
533.51/535.16 c #Conflicts: 369000 | #Constraints: 24476
533.51/535.16 c INPROCESSING
533.51/535.16 c GARBAGE COLLECT
533.51/535.16 c #Conflicts: 370000 | #Constraints: 13473
533.51/535.16 c #Conflicts: 371000 | #Constraints: 14473
533.51/535.16 c #Conflicts: 372000 | #Constraints: 15473
533.51/535.16 c #Conflicts: 373000 | #Constraints: 16473
533.51/535.16 c #Conflicts: 374000 | #Constraints: 17473
533.51/535.16 c #Conflicts: 375000 | #Constraints: 18473
533.51/535.16 c #Conflicts: 376000 | #Constraints: 19473
533.51/535.16 c #Conflicts: 377000 | #Constraints: 20473
533.51/535.16 c #Conflicts: 378000 | #Constraints: 21473
533.51/535.16 c #Conflicts: 379000 | #Constraints: 22473
533.51/535.16 c #Conflicts: 380000 | #Constraints: 23473
533.51/535.16 c #Conflicts: 381000 | #Constraints: 24473
533.51/535.16 c INPROCESSING
533.51/535.16 c GARBAGE COLLECT
533.51/535.16 c #Conflicts: 382000 | #Constraints: 13268
533.51/535.16 c #Conflicts: 383000 | #Constraints: 14268
533.51/535.16 c #Conflicts: 384000 | #Constraints: 15268
533.51/535.16 c #Conflicts: 385000 | #Constraints: 16268
533.51/535.16 c #Conflicts: 386000 | #Constraints: 17268
533.51/535.16 c #Conflicts: 387000 | #Constraints: 18268
533.51/535.16 c #Conflicts: 388000 | #Constraints: 19268
533.51/535.16 c #Conflicts: 389000 | #Constraints: 20268
533.51/535.16 c #Conflicts: 390000 | #Constraints: 21268
533.51/535.16 c #Conflicts: 391000 | #Constraints: 22268
533.51/535.16 c #Conflicts: 392000 | #Constraints: 23268
533.51/535.16 c #Conflicts: 393000 | #Constraints: 24268
533.51/535.16 c #Conflicts: 394000 | #Constraints: 25268
533.51/535.16 c INPROCESSING
533.51/535.16 c GARBAGE COLLECT
533.51/535.16 c #Conflicts: 395000 | #Constraints: 13870
533.51/535.16 c #Conflicts: 396000 | #Constraints: 14870
533.51/535.16 c #Conflicts: 397000 | #Constraints: 15870
533.51/535.16 c #Conflicts: 398000 | #Constraints: 16870
533.51/535.16 c #Conflicts: 399000 | #Constraints: 17870
533.51/535.16 c #Conflicts: 400000 | #Constraints: 18870
533.51/535.16 c #Conflicts: 401000 | #Constraints: 19870
533.51/535.16 c #Conflicts: 402000 | #Constraints: 20870
533.51/535.16 c #Conflicts: 403000 | #Constraints: 21870
533.51/535.16 c #Conflicts: 404000 | #Constraints: 22870
533.51/535.16 c #Conflicts: 405000 | #Constraints: 23870
533.51/535.16 c #Conflicts: 406000 | #Constraints: 24870
533.51/535.16 c #Conflicts: 407000 | #Constraints: 25870
533.51/535.16 c INPROCESSING
533.51/535.16 c GARBAGE COLLECT
533.51/535.16 c #Conflicts: 408000 | #Constraints: 14271
533.51/535.16 c #Conflicts: 409000 | #Constraints: 15271
533.51/535.16 c #Conflicts: 410000 | #Constraints: 16271
533.51/535.16 c #Conflicts: 411000 | #Constraints: 17271
533.51/535.16 c #Conflicts: 412000 | #Constraints: 18271
533.51/535.16 c #Conflicts: 413000 | #Constraints: 19271
533.51/535.16 c #Conflicts: 414000 | #Constraints: 20271
533.51/535.16 c #Conflicts: 415000 | #Constraints: 21271
533.51/535.16 c #Conflicts: 416000 | #Constraints: 22271
533.51/535.16 c #Conflicts: 417000 | #Constraints: 23271
533.51/535.16 c #Conflicts: 418000 | #Constraints: 24271
533.51/535.16 c #Conflicts: 419000 | #Constraints: 25271
533.51/535.16 c #Conflicts: 420000 | #Constraints: 26271
533.51/535.16 c INPROCESSING
533.51/535.16 c GARBAGE COLLECT
533.51/535.16 c #Conflicts: 421000 | #Constraints: 14480
533.51/535.16 c #Conflicts: 422000 | #Constraints: 15480
533.51/535.16 c #Conflicts: 423000 | #Constraints: 16480
533.51/535.16 c #Conflicts: 424000 | #Constraints: 17480
533.51/535.16 c #Conflicts: 425000 | #Constraints: 18480
533.51/535.16 c #Conflicts: 426000 | #Constraints: 19480
533.51/535.16 c #Conflicts: 427000 | #Constraints: 20480
533.51/535.16 c #Conflicts: 428000 | #Constraints: 21480
533.51/535.16 c #Conflicts: 429000 | #Constraints: 22480
533.51/535.16 c #Conflicts: 430000 | #Constraints: 23480
533.51/535.16 c #Conflicts: 431000 | #Constraints: 24480
533.51/535.16 c #Conflicts: 432000 | #Constraints: 25480
533.51/535.16 c #Conflicts: 433000 | #Constraints: 26480
533.51/535.16 c INPROCESSING
533.51/535.16 c GARBAGE COLLECT
533.51/535.16 c #Conflicts: 434000 | #Constraints: 14481
722.52/724.70 c #Conflicts: 435000 | #Constraints: 15481
722.52/724.70 c #Conflicts: 436000 | #Constraints: 16481
722.52/724.70 c #Conflicts: 437000 | #Constraints: 17481
722.52/724.70 c #Conflicts: 438000 | #Constraints: 18481
722.52/724.70 c #Conflicts: 439000 | #Constraints: 19481
722.52/724.70 c #Conflicts: 440000 | #Constraints: 20481
722.52/724.70 c #Conflicts: 441000 | #Constraints: 21481
722.52/724.70 c #Conflicts: 442000 | #Constraints: 22481
722.52/724.70 c #Conflicts: 443000 | #Constraints: 23481
722.52/724.70 c #Conflicts: 444000 | #Constraints: 24481
722.52/724.70 c #Conflicts: 445000 | #Constraints: 25481
722.52/724.70 c #Conflicts: 446000 | #Constraints: 26481
722.52/724.70 c INPROCESSING
722.52/724.70 c GARBAGE COLLECT
722.52/724.70 c #Conflicts: 447000 | #Constraints: 14276
722.52/724.70 c #Conflicts: 448000 | #Constraints: 15276
722.52/724.70 c #Conflicts: 449000 | #Constraints: 16276
722.52/724.70 c #Conflicts: 450000 | #Constraints: 17276
722.52/724.70 c #Conflicts: 451000 | #Constraints: 18276
722.52/724.70 c #Conflicts: 452000 | #Constraints: 19276
722.52/724.70 c #Conflicts: 453000 | #Constraints: 20276
722.52/724.71 c #Conflicts: 454000 | #Constraints: 21276
722.52/724.71 c #Conflicts: 455000 | #Constraints: 22276
722.52/724.71 c #Conflicts: 456000 | #Constraints: 23276
722.52/724.71 c #Conflicts: 457000 | #Constraints: 24276
722.52/724.71 c #Conflicts: 458000 | #Constraints: 25276
722.52/724.71 c #Conflicts: 459000 | #Constraints: 26276
722.52/724.71 c #Conflicts: 460000 | #Constraints: 27276
722.52/724.71 c INPROCESSING
722.52/724.71 c GARBAGE COLLECT
722.52/724.71 c #Conflicts: 461000 | #Constraints: 14878
722.52/724.71 c #Conflicts: 462000 | #Constraints: 15878
722.52/724.71 c #Conflicts: 463000 | #Constraints: 16878
722.52/724.71 c #Conflicts: 464000 | #Constraints: 17878
722.52/724.71 c #Conflicts: 465000 | #Constraints: 18878
722.52/724.71 c #Conflicts: 466000 | #Constraints: 19878
722.52/724.71 c #Conflicts: 467000 | #Constraints: 20878
722.52/724.71 c #Conflicts: 468000 | #Constraints: 21878
722.52/724.71 c #Conflicts: 469000 | #Constraints: 22878
722.52/724.71 c #Conflicts: 470000 | #Constraints: 23878
722.52/724.71 c #Conflicts: 471000 | #Constraints: 24878
722.52/724.71 c #Conflicts: 472000 | #Constraints: 25878
722.52/724.71 c #Conflicts: 473000 | #Constraints: 26878
722.52/724.71 c #Conflicts: 474000 | #Constraints: 27878
722.52/724.71 c INPROCESSING
722.52/724.71 c GARBAGE COLLECT
722.52/724.71 c #Conflicts: 475000 | #Constraints: 15284
722.52/724.71 c #Conflicts: 476000 | #Constraints: 16284
722.52/724.71 c #Conflicts: 477000 | #Constraints: 17284
722.52/724.71 c #Conflicts: 478000 | #Constraints: 18284
722.52/724.71 c #Conflicts: 479000 | #Constraints: 19284
722.52/724.71 c #Conflicts: 480000 | #Constraints: 20284
722.52/724.71 c #Conflicts: 481000 | #Constraints: 21284
722.52/724.71 c #Conflicts: 482000 | #Constraints: 22284
722.52/724.71 c #Conflicts: 483000 | #Constraints: 23284
722.52/724.71 c #Conflicts: 484000 | #Constraints: 24284
722.52/724.71 c #Conflicts: 485000 | #Constraints: 25284
722.52/724.71 c #Conflicts: 486000 | #Constraints: 26284
722.52/724.71 c #Conflicts: 487000 | #Constraints: 27284
722.52/724.71 c #Conflicts: 488000 | #Constraints: 28284
722.52/724.71 c INPROCESSING
722.52/724.71 c GARBAGE COLLECT
722.52/724.71 c #Conflicts: 489000 | #Constraints: 15481
722.52/724.71 c #Conflicts: 490000 | #Constraints: 16481
722.52/724.71 c #Conflicts: 491000 | #Constraints: 17481
722.52/724.71 c #Conflicts: 492000 | #Constraints: 18481
722.52/724.71 c #Conflicts: 493000 | #Constraints: 19481
722.52/724.71 c #Conflicts: 494000 | #Constraints: 20481
722.52/724.71 c #Conflicts: 495000 | #Constraints: 21481
722.52/724.71 c #Conflicts: 496000 | #Constraints: 22481
722.52/724.71 c #Conflicts: 497000 | #Constraints: 23481
722.52/724.71 c #Conflicts: 498000 | #Constraints: 24481
722.52/724.71 c #Conflicts: 499000 | #Constraints: 25481
722.52/724.71 c #Conflicts: 500000 | #Constraints: 26481
722.52/724.71 c #Conflicts: 501000 | #Constraints: 27481
722.52/724.71 c #Conflicts: 502000 | #Constraints: 28481
722.52/724.71 c INPROCESSING
722.52/724.71 c GARBAGE COLLECT
722.52/724.71 c #Conflicts: 503000 | #Constraints: 15488
722.52/724.71 c #Conflicts: 504000 | #Constraints: 16488
722.52/724.71 c #Conflicts: 505000 | #Constraints: 17488
722.52/724.71 c #Conflicts: 506000 | #Constraints: 18488
722.52/724.71 c #Conflicts: 507000 | #Constraints: 19488
722.52/724.71 c #Conflicts: 508000 | #Constraints: 20488
722.52/724.71 c #Conflicts: 509000 | #Constraints: 21488
845.34/847.94 c #Conflicts: 510000 | #Constraints: 22488
845.34/847.94 c #Conflicts: 511000 | #Constraints: 23488
845.34/847.94 c #Conflicts: 512000 | #Constraints: 24488
845.34/847.94 c #Conflicts: 513000 | #Constraints: 25488
845.34/847.94 c #Conflicts: 514000 | #Constraints: 26488
845.34/847.94 c #Conflicts: 515000 | #Constraints: 27488
845.34/847.94 c #Conflicts: 516000 | #Constraints: 28488
845.34/847.94 c INPROCESSING
845.34/847.94 c GARBAGE COLLECT
845.34/847.94 c #Conflicts: 517000 | #Constraints: 15282
845.34/847.94 c #Conflicts: 518000 | #Constraints: 16282
845.34/847.94 c #Conflicts: 519000 | #Constraints: 17282
845.34/847.94 c #Conflicts: 520000 | #Constraints: 18282
845.34/847.94 c #Conflicts: 521000 | #Constraints: 19282
845.34/847.94 c #Conflicts: 522000 | #Constraints: 20282
845.34/847.94 c #Conflicts: 523000 | #Constraints: 21282
845.34/847.94 c #Conflicts: 524000 | #Constraints: 22282
845.34/847.94 c #Conflicts: 525000 | #Constraints: 23282
845.34/847.94 c #Conflicts: 526000 | #Constraints: 24282
845.34/847.94 c #Conflicts: 527000 | #Constraints: 25282
845.34/847.94 c #Conflicts: 528000 | #Constraints: 26282
845.34/847.94 c #Conflicts: 529000 | #Constraints: 27282
845.34/847.94 c #Conflicts: 530000 | #Constraints: 28282
845.34/847.94 c #Conflicts: 531000 | #Constraints: 29282
845.34/847.94 c INPROCESSING
845.34/847.94 c GARBAGE COLLECT
845.34/847.94 c #Conflicts: 532000 | #Constraints: 15885
845.34/847.94 c #Conflicts: 533000 | #Constraints: 16885
845.34/847.94 c #Conflicts: 534000 | #Constraints: 17885
845.34/847.94 c #Conflicts: 535000 | #Constraints: 18885
845.34/847.94 c #Conflicts: 536000 | #Constraints: 19885
845.34/847.94 c #Conflicts: 537000 | #Constraints: 20885
845.34/847.94 c #Conflicts: 538000 | #Constraints: 21885
845.34/847.94 c #Conflicts: 539000 | #Constraints: 22885
845.34/847.94 c #Conflicts: 540000 | #Constraints: 23885
845.34/847.94 c #Conflicts: 541000 | #Constraints: 24885
845.34/847.94 c #Conflicts: 542000 | #Constraints: 25885
845.34/847.94 c #Conflicts: 543000 | #Constraints: 26885
845.34/847.94 c #Conflicts: 544000 | #Constraints: 27885
845.34/847.94 c #Conflicts: 545000 | #Constraints: 28885
845.34/847.94 c #Conflicts: 546000 | #Constraints: 29885
845.34/847.94 c INPROCESSING
845.34/847.94 c GARBAGE COLLECT
845.34/847.94 c #Conflicts: 547000 | #Constraints: 16288
845.34/847.94 c #Conflicts: 548000 | #Constraints: 17288
845.34/847.94 c #Conflicts: 549000 | #Constraints: 18288
845.34/847.94 c #Conflicts: 550000 | #Constraints: 19288
845.34/847.94 c #Conflicts: 551000 | #Constraints: 20288
845.34/847.94 c #Conflicts: 552000 | #Constraints: 21288
845.34/847.94 c #Conflicts: 553000 | #Constraints: 22288
845.34/847.94 c #Conflicts: 554000 | #Constraints: 23288
845.34/847.94 c #Conflicts: 555000 | #Constraints: 24288
845.34/847.94 c #Conflicts: 556000 | #Constraints: 25288
845.34/847.94 c #Conflicts: 557000 | #Constraints: 26288
845.34/847.94 c #Conflicts: 558000 | #Constraints: 27288
845.34/847.94 c #Conflicts: 559000 | #Constraints: 28288
845.34/847.94 c #Conflicts: 560000 | #Constraints: 29288
845.34/847.94 c #Conflicts: 561000 | #Constraints: 30288
845.34/847.94 c INPROCESSING
845.34/847.94 c GARBAGE COLLECT
845.34/847.94 c #Conflicts: 562000 | #Constraints: 16488
845.34/847.94 c #Conflicts: 563000 | #Constraints: 17488
845.34/847.94 c #Conflicts: 564000 | #Constraints: 18488
845.34/847.94 c #Conflicts: 565000 | #Constraints: 19488
845.34/847.94 c #Conflicts: 566000 | #Constraints: 20488
845.34/847.94 c #Conflicts: 567000 | #Constraints: 21488
845.34/847.94 c #Conflicts: 568000 | #Constraints: 22488
845.34/847.94 c #Conflicts: 569000 | #Constraints: 23488
845.34/847.94 c #Conflicts: 570000 | #Constraints: 24488
845.34/847.94 c bounds 0 >= -192 @ 832.55
845.34/847.94 c #Conflicts: 571000 | #Constraints: 25507
845.34/847.94 c #Conflicts: 572000 | #Constraints: 26507
845.34/847.94 c #Conflicts: 573000 | #Constraints: 27507
845.34/847.94 c #Conflicts: 574000 | #Constraints: 28507
845.34/847.94 c #Conflicts: 575000 | #Constraints: 29507
845.34/847.94 c #Conflicts: 576000 | #Constraints: 30507
845.34/847.94 c INPROCESSING
845.34/847.94 c GARBAGE COLLECT
845.34/847.94 c #Conflicts: 577000 | #Constraints: 16494
845.34/847.94 c #Conflicts: 578000 | #Constraints: 17494
845.34/847.94 c #Conflicts: 579000 | #Constraints: 18494
845.34/847.94 c #Conflicts: 580000 | #Constraints: 19494
845.34/847.94 c #Conflicts: 581000 | #Constraints: 20494
845.34/847.94 c #Conflicts: 582000 | #Constraints: 21494
845.34/847.94 c #Conflicts: 583000 | #Constraints: 22494
845.34/847.94 c #Conflicts: 584000 | #Constraints: 23494
987.71/990.73 c #Conflicts: 585000 | #Constraints: 24494
987.71/990.73 c #Conflicts: 586000 | #Constraints: 25494
987.71/990.73 c #Conflicts: 587000 | #Constraints: 26494
987.71/990.73 c #Conflicts: 588000 | #Constraints: 27494
987.71/990.73 c #Conflicts: 589000 | #Constraints: 28494
987.71/990.73 c #Conflicts: 590000 | #Constraints: 29494
987.71/990.73 c #Conflicts: 591000 | #Constraints: 30494
987.71/990.73 c INPROCESSING
987.71/990.73 c GARBAGE COLLECT
987.71/990.73 c #Conflicts: 592000 | #Constraints: 16290
987.71/990.73 c #Conflicts: 593000 | #Constraints: 17290
987.71/990.73 c #Conflicts: 594000 | #Constraints: 18290
987.71/990.73 c #Conflicts: 595000 | #Constraints: 19290
987.71/990.73 c #Conflicts: 596000 | #Constraints: 20290
987.71/990.73 c #Conflicts: 597000 | #Constraints: 21290
987.71/990.73 c #Conflicts: 598000 | #Constraints: 22290
987.71/990.73 c #Conflicts: 599000 | #Constraints: 23290
987.71/990.73 c #Conflicts: 600000 | #Constraints: 24290
987.71/990.73 c #Conflicts: 601000 | #Constraints: 25290
987.71/990.73 c #Conflicts: 602000 | #Constraints: 26290
987.71/990.73 c #Conflicts: 603000 | #Constraints: 27290
987.71/990.73 c #Conflicts: 604000 | #Constraints: 28290
987.71/990.73 c #Conflicts: 605000 | #Constraints: 29290
987.71/990.73 c #Conflicts: 606000 | #Constraints: 30290
987.71/990.73 c #Conflicts: 607000 | #Constraints: 31290
987.71/990.73 c INPROCESSING
987.71/990.73 c GARBAGE COLLECT
987.71/990.73 c #Conflicts: 608000 | #Constraints: 16889
987.71/990.73 c #Conflicts: 609000 | #Constraints: 17889
987.71/990.73 c #Conflicts: 610000 | #Constraints: 18889
987.71/990.73 c #Conflicts: 611000 | #Constraints: 19889
987.71/990.73 c #Conflicts: 612000 | #Constraints: 20889
987.71/990.73 c #Conflicts: 613000 | #Constraints: 21889
987.71/990.73 c #Conflicts: 614000 | #Constraints: 22889
987.71/990.73 c #Conflicts: 615000 | #Constraints: 23889
987.71/990.73 c #Conflicts: 616000 | #Constraints: 24889
987.71/990.73 c #Conflicts: 617000 | #Constraints: 25889
987.71/990.73 c #Conflicts: 618000 | #Constraints: 26889
987.71/990.73 c #Conflicts: 619000 | #Constraints: 27889
987.71/990.73 c #Conflicts: 620000 | #Constraints: 28889
987.71/990.73 c #Conflicts: 621000 | #Constraints: 29889
987.71/990.73 c #Conflicts: 622000 | #Constraints: 30889
987.71/990.73 c #Conflicts: 623000 | #Constraints: 31889
987.71/990.73 c INPROCESSING
987.71/990.73 c GARBAGE COLLECT
987.71/990.73 c #Conflicts: 624000 | #Constraints: 17283
987.71/990.73 c #Conflicts: 625000 | #Constraints: 18283
987.71/990.73 c #Conflicts: 626000 | #Constraints: 19283
987.71/990.73 c #Conflicts: 627000 | #Constraints: 20283
987.71/990.73 c #Conflicts: 628000 | #Constraints: 21283
987.71/990.73 c #Conflicts: 629000 | #Constraints: 22283
987.71/990.73 c #Conflicts: 630000 | #Constraints: 23283
987.71/990.73 c #Conflicts: 631000 | #Constraints: 24283
987.71/990.73 c #Conflicts: 632000 | #Constraints: 25283
987.71/990.73 c #Conflicts: 633000 | #Constraints: 26283
987.71/990.73 c #Conflicts: 634000 | #Constraints: 27283
987.71/990.73 c #Conflicts: 635000 | #Constraints: 28283
987.71/990.73 c #Conflicts: 636000 | #Constraints: 29283
987.71/990.73 c #Conflicts: 637000 | #Constraints: 30283
987.71/990.73 c #Conflicts: 638000 | #Constraints: 31283
987.71/990.73 c #Conflicts: 639000 | #Constraints: 32283
987.71/990.73 c INPROCESSING
987.71/990.73 c GARBAGE COLLECT
987.71/990.73 c #Conflicts: 640000 | #Constraints: 17480
987.71/990.73 c #Conflicts: 641000 | #Constraints: 18480
987.71/990.73 c #Conflicts: 642000 | #Constraints: 19480
987.71/990.73 c #Conflicts: 643000 | #Constraints: 20480
987.71/990.73 c #Conflicts: 644000 | #Constraints: 21480
987.71/990.73 c #Conflicts: 645000 | #Constraints: 22480
987.71/990.73 c #Conflicts: 646000 | #Constraints: 23480
987.71/990.73 c #Conflicts: 647000 | #Constraints: 24480
987.71/990.73 c #Conflicts: 648000 | #Constraints: 25480
987.71/990.73 c #Conflicts: 649000 | #Constraints: 26480
987.71/990.73 c #Conflicts: 650000 | #Constraints: 27480
987.71/990.73 c #Conflicts: 651000 | #Constraints: 28480
987.71/990.73 c #Conflicts: 652000 | #Constraints: 29480
987.71/990.73 c #Conflicts: 653000 | #Constraints: 30480
987.71/990.73 c #Conflicts: 654000 | #Constraints: 31480
987.71/990.73 c #Conflicts: 655000 | #Constraints: 32480
987.71/990.73 c INPROCESSING
987.71/990.73 c GARBAGE COLLECT
987.71/990.73 c #Conflicts: 656000 | #Constraints: 17481
987.71/990.73 c #Conflicts: 657000 | #Constraints: 18481
987.71/990.73 c #Conflicts: 658000 | #Constraints: 19481
987.71/990.73 c #Conflicts: 659000 | #Constraints: 20481
987.71/990.73 c #Conflicts: 660000 | #Constraints: 21481
1238.97/1242.74 c #Conflicts: 661000 | #Constraints: 22481
1238.97/1242.74 c #Conflicts: 662000 | #Constraints: 23481
1238.97/1242.74 c #Conflicts: 663000 | #Constraints: 24481
1238.97/1242.74 c #Conflicts: 664000 | #Constraints: 25481
1238.97/1242.74 c #Conflicts: 665000 | #Constraints: 26481
1238.97/1242.74 c #Conflicts: 666000 | #Constraints: 27481
1238.97/1242.74 c #Conflicts: 667000 | #Constraints: 28481
1238.97/1242.74 c #Conflicts: 668000 | #Constraints: 29481
1238.97/1242.74 c #Conflicts: 669000 | #Constraints: 30481
1238.97/1242.74 c #Conflicts: 670000 | #Constraints: 31481
1238.97/1242.74 c #Conflicts: 671000 | #Constraints: 32481
1238.97/1242.74 c INPROCESSING
1238.97/1242.74 c GARBAGE COLLECT
1238.97/1242.74 c #Conflicts: 672000 | #Constraints: 17292
1238.97/1242.74 c #Conflicts: 673000 | #Constraints: 18292
1238.97/1242.74 c #Conflicts: 674000 | #Constraints: 19292
1238.97/1242.74 c #Conflicts: 675000 | #Constraints: 20292
1238.97/1242.74 c #Conflicts: 676000 | #Constraints: 21292
1238.97/1242.74 c #Conflicts: 677000 | #Constraints: 22292
1238.97/1242.74 c #Conflicts: 678000 | #Constraints: 23292
1238.97/1242.74 c #Conflicts: 679000 | #Constraints: 24292
1238.97/1242.74 c #Conflicts: 680000 | #Constraints: 25292
1238.97/1242.74 c #Conflicts: 681000 | #Constraints: 26292
1238.97/1242.74 c #Conflicts: 682000 | #Constraints: 27292
1238.97/1242.74 c #Conflicts: 683000 | #Constraints: 28292
1238.97/1242.74 c #Conflicts: 684000 | #Constraints: 29292
1238.97/1242.74 c #Conflicts: 685000 | #Constraints: 30292
1238.97/1242.74 c #Conflicts: 686000 | #Constraints: 31292
1238.97/1242.74 c #Conflicts: 687000 | #Constraints: 32292
1238.97/1242.74 c #Conflicts: 688000 | #Constraints: 33292
1238.97/1242.74 c INPROCESSING
1238.97/1242.74 c GARBAGE COLLECT
1238.97/1242.74 c #Conflicts: 689000 | #Constraints: 17892
1238.97/1242.74 c #Conflicts: 690000 | #Constraints: 18892
1238.97/1242.74 c #Conflicts: 691000 | #Constraints: 19892
1238.97/1242.74 c #Conflicts: 692000 | #Constraints: 20892
1238.97/1242.74 c #Conflicts: 693000 | #Constraints: 21892
1238.97/1242.74 c #Conflicts: 694000 | #Constraints: 22892
1238.97/1242.74 c #Conflicts: 695000 | #Constraints: 23892
1238.97/1242.74 c #Conflicts: 696000 | #Constraints: 24892
1238.97/1242.74 c #Conflicts: 697000 | #Constraints: 25892
1238.97/1242.74 c #Conflicts: 698000 | #Constraints: 26892
1238.97/1242.74 c #Conflicts: 699000 | #Constraints: 27892
1238.97/1242.74 c #Conflicts: 700000 | #Constraints: 28892
1238.97/1242.74 c #Conflicts: 701000 | #Constraints: 29892
1238.97/1242.74 c #Conflicts: 702000 | #Constraints: 30892
1238.97/1242.74 c #Conflicts: 703000 | #Constraints: 31892
1238.97/1242.74 c #Conflicts: 704000 | #Constraints: 32892
1238.97/1242.74 c #Conflicts: 705000 | #Constraints: 33892
1238.97/1242.74 c INPROCESSING
1238.97/1242.74 c GARBAGE COLLECT
1238.97/1242.74 c #Conflicts: 706000 | #Constraints: 18295
1238.97/1242.74 c #Conflicts: 707000 | #Constraints: 19295
1238.97/1242.74 c #Conflicts: 708000 | #Constraints: 20295
1238.97/1242.74 c #Conflicts: 709000 | #Constraints: 21295
1238.97/1242.74 c #Conflicts: 710000 | #Constraints: 22295
1238.97/1242.74 c #Conflicts: 711000 | #Constraints: 23295
1238.97/1242.74 c #Conflicts: 712000 | #Constraints: 24295
1238.97/1242.74 c #Conflicts: 713000 | #Constraints: 25295
1238.97/1242.74 c #Conflicts: 714000 | #Constraints: 26295
1238.97/1242.74 c #Conflicts: 715000 | #Constraints: 27295
1238.97/1242.74 c #Conflicts: 716000 | #Constraints: 28295
1238.97/1242.74 c #Conflicts: 717000 | #Constraints: 29295
1238.97/1242.74 c #Conflicts: 718000 | #Constraints: 30295
1238.97/1242.74 c #Conflicts: 719000 | #Constraints: 31295
1238.97/1242.74 c #Conflicts: 720000 | #Constraints: 32295
1238.97/1242.74 c #Conflicts: 721000 | #Constraints: 33295
1238.97/1242.74 c #Conflicts: 722000 | #Constraints: 34295
1238.97/1242.74 c INPROCESSING
1238.97/1242.74 c GARBAGE COLLECT
1238.97/1242.74 c #Conflicts: 723000 | #Constraints: 18490
1238.97/1242.74 c #Conflicts: 724000 | #Constraints: 19490
1238.97/1242.74 c #Conflicts: 725000 | #Constraints: 20490
1238.97/1242.74 c #Conflicts: 726000 | #Constraints: 21490
1238.97/1242.74 c #Conflicts: 727000 | #Constraints: 22490
1238.97/1242.74 c #Conflicts: 728000 | #Constraints: 23490
1238.97/1242.74 c #Conflicts: 729000 | #Constraints: 24490
1238.97/1242.74 c #Conflicts: 730000 | #Constraints: 25490
1238.97/1242.74 c #Conflicts: 731000 | #Constraints: 26490
1238.97/1242.74 c #Conflicts: 732000 | #Constraints: 27490
1238.97/1242.74 c #Conflicts: 733000 | #Constraints: 28490
1238.97/1242.74 c #Conflicts: 734000 | #Constraints: 29490
1238.97/1242.74 c #Conflicts: 735000 | #Constraints: 30490
1238.97/1242.74 c #Conflicts: 736000 | #Constraints: 31490
1459.04/1463.57 c #Conflicts: 737000 | #Constraints: 32490
1459.04/1463.57 c #Conflicts: 738000 | #Constraints: 33490
1459.04/1463.57 c #Conflicts: 739000 | #Constraints: 34490
1459.04/1463.57 c INPROCESSING
1459.04/1463.57 c GARBAGE COLLECT
1459.04/1463.57 c #Conflicts: 740000 | #Constraints: 18496
1459.04/1463.57 c #Conflicts: 741000 | #Constraints: 19496
1459.04/1463.57 c #Conflicts: 742000 | #Constraints: 20496
1459.04/1463.57 c #Conflicts: 743000 | #Constraints: 21496
1459.04/1463.57 c #Conflicts: 744000 | #Constraints: 22496
1459.04/1463.57 c #Conflicts: 745000 | #Constraints: 23496
1459.04/1463.57 c #Conflicts: 746000 | #Constraints: 24496
1459.04/1463.57 c #Conflicts: 747000 | #Constraints: 25496
1459.04/1463.57 c #Conflicts: 748000 | #Constraints: 26496
1459.04/1463.57 c #Conflicts: 749000 | #Constraints: 27496
1459.04/1463.57 c #Conflicts: 750000 | #Constraints: 28496
1459.04/1463.57 c #Conflicts: 751000 | #Constraints: 29496
1459.04/1463.57 c #Conflicts: 752000 | #Constraints: 30496
1459.04/1463.57 c #Conflicts: 753000 | #Constraints: 31496
1459.04/1463.57 c #Conflicts: 754000 | #Constraints: 32496
1459.04/1463.57 c #Conflicts: 755000 | #Constraints: 33496
1459.04/1463.57 c #Conflicts: 756000 | #Constraints: 34496
1459.04/1463.57 c INPROCESSING
1459.04/1463.57 c GARBAGE COLLECT
1459.04/1463.57 c #Conflicts: 757000 | #Constraints: 18295
1459.04/1463.57 c #Conflicts: 758000 | #Constraints: 19295
1459.04/1463.57 c #Conflicts: 759000 | #Constraints: 20295
1459.04/1463.57 c #Conflicts: 760000 | #Constraints: 21295
1459.04/1463.57 c #Conflicts: 761000 | #Constraints: 22295
1459.04/1463.57 c #Conflicts: 762000 | #Constraints: 23295
1459.04/1463.57 c #Conflicts: 763000 | #Constraints: 24295
1459.04/1463.57 c #Conflicts: 764000 | #Constraints: 25295
1459.04/1463.57 c #Conflicts: 765000 | #Constraints: 26295
1459.04/1463.57 c #Conflicts: 766000 | #Constraints: 27295
1459.04/1463.57 c #Conflicts: 767000 | #Constraints: 28295
1459.04/1463.57 c #Conflicts: 768000 | #Constraints: 29295
1459.04/1463.57 c #Conflicts: 769000 | #Constraints: 30295
1459.04/1463.57 c #Conflicts: 770000 | #Constraints: 31295
1459.04/1463.57 c #Conflicts: 771000 | #Constraints: 32295
1459.04/1463.57 c #Conflicts: 772000 | #Constraints: 33295
1459.04/1463.57 c #Conflicts: 773000 | #Constraints: 34295
1459.04/1463.57 c #Conflicts: 774000 | #Constraints: 35295
1459.04/1463.57 c INPROCESSING
1459.04/1463.57 c GARBAGE COLLECT
1459.04/1463.57 c #Conflicts: 775000 | #Constraints: 18895
1459.04/1463.57 c #Conflicts: 776000 | #Constraints: 19895
1459.04/1463.57 c #Conflicts: 777000 | #Constraints: 20895
1459.04/1463.57 c #Conflicts: 778000 | #Constraints: 21895
1459.04/1463.57 c #Conflicts: 779000 | #Constraints: 22895
1459.04/1463.57 c #Conflicts: 780000 | #Constraints: 23895
1459.04/1463.57 c #Conflicts: 781000 | #Constraints: 24895
1459.04/1463.57 c #Conflicts: 782000 | #Constraints: 25895
1459.04/1463.57 c #Conflicts: 783000 | #Constraints: 26895
1459.04/1463.57 c #Conflicts: 784000 | #Constraints: 27895
1459.04/1463.57 c #Conflicts: 785000 | #Constraints: 28895
1459.04/1463.57 c #Conflicts: 786000 | #Constraints: 29895
1459.04/1463.57 c #Conflicts: 787000 | #Constraints: 30895
1459.04/1463.57 c #Conflicts: 788000 | #Constraints: 31895
1459.04/1463.57 c #Conflicts: 789000 | #Constraints: 32895
1459.04/1463.57 c #Conflicts: 790000 | #Constraints: 33895
1459.04/1463.57 c #Conflicts: 791000 | #Constraints: 34895
1459.04/1463.57 c #Conflicts: 792000 | #Constraints: 35895
1459.04/1463.57 c INPROCESSING
1459.04/1463.57 c GARBAGE COLLECT
1459.04/1463.57 c #Conflicts: 793000 | #Constraints: 19287
1459.04/1463.57 c #Conflicts: 794000 | #Constraints: 20287
1459.04/1463.57 c #Conflicts: 795000 | #Constraints: 21287
1459.04/1463.57 c #Conflicts: 796000 | #Constraints: 22287
1459.04/1463.57 c #Conflicts: 797000 | #Constraints: 23287
1459.04/1463.57 c #Conflicts: 798000 | #Constraints: 24287
1459.04/1463.57 c #Conflicts: 799000 | #Constraints: 25287
1459.04/1463.57 c #Conflicts: 800000 | #Constraints: 26287
1459.04/1463.57 c #Conflicts: 801000 | #Constraints: 27287
1459.04/1463.57 c #Conflicts: 802000 | #Constraints: 28287
1459.04/1463.57 c #Conflicts: 803000 | #Constraints: 29287
1459.04/1463.57 c #Conflicts: 804000 | #Constraints: 30287
1459.04/1463.57 c #Conflicts: 805000 | #Constraints: 31287
1459.04/1463.57 c #Conflicts: 806000 | #Constraints: 32287
1459.04/1463.57 c #Conflicts: 807000 | #Constraints: 33287
1459.04/1463.57 c #Conflicts: 808000 | #Constraints: 34287
1459.04/1463.57 c #Conflicts: 809000 | #Constraints: 35287
1459.04/1463.57 c #Conflicts: 810000 | #Constraints: 36287
1459.04/1463.57 c INPROCESSING
1459.04/1463.57 c GARBAGE COLLECT
1459.04/1463.57 c #Conflicts: 811000 | #Constraints: 19483
1459.04/1463.57 c #Conflicts: 812000 | #Constraints: 20483
1719.46/1724.82 c #Conflicts: 813000 | #Constraints: 21483
1719.46/1724.82 c #Conflicts: 814000 | #Constraints: 22483
1719.46/1724.82 c #Conflicts: 815000 | #Constraints: 23483
1719.46/1724.82 c #Conflicts: 816000 | #Constraints: 24483
1719.46/1724.82 c #Conflicts: 817000 | #Constraints: 25483
1719.46/1724.82 c #Conflicts: 818000 | #Constraints: 26483
1719.46/1724.82 c #Conflicts: 819000 | #Constraints: 27483
1719.46/1724.82 c #Conflicts: 820000 | #Constraints: 28483
1719.46/1724.82 c #Conflicts: 821000 | #Constraints: 29483
1719.46/1724.82 c #Conflicts: 822000 | #Constraints: 30483
1719.46/1724.82 c #Conflicts: 823000 | #Constraints: 31483
1719.46/1724.82 c #Conflicts: 824000 | #Constraints: 32483
1719.46/1724.82 c #Conflicts: 825000 | #Constraints: 33483
1719.46/1724.82 c #Conflicts: 826000 | #Constraints: 34483
1719.46/1724.82 c #Conflicts: 827000 | #Constraints: 35483
1719.46/1724.82 c #Conflicts: 828000 | #Constraints: 36483
1719.46/1724.82 c INPROCESSING
1719.46/1724.82 c GARBAGE COLLECT
1719.46/1724.82 c #Conflicts: 829000 | #Constraints: 19487
1719.46/1724.82 c #Conflicts: 830000 | #Constraints: 20487
1719.46/1724.82 c #Conflicts: 831000 | #Constraints: 21487
1719.46/1724.83 c #Conflicts: 832000 | #Constraints: 22487
1719.46/1724.83 c #Conflicts: 833000 | #Constraints: 23487
1719.46/1724.83 c #Conflicts: 834000 | #Constraints: 24487
1719.46/1724.83 c #Conflicts: 835000 | #Constraints: 25487
1719.46/1724.83 c #Conflicts: 836000 | #Constraints: 26487
1719.46/1724.83 c #Conflicts: 837000 | #Constraints: 27487
1719.46/1724.83 c #Conflicts: 838000 | #Constraints: 28487
1719.46/1724.83 c #Conflicts: 839000 | #Constraints: 29487
1719.46/1724.83 c #Conflicts: 840000 | #Constraints: 30487
1719.46/1724.83 c #Conflicts: 841000 | #Constraints: 31487
1719.46/1724.83 c #Conflicts: 842000 | #Constraints: 32487
1719.46/1724.83 c #Conflicts: 843000 | #Constraints: 33487
1719.46/1724.83 c #Conflicts: 844000 | #Constraints: 34487
1719.46/1724.83 c #Conflicts: 845000 | #Constraints: 35487
1719.46/1724.83 c #Conflicts: 846000 | #Constraints: 36487
1719.46/1724.83 c INPROCESSING
1719.46/1724.83 c GARBAGE COLLECT
1719.46/1724.83 c #Conflicts: 847000 | #Constraints: 19291
1719.46/1724.83 c #Conflicts: 848000 | #Constraints: 20291
1719.46/1724.83 c #Conflicts: 849000 | #Constraints: 21291
1719.46/1724.83 c #Conflicts: 850000 | #Constraints: 22291
1719.46/1724.83 c #Conflicts: 851000 | #Constraints: 23291
1719.46/1724.83 c #Conflicts: 852000 | #Constraints: 24291
1719.46/1724.83 c #Conflicts: 853000 | #Constraints: 25291
1719.46/1724.83 c #Conflicts: 854000 | #Constraints: 26291
1719.46/1724.83 c #Conflicts: 855000 | #Constraints: 27291
1719.46/1724.83 c #Conflicts: 856000 | #Constraints: 28291
1719.46/1724.83 c #Conflicts: 857000 | #Constraints: 29291
1719.46/1724.83 c #Conflicts: 858000 | #Constraints: 30291
1719.46/1724.83 c #Conflicts: 859000 | #Constraints: 31291
1719.46/1724.83 c #Conflicts: 860000 | #Constraints: 32291
1719.46/1724.83 c #Conflicts: 861000 | #Constraints: 33291
1719.46/1724.83 c #Conflicts: 862000 | #Constraints: 34291
1719.46/1724.83 c #Conflicts: 863000 | #Constraints: 35291
1719.46/1724.83 c #Conflicts: 864000 | #Constraints: 36291
1719.46/1724.83 c #Conflicts: 865000 | #Constraints: 37291
1719.46/1724.83 c INPROCESSING
1719.46/1724.83 c GARBAGE COLLECT
1719.46/1724.83 c #Conflicts: 866000 | #Constraints: 19890
1719.46/1724.83 c #Conflicts: 867000 | #Constraints: 20890
1719.46/1724.83 c #Conflicts: 868000 | #Constraints: 21890
1719.46/1724.83 c #Conflicts: 869000 | #Constraints: 22890
1719.46/1724.83 c #Conflicts: 870000 | #Constraints: 23890
1719.46/1724.83 c #Conflicts: 871000 | #Constraints: 24890
1719.46/1724.83 c #Conflicts: 872000 | #Constraints: 25890
1719.46/1724.83 c #Conflicts: 873000 | #Constraints: 26890
1719.46/1724.83 c #Conflicts: 874000 | #Constraints: 27890
1719.46/1724.83 c #Conflicts: 875000 | #Constraints: 28890
1719.46/1724.83 c #Conflicts: 876000 | #Constraints: 29890
1719.46/1724.83 c #Conflicts: 877000 | #Constraints: 30890
1719.46/1724.83 c #Conflicts: 878000 | #Constraints: 31890
1719.46/1724.83 c #Conflicts: 879000 | #Constraints: 32890
1719.46/1724.83 c #Conflicts: 880000 | #Constraints: 33890
1719.46/1724.83 c #Conflicts: 881000 | #Constraints: 34890
1719.46/1724.83 c #Conflicts: 882000 | #Constraints: 35890
1719.46/1724.83 c #Conflicts: 883000 | #Constraints: 36890
1719.46/1724.83 c #Conflicts: 884000 | #Constraints: 37890
1719.46/1724.83 c INPROCESSING
1719.46/1724.83 c GARBAGE COLLECT
1719.46/1724.83 c #Conflicts: 885000 | #Constraints: 20290
1719.46/1724.83 c #Conflicts: 886000 | #Constraints: 21290
1719.46/1724.83 c #Conflicts: 887000 | #Constraints: 22290
1719.46/1724.83 c #Conflicts: 888000 | #Constraints: 23290
2005.17/2011.53 c #Conflicts: 889000 | #Constraints: 24290
2005.17/2011.53 c #Conflicts: 890000 | #Constraints: 25290
2005.17/2011.53 c #Conflicts: 891000 | #Constraints: 26290
2005.17/2011.53 c #Conflicts: 892000 | #Constraints: 27290
2005.17/2011.53 c #Conflicts: 893000 | #Constraints: 28290
2005.17/2011.53 c #Conflicts: 894000 | #Constraints: 29290
2005.17/2011.53 c #Conflicts: 895000 | #Constraints: 30290
2005.17/2011.53 c #Conflicts: 896000 | #Constraints: 31290
2005.17/2011.53 c #Conflicts: 897000 | #Constraints: 32290
2005.17/2011.53 c #Conflicts: 898000 | #Constraints: 33290
2005.17/2011.53 c #Conflicts: 899000 | #Constraints: 34290
2005.17/2011.53 c #Conflicts: 900000 | #Constraints: 35290
2005.17/2011.53 c #Conflicts: 901000 | #Constraints: 36290
2005.17/2011.53 c #Conflicts: 902000 | #Constraints: 37290
2005.17/2011.53 c #Conflicts: 903000 | #Constraints: 38290
2005.17/2011.53 c INPROCESSING
2005.17/2011.53 c GARBAGE COLLECT
2005.17/2011.53 c #Conflicts: 904000 | #Constraints: 20494
2005.17/2011.53 c #Conflicts: 905000 | #Constraints: 21494
2005.17/2011.53 c #Conflicts: 906000 | #Constraints: 22494
2005.17/2011.53 c #Conflicts: 907000 | #Constraints: 23494
2005.17/2011.53 c #Conflicts: 908000 | #Constraints: 24494
2005.17/2011.53 c #Conflicts: 909000 | #Constraints: 25494
2005.17/2011.53 c #Conflicts: 910000 | #Constraints: 26494
2005.17/2011.53 c #Conflicts: 911000 | #Constraints: 27494
2005.17/2011.53 c #Conflicts: 912000 | #Constraints: 28494
2005.17/2011.53 c #Conflicts: 913000 | #Constraints: 29494
2005.17/2011.53 c #Conflicts: 914000 | #Constraints: 30494
2005.17/2011.53 c #Conflicts: 915000 | #Constraints: 31494
2005.17/2011.53 c #Conflicts: 916000 | #Constraints: 32494
2005.17/2011.53 c #Conflicts: 917000 | #Constraints: 33494
2005.17/2011.53 c #Conflicts: 918000 | #Constraints: 34494
2005.17/2011.53 c #Conflicts: 919000 | #Constraints: 35494
2005.17/2011.53 c #Conflicts: 920000 | #Constraints: 36494
2005.17/2011.53 c #Conflicts: 921000 | #Constraints: 37494
2005.17/2011.53 c #Conflicts: 922000 | #Constraints: 38494
2005.17/2011.53 c INPROCESSING
2005.17/2011.53 c GARBAGE COLLECT
2005.17/2011.53 c #Conflicts: 923000 | #Constraints: 20489
2005.17/2011.53 c #Conflicts: 924000 | #Constraints: 21489
2005.17/2011.53 c #Conflicts: 925000 | #Constraints: 22489
2005.17/2011.53 c #Conflicts: 926000 | #Constraints: 23489
2005.17/2011.53 c #Conflicts: 927000 | #Constraints: 24489
2005.17/2011.53 c #Conflicts: 928000 | #Constraints: 25489
2005.17/2011.53 c #Conflicts: 929000 | #Constraints: 26489
2005.17/2011.53 c #Conflicts: 930000 | #Constraints: 27489
2005.17/2011.53 c #Conflicts: 931000 | #Constraints: 28489
2005.17/2011.53 c #Conflicts: 932000 | #Constraints: 29489
2005.17/2011.53 c #Conflicts: 933000 | #Constraints: 30489
2005.17/2011.53 c #Conflicts: 934000 | #Constraints: 31489
2005.17/2011.53 c #Conflicts: 935000 | #Constraints: 32489
2005.17/2011.53 c #Conflicts: 936000 | #Constraints: 33489
2005.17/2011.53 c #Conflicts: 937000 | #Constraints: 34489
2005.17/2011.53 c #Conflicts: 938000 | #Constraints: 35489
2005.17/2011.53 c #Conflicts: 939000 | #Constraints: 36489
2005.17/2011.53 c #Conflicts: 940000 | #Constraints: 37489
2005.17/2011.53 c #Conflicts: 941000 | #Constraints: 38489
2005.17/2011.53 c INPROCESSING
2005.17/2011.53 c GARBAGE COLLECT
2005.17/2011.53 c #Conflicts: 942000 | #Constraints: 20292
2005.17/2011.53 c #Conflicts: 943000 | #Constraints: 21292
2005.17/2011.53 c #Conflicts: 944000 | #Constraints: 22292
2005.17/2011.53 c #Conflicts: 945000 | #Constraints: 23292
2005.17/2011.53 c #Conflicts: 946000 | #Constraints: 24292
2005.17/2011.53 c #Conflicts: 947000 | #Constraints: 25292
2005.17/2011.53 c #Conflicts: 948000 | #Constraints: 26292
2005.17/2011.53 c #Conflicts: 949000 | #Constraints: 27292
2005.17/2011.53 c #Conflicts: 950000 | #Constraints: 28292
2005.17/2011.53 c #Conflicts: 951000 | #Constraints: 29292
2005.17/2011.53 c #Conflicts: 952000 | #Constraints: 30292
2005.17/2011.53 c #Conflicts: 953000 | #Constraints: 31292
2005.17/2011.53 c #Conflicts: 954000 | #Constraints: 32292
2005.17/2011.53 c #Conflicts: 955000 | #Constraints: 33292
2005.17/2011.53 c #Conflicts: 956000 | #Constraints: 34292
2005.17/2011.53 c #Conflicts: 957000 | #Constraints: 35292
2005.17/2011.53 c #Conflicts: 958000 | #Constraints: 36292
2005.17/2011.53 c #Conflicts: 959000 | #Constraints: 37292
2005.17/2011.53 c #Conflicts: 960000 | #Constraints: 38292
2005.17/2011.53 c #Conflicts: 961000 | #Constraints: 39292
2005.17/2011.53 c INPROCESSING
2005.17/2011.53 c GARBAGE COLLECT
2005.17/2011.53 c #Conflicts: 962000 | #Constraints: 20886
2005.17/2011.53 c #Conflicts: 963000 | #Constraints: 21886
2005.17/2011.53 c #Conflicts: 964000 | #Constraints: 22886
2380.34/2387.76 c #Conflicts: 965000 | #Constraints: 23886
2380.34/2387.76 c #Conflicts: 966000 | #Constraints: 24886
2380.34/2387.76 c #Conflicts: 967000 | #Constraints: 25886
2380.34/2387.76 c #Conflicts: 968000 | #Constraints: 26886
2380.34/2387.76 c #Conflicts: 969000 | #Constraints: 27886
2380.34/2387.76 c #Conflicts: 970000 | #Constraints: 28886
2380.34/2387.76 c #Conflicts: 971000 | #Constraints: 29886
2380.34/2387.76 c #Conflicts: 972000 | #Constraints: 30886
2380.34/2387.76 c #Conflicts: 973000 | #Constraints: 31886
2380.34/2387.76 c #Conflicts: 974000 | #Constraints: 32886
2380.34/2387.76 c #Conflicts: 975000 | #Constraints: 33886
2380.34/2387.76 c #Conflicts: 976000 | #Constraints: 34886
2380.34/2387.76 c #Conflicts: 977000 | #Constraints: 35886
2380.34/2387.76 c #Conflicts: 978000 | #Constraints: 36886
2380.34/2387.76 c #Conflicts: 979000 | #Constraints: 37886
2380.34/2387.76 c #Conflicts: 980000 | #Constraints: 38886
2380.34/2387.76 c #Conflicts: 981000 | #Constraints: 39886
2380.34/2387.76 c INPROCESSING
2380.34/2387.76 c GARBAGE COLLECT
2380.34/2387.76 c #Conflicts: 982000 | #Constraints: 21291
2380.34/2387.76 c #Conflicts: 983000 | #Constraints: 22291
2380.34/2387.76 c #Conflicts: 984000 | #Constraints: 23291
2380.34/2387.76 c #Conflicts: 985000 | #Constraints: 24291
2380.34/2387.76 c #Conflicts: 986000 | #Constraints: 25291
2380.34/2387.76 c #Conflicts: 987000 | #Constraints: 26291
2380.34/2387.76 c #Conflicts: 988000 | #Constraints: 27291
2380.34/2387.76 c #Conflicts: 989000 | #Constraints: 28291
2380.34/2387.76 c #Conflicts: 990000 | #Constraints: 29291
2380.34/2387.76 c #Conflicts: 991000 | #Constraints: 30291
2380.34/2387.76 c #Conflicts: 992000 | #Constraints: 31291
2380.34/2387.76 c #Conflicts: 993000 | #Constraints: 32291
2380.34/2387.76 c #Conflicts: 994000 | #Constraints: 33291
2380.34/2387.76 c #Conflicts: 995000 | #Constraints: 34291
2380.34/2387.76 c #Conflicts: 996000 | #Constraints: 35291
2380.34/2387.76 c #Conflicts: 997000 | #Constraints: 36291
2380.34/2387.76 c #Conflicts: 998000 | #Constraints: 37291
2380.34/2387.76 c #Conflicts: 999000 | #Constraints: 38291
2380.34/2387.76 c #Conflicts: 1000000 | #Constraints: 39291
2380.34/2387.76 c #Conflicts: 1001000 | #Constraints: 40291
2380.34/2387.76 c INPROCESSING
2380.34/2387.76 c GARBAGE COLLECT
2380.34/2387.76 c #Conflicts: 1002000 | #Constraints: 21498
2380.34/2387.76 c #Conflicts: 1003000 | #Constraints: 22498
2380.34/2387.76 c #Conflicts: 1004000 | #Constraints: 23498
2380.34/2387.76 c #Conflicts: 1005000 | #Constraints: 24498
2380.34/2387.76 c #Conflicts: 1006000 | #Constraints: 25498
2380.34/2387.76 c #Conflicts: 1007000 | #Constraints: 26498
2380.34/2387.76 c #Conflicts: 1008000 | #Constraints: 27498
2380.34/2387.76 c #Conflicts: 1009000 | #Constraints: 28498
2380.34/2387.76 c #Conflicts: 1010000 | #Constraints: 29498
2380.34/2387.76 c #Conflicts: 1011000 | #Constraints: 30498
2380.34/2387.76 c #Conflicts: 1012000 | #Constraints: 31498
2380.34/2387.76 c #Conflicts: 1013000 | #Constraints: 32498
2380.34/2387.76 c #Conflicts: 1014000 | #Constraints: 33498
2380.34/2387.76 c #Conflicts: 1015000 | #Constraints: 34498
2380.34/2387.76 c #Conflicts: 1016000 | #Constraints: 35498
2380.34/2387.76 c #Conflicts: 1017000 | #Constraints: 36498
2380.34/2387.76 c #Conflicts: 1018000 | #Constraints: 37498
2380.34/2387.76 c #Conflicts: 1019000 | #Constraints: 38498
2380.34/2387.76 c #Conflicts: 1020000 | #Constraints: 39498
2380.34/2387.76 c #Conflicts: 1021000 | #Constraints: 40498
2380.34/2387.76 c INPROCESSING
2380.34/2387.76 c GARBAGE COLLECT
2380.34/2387.76 c #Conflicts: 1022000 | #Constraints: 21499
2380.34/2387.76 c #Conflicts: 1023000 | #Constraints: 22499
2380.34/2387.76 c #Conflicts: 1024000 | #Constraints: 23499
2380.34/2387.76 c #Conflicts: 1025000 | #Constraints: 24499
2380.34/2387.76 c #Conflicts: 1026000 | #Constraints: 25499
2380.34/2387.76 c #Conflicts: 1027000 | #Constraints: 26499
2380.34/2387.76 c #Conflicts: 1028000 | #Constraints: 27499
2380.34/2387.76 c #Conflicts: 1029000 | #Constraints: 28499
2380.34/2387.76 c #Conflicts: 1030000 | #Constraints: 29499
2380.34/2387.76 c #Conflicts: 1031000 | #Constraints: 30499
2380.34/2387.76 c #Conflicts: 1032000 | #Constraints: 31499
2380.34/2387.76 c #Conflicts: 1033000 | #Constraints: 32499
2380.34/2387.76 c #Conflicts: 1034000 | #Constraints: 33499
2380.34/2387.76 c #Conflicts: 1035000 | #Constraints: 34499
2380.34/2387.76 c #Conflicts: 1036000 | #Constraints: 35499
2380.34/2387.76 c #Conflicts: 1037000 | #Constraints: 36499
2380.34/2387.76 c #Conflicts: 1038000 | #Constraints: 37499
2380.34/2387.76 c #Conflicts: 1039000 | #Constraints: 38499
2380.34/2387.76 c #Conflicts: 1040000 | #Constraints: 39499
2380.34/2387.76 c #Conflicts: 1041000 | #Constraints: 40499
2881.79/2890.59 c INPROCESSING
2881.79/2890.59 c GARBAGE COLLECT
2881.79/2890.59 c #Conflicts: 1042000 | #Constraints: 21300
2881.79/2890.59 c #Conflicts: 1043000 | #Constraints: 22300
2881.79/2890.59 c #Conflicts: 1044000 | #Constraints: 23300
2881.79/2890.59 c #Conflicts: 1045000 | #Constraints: 24300
2881.79/2890.59 c #Conflicts: 1046000 | #Constraints: 25300
2881.79/2890.59 c #Conflicts: 1047000 | #Constraints: 26300
2881.79/2890.59 c #Conflicts: 1048000 | #Constraints: 27300
2881.79/2890.59 c #Conflicts: 1049000 | #Constraints: 28300
2881.79/2890.59 c #Conflicts: 1050000 | #Constraints: 29300
2881.79/2890.59 c #Conflicts: 1051000 | #Constraints: 30300
2881.79/2890.59 c #Conflicts: 1052000 | #Constraints: 31300
2881.79/2890.59 c #Conflicts: 1053000 | #Constraints: 32300
2881.79/2890.59 c #Conflicts: 1054000 | #Constraints: 33300
2881.79/2890.59 c #Conflicts: 1055000 | #Constraints: 34300
2881.79/2890.59 c #Conflicts: 1056000 | #Constraints: 35300
2881.79/2890.59 c #Conflicts: 1057000 | #Constraints: 36300
2881.79/2890.59 c #Conflicts: 1058000 | #Constraints: 37300
2881.79/2890.59 c #Conflicts: 1059000 | #Constraints: 38300
2881.79/2890.59 c #Conflicts: 1060000 | #Constraints: 39300
2881.79/2890.59 c #Conflicts: 1061000 | #Constraints: 40300
2881.79/2890.59 c #Conflicts: 1062000 | #Constraints: 41300
2881.79/2890.59 c INPROCESSING
2881.79/2890.59 c GARBAGE COLLECT
2881.79/2890.59 c #Conflicts: 1063000 | #Constraints: 21915
2881.79/2890.59 c #Conflicts: 1064000 | #Constraints: 22915
2881.79/2890.59 c #Conflicts: 1065000 | #Constraints: 23915
2881.79/2890.59 c #Conflicts: 1066000 | #Constraints: 24915
2881.79/2890.59 c #Conflicts: 1067000 | #Constraints: 25915
2881.79/2890.59 c #Conflicts: 1068000 | #Constraints: 26915
2881.79/2890.59 c #Conflicts: 1069000 | #Constraints: 27915
2881.79/2890.59 c #Conflicts: 1070000 | #Constraints: 28915
2881.79/2890.59 c #Conflicts: 1071000 | #Constraints: 29915
2881.79/2890.59 c #Conflicts: 1072000 | #Constraints: 30915
2881.79/2890.59 c #Conflicts: 1073000 | #Constraints: 31915
2881.79/2890.59 c #Conflicts: 1074000 | #Constraints: 32915
2881.79/2890.59 c #Conflicts: 1075000 | #Constraints: 33915
2881.79/2890.59 c #Conflicts: 1076000 | #Constraints: 34915
2881.79/2890.59 c #Conflicts: 1077000 | #Constraints: 35915
2881.79/2890.59 c #Conflicts: 1078000 | #Constraints: 36915
2881.79/2890.59 c #Conflicts: 1079000 | #Constraints: 37915
2881.79/2890.59 c #Conflicts: 1080000 | #Constraints: 38915
2881.79/2890.59 c #Conflicts: 1081000 | #Constraints: 39915
2881.79/2890.59 c #Conflicts: 1082000 | #Constraints: 40915
2881.79/2890.59 c #Conflicts: 1083000 | #Constraints: 41915
2881.79/2890.59 c INPROCESSING
2881.79/2890.59 c GARBAGE COLLECT
2881.79/2890.59 c #Conflicts: 1084000 | #Constraints: 22318
2881.79/2890.59 c #Conflicts: 1085000 | #Constraints: 23318
2881.79/2890.59 c #Conflicts: 1086000 | #Constraints: 24318
2881.79/2890.59 c #Conflicts: 1087000 | #Constraints: 25318
2881.79/2890.59 c #Conflicts: 1088000 | #Constraints: 26318
2881.79/2890.59 c #Conflicts: 1089000 | #Constraints: 27318
2881.79/2890.59 c #Conflicts: 1090000 | #Constraints: 28318
2881.79/2890.59 c #Conflicts: 1091000 | #Constraints: 29318
2881.79/2890.59 c #Conflicts: 1092000 | #Constraints: 30318
2881.79/2890.59 c #Conflicts: 1093000 | #Constraints: 31318
2881.79/2890.59 c #Conflicts: 1094000 | #Constraints: 32318
2881.79/2890.59 c #Conflicts: 1095000 | #Constraints: 33318
2881.79/2890.59 c #Conflicts: 1096000 | #Constraints: 34318
2881.79/2890.59 c #Conflicts: 1097000 | #Constraints: 35318
2881.79/2890.59 c #Conflicts: 1098000 | #Constraints: 36318
2881.79/2890.59 c #Conflicts: 1099000 | #Constraints: 37318
2881.79/2890.59 c #Conflicts: 1100000 | #Constraints: 38318
2881.79/2890.59 c #Conflicts: 1101000 | #Constraints: 39318
2881.79/2890.59 c #Conflicts: 1102000 | #Constraints: 40318
2881.79/2890.59 c #Conflicts: 1103000 | #Constraints: 41318
2881.79/2890.59 c #Conflicts: 1104000 | #Constraints: 42318
2881.79/2890.59 c INPROCESSING
2881.79/2890.59 c GARBAGE COLLECT
2881.79/2890.59 c #Conflicts: 1105000 | #Constraints: 22517
2881.79/2890.59 c #Conflicts: 1106000 | #Constraints: 23517
2881.79/2890.59 c #Conflicts: 1107000 | #Constraints: 24517
2881.79/2890.59 c #Conflicts: 1108000 | #Constraints: 25517
2881.79/2890.59 c #Conflicts: 1109000 | #Constraints: 26517
2881.79/2890.59 c #Conflicts: 1110000 | #Constraints: 27517
2881.79/2890.59 c #Conflicts: 1111000 | #Constraints: 28517
2881.79/2890.59 c #Conflicts: 1112000 | #Constraints: 29517
2881.79/2890.59 c #Conflicts: 1113000 | #Constraints: 30517
2881.79/2890.59 c #Conflicts: 1114000 | #Constraints: 31517
2881.79/2890.59 c #Conflicts: 1115000 | #Constraints: 32517
2881.79/2890.59 c #Conflicts: 1116000 | #Constraints: 33517
2881.79/2890.59 c #Conflicts: 1117000 | #Constraints: 34517
3158.17/3167.84 c #Conflicts: 1118000 | #Constraints: 35517
3158.17/3167.84 c #Conflicts: 1119000 | #Constraints: 36517
3158.17/3167.84 c #Conflicts: 1120000 | #Constraints: 37517
3158.17/3167.84 c #Conflicts: 1121000 | #Constraints: 38517
3158.17/3167.84 c #Conflicts: 1122000 | #Constraints: 39517
3158.17/3167.84 c #Conflicts: 1123000 | #Constraints: 40517
3158.17/3167.84 c #Conflicts: 1124000 | #Constraints: 41517
3158.17/3167.84 c #Conflicts: 1125000 | #Constraints: 42517
3158.17/3167.84 c INPROCESSING
3158.17/3167.84 c GARBAGE COLLECT
3158.17/3167.84 c #Conflicts: 1126000 | #Constraints: 22516
3158.17/3167.84 c #Conflicts: 1127000 | #Constraints: 23516
3158.17/3167.84 c #Conflicts: 1128000 | #Constraints: 24516
3158.17/3167.84 c #Conflicts: 1129000 | #Constraints: 25516
3158.17/3167.84 c #Conflicts: 1130000 | #Constraints: 26516
3158.17/3167.84 c #Conflicts: 1131000 | #Constraints: 27516
3158.17/3167.84 c #Conflicts: 1132000 | #Constraints: 28516
3158.17/3167.84 c #Conflicts: 1133000 | #Constraints: 29516
3158.17/3167.84 c #Conflicts: 1134000 | #Constraints: 30516
3158.17/3167.84 c #Conflicts: 1135000 | #Constraints: 31516
3158.17/3167.84 c #Conflicts: 1136000 | #Constraints: 32516
3158.17/3167.84 c #Conflicts: 1137000 | #Constraints: 33516
3158.17/3167.84 c #Conflicts: 1138000 | #Constraints: 34516
3158.17/3167.84 c #Conflicts: 1139000 | #Constraints: 35516
3158.17/3167.84 c #Conflicts: 1140000 | #Constraints: 36516
3158.17/3167.84 c #Conflicts: 1141000 | #Constraints: 37516
3158.17/3167.84 c #Conflicts: 1142000 | #Constraints: 38516
3158.17/3167.84 c #Conflicts: 1143000 | #Constraints: 39516
3158.17/3167.84 c #Conflicts: 1144000 | #Constraints: 40516
3158.17/3167.84 c #Conflicts: 1145000 | #Constraints: 41516
3158.17/3167.84 c #Conflicts: 1146000 | #Constraints: 42516
3158.17/3167.84 c INPROCESSING
3158.17/3167.84 c GARBAGE COLLECT
3158.17/3167.84 c #Conflicts: 1147000 | #Constraints: 22313
3158.17/3167.84 c #Conflicts: 1148000 | #Constraints: 23313
3158.17/3167.84 c #Conflicts: 1149000 | #Constraints: 24313
3158.17/3167.84 c #Conflicts: 1150000 | #Constraints: 25313
3158.17/3167.84 c #Conflicts: 1151000 | #Constraints: 26313
3158.17/3167.84 c #Conflicts: 1152000 | #Constraints: 27313
3158.17/3167.84 c #Conflicts: 1153000 | #Constraints: 28313
3158.17/3167.84 c #Conflicts: 1154000 | #Constraints: 29313
3158.17/3167.84 c #Conflicts: 1155000 | #Constraints: 30313
3158.17/3167.84 c #Conflicts: 1156000 | #Constraints: 31313
3158.17/3167.84 c #Conflicts: 1157000 | #Constraints: 32313
3158.17/3167.84 c #Conflicts: 1158000 | #Constraints: 33313
3158.17/3167.84 c #Conflicts: 1159000 | #Constraints: 34313
3158.17/3167.84 c #Conflicts: 1160000 | #Constraints: 35313
3158.17/3167.84 c #Conflicts: 1161000 | #Constraints: 36313
3158.17/3167.84 c #Conflicts: 1162000 | #Constraints: 37313
3158.17/3167.84 c #Conflicts: 1163000 | #Constraints: 38313
3158.17/3167.84 c #Conflicts: 1164000 | #Constraints: 39313
3158.17/3167.84 c #Conflicts: 1165000 | #Constraints: 40313
3158.17/3167.84 c #Conflicts: 1166000 | #Constraints: 41313
3158.17/3167.84 c #Conflicts: 1167000 | #Constraints: 42313
3158.17/3167.84 c #Conflicts: 1168000 | #Constraints: 43313
3158.17/3167.84 c INPROCESSING
3158.17/3167.84 c GARBAGE COLLECT
3158.17/3167.84 c #Conflicts: 1169000 | #Constraints: 22909
3158.17/3167.84 c #Conflicts: 1170000 | #Constraints: 23909
3158.17/3167.84 c #Conflicts: 1171000 | #Constraints: 24909
3158.17/3167.84 c #Conflicts: 1172000 | #Constraints: 25909
3158.17/3167.84 c #Conflicts: 1173000 | #Constraints: 26909
3158.17/3167.84 c #Conflicts: 1174000 | #Constraints: 27909
3158.17/3167.84 c #Conflicts: 1175000 | #Constraints: 28909
3158.17/3167.84 c #Conflicts: 1176000 | #Constraints: 29909
3158.17/3167.84 c #Conflicts: 1177000 | #Constraints: 30909
3158.17/3167.84 c #Conflicts: 1178000 | #Constraints: 31909
3158.17/3167.84 c #Conflicts: 1179000 | #Constraints: 32909
3158.17/3167.84 c #Conflicts: 1180000 | #Constraints: 33909
3158.17/3167.84 c #Conflicts: 1181000 | #Constraints: 34909
3158.17/3167.84 c #Conflicts: 1182000 | #Constraints: 35909
3158.17/3167.84 c #Conflicts: 1183000 | #Constraints: 36909
3158.17/3167.84 c #Conflicts: 1184000 | #Constraints: 37909
3158.17/3167.84 c #Conflicts: 1185000 | #Constraints: 38909
3158.17/3167.84 c #Conflicts: 1186000 | #Constraints: 39909
3158.17/3167.84 c #Conflicts: 1187000 | #Constraints: 40909
3158.17/3167.84 c #Conflicts: 1188000 | #Constraints: 41909
3158.17/3167.84 c #Conflicts: 1189000 | #Constraints: 42909
3158.17/3167.84 c #Conflicts: 1190000 | #Constraints: 43909
3158.17/3167.84 c INPROCESSING
3158.17/3167.84 c GARBAGE COLLECT
3158.17/3167.84 c #Conflicts: 1191000 | #Constraints: 23308
3158.17/3167.84 c #Conflicts: 1192000 | #Constraints: 24308
3158.17/3167.84 c #Conflicts: 1193000 | #Constraints: 25308
3467.14/3477.66 c #Conflicts: 1194000 | #Constraints: 26308
3467.14/3477.66 c #Conflicts: 1195000 | #Constraints: 27308
3467.14/3477.66 c #Conflicts: 1196000 | #Constraints: 28308
3467.14/3477.66 c #Conflicts: 1197000 | #Constraints: 29308
3467.14/3477.66 c #Conflicts: 1198000 | #Constraints: 30308
3467.14/3477.66 c #Conflicts: 1199000 | #Constraints: 31308
3467.14/3477.66 c #Conflicts: 1200000 | #Constraints: 32308
3467.14/3477.66 c #Conflicts: 1201000 | #Constraints: 33308
3467.14/3477.66 c #Conflicts: 1202000 | #Constraints: 34308
3467.14/3477.66 c #Conflicts: 1203000 | #Constraints: 35308
3467.14/3477.66 c #Conflicts: 1204000 | #Constraints: 36308
3467.14/3477.66 c #Conflicts: 1205000 | #Constraints: 37308
3467.14/3477.66 c #Conflicts: 1206000 | #Constraints: 38308
3467.14/3477.66 c #Conflicts: 1207000 | #Constraints: 39308
3467.14/3477.66 c #Conflicts: 1208000 | #Constraints: 40308
3467.14/3477.66 c #Conflicts: 1209000 | #Constraints: 41308
3467.14/3477.66 c #Conflicts: 1210000 | #Constraints: 42308
3467.14/3477.66 c #Conflicts: 1211000 | #Constraints: 43308
3467.14/3477.66 c #Conflicts: 1212000 | #Constraints: 44308
3467.14/3477.66 c INPROCESSING
3467.14/3477.66 c GARBAGE COLLECT
3467.14/3477.66 c #Conflicts: 1213000 | #Constraints: 23504
3467.14/3477.66 c #Conflicts: 1214000 | #Constraints: 24504
3467.14/3477.66 c #Conflicts: 1215000 | #Constraints: 25504
3467.14/3477.66 c #Conflicts: 1216000 | #Constraints: 26504
3467.14/3477.66 c #Conflicts: 1217000 | #Constraints: 27504
3467.14/3477.66 c #Conflicts: 1218000 | #Constraints: 28504
3467.14/3477.66 c #Conflicts: 1219000 | #Constraints: 29504
3467.14/3477.66 c #Conflicts: 1220000 | #Constraints: 30504
3467.14/3477.66 c #Conflicts: 1221000 | #Constraints: 31504
3467.14/3477.66 c #Conflicts: 1222000 | #Constraints: 32504
3467.14/3477.66 c #Conflicts: 1223000 | #Constraints: 33504
3467.14/3477.66 c #Conflicts: 1224000 | #Constraints: 34504
3467.14/3477.66 c #Conflicts: 1225000 | #Constraints: 35504
3467.14/3477.66 c #Conflicts: 1226000 | #Constraints: 36504
3467.14/3477.66 c #Conflicts: 1227000 | #Constraints: 37504
3467.14/3477.66 c #Conflicts: 1228000 | #Constraints: 38504
3467.14/3477.66 c #Conflicts: 1229000 | #Constraints: 39504
3467.14/3477.66 c #Conflicts: 1230000 | #Constraints: 40504
3467.14/3477.66 c #Conflicts: 1231000 | #Constraints: 41504
3467.14/3477.66 c #Conflicts: 1232000 | #Constraints: 42504
3467.14/3477.66 c #Conflicts: 1233000 | #Constraints: 43504
3467.14/3477.66 c #Conflicts: 1234000 | #Constraints: 44504
3467.14/3477.66 c INPROCESSING
3467.14/3477.66 c GARBAGE COLLECT
3467.14/3477.66 c #Conflicts: 1235000 | #Constraints: 23502
3467.14/3477.66 c #Conflicts: 1236000 | #Constraints: 24502
3467.14/3477.66 c #Conflicts: 1237000 | #Constraints: 25502
3467.14/3477.66 c #Conflicts: 1238000 | #Constraints: 26502
3467.14/3477.66 c #Conflicts: 1239000 | #Constraints: 27502
3467.14/3477.66 c #Conflicts: 1240000 | #Constraints: 28502
3467.14/3477.66 c #Conflicts: 1241000 | #Constraints: 29502
3467.14/3477.66 c #Conflicts: 1242000 | #Constraints: 30502
3467.14/3477.66 c #Conflicts: 1243000 | #Constraints: 31502
3467.14/3477.66 c #Conflicts: 1244000 | #Constraints: 32502
3467.14/3477.66 c #Conflicts: 1245000 | #Constraints: 33502
3467.14/3477.66 c #Conflicts: 1246000 | #Constraints: 34502
3467.14/3477.66 c #Conflicts: 1247000 | #Constraints: 35502
3467.14/3477.66 c #Conflicts: 1248000 | #Constraints: 36502
3467.14/3477.66 c #Conflicts: 1249000 | #Constraints: 37502
3467.14/3477.66 c #Conflicts: 1250000 | #Constraints: 38502
3467.14/3477.66 c #Conflicts: 1251000 | #Constraints: 39502
3467.14/3477.67 c #Conflicts: 1252000 | #Constraints: 40502
3467.14/3477.67 c #Conflicts: 1253000 | #Constraints: 41502
3467.14/3477.67 c #Conflicts: 1254000 | #Constraints: 42502
3467.14/3477.67 c #Conflicts: 1255000 | #Constraints: 43502
3467.14/3477.67 c #Conflicts: 1256000 | #Constraints: 44502
3467.14/3477.67 c INPROCESSING
3467.14/3477.67 c GARBAGE COLLECT
3467.14/3477.67 c #Conflicts: 1257000 | #Constraints: 23303
3467.14/3477.67 c #Conflicts: 1258000 | #Constraints: 24303
3467.14/3477.67 c #Conflicts: 1259000 | #Constraints: 25303
3467.14/3477.67 c #Conflicts: 1260000 | #Constraints: 26303
3467.14/3477.67 c #Conflicts: 1261000 | #Constraints: 27303
3467.14/3477.67 c #Conflicts: 1262000 | #Constraints: 28303
3467.14/3477.67 c #Conflicts: 1263000 | #Constraints: 29303
3467.14/3477.67 c #Conflicts: 1264000 | #Constraints: 30303
3467.14/3477.67 c #Conflicts: 1265000 | #Constraints: 31303
3467.14/3477.67 c #Conflicts: 1266000 | #Constraints: 32303
3467.14/3477.67 c #Conflicts: 1267000 | #Constraints: 33303
3467.14/3477.67 c #Conflicts: 1268000 | #Constraints: 34303
3467.14/3477.67 c #Conflicts: 1269000 | #Constraints: 35303
3467.14/3477.67 c #Conflicts: 1270000 | #Constraints: 36303
3600.08/3610.90 c #Conflicts: 1271000 | #Constraints: 37303
3600.08/3610.90 c #Conflicts: 1272000 | #Constraints: 38303
3600.08/3610.90 c #Conflicts: 1273000 | #Constraints: 39303
3600.08/3610.90 c #Conflicts: 1274000 | #Constraints: 40303
3600.08/3610.90 c #Conflicts: 1275000 | #Constraints: 41303
3600.08/3610.90 c #Conflicts: 1276000 | #Constraints: 42303
3600.08/3610.90 c #Conflicts: 1277000 | #Constraints: 43303
3600.08/3610.90 c #Conflicts: 1278000 | #Constraints: 44303
3600.08/3610.90 c #Conflicts: 1279000 | #Constraints: 45303
3600.08/3610.90 c INPROCESSING
3600.08/3610.90 c GARBAGE COLLECT
3600.08/3610.90 c #Conflicts: 1280000 | #Constraints: 23909
3600.08/3610.90 c #Conflicts: 1281000 | #Constraints: 24909
3600.08/3610.90 c #Conflicts: 1282000 | #Constraints: 25909
3600.08/3610.90 c #Conflicts: 1283000 | #Constraints: 26909
3600.08/3610.90 c #Conflicts: 1284000 | #Constraints: 27909
3600.08/3610.90 c #Conflicts: 1285000 | #Constraints: 28909
3600.08/3610.90 c #Conflicts: 1286000 | #Constraints: 29909
3600.08/3610.90 c #Conflicts: 1287000 | #Constraints: 30909
3600.08/3610.90 c #Conflicts: 1288000 | #Constraints: 31909
3600.08/3610.90 c #Conflicts: 1289000 | #Constraints: 32909
3600.08/3610.90 c #Conflicts: 1290000 | #Constraints: 33909
3600.08/3610.90 c #Conflicts: 1291000 | #Constraints: 34909
3600.08/3610.90 c #Conflicts: 1292000 | #Constraints: 35909
3600.08/3610.90 c Program interrupted by user.
3600.08/3610.90 c cpu time 3589.56 s
3600.08/3610.90 c deterministic time 537344484149 5.37e+11
3600.08/3610.90 c optimization time 49.8069 s
3600.08/3610.90 c total solve time 3539.75 s
3600.08/3610.90 c core-guided solve time 3539.75 s
3600.08/3610.90 c propagation time 3320.71 s
3600.08/3610.90 c conflict analysis time 237.133 s
3600.08/3610.90 c propagations 61813435
3600.08/3610.90 c resolve steps 7397149
3600.08/3610.90 c decisions 6201755
3600.08/3610.90 c conflicts 1292856
3600.08/3610.90 c restarts 2491
3600.08/3610.90 c inprocessing phases 104
3600.08/3610.90 c input clauses 437
3600.08/3610.90 c input cardinalities 140
3600.08/3610.90 c input general constraints 126
3600.08/3610.90 c input average constraint length 37.90
3600.08/3610.90 c input average constraint degree 22.27
3600.08/3610.90 c learned clauses 27258
3600.08/3610.90 c learned cardinalities 802
3600.08/3610.90 c learned general constraints 1264814
3600.08/3610.90 c learned average constraint length 220.76
3600.08/3610.90 c learned average constraint degree 2441608.03
3600.08/3610.90 c watched constraints 899040
3600.08/3610.90 c counting constraints 365900
3600.08/3610.90 c gcd simplifications 3360
3600.08/3610.90 c detected cardinalities 7
3600.08/3610.90 c weakened non-implied lits 18268312
3600.08/3610.90 c weakened non-implying lits 27019
3600.08/3610.90 c original variables 435
3600.08/3610.90 c clausal propagations 15310476
3600.08/3610.90 c cardinality propagations 4994289
3600.08/3610.90 c watched propagations 10953280
3600.08/3610.90 c counting propagations 30136704
3600.08/3610.90 c watch lookups 44371064482
3600.08/3610.90 c watch backjump lookups 40093209333
3600.08/3610.90 c watch checks 358463038141
3600.08/3610.90 c propagation checks 93398514592
3600.08/3610.90 c constraint additions 881334637
3600.08/3610.90 c trail pops 69307773
3600.08/3610.90 c formula constraints 501
3600.08/3610.90 c learned constraints 1292874
3600.08/3610.90 c bound constraints 55
3600.08/3610.90 c core-guided constraints 147
3600.08/3610.90 c encountered formula constraints 3245267
3600.08/3610.90 c encountered learned constraints 5153658
3600.08/3610.90 c encountered bound constraints 307
3600.08/3610.90 c encountered core-guided constraints 290773
3600.08/3610.90 c LP total time 0 s
3600.08/3610.90 c LP solve time 0 s
3600.08/3610.90 c LP constraints added 0
3600.08/3610.90 c LP constraints removed 0
3600.08/3610.90 c LP pivots internal 0
3600.08/3610.90 c LP pivots root 0
3600.08/3610.90 c LP calls 0
3600.08/3610.90 c LP optimalities 0
3600.08/3610.90 c LP no pivot count 0
3600.08/3610.90 c LP infeasibilities 0
3600.08/3610.90 c LP valid Farkas constraints 0
3600.08/3610.90 c LP learned Farkas constraints 0
3600.08/3610.90 c LP basis resets 0
3600.08/3610.90 c LP cycling count 0
3600.08/3610.90 c LP singular count 0
3600.08/3610.90 c LP no primal count 0
3600.08/3610.90 c LP no farkas count 0
3600.08/3610.90 c LP other issue count 0
3600.08/3610.90 c LP Gomory cuts 0
3600.08/3610.90 c LP learned cuts 0
3600.08/3610.90 c LP deleted cuts 0
3600.08/3610.90 c LP encountered Gomory constraints 0
3600.08/3610.90 c LP encountered Farkas constraints 0
3600.08/3610.90 c LP encountered learned Farkas constraints 0
3600.08/3610.90 c CG auxiliary variables introduced 61
3600.08/3610.90 c CG solutions found 3
3600.08/3610.90 c CG cores constructed 34
3600.08/3610.90 c CG core cardinality constraints returned 4
3600.08/3610.90 c CG unit cores 0
3600.08/3610.90 c CG single cores 32
3600.08/3610.90 c CG blocks removed during cardinality reduction 0
3600.08/3610.90 c CG first core best 0
3600.08/3610.90 c CG decision core best 1
3600.08/3610.90 c CG core reduction tie 1
3600.08/3610.90 c CG core degree average 1.12
3600.08/3610.90 c CG core slack average 7.76
3600.08/3610.90 c CG exhausted 0
3600.08/3610.90 c CG exhaust time 3.21608 s
3600.08/3610.90 c CG trimmed 2
3600.08/3610.90 c CG trim time 0.010154 s
3600.08/3610.90 c CG minimized 0
3600.08/3610.90 c CG minimize time 0 s
3600.08/3610.90 c CG am1 prop time 0.004671 s
3600.08/3610.90 c CG # am1s reformulated 4
3600.08/3610.90 c CG lower bound derived from am1s 10
3600.08/3610.90 c CG # clausal cores 32
3600.08/3610.90 c CG # cardinality cores 4
3600.08/3610.90 c CG # pb cores 0
3600.08/3610.90 c CG # pb reforms 15
3600.08/3610.90 c CG # cores discarded because of pb reform 0
3600.08/3610.90 d LOWERBOUND -192
3600.08/3610.90 d NCORES 34
3600.08/3610.90 d NPBCORES 0
3600.08/3610.90 d NPBREFORM 15
3600.08/3610.90 d NTRIMMED 2
3600.08/3610.90 d NEXHAUSTED 0
3600.08/3610.90 d NAM1S 4
3600.08/3610.90 d AM1LB 10
3600.08/3610.90 o 0
3600.08/3610.90 s SATISFIABLE
3600.08/3610.90 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: 63837 MiB (62514 MiB free)
memory of node 1: 64465 MiB (63670 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484258-1751284667/watcher-4484258-1751284667 -o /tmp/evaluation-result-4484258-1751284667/solver-4484258-1751284667 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751279994-35760 --watchdog 3760 pb-oll-rs HOME/instance-4484258-1751284667.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=36405, runsolver pid=36402
[startup+0.10007 s]*
/proc/loadavg: 4.10 4.18 4.14 5/251 36406
/proc/meminfo: memFree=129213580/131382120 swapFree=33010684/33010684
[pid=36405] ppid=36402 vsize=20612 memory=6784 CPUtime=0.1 cores=1,3
/proc/36405/stat : 36405 (pb-oll-rs) R 36402 36405 35748 0 -1 4194304 552 0 0 0 9 1 0 0 20 0 1 0 44145462 21106688 1696 18446744073709551615 4218880 5211445 140728621639808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22626304 140728621644188 140728621644265 140728621644265 140728621649867 0
/proc/36405/statm: 5153 1696 1344 243 0 1402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 20612 KiB
Current children cumulated memory: 6784 KiB
[startup+0.213857 s]*
/proc/loadavg: 4.10 4.18 4.14 5/251 36406
/proc/meminfo: memFree=129213884/131382120 swapFree=33010684/33010684
[pid=36405] ppid=36402 vsize=21660 memory=10616 CPUtime=0.21 cores=1,3
/proc/36405/stat : 36405 (pb-oll-rs) R 36402 36405 35748 0 -1 4194304 983 0 0 0 20 1 0 0 20 0 1 0 44145462 22179840 2654 18446744073709551615 4218880 5211445 140728621639808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22626304 140728621644188 140728621644265 140728621644265 140728621649867 0
/proc/36405/statm: 5415 2654 1344 243 0 1664 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 21660 KiB
Current children cumulated memory: 10616 KiB
[startup+0.31374 s]*
/proc/loadavg: 4.10 4.18 4.14 5/251 36406
/proc/meminfo: memFree=129213884/131382120 swapFree=33010684/33010684
[pid=36405] ppid=36402 vsize=22060 memory=11000 CPUtime=0.31 cores=1,3
/proc/36405/stat : 36405 (pb-oll-rs) R 36402 36405 35748 0 -1 4194304 1101 0 0 0 29 2 0 0 20 0 1 0 44145462 22589440 2750 18446744073709551615 4218880 5211445 140728621639808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22626304 140728621644188 140728621644265 140728621644265 140728621649867 0
/proc/36405/statm: 5515 2750 1344 243 0 1764 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 22060 KiB
Current children cumulated memory: 11000 KiB
[startup+0.700313 s]
/proc/loadavg: 4.10 4.18 4.14 5/251 36406
/proc/meminfo: memFree=129213884/131382120 swapFree=33010684/33010684
[pid=36405] ppid=36402 vsize=26124 memory=15352 CPUtime=0.67 cores=1,3
/proc/36405/stat : 36405 (pb-oll-rs) R 36402 36405 35748 0 -1 4194304 2192 0 0 0 63 4 0 0 20 0 1 0 44145462 26750976 3838 18446744073709551615 4218880 5211445 140728621639808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22626304 140728621644188 140728621644265 140728621644265 140728621649867 0
/proc/36405/statm: 6531 3838 1344 243 0 2780 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 26124 KiB
Current children cumulated memory: 15352 KiB
[startup+1.50035 s]
/proc/loadavg: 4.10 4.18 4.14 5/251 36406
/proc/meminfo: memFree=129213884/131382120 swapFree=33010684/33010684
[pid=36405] ppid=36402 vsize=33504 memory=21624 CPUtime=1.47 cores=1,3
/proc/36405/stat : 36405 (pb-oll-rs) R 36402 36405 35748 0 -1 4194304 3754 0 0 0 140 7 0 0 20 0 1 0 44145462 34308096 5406 18446744073709551615 4218880 5211445 140728621639808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22626304 140728621644188 140728621644265 140728621644265 140728621649867 0
/proc/36405/statm: 8376 5406 1344 243 0 4625 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 33504 KiB
Current children cumulated memory: 21624 KiB
[startup+3.11341 s]
/proc/loadavg: 4.10 4.18 4.14 5/251 36406
/proc/meminfo: memFree=129206104/131382120 swapFree=33010684/33010684
[pid=36405] ppid=36402 vsize=39204 memory=24184 CPUtime=3.09 cores=1,3
/proc/36405/stat : 36405 (pb-oll-rs) R 36402 36405 35748 0 -1 4194304 4402 0 0 0 298 11 0 0 20 0 1 0 44145462 40144896 6046 18446744073709551615 4218880 5211445 140728621639808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22626304 140728621644188 140728621644265 140728621644265 140728621649867 0
/proc/36405/statm: 9801 6046 1344 243 0 6050 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 39204 KiB
Current children cumulated memory: 24184 KiB
[startup+6.30032 s]
/proc/loadavg: 4.17 4.19 4.14 5/251 36406
/proc/meminfo: memFree=129206104/131382120 swapFree=33010684/33010684
[pid=36405] ppid=36402 vsize=40932 memory=27724 CPUtime=6.26 cores=1,3
/proc/36405/stat : 36405 (pb-oll-rs) R 36402 36405 35748 0 -1 4194304 4775 0 0 0 610 16 0 0 20 0 1 0 44145462 41914368 6931 18446744073709551615 4218880 5211445 140728621639808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22626304 140728621644188 140728621644265 140728621644265 140728621649867 0
/proc/36405/statm: 10233 6931 1344 243 0 6482 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 40932 KiB
Current children cumulated memory: 27724 KiB
[startup+12.7003 s]
/proc/loadavg: 4.16 4.19 4.14 5/251 36406
/proc/meminfo: memFree=129204592/131382120 swapFree=33010684/33010684
[pid=36405] ppid=36402 vsize=42852 memory=29644 CPUtime=12.65 cores=1,3
/proc/36405/stat : 36405 (pb-oll-rs) R 36402 36405 35748 0 -1 4194304 5259 0 0 0 1241 24 0 0 20 0 1 0 44145462 43880448 7411 18446744073709551615 4218880 5211445 140728621639808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22626304 140728621644188 140728621644265 140728621644265 140728621649867 0
/proc/36405/statm: 10713 7411 1344 243 0 6962 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 42852 KiB
Current children cumulated memory: 29644 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 4.18 4.14 5/251 36407
/proc/meminfo: memFree=129174404/131382120 swapFree=33010684/33010684
[pid=36405] ppid=36402 vsize=53680 memory=36372 CPUtime=25.4 cores=1,3
/proc/36405/stat : 36405 (pb-oll-rs) R 36402 36405 35748 0 -1 4194304 6425 0 0 0 2507 33 0 0 20 0 1 0 44145462 54968320 9093 18446744073709551615 4218880 5211445 140728621639808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22626304 140728621644188 140728621644265 140728621644265 140728621649867 0
/proc/36405/statm: 13420 9093 1344 243 0 9669 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 53680 KiB
Current children cumulated memory: 36372 KiB
[startup+51.1135 s]
/proc/loadavg: 4.16 4.18 4.14 5/251 36407
/proc/meminfo: memFree=129168476/131382120 swapFree=33010684/33010684
[pid=36405] ppid=36402 vsize=62676 memory=48688 CPUtime=50.94 cores=1,3
/proc/36405/stat : 36405 (pb-oll-rs) R 36402 36405 35748 0 -1 4194304 8486 0 0 0 5033 61 0 0 20 0 1 0 44145462 64180224 12172 18446744073709551615 4218880 5211445 140728621639808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22626304 140728621644188 140728621644265 140728621644265 140728621649867 0
/proc/36405/statm: 15669 12172 1344 243 0 11918 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 62676 KiB
Current children cumulated memory: 48688 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.17 4.14 5/251 36409
/proc/meminfo: memFree=129025220/131382120 swapFree=33010684/33010684
[pid=36405] ppid=36402 vsize=80996 memory=59364 CPUtime=101.97 cores=1,3
/proc/36405/stat : 36405 (pb-oll-rs) R 36402 36405 35748 0 -1 4194304 10119 0 0 0 10087 110 0 0 20 0 1 0 44145462 82939904 14841 18446744073709551615 4218880 5211445 140728621639808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22626304 140728621644188 140728621644265 140728621644265 140728621649867 0
/proc/36405/statm: 20249 14841 1344 243 0 16498 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 80996 KiB
Current children cumulated memory: 59364 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.15 4.13 5/251 36411
/proc/meminfo: memFree=129002336/131382120 swapFree=33010684/33010684
[pid=36405] ppid=36402 vsize=82492 memory=60900 CPUtime=161.8 cores=1,3
/proc/36405/stat : 36405 (pb-oll-rs) R 36402 36405 35748 0 -1 4194304 10508 0 0 0 16019 161 0 0 20 0 1 0 44145462 84471808 15225 18446744073709551615 4218880 5211445 140728621639808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22626304 140728621644188 140728621644265 140728621644265 140728621649867 0
/proc/36405/statm: 20623 15225 1344 243 0 16872 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 82492 KiB
Current children cumulated memory: 60900 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.15 4.13 5/251 36424
/proc/meminfo: memFree=128936968/131382120 swapFree=33010684/33010684
[pid=36405] ppid=36402 vsize=86796 memory=64340 CPUtime=221.63 cores=1,3
/proc/36405/stat : 36405 (pb-oll-rs) R 36402 36405 35748 0 -1 4194304 11521 0 0 0 21963 200 0 0 20 0 1 0 44145462 88879104 16085 18446744073709551615 4218880 5211445 140728621639808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22626304 140728621644188 140728621644265 140728621644265 140728621649867 0
/proc/36405/statm: 21699 16085 1344 243 0 17948 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 86796 KiB
Current children cumulated memory: 64340 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.14 4.13 5/250 36426
/proc/meminfo: memFree=128906356/131382120 swapFree=33010684/33010684
[pid=36405] ppid=36402 vsize=88744 memory=68080 CPUtime=281.46 cores=1,3
/proc/36405/stat : 36405 (pb-oll-rs) R 36402 36405 35748 0 -1 4194304 12206 0 0 0 27910 236 0 0 20 0 1 0 44145462 90873856 17020 18446744073709551615 4218880 5211445 140728621639808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22626304 140728621644188 140728621644265 140728621644265 140728621649867 0
/proc/36405/statm: 22186 17020 1344 243 0 18435 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 88744 KiB
Current children cumulated memory: 68080 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.13 4.12 5/249 36428
/proc/meminfo: memFree=128895604/131382120 swapFree=33010684/33010684
[pid=36405] ppid=36402 vsize=89640 memory=71272 CPUtime=341.28 cores=1,3
/proc/36405/stat : 36405 (pb-oll-rs) R 36402 36405 35748 0 -1 4194304 12522 0 0 0 33871 257 0 0 20 0 1 0 44145462 91791360 17818 18446744073709551615 4218880 5211445 140728621639808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22626304 140728621644188 140728621644265 140728621644265 140728621649867 0
/proc/36405/statm: 22410 17818 1344 243 0 18659 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 89640 KiB
Current children cumulated memory: 71272 KiB
[startup+402.3 s]
/proc/loadavg: 4.21 4.15 4.13 5/249 36430
/proc/meminfo: memFree=128871752/131382120 swapFree=33010684/33010684
[pid=36405] ppid=36402 vsize=92592 memory=75924 CPUtime=401.1 cores=1,3
/proc/36405/stat : 36405 (pb-oll-rs) R 36402 36405 35748 0 -1 4194304 13368 0 0 0 39828 282 0 0 20 0 1 0 44145462 94814208 18981 18446744073709551615 4218880 5211445 140728621639808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22626304 140728621644188 140728621644265 140728621644265 140728621649867 0
/proc/36405/statm: 23148 18981 1344 243 0 19397 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 92592 KiB
Current children cumulated memory: 75924 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.14 4.12 5/249 36432
/proc/meminfo: memFree=128863564/131382120 swapFree=33010684/33010684
[pid=36405] ppid=36402 vsize=92844 memory=76308 CPUtime=460.91 cores=1,3
/proc/36405/stat : 36405 (pb-oll-rs) R 36402 36405 35748 0 -1 4194304 13545 0 0 0 45779 312 0 0 20 0 1 0 44145462 95072256 19077 18446744073709551615 4218880 5211445 140728621639808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22626304 140728621644188 140728621644265 140728621644265 140728621649867 0
/proc/36405/statm: 23211 19077 1344 243 0 19460 0
Current children cumulated CPU time: 460.91 s
################
# More data... #
################
Current children cumulated memory: 139656 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.10 4.10 6/250 36633
/proc/meminfo: memFree=127051832/131382120 swapFree=33010684/33010684
[pid=36405] ppid=36402 vsize=184180 memory=139656 CPUtime=2913.49 cores=1,3
/proc/36405/stat : 36405 (pb-oll-rs) R 36402 36405 35748 0 -1 4194304 25140 0 0 0 290432 917 0 0 20 0 1 0 44145462 188600320 34914 18446744073709551615 4218880 5211445 140728621639808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22626304 140728621644188 140728621644265 140728621644265 140728621649867 0
/proc/36405/statm: 46045 34914 1344 243 0 42294 0
Current children cumulated CPU time: 2913.49 s
Current children cumulated vsize: 184180 KiB
Current children cumulated memory: 139656 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.11 4.10 5/251 36636
/proc/meminfo: memFree=126896152/131382120 swapFree=33010684/33010684
[pid=36405] ppid=36402 vsize=184180 memory=139720 CPUtime=2973.3 cores=1,3
/proc/36405/stat : 36405 (pb-oll-rs) R 36402 36405 35748 0 -1 4194304 25285 0 0 0 296404 926 0 0 20 0 1 0 44145462 188600320 34930 18446744073709551615 4218880 5211445 140728621639808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22626304 140728621644188 140728621644265 140728621644265 140728621649867 0
/proc/36405/statm: 46045 34930 1344 243 0 42294 0
Current children cumulated CPU time: 2973.3 s
Current children cumulated vsize: 184180 KiB
Current children cumulated memory: 139720 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/251 36644
/proc/meminfo: memFree=126827292/131382120 swapFree=33010684/33010684
[pid=36405] ppid=36402 vsize=184552 memory=139720 CPUtime=3033.1 cores=1,3
/proc/36405/stat : 36405 (pb-oll-rs) R 36402 36405 35748 0 -1 4194304 25374 0 0 0 302375 935 0 0 20 0 1 0 44145462 188981248 34930 18446744073709551615 4218880 5211445 140728621639808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22626304 140728621644188 140728621644265 140728621644265 140728621649867 0
/proc/36405/statm: 46138 34930 1344 243 0 42387 0
Current children cumulated CPU time: 3033.1 s
Current children cumulated vsize: 184552 KiB
Current children cumulated memory: 139720 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.11 4.10 5/250 36691
/proc/meminfo: memFree=127449856/131382120 swapFree=33010684/33010684
[pid=36405] ppid=36402 vsize=184552 memory=139812 CPUtime=3092.88 cores=1,3
/proc/36405/stat : 36405 (pb-oll-rs) R 36402 36405 35748 0 -1 4194304 25539 0 0 0 308334 954 0 0 20 0 1 0 44145462 188981248 34953 18446744073709551615 4218880 5211445 140728621639808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22626304 140728621644188 140728621644265 140728621644265 140728621649867 0
/proc/36405/statm: 46138 34953 1344 243 0 42387 0
Current children cumulated CPU time: 3092.88 s
Current children cumulated vsize: 184552 KiB
Current children cumulated memory: 139812 KiB
[startup+3162.3 s]
/proc/loadavg: 4.71 4.29 4.16 5/250 36693
/proc/meminfo: memFree=127034444/131382120 swapFree=33010684/33010684
[pid=36405] ppid=36402 vsize=185064 memory=143528 CPUtime=3152.69 cores=1,3
/proc/36405/stat : 36405 (pb-oll-rs) R 36402 36405 35748 0 -1 4194304 25748 0 0 0 314300 969 0 0 20 0 1 0 44145462 189505536 35882 18446744073709551615 4218880 5211445 140728621639808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22626304 140728621644188 140728621644265 140728621644265 140728621649867 0
/proc/36405/statm: 46266 35882 1344 243 0 42515 0
Current children cumulated CPU time: 3152.69 s
Current children cumulated vsize: 185064 KiB
Current children cumulated memory: 143528 KiB
[startup+3222.3 s]
/proc/loadavg: 4.31 4.25 4.16 5/250 36696
/proc/meminfo: memFree=126833328/131382120 swapFree=33010684/33010684
[pid=36405] ppid=36402 vsize=185320 memory=143572 CPUtime=3212.53 cores=1,3
/proc/36405/stat : 36405 (pb-oll-rs) R 36402 36405 35748 0 -1 4194304 25915 0 0 0 320269 984 0 0 20 0 1 0 44145462 189767680 35893 18446744073709551615 4218880 5211445 140728621639808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22626304 140728621644188 140728621644265 140728621644265 140728621649867 0
/proc/36405/statm: 46330 35893 1344 243 0 42579 0
Current children cumulated CPU time: 3212.53 s
Current children cumulated vsize: 185320 KiB
Current children cumulated memory: 143572 KiB
[startup+3282.3 s]
/proc/loadavg: 4.23 4.23 4.16 5/249 36698
/proc/meminfo: memFree=126755344/131382120 swapFree=33010684/33010684
[pid=36405] ppid=36402 vsize=185832 memory=145976 CPUtime=3272.37 cores=1,3
/proc/36405/stat : 36405 (pb-oll-rs) R 36402 36405 35748 0 -1 4194304 26139 0 0 0 326241 996 0 0 20 0 1 0 44145462 190291968 36494 18446744073709551615 4218880 5211445 140728621639808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22626304 140728621644188 140728621644265 140728621644265 140728621649867 0
/proc/36405/statm: 46458 36494 1344 243 0 42707 0
Current children cumulated CPU time: 3272.37 s
Current children cumulated vsize: 185832 KiB
Current children cumulated memory: 145976 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.20 4.15 5/249 36700
/proc/meminfo: memFree=126472420/131382120 swapFree=33010684/33010684
[pid=36405] ppid=36402 vsize=186080 memory=145976 CPUtime=3332.21 cores=1,3
/proc/36405/stat : 36405 (pb-oll-rs) R 36402 36405 35748 0 -1 4194304 26179 0 0 0 332220 1001 0 0 20 0 1 0 44145462 190545920 36494 18446744073709551615 4218880 5211445 140728621639808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22626304 140728621644188 140728621644265 140728621644265 140728621649867 0
/proc/36405/statm: 46520 36494 1344 243 0 42769 0
Current children cumulated CPU time: 3332.21 s
Current children cumulated vsize: 186080 KiB
Current children cumulated memory: 145976 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.20 4.15 5/249 36702
/proc/meminfo: memFree=126358612/131382120 swapFree=33010684/33010684
[pid=36405] ppid=36402 vsize=186848 memory=146564 CPUtime=3392.05 cores=1,3
/proc/36405/stat : 36405 (pb-oll-rs) R 36402 36405 35748 0 -1 4194304 26546 0 0 0 338189 1016 0 0 20 0 1 0 44145462 191332352 36641 18446744073709551615 4218880 5211445 140728621639808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22626304 140728621644188 140728621644265 140728621644265 140728621649867 0
/proc/36405/statm: 46712 36641 1344 243 0 42961 0
Current children cumulated CPU time: 3392.05 s
Current children cumulated vsize: 186848 KiB
Current children cumulated memory: 146564 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.19 4.15 5/249 36704
/proc/meminfo: memFree=126252960/131382120 swapFree=33010684/33010684
[pid=36405] ppid=36402 vsize=186848 memory=146584 CPUtime=3451.88 cores=1,3
/proc/36405/stat : 36405 (pb-oll-rs) R 36402 36405 35748 0 -1 4194304 26707 0 0 0 344159 1029 0 0 20 0 1 0 44145462 191332352 36646 18446744073709551615 4218880 5211445 140728621639808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22626304 140728621644188 140728621644265 140728621644265 140728621649867 0
/proc/36405/statm: 46712 36646 1344 243 0 42961 0
Current children cumulated CPU time: 3451.88 s
Current children cumulated vsize: 186848 KiB
Current children cumulated memory: 146584 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.17 4.14 5/249 36706
/proc/meminfo: memFree=126001800/131382120 swapFree=33010684/33010684
[pid=36405] ppid=36402 vsize=187104 memory=146584 CPUtime=3511.72 cores=1,3
/proc/36405/stat : 36405 (pb-oll-rs) R 36402 36405 35748 0 -1 4194304 26728 0 0 0 350135 1037 0 0 20 0 1 0 44145462 191594496 36646 18446744073709551615 4218880 5211445 140728621639808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22626304 140728621644188 140728621644265 140728621644265 140728621649867 0
/proc/36405/statm: 46776 36646 1344 243 0 43025 0
Current children cumulated CPU time: 3511.72 s
Current children cumulated vsize: 187104 KiB
Current children cumulated memory: 146584 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.17 4.14 5/250 36709
/proc/meminfo: memFree=125923708/131382120 swapFree=33010684/33010684
[pid=36405] ppid=36402 vsize=189016 memory=147536 CPUtime=3571.56 cores=1,3
/proc/36405/stat : 36405 (pb-oll-rs) R 36402 36405 35748 0 -1 4194304 27341 0 0 0 356107 1049 0 0 20 0 1 0 44145462 193552384 36884 18446744073709551615 4218880 5211445 140728621639808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22626304 140728621644188 140728621644265 140728621644265 140728621649867 0
/proc/36405/statm: 47254 36884 1344 243 0 43503 0
Current children cumulated CPU time: 3571.56 s
Current children cumulated vsize: 189016 KiB
Current children cumulated memory: 147536 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 4.09 4.15 4.14 5/250 36709
/proc/meminfo: memFree=125912224/131382120 swapFree=33010684/33010684
[pid=36405] ppid=36402 vsize=189016 memory=147536 CPUtime=3600.08 cores=1,3
/proc/36405/stat : 36405 (pb-oll-rs) R 36402 36405 35748 0 -1 4194304 27341 0 0 0 358955 1053 0 0 20 0 1 0 44145462 193552384 36884 18446744073709551615 4218880 5211445 140728621639808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22626304 140728621644188 140728621644265 140728621644265 140728621649867 0
/proc/36405/statm: 47254 36884 1344 243 0 43503 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 189016 KiB
Current children cumulated memory: 147536 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.9 s]
# the end of solver process 36405 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.56 s, system=10.5358 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.9 s]
/proc/loadavg: 4.09 4.15 4.14 5/250 36709
/proc/meminfo: memFree=125912224/131382120 swapFree=33010684/33010684
[pid=36405] ppid=36402 vsize=189016 memory=147536 CPUtime=3600.08 cores=1,3
/proc/36405/stat : 36405 (pb-oll-rs) R 36402 36405 35748 0 -1 4194304 27341 0 0 0 358955 1053 0 0 20 0 1 0 44145462 193552384 36884 18446744073709551615 4218880 5211445 140728621639808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22626304 140728621644188 140728621644265 140728621644265 140728621649867 0
/proc/36405/statm: 47254 36884 1344 243 0 43503 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 189016 KiB
Current children cumulated memory: 147536 KiB
Child status: 0
Real time (s): 3610.9
CPU time (s): 3600.1
CPU user time (s): 3589.56
CPU system time (s): 10.5358
CPU usage (%): 99.7007
Max. virtual memory (cumulated for all children) (KiB): 189684
Max. memory (cumulated for all children) (KiB): 148036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.56
system time used= 10.5358
maximum resident set size= 148036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27356
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= 140
involuntary context switches= 2350
# summary of solver processes directly reported to runsolver:
# pid: 36405
# total CPU time (s): 3600.1
# total CPU user time (s): 3589.56
# total CPU system time (s): 10.5358
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.872 second user time and 35.863 second system time
The end
Begin job on nodeC002 at 2025-06-30 13:57:47
IDJOB=4484258
IDBENCH=146653
IDSOLVER=3345
FILE ID=nodeC002/4484258-1751284667
RUNJOBID= nodeC002-1751279994-35760
SLURM_JOB_ID= 9594221
Free space on /tmp= 433056 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
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 -w /tmp/evaluation-result-4484258-1751284667/watcher-4484258-1751284667 -o /tmp/evaluation-result-4484258-1751284667/solver-4484258-1751284667 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751279994-35760 --watchdog 3760 pb-oll-rs HOME/instance-4484258-1751284667.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7fa9d6bae1eb6fc87d1fc158a8928861
RANDOM SEED=973604247
nodeC002 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3612.051
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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 : 1296.744
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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.680
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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.230
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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 : 3491.844
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.838
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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 : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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.404
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129213580 kB
MemAvailable: 129003204 kB
Buffers: 3280 kB
Cached: 598940 kB
SwapCached: 0 kB
Active: 1276392 kB
Inactive: 350192 kB
Active(anon): 1042324 kB
Inactive(anon): 0 kB
Active(file): 234068 kB
Inactive(file): 350192 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1664 kB
Writeback: 76 kB
AnonPages: 1027476 kB
Mapped: 106752 kB
Shmem: 17960 kB
KReclaimable: 89984 kB
Slab: 172300 kB
SReclaimable: 89984 kB
SUnreclaim: 82316 kB
KernelStack: 4040 kB
PageTables: 5424 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 1614372 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 45056 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 181064 kB
DirectMap2M: 8110080 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433052 MiB
End job on nodeC002 at 2025-06-30 14:57:58