0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] solving
0.00/0.00 c #variables 223 #constraints 386
0.00/0.00 c SMALL=int, LARGE=long long
0.00/0.00 c bounds - >= -1188 @ 0.001413
0.00/0.00 c stratification level: 12
0.00/0.00 c bounds - >= -772 @ 0.00208
0.00/0.00 c bounds - >= -760 @ 0.002201
0.00/0.00 c bounds - >= -748 @ 0.002223
0.00/0.00 c bounds - >= -736 @ 0.002223
0.00/0.00 c bounds - >= -724 @ 0.002223
0.00/0.00 c bounds - >= -712 @ 0.002223
0.00/0.00 c bounds - >= -700 @ 0.002223
0.00/0.00 c finalizing WCE round: reformulating cores
0.00/0.01 c bounds -67 >= -700 @ 0.007497
0.00/0.01 c bounds -68 >= -700 @ 0.011615
0.00/0.01 c stratification level: 9
0.00/0.01 c bounds -68 >= -691 @ 0.011743
0.00/0.01 c finalizing WCE round: reformulating cores
0.00/0.01 c bounds -70 >= -691 @ 0.012149
0.00/0.01 c bounds -71 >= -691 @ 0.012325
0.00/0.01 c stratification level: 8
0.00/0.02 c bounds -71 >= -467 @ 0.012764
0.00/0.02 c bounds -71 >= -459 @ 0.012902
0.00/0.02 c bounds -71 >= -451 @ 0.012984
0.00/0.02 c bounds -71 >= -443 @ 0.01307
0.00/0.02 c bounds -71 >= -435 @ 0.013145
0.00/0.02 c bounds -71 >= -427 @ 0.013211
0.00/0.02 c bounds -71 >= -419 @ 0.013281
0.00/0.02 c bounds -71 >= -411 @ 0.01336
0.00/0.02 c bounds -71 >= -403 @ 0.013431
0.00/0.02 c bounds -71 >= -395 @ 0.013499
0.00/0.02 c bounds -71 >= -387 @ 0.013576
0.00/0.02 c bounds -71 >= -379 @ 0.013645
0.00/0.02 c bounds -71 >= -371 @ 0.013706
0.00/0.02 c bounds -71 >= -363 @ 0.013784
0.00/0.02 c bounds -71 >= -355 @ 0.013852
0.00/0.02 c bounds -71 >= -347 @ 0.013916
0.00/0.02 c bounds -71 >= -339 @ 0.013991
0.00/0.02 c bounds -71 >= -331 @ 0.014057
0.00/0.02 c bounds -71 >= -323 @ 0.014123
0.00/0.02 c bounds -71 >= -315 @ 0.014194
0.00/0.02 c bounds -71 >= -307 @ 0.014253
0.00/0.02 c bounds -71 >= -299 @ 0.014353
0.00/0.02 c finalizing WCE round: reformulating cores
2.28/2.36 c #Conflicts: 1000 | #Constraints: 1539
2.28/2.36 c #Conflicts: 2000 | #Constraints: 2543
2.28/2.36 c INPROCESSING
2.28/2.36 c GARBAGE COLLECT
2.28/2.36 c #Conflicts: 3000 | #Constraints: 2508
2.28/2.36 c #Conflicts: 4000 | #Constraints: 3510
2.28/2.36 c INPROCESSING
2.28/2.36 c GARBAGE COLLECT
2.28/2.36 c #Conflicts: 5000 | #Constraints: 2914
2.28/2.36 c #Conflicts: 6000 | #Constraints: 3916
2.28/2.36 c INPROCESSING
2.28/2.36 c GARBAGE COLLECT
2.28/2.36 c #Conflicts: 7000 | #Constraints: 2919
2.28/2.36 c #Conflicts: 8000 | #Constraints: 3921
2.28/2.36 c #Conflicts: 9000 | #Constraints: 4925
2.28/2.36 c INPROCESSING
2.28/2.36 c GARBAGE COLLECT
2.28/2.36 c #Conflicts: 10000 | #Constraints: 3623
2.28/2.36 c #Conflicts: 11000 | #Constraints: 4625
2.28/2.36 c #Conflicts: 12000 | #Constraints: 5627
2.28/2.36 c INPROCESSING
2.28/2.36 c GARBAGE COLLECT
2.28/2.36 c #Conflicts: 13000 | #Constraints: 4082
2.28/2.36 c #Conflicts: 14000 | #Constraints: 5084
2.28/2.36 c #Conflicts: 15000 | #Constraints: 6086
2.28/2.36 c INPROCESSING
2.28/2.36 c GARBAGE COLLECT
2.28/2.36 c #Conflicts: 16000 | #Constraints: 4315
2.28/2.36 c #Conflicts: 17000 | #Constraints: 5317
2.28/2.36 c #Conflicts: 18000 | #Constraints: 6319
2.28/2.36 c bounds -74 >= -299 @ 1.90419
2.28/2.36 c bounds -74 >= -291 @ 1.90508
2.28/2.36 c bounds -74 >= -283 @ 1.90986
2.28/2.36 c INPROCESSING
2.28/2.36 c GARBAGE COLLECT
2.28/2.36 c #Conflicts: 19000 | #Constraints: 4347
2.28/2.36 c #Conflicts: 20000 | #Constraints: 5347
2.28/2.36 c finalizing WCE round: reformulating cores
8.08/8.16 c #Conflicts: 21000 | #Constraints: 6350
8.08/8.16 c INPROCESSING
8.08/8.16 c GARBAGE COLLECT
8.08/8.16 c #Conflicts: 22000 | #Constraints: 4159
8.08/8.16 c #Conflicts: 23000 | #Constraints: 5161
8.08/8.16 c bounds -75 >= -283 @ 2.66776
8.08/8.16 c #Conflicts: 24000 | #Constraints: 6161
8.08/8.16 c #Conflicts: 25000 | #Constraints: 7161
8.08/8.16 c INPROCESSING
8.08/8.16 c GARBAGE COLLECT
8.08/8.16 c #Conflicts: 26000 | #Constraints: 4766
8.08/8.16 c #Conflicts: 27000 | #Constraints: 5766
8.08/8.16 c #Conflicts: 28000 | #Constraints: 6766
8.08/8.16 c #Conflicts: 29000 | #Constraints: 7766
8.08/8.16 c INPROCESSING
8.08/8.16 c GARBAGE COLLECT
8.08/8.16 c #Conflicts: 30000 | #Constraints: 5165
8.08/8.16 c #Conflicts: 31000 | #Constraints: 6165
8.08/8.16 c #Conflicts: 32000 | #Constraints: 7165
8.08/8.16 c #Conflicts: 33000 | #Constraints: 8165
8.08/8.16 c INPROCESSING
8.08/8.16 c GARBAGE COLLECT
8.08/8.16 c #Conflicts: 34000 | #Constraints: 5369
8.08/8.16 c #Conflicts: 35000 | #Constraints: 6369
8.08/8.16 c #Conflicts: 36000 | #Constraints: 7369
8.08/8.16 c #Conflicts: 37000 | #Constraints: 8369
8.08/8.16 c INPROCESSING
8.08/8.16 c GARBAGE COLLECT
8.08/8.16 c #Conflicts: 38000 | #Constraints: 5372
8.08/8.16 c #Conflicts: 39000 | #Constraints: 6372
8.08/8.16 c #Conflicts: 40000 | #Constraints: 7372
8.08/8.16 c #Conflicts: 41000 | #Constraints: 8372
8.08/8.16 c INPROCESSING
8.08/8.16 c GARBAGE COLLECT
8.08/8.16 c #Conflicts: 42000 | #Constraints: 5171
8.08/8.16 c #Conflicts: 43000 | #Constraints: 6171
8.08/8.16 c #Conflicts: 44000 | #Constraints: 7171
8.08/8.16 c #Conflicts: 45000 | #Constraints: 8171
8.08/8.16 c #Conflicts: 46000 | #Constraints: 9171
8.08/8.16 c INPROCESSING
8.08/8.16 c GARBAGE COLLECT
8.08/8.16 c #Conflicts: 47000 | #Constraints: 5769
8.08/8.16 c bounds -78 >= -283 @ 7.99203
8.08/8.16 c stratification level: 6
38.60/38.74 c #Conflicts: 48000 | #Constraints: 6770
38.60/38.74 c #Conflicts: 49000 | #Constraints: 7770
38.60/38.74 c #Conflicts: 50000 | #Constraints: 8770
38.60/38.74 c #Conflicts: 51000 | #Constraints: 9770
38.60/38.74 c INPROCESSING
38.60/38.74 c GARBAGE COLLECT
38.60/38.74 c #Conflicts: 52000 | #Constraints: 6174
38.60/38.74 c #Conflicts: 53000 | #Constraints: 7174
38.60/38.74 c #Conflicts: 54000 | #Constraints: 8174
38.60/38.74 c #Conflicts: 55000 | #Constraints: 9174
38.60/38.74 c #Conflicts: 56000 | #Constraints: 10174
38.60/38.74 c INPROCESSING
38.60/38.74 c GARBAGE COLLECT
38.60/38.74 c #Conflicts: 57000 | #Constraints: 6374
38.60/38.74 c #Conflicts: 58000 | #Constraints: 7374
38.60/38.74 c #Conflicts: 59000 | #Constraints: 8374
38.60/38.74 c #Conflicts: 60000 | #Constraints: 9374
38.60/38.74 c #Conflicts: 61000 | #Constraints: 10374
38.60/38.74 c INPROCESSING
38.60/38.74 c GARBAGE COLLECT
38.60/38.74 c #Conflicts: 62000 | #Constraints: 6385
38.60/38.74 c #Conflicts: 63000 | #Constraints: 7385
38.60/38.74 c #Conflicts: 64000 | #Constraints: 8385
38.60/38.74 c #Conflicts: 65000 | #Constraints: 9385
38.60/38.74 c #Conflicts: 66000 | #Constraints: 10385
38.60/38.74 c INPROCESSING
38.60/38.74 c GARBAGE COLLECT
38.60/38.74 c #Conflicts: 67000 | #Constraints: 6186
38.60/38.74 c #Conflicts: 68000 | #Constraints: 7186
38.60/38.74 c #Conflicts: 69000 | #Constraints: 8186
38.60/38.74 c #Conflicts: 70000 | #Constraints: 9186
38.60/38.74 c #Conflicts: 71000 | #Constraints: 10186
38.60/38.74 c #Conflicts: 72000 | #Constraints: 11186
38.60/38.74 c INPROCESSING
38.60/38.74 c GARBAGE COLLECT
38.60/38.74 c #Conflicts: 73000 | #Constraints: 6786
38.60/38.74 c #Conflicts: 74000 | #Constraints: 7786
38.60/38.74 c #Conflicts: 75000 | #Constraints: 8786
38.60/38.74 c #Conflicts: 76000 | #Constraints: 9786
38.60/38.74 c #Conflicts: 77000 | #Constraints: 10786
38.60/38.74 c #Conflicts: 78000 | #Constraints: 11786
38.60/38.74 c INPROCESSING
38.60/38.74 c GARBAGE COLLECT
38.60/38.74 c #Conflicts: 79000 | #Constraints: 7188
38.60/38.74 c #Conflicts: 80000 | #Constraints: 8188
38.60/38.74 c #Conflicts: 81000 | #Constraints: 9188
38.60/38.74 c #Conflicts: 82000 | #Constraints: 10188
38.60/38.74 c #Conflicts: 83000 | #Constraints: 11188
38.60/38.74 c #Conflicts: 84000 | #Constraints: 12188
38.60/38.74 c INPROCESSING
38.60/38.74 c GARBAGE COLLECT
38.60/38.74 c #Conflicts: 85000 | #Constraints: 7388
38.60/38.74 c #Conflicts: 86000 | #Constraints: 8388
38.60/38.74 c #Conflicts: 87000 | #Constraints: 9388
38.60/38.74 c #Conflicts: 88000 | #Constraints: 10388
38.60/38.74 c #Conflicts: 89000 | #Constraints: 11388
38.60/38.74 c #Conflicts: 90000 | #Constraints: 12388
38.60/38.74 c INPROCESSING
38.60/38.74 c GARBAGE COLLECT
38.60/38.74 c #Conflicts: 91000 | #Constraints: 7384
38.60/38.74 c #Conflicts: 92000 | #Constraints: 8384
38.60/38.74 c #Conflicts: 93000 | #Constraints: 9384
38.60/38.74 c #Conflicts: 94000 | #Constraints: 10384
38.60/38.74 c #Conflicts: 95000 | #Constraints: 11384
38.60/38.74 c #Conflicts: 96000 | #Constraints: 12384
38.60/38.74 c INPROCESSING
38.60/38.74 c GARBAGE COLLECT
38.60/38.74 c #Conflicts: 97000 | #Constraints: 7189
38.60/38.74 c #Conflicts: 98000 | #Constraints: 8189
38.60/38.74 c #Conflicts: 99000 | #Constraints: 9189
38.60/38.74 c #Conflicts: 100000 | #Constraints: 10189
38.60/38.74 c #Conflicts: 101000 | #Constraints: 11189
38.60/38.74 c #Conflicts: 102000 | #Constraints: 12189
38.60/38.74 c #Conflicts: 103000 | #Constraints: 13189
38.60/38.74 c INPROCESSING
38.60/38.74 c GARBAGE COLLECT
38.60/38.74 c #Conflicts: 104000 | #Constraints: 7789
38.60/38.74 c #Conflicts: 105000 | #Constraints: 8789
38.60/38.74 c #Conflicts: 106000 | #Constraints: 9789
38.60/38.74 c #Conflicts: 107000 | #Constraints: 10789
38.60/38.74 c #Conflicts: 108000 | #Constraints: 11789
38.60/38.74 c #Conflicts: 109000 | #Constraints: 12789
38.60/38.74 c #Conflicts: 110000 | #Constraints: 13789
38.60/38.74 c INPROCESSING
38.60/38.74 c GARBAGE COLLECT
38.60/38.74 c #Conflicts: 111000 | #Constraints: 8191
38.60/38.74 c #Conflicts: 112000 | #Constraints: 9191
38.60/38.74 c #Conflicts: 113000 | #Constraints: 10191
38.60/38.74 c #Conflicts: 114000 | #Constraints: 11191
38.60/38.74 c #Conflicts: 115000 | #Constraints: 12191
38.60/38.74 c #Conflicts: 116000 | #Constraints: 13191
38.60/38.74 c #Conflicts: 117000 | #Constraints: 14191
38.60/38.74 c INPROCESSING
38.60/38.74 c GARBAGE COLLECT
38.60/38.74 c #Conflicts: 118000 | #Constraints: 8389
38.60/38.74 c #Conflicts: 119000 | #Constraints: 9389
86.79/87.07 c #Conflicts: 120000 | #Constraints: 10389
86.79/87.07 c #Conflicts: 121000 | #Constraints: 11389
86.79/87.07 c #Conflicts: 122000 | #Constraints: 12389
86.79/87.07 c #Conflicts: 123000 | #Constraints: 13389
86.79/87.07 c #Conflicts: 124000 | #Constraints: 14389
86.79/87.07 c INPROCESSING
86.79/87.07 c GARBAGE COLLECT
86.79/87.07 c #Conflicts: 125000 | #Constraints: 8387
86.79/87.07 c #Conflicts: 126000 | #Constraints: 9387
86.79/87.07 c #Conflicts: 127000 | #Constraints: 10387
86.79/87.07 c #Conflicts: 128000 | #Constraints: 11387
86.79/87.07 c #Conflicts: 129000 | #Constraints: 12387
86.79/87.07 c #Conflicts: 130000 | #Constraints: 13387
86.79/87.07 c #Conflicts: 131000 | #Constraints: 14387
86.79/87.07 c INPROCESSING
86.79/87.07 c GARBAGE COLLECT
86.79/87.07 c #Conflicts: 132000 | #Constraints: 8194
86.79/87.07 c #Conflicts: 133000 | #Constraints: 9194
86.79/87.07 c #Conflicts: 134000 | #Constraints: 10194
86.79/87.07 c #Conflicts: 135000 | #Constraints: 11194
86.79/87.07 c #Conflicts: 136000 | #Constraints: 12194
86.79/87.07 c #Conflicts: 137000 | #Constraints: 13194
86.79/87.07 c #Conflicts: 138000 | #Constraints: 14194
86.79/87.07 c #Conflicts: 139000 | #Constraints: 15194
86.79/87.07 c INPROCESSING
86.79/87.07 c GARBAGE COLLECT
86.79/87.07 c #Conflicts: 140000 | #Constraints: 8794
86.79/87.07 c #Conflicts: 141000 | #Constraints: 9794
86.79/87.07 c #Conflicts: 142000 | #Constraints: 10794
86.79/87.07 c #Conflicts: 143000 | #Constraints: 11794
86.79/87.07 c #Conflicts: 144000 | #Constraints: 12794
86.79/87.07 c #Conflicts: 145000 | #Constraints: 13794
86.79/87.07 c #Conflicts: 146000 | #Constraints: 14794
86.79/87.07 c #Conflicts: 147000 | #Constraints: 15794
86.79/87.07 c INPROCESSING
86.79/87.07 c GARBAGE COLLECT
86.79/87.07 c #Conflicts: 148000 | #Constraints: 9195
86.79/87.07 c #Conflicts: 149000 | #Constraints: 10195
86.79/87.07 c #Conflicts: 150000 | #Constraints: 11195
86.79/87.07 c #Conflicts: 151000 | #Constraints: 12195
86.79/87.07 c #Conflicts: 152000 | #Constraints: 13195
86.79/87.07 c #Conflicts: 153000 | #Constraints: 14195
86.79/87.07 c #Conflicts: 154000 | #Constraints: 15195
86.79/87.07 c #Conflicts: 155000 | #Constraints: 16195
86.79/87.07 c INPROCESSING
86.79/87.07 c GARBAGE COLLECT
86.79/87.07 c #Conflicts: 156000 | #Constraints: 9395
86.79/87.07 c #Conflicts: 157000 | #Constraints: 10395
86.79/87.07 c #Conflicts: 158000 | #Constraints: 11395
86.79/87.07 c #Conflicts: 159000 | #Constraints: 12395
86.79/87.07 c #Conflicts: 160000 | #Constraints: 13395
86.79/87.07 c #Conflicts: 161000 | #Constraints: 14395
86.79/87.07 c #Conflicts: 162000 | #Constraints: 15395
86.79/87.07 c #Conflicts: 163000 | #Constraints: 16395
86.79/87.07 c INPROCESSING
86.79/87.07 c GARBAGE COLLECT
86.79/87.07 c #Conflicts: 164000 | #Constraints: 9390
86.79/87.07 c #Conflicts: 165000 | #Constraints: 10390
86.79/87.07 c #Conflicts: 166000 | #Constraints: 11390
86.79/87.07 c #Conflicts: 167000 | #Constraints: 12390
86.79/87.07 c #Conflicts: 168000 | #Constraints: 13390
86.79/87.07 c #Conflicts: 169000 | #Constraints: 14390
86.79/87.07 c #Conflicts: 170000 | #Constraints: 15390
86.79/87.07 c #Conflicts: 171000 | #Constraints: 16390
86.79/87.07 c INPROCESSING
86.79/87.07 c GARBAGE COLLECT
86.79/87.07 c #Conflicts: 172000 | #Constraints: 9191
86.79/87.07 c #Conflicts: 173000 | #Constraints: 10191
86.79/87.07 c #Conflicts: 174000 | #Constraints: 11191
86.79/87.07 c #Conflicts: 175000 | #Constraints: 12191
86.79/87.07 c #Conflicts: 176000 | #Constraints: 13191
86.79/87.07 c #Conflicts: 177000 | #Constraints: 14191
86.79/87.07 c #Conflicts: 178000 | #Constraints: 15191
86.79/87.07 c #Conflicts: 179000 | #Constraints: 16191
86.79/87.07 c #Conflicts: 180000 | #Constraints: 17191
86.79/87.07 c INPROCESSING
86.79/87.07 c GARBAGE COLLECT
86.79/87.07 c #Conflicts: 181000 | #Constraints: 9796
86.79/87.07 c #Conflicts: 182000 | #Constraints: 10796
86.79/87.07 c #Conflicts: 183000 | #Constraints: 11796
86.79/87.07 c #Conflicts: 184000 | #Constraints: 12796
86.79/87.07 c #Conflicts: 185000 | #Constraints: 13796
86.79/87.07 c #Conflicts: 186000 | #Constraints: 14796
86.79/87.07 c #Conflicts: 187000 | #Constraints: 15796
86.79/87.07 c #Conflicts: 188000 | #Constraints: 16796
86.79/87.07 c #Conflicts: 189000 | #Constraints: 17796
86.79/87.07 c INPROCESSING
86.79/87.07 c GARBAGE COLLECT
86.79/87.07 c #Conflicts: 190000 | #Constraints: 10190
86.79/87.07 c #Conflicts: 191000 | #Constraints: 11190
86.79/87.07 c #Conflicts: 192000 | #Constraints: 12190
155.32/155.77 c #Conflicts: 193000 | #Constraints: 13190
155.32/155.77 c #Conflicts: 194000 | #Constraints: 14190
155.32/155.77 c #Conflicts: 195000 | #Constraints: 15190
155.32/155.77 c #Conflicts: 196000 | #Constraints: 16190
155.32/155.77 c #Conflicts: 197000 | #Constraints: 17190
155.32/155.77 c #Conflicts: 198000 | #Constraints: 18190
155.32/155.77 c INPROCESSING
155.32/155.77 c GARBAGE COLLECT
155.32/155.77 c #Conflicts: 199000 | #Constraints: 10393
155.32/155.77 c #Conflicts: 200000 | #Constraints: 11393
155.32/155.77 c #Conflicts: 201000 | #Constraints: 12393
155.32/155.77 c #Conflicts: 202000 | #Constraints: 13393
155.32/155.77 c #Conflicts: 203000 | #Constraints: 14393
155.32/155.77 c #Conflicts: 204000 | #Constraints: 15393
155.32/155.77 c #Conflicts: 205000 | #Constraints: 16393
155.32/155.77 c #Conflicts: 206000 | #Constraints: 17393
155.32/155.77 c #Conflicts: 207000 | #Constraints: 18393
155.32/155.77 c INPROCESSING
155.32/155.77 c GARBAGE COLLECT
155.32/155.77 c #Conflicts: 208000 | #Constraints: 10387
155.32/155.77 c #Conflicts: 209000 | #Constraints: 11387
155.32/155.77 c #Conflicts: 210000 | #Constraints: 12387
155.32/155.77 c #Conflicts: 211000 | #Constraints: 13387
155.32/155.77 c #Conflicts: 212000 | #Constraints: 14387
155.32/155.77 c #Conflicts: 213000 | #Constraints: 15387
155.32/155.77 c #Conflicts: 214000 | #Constraints: 16387
155.32/155.77 c #Conflicts: 215000 | #Constraints: 17387
155.32/155.77 c #Conflicts: 216000 | #Constraints: 18387
155.32/155.77 c INPROCESSING
155.32/155.77 c GARBAGE COLLECT
155.32/155.77 c #Conflicts: 217000 | #Constraints: 10199
155.32/155.77 c #Conflicts: 218000 | #Constraints: 11199
155.32/155.77 c #Conflicts: 219000 | #Constraints: 12199
155.32/155.77 c #Conflicts: 220000 | #Constraints: 13199
155.32/155.77 c #Conflicts: 221000 | #Constraints: 14199
155.32/155.77 c #Conflicts: 222000 | #Constraints: 15199
155.32/155.77 c #Conflicts: 223000 | #Constraints: 16199
155.32/155.77 c #Conflicts: 224000 | #Constraints: 17199
155.32/155.77 c #Conflicts: 225000 | #Constraints: 18199
155.32/155.77 c #Conflicts: 226000 | #Constraints: 19199
155.32/155.77 c INPROCESSING
155.32/155.77 c GARBAGE COLLECT
155.32/155.77 c #Conflicts: 227000 | #Constraints: 10793
155.32/155.77 c #Conflicts: 228000 | #Constraints: 11793
155.32/155.77 c #Conflicts: 229000 | #Constraints: 12793
155.32/155.77 c #Conflicts: 230000 | #Constraints: 13793
155.32/155.77 c #Conflicts: 231000 | #Constraints: 14793
155.32/155.77 c #Conflicts: 232000 | #Constraints: 15793
155.32/155.77 c #Conflicts: 233000 | #Constraints: 16793
155.32/155.77 c #Conflicts: 234000 | #Constraints: 17793
155.32/155.77 c #Conflicts: 235000 | #Constraints: 18793
155.32/155.77 c #Conflicts: 236000 | #Constraints: 19793
155.32/155.77 c INPROCESSING
155.32/155.77 c GARBAGE COLLECT
155.32/155.77 c #Conflicts: 237000 | #Constraints: 11197
155.32/155.77 c #Conflicts: 238000 | #Constraints: 12197
155.32/155.77 c #Conflicts: 239000 | #Constraints: 13197
155.32/155.77 c #Conflicts: 240000 | #Constraints: 14197
155.32/155.77 c #Conflicts: 241000 | #Constraints: 15197
155.32/155.77 c #Conflicts: 242000 | #Constraints: 16197
155.32/155.77 c #Conflicts: 243000 | #Constraints: 17197
155.32/155.77 c #Conflicts: 244000 | #Constraints: 18197
155.32/155.77 c #Conflicts: 245000 | #Constraints: 19197
155.32/155.77 c #Conflicts: 246000 | #Constraints: 20197
155.32/155.77 c INPROCESSING
155.32/155.77 c GARBAGE COLLECT
155.32/155.77 c #Conflicts: 247000 | #Constraints: 11397
155.32/155.77 c #Conflicts: 248000 | #Constraints: 12397
155.32/155.77 c #Conflicts: 249000 | #Constraints: 13397
155.32/155.77 c #Conflicts: 250000 | #Constraints: 14397
155.32/155.77 c #Conflicts: 251000 | #Constraints: 15397
155.32/155.77 c #Conflicts: 252000 | #Constraints: 16397
155.32/155.77 c #Conflicts: 253000 | #Constraints: 17397
155.32/155.77 c #Conflicts: 254000 | #Constraints: 18397
155.32/155.77 c #Conflicts: 255000 | #Constraints: 19397
155.32/155.77 c #Conflicts: 256000 | #Constraints: 20397
155.32/155.77 c INPROCESSING
155.32/155.77 c GARBAGE COLLECT
155.32/155.77 c #Conflicts: 257000 | #Constraints: 11402
155.32/155.77 c #Conflicts: 258000 | #Constraints: 12402
155.32/155.77 c #Conflicts: 259000 | #Constraints: 13402
155.32/155.77 c #Conflicts: 260000 | #Constraints: 14402
155.32/155.77 c #Conflicts: 261000 | #Constraints: 15402
155.32/155.77 c #Conflicts: 262000 | #Constraints: 16402
155.32/155.77 c #Conflicts: 263000 | #Constraints: 17402
155.32/155.77 c #Conflicts: 264000 | #Constraints: 18402
155.32/155.77 c #Conflicts: 265000 | #Constraints: 19402
155.32/155.77 c #Conflicts: 266000 | #Constraints: 20402
234.73/235.32 c INPROCESSING
234.73/235.32 c GARBAGE COLLECT
234.73/235.32 c #Conflicts: 267000 | #Constraints: 11196
234.73/235.32 c #Conflicts: 268000 | #Constraints: 12196
234.73/235.32 c #Conflicts: 269000 | #Constraints: 13196
234.73/235.32 c #Conflicts: 270000 | #Constraints: 14196
234.73/235.32 c #Conflicts: 271000 | #Constraints: 15196
234.73/235.32 c #Conflicts: 272000 | #Constraints: 16196
234.73/235.32 c #Conflicts: 273000 | #Constraints: 17196
234.73/235.32 c #Conflicts: 274000 | #Constraints: 18196
234.73/235.32 c #Conflicts: 275000 | #Constraints: 19196
234.73/235.32 c #Conflicts: 276000 | #Constraints: 20196
234.73/235.32 c #Conflicts: 277000 | #Constraints: 21196
234.73/235.32 c INPROCESSING
234.73/235.32 c GARBAGE COLLECT
234.73/235.32 c #Conflicts: 278000 | #Constraints: 11800
234.73/235.32 c #Conflicts: 279000 | #Constraints: 12800
234.73/235.32 c #Conflicts: 280000 | #Constraints: 13800
234.73/235.32 c #Conflicts: 281000 | #Constraints: 14800
234.73/235.32 c #Conflicts: 282000 | #Constraints: 15800
234.73/235.32 c #Conflicts: 283000 | #Constraints: 16800
234.73/235.32 c #Conflicts: 284000 | #Constraints: 17800
234.73/235.32 c #Conflicts: 285000 | #Constraints: 18800
234.73/235.32 c #Conflicts: 286000 | #Constraints: 19800
234.73/235.32 c #Conflicts: 287000 | #Constraints: 20800
234.73/235.32 c #Conflicts: 288000 | #Constraints: 21800
234.73/235.32 c INPROCESSING
234.73/235.32 c GARBAGE COLLECT
234.73/235.32 c #Conflicts: 289000 | #Constraints: 12211
234.73/235.32 c #Conflicts: 290000 | #Constraints: 13211
234.73/235.32 c #Conflicts: 291000 | #Constraints: 14211
234.73/235.32 c #Conflicts: 292000 | #Constraints: 15211
234.73/235.32 c #Conflicts: 293000 | #Constraints: 16211
234.73/235.32 c #Conflicts: 294000 | #Constraints: 17211
234.73/235.32 c #Conflicts: 295000 | #Constraints: 18211
234.73/235.32 c #Conflicts: 296000 | #Constraints: 19211
234.73/235.32 c #Conflicts: 297000 | #Constraints: 20211
234.73/235.32 c #Conflicts: 298000 | #Constraints: 21211
234.73/235.32 c #Conflicts: 299000 | #Constraints: 22211
234.73/235.32 c INPROCESSING
234.73/235.32 c GARBAGE COLLECT
234.73/235.32 c #Conflicts: 300000 | #Constraints: 12405
234.73/235.32 c #Conflicts: 301000 | #Constraints: 13405
234.73/235.32 c #Conflicts: 302000 | #Constraints: 14405
234.73/235.32 c #Conflicts: 303000 | #Constraints: 15405
234.73/235.32 c #Conflicts: 304000 | #Constraints: 16405
234.73/235.32 c #Conflicts: 305000 | #Constraints: 17405
234.73/235.32 c #Conflicts: 306000 | #Constraints: 18405
234.73/235.32 c #Conflicts: 307000 | #Constraints: 19405
234.73/235.32 c #Conflicts: 308000 | #Constraints: 20405
234.73/235.32 c #Conflicts: 309000 | #Constraints: 21405
234.73/235.32 c #Conflicts: 310000 | #Constraints: 22405
234.73/235.32 c INPROCESSING
234.73/235.32 c GARBAGE COLLECT
234.73/235.32 c #Conflicts: 311000 | #Constraints: 12401
234.73/235.32 c #Conflicts: 312000 | #Constraints: 13401
234.73/235.32 c #Conflicts: 313000 | #Constraints: 14401
234.73/235.32 c #Conflicts: 314000 | #Constraints: 15401
234.73/235.32 c #Conflicts: 315000 | #Constraints: 16401
234.73/235.32 c #Conflicts: 316000 | #Constraints: 17401
234.73/235.32 c #Conflicts: 317000 | #Constraints: 18401
234.73/235.32 c #Conflicts: 318000 | #Constraints: 19401
234.73/235.32 c #Conflicts: 319000 | #Constraints: 20401
234.73/235.32 c #Conflicts: 320000 | #Constraints: 21401
234.73/235.32 c #Conflicts: 321000 | #Constraints: 22401
234.73/235.32 c INPROCESSING
234.73/235.32 c GARBAGE COLLECT
234.73/235.32 c #Conflicts: 322000 | #Constraints: 12197
234.73/235.32 c #Conflicts: 323000 | #Constraints: 13197
234.73/235.32 c #Conflicts: 324000 | #Constraints: 14197
234.73/235.32 c #Conflicts: 325000 | #Constraints: 15197
234.73/235.32 c #Conflicts: 326000 | #Constraints: 16197
234.73/235.32 c #Conflicts: 327000 | #Constraints: 17197
234.73/235.32 c #Conflicts: 328000 | #Constraints: 18197
234.73/235.32 c #Conflicts: 329000 | #Constraints: 19197
234.73/235.32 c #Conflicts: 330000 | #Constraints: 20197
234.73/235.32 c #Conflicts: 331000 | #Constraints: 21197
234.73/235.32 c #Conflicts: 332000 | #Constraints: 22197
234.73/235.32 c #Conflicts: 333000 | #Constraints: 23197
234.73/235.32 c INPROCESSING
234.73/235.32 c GARBAGE COLLECT
234.73/235.32 c #Conflicts: 334000 | #Constraints: 12808
234.73/235.32 c #Conflicts: 335000 | #Constraints: 13808
234.73/235.32 c #Conflicts: 336000 | #Constraints: 14808
234.73/235.32 c #Conflicts: 337000 | #Constraints: 15808
234.73/235.32 c #Conflicts: 338000 | #Constraints: 16808
234.73/235.32 c #Conflicts: 339000 | #Constraints: 17808
234.73/235.32 c #Conflicts: 340000 | #Constraints: 18808
329.20/330.04 c #Conflicts: 341000 | #Constraints: 19808
329.20/330.04 c #Conflicts: 342000 | #Constraints: 20808
329.20/330.04 c #Conflicts: 343000 | #Constraints: 21808
329.20/330.04 c #Conflicts: 344000 | #Constraints: 22808
329.20/330.04 c #Conflicts: 345000 | #Constraints: 23808
329.20/330.04 c INPROCESSING
329.20/330.04 c GARBAGE COLLECT
329.20/330.04 c #Conflicts: 346000 | #Constraints: 13205
329.20/330.04 c #Conflicts: 347000 | #Constraints: 14205
329.20/330.04 c #Conflicts: 348000 | #Constraints: 15205
329.20/330.04 c #Conflicts: 349000 | #Constraints: 16205
329.20/330.04 c #Conflicts: 350000 | #Constraints: 17205
329.20/330.04 c #Conflicts: 351000 | #Constraints: 18205
329.20/330.04 c #Conflicts: 352000 | #Constraints: 19205
329.20/330.04 c #Conflicts: 353000 | #Constraints: 20205
329.20/330.04 c #Conflicts: 354000 | #Constraints: 21205
329.20/330.04 c #Conflicts: 355000 | #Constraints: 22205
329.20/330.04 c #Conflicts: 356000 | #Constraints: 23205
329.20/330.04 c #Conflicts: 357000 | #Constraints: 24205
329.20/330.04 c INPROCESSING
329.20/330.04 c GARBAGE COLLECT
329.20/330.04 c #Conflicts: 358000 | #Constraints: 13403
329.20/330.04 c #Conflicts: 359000 | #Constraints: 14403
329.20/330.04 c #Conflicts: 360000 | #Constraints: 15403
329.20/330.04 c #Conflicts: 361000 | #Constraints: 16403
329.20/330.04 c #Conflicts: 362000 | #Constraints: 17403
329.20/330.04 c #Conflicts: 363000 | #Constraints: 18403
329.20/330.04 c #Conflicts: 364000 | #Constraints: 19403
329.20/330.04 c #Conflicts: 365000 | #Constraints: 20403
329.20/330.04 c #Conflicts: 366000 | #Constraints: 21403
329.20/330.04 c #Conflicts: 367000 | #Constraints: 22403
329.20/330.04 c #Conflicts: 368000 | #Constraints: 23403
329.20/330.04 c #Conflicts: 369000 | #Constraints: 24403
329.20/330.04 c INPROCESSING
329.20/330.04 c GARBAGE COLLECT
329.20/330.04 c #Conflicts: 370000 | #Constraints: 13409
329.20/330.04 c #Conflicts: 371000 | #Constraints: 14409
329.20/330.04 c #Conflicts: 372000 | #Constraints: 15409
329.20/330.04 c #Conflicts: 373000 | #Constraints: 16409
329.20/330.04 c #Conflicts: 374000 | #Constraints: 17409
329.20/330.04 c #Conflicts: 375000 | #Constraints: 18409
329.20/330.04 c #Conflicts: 376000 | #Constraints: 19409
329.20/330.04 c #Conflicts: 377000 | #Constraints: 20409
329.20/330.04 c #Conflicts: 378000 | #Constraints: 21409
329.20/330.04 c #Conflicts: 379000 | #Constraints: 22409
329.20/330.04 c #Conflicts: 380000 | #Constraints: 23409
329.20/330.04 c #Conflicts: 381000 | #Constraints: 24409
329.20/330.04 c INPROCESSING
329.20/330.04 c GARBAGE COLLECT
329.20/330.04 c #Conflicts: 382000 | #Constraints: 13212
329.20/330.04 c #Conflicts: 383000 | #Constraints: 14212
329.20/330.04 c #Conflicts: 384000 | #Constraints: 15212
329.20/330.04 c #Conflicts: 385000 | #Constraints: 16212
329.20/330.04 c #Conflicts: 386000 | #Constraints: 17212
329.20/330.04 c #Conflicts: 387000 | #Constraints: 18212
329.20/330.04 c #Conflicts: 388000 | #Constraints: 19212
329.20/330.04 c #Conflicts: 389000 | #Constraints: 20212
329.20/330.04 c #Conflicts: 390000 | #Constraints: 21212
329.20/330.04 c #Conflicts: 391000 | #Constraints: 22212
329.20/330.04 c #Conflicts: 392000 | #Constraints: 23212
329.20/330.04 c #Conflicts: 393000 | #Constraints: 24212
329.20/330.04 c #Conflicts: 394000 | #Constraints: 25212
329.20/330.04 c INPROCESSING
329.20/330.04 c GARBAGE COLLECT
329.20/330.04 c #Conflicts: 395000 | #Constraints: 13814
329.20/330.04 c #Conflicts: 396000 | #Constraints: 14814
329.20/330.04 c #Conflicts: 397000 | #Constraints: 15814
329.20/330.04 c #Conflicts: 398000 | #Constraints: 16814
329.20/330.04 c #Conflicts: 399000 | #Constraints: 17814
329.20/330.04 c #Conflicts: 400000 | #Constraints: 18814
329.20/330.04 c #Conflicts: 401000 | #Constraints: 19814
329.20/330.04 c #Conflicts: 402000 | #Constraints: 20814
329.20/330.04 c #Conflicts: 403000 | #Constraints: 21814
329.20/330.04 c #Conflicts: 404000 | #Constraints: 22814
329.20/330.04 c #Conflicts: 405000 | #Constraints: 23814
329.20/330.04 c #Conflicts: 406000 | #Constraints: 24814
329.20/330.04 c #Conflicts: 407000 | #Constraints: 25814
329.20/330.04 c INPROCESSING
329.20/330.04 c GARBAGE COLLECT
329.20/330.04 c #Conflicts: 408000 | #Constraints: 14213
329.20/330.04 c #Conflicts: 409000 | #Constraints: 15213
329.20/330.04 c #Conflicts: 410000 | #Constraints: 16213
329.20/330.04 c #Conflicts: 411000 | #Constraints: 17213
329.20/330.04 c #Conflicts: 412000 | #Constraints: 18213
329.20/330.04 c #Conflicts: 413000 | #Constraints: 19213
329.20/330.04 c #Conflicts: 414000 | #Constraints: 20213
329.20/330.04 c #Conflicts: 415000 | #Constraints: 21213
427.73/428.83 c #Conflicts: 416000 | #Constraints: 22213
427.73/428.83 c #Conflicts: 417000 | #Constraints: 23213
427.73/428.83 c #Conflicts: 418000 | #Constraints: 24213
427.73/428.83 c #Conflicts: 419000 | #Constraints: 25213
427.73/428.83 c #Conflicts: 420000 | #Constraints: 26213
427.73/428.83 c INPROCESSING
427.73/428.83 c GARBAGE COLLECT
427.73/428.83 c #Conflicts: 421000 | #Constraints: 14410
427.73/428.83 c #Conflicts: 422000 | #Constraints: 15410
427.73/428.83 c #Conflicts: 423000 | #Constraints: 16410
427.73/428.83 c #Conflicts: 424000 | #Constraints: 17410
427.73/428.83 c #Conflicts: 425000 | #Constraints: 18410
427.73/428.83 c #Conflicts: 426000 | #Constraints: 19410
427.73/428.83 c #Conflicts: 427000 | #Constraints: 20410
427.73/428.83 c #Conflicts: 428000 | #Constraints: 21410
427.73/428.83 c #Conflicts: 429000 | #Constraints: 22410
427.73/428.83 c #Conflicts: 430000 | #Constraints: 23410
427.73/428.83 c #Conflicts: 431000 | #Constraints: 24410
427.73/428.83 c #Conflicts: 432000 | #Constraints: 25410
427.73/428.83 c #Conflicts: 433000 | #Constraints: 26410
427.73/428.83 c INPROCESSING
427.73/428.83 c GARBAGE COLLECT
427.73/428.83 c #Conflicts: 434000 | #Constraints: 14413
427.73/428.83 c #Conflicts: 435000 | #Constraints: 15413
427.73/428.83 c #Conflicts: 436000 | #Constraints: 16413
427.73/428.83 c #Conflicts: 437000 | #Constraints: 17413
427.73/428.83 c #Conflicts: 438000 | #Constraints: 18413
427.73/428.83 c #Conflicts: 439000 | #Constraints: 19413
427.73/428.83 c #Conflicts: 440000 | #Constraints: 20413
427.73/428.83 c #Conflicts: 441000 | #Constraints: 21413
427.73/428.83 c #Conflicts: 442000 | #Constraints: 22413
427.73/428.83 c #Conflicts: 443000 | #Constraints: 23413
427.73/428.83 c #Conflicts: 444000 | #Constraints: 24413
427.73/428.83 c #Conflicts: 445000 | #Constraints: 25413
427.73/428.83 c #Conflicts: 446000 | #Constraints: 26413
427.73/428.83 c INPROCESSING
427.73/428.83 c GARBAGE COLLECT
427.73/428.83 c #Conflicts: 447000 | #Constraints: 14206
427.73/428.83 c #Conflicts: 448000 | #Constraints: 15206
427.73/428.83 c #Conflicts: 449000 | #Constraints: 16206
427.73/428.83 c #Conflicts: 450000 | #Constraints: 17206
427.73/428.83 c #Conflicts: 451000 | #Constraints: 18206
427.73/428.83 c #Conflicts: 452000 | #Constraints: 19206
427.73/428.83 c #Conflicts: 453000 | #Constraints: 20206
427.73/428.83 c #Conflicts: 454000 | #Constraints: 21206
427.73/428.83 c #Conflicts: 455000 | #Constraints: 22206
427.73/428.83 c #Conflicts: 456000 | #Constraints: 23206
427.73/428.83 c #Conflicts: 457000 | #Constraints: 24206
427.73/428.83 c #Conflicts: 458000 | #Constraints: 25206
427.73/428.83 c #Conflicts: 459000 | #Constraints: 26206
427.73/428.83 c #Conflicts: 460000 | #Constraints: 27206
427.73/428.83 c INPROCESSING
427.73/428.83 c GARBAGE COLLECT
427.73/428.83 c #Conflicts: 461000 | #Constraints: 14808
427.73/428.83 c #Conflicts: 462000 | #Constraints: 15808
427.73/428.83 c #Conflicts: 463000 | #Constraints: 16808
427.73/428.83 c #Conflicts: 464000 | #Constraints: 17808
427.73/428.83 c #Conflicts: 465000 | #Constraints: 18808
427.73/428.83 c #Conflicts: 466000 | #Constraints: 19808
427.73/428.83 c #Conflicts: 467000 | #Constraints: 20808
427.73/428.83 c #Conflicts: 468000 | #Constraints: 21808
427.73/428.83 c #Conflicts: 469000 | #Constraints: 22808
427.73/428.83 c #Conflicts: 470000 | #Constraints: 23808
427.73/428.83 c #Conflicts: 471000 | #Constraints: 24808
427.73/428.83 c #Conflicts: 472000 | #Constraints: 25808
427.73/428.83 c #Conflicts: 473000 | #Constraints: 26808
427.73/428.83 c #Conflicts: 474000 | #Constraints: 27808
427.73/428.83 c INPROCESSING
427.73/428.83 c GARBAGE COLLECT
427.73/428.83 c #Conflicts: 475000 | #Constraints: 15208
427.73/428.83 c #Conflicts: 476000 | #Constraints: 16208
427.73/428.83 c #Conflicts: 477000 | #Constraints: 17208
427.73/428.83 c #Conflicts: 478000 | #Constraints: 18208
427.73/428.83 c #Conflicts: 479000 | #Constraints: 19208
427.73/428.83 c #Conflicts: 480000 | #Constraints: 20208
427.73/428.83 c #Conflicts: 481000 | #Constraints: 21208
427.73/428.83 c #Conflicts: 482000 | #Constraints: 22208
427.73/428.83 c #Conflicts: 483000 | #Constraints: 23208
427.73/428.83 c #Conflicts: 484000 | #Constraints: 24208
427.73/428.83 c #Conflicts: 485000 | #Constraints: 25208
427.73/428.83 c #Conflicts: 486000 | #Constraints: 26208
427.73/428.83 c #Conflicts: 487000 | #Constraints: 27208
427.73/428.83 c #Conflicts: 488000 | #Constraints: 28208
427.73/428.83 c INPROCESSING
427.73/428.83 c GARBAGE COLLECT
427.73/428.83 c #Conflicts: 489000 | #Constraints: 15399
427.73/428.83 c #Conflicts: 490000 | #Constraints: 16399
560.32/561.85 c #Conflicts: 491000 | #Constraints: 17399
560.32/561.85 c #Conflicts: 492000 | #Constraints: 18399
560.32/561.85 c #Conflicts: 493000 | #Constraints: 19399
560.32/561.85 c #Conflicts: 494000 | #Constraints: 20399
560.32/561.85 c #Conflicts: 495000 | #Constraints: 21399
560.32/561.85 c #Conflicts: 496000 | #Constraints: 22399
560.32/561.85 c #Conflicts: 497000 | #Constraints: 23399
560.32/561.85 c #Conflicts: 498000 | #Constraints: 24399
560.32/561.85 c #Conflicts: 499000 | #Constraints: 25399
560.32/561.85 c #Conflicts: 500000 | #Constraints: 26399
560.32/561.85 c #Conflicts: 501000 | #Constraints: 27399
560.32/561.85 c #Conflicts: 502000 | #Constraints: 28399
560.32/561.85 c INPROCESSING
560.32/561.85 c GARBAGE COLLECT
560.32/561.85 c #Conflicts: 503000 | #Constraints: 15405
560.32/561.85 c #Conflicts: 504000 | #Constraints: 16405
560.32/561.85 c #Conflicts: 505000 | #Constraints: 17405
560.32/561.85 c #Conflicts: 506000 | #Constraints: 18405
560.32/561.85 c #Conflicts: 507000 | #Constraints: 19405
560.32/561.85 c #Conflicts: 508000 | #Constraints: 20405
560.32/561.85 c #Conflicts: 509000 | #Constraints: 21405
560.32/561.85 c #Conflicts: 510000 | #Constraints: 22405
560.32/561.85 c #Conflicts: 511000 | #Constraints: 23405
560.32/561.85 c #Conflicts: 512000 | #Constraints: 24405
560.32/561.85 c #Conflicts: 513000 | #Constraints: 25405
560.32/561.85 c #Conflicts: 514000 | #Constraints: 26405
560.32/561.85 c #Conflicts: 515000 | #Constraints: 27405
560.32/561.85 c #Conflicts: 516000 | #Constraints: 28405
560.32/561.85 c INPROCESSING
560.32/561.85 c GARBAGE COLLECT
560.32/561.85 c #Conflicts: 517000 | #Constraints: 15204
560.32/561.85 c #Conflicts: 518000 | #Constraints: 16204
560.32/561.85 c #Conflicts: 519000 | #Constraints: 17204
560.32/561.85 c #Conflicts: 520000 | #Constraints: 18204
560.32/561.85 c #Conflicts: 521000 | #Constraints: 19204
560.32/561.85 c #Conflicts: 522000 | #Constraints: 20204
560.32/561.85 c #Conflicts: 523000 | #Constraints: 21204
560.32/561.85 c #Conflicts: 524000 | #Constraints: 22204
560.32/561.85 c #Conflicts: 525000 | #Constraints: 23204
560.32/561.85 c #Conflicts: 526000 | #Constraints: 24204
560.32/561.85 c #Conflicts: 527000 | #Constraints: 25204
560.32/561.85 c #Conflicts: 528000 | #Constraints: 26204
560.32/561.85 c #Conflicts: 529000 | #Constraints: 27204
560.32/561.85 c #Conflicts: 530000 | #Constraints: 28204
560.32/561.85 c #Conflicts: 531000 | #Constraints: 29204
560.32/561.85 c INPROCESSING
560.32/561.85 c GARBAGE COLLECT
560.32/561.85 c #Conflicts: 532000 | #Constraints: 15809
560.32/561.85 c #Conflicts: 533000 | #Constraints: 16809
560.32/561.85 c #Conflicts: 534000 | #Constraints: 17809
560.32/561.85 c #Conflicts: 535000 | #Constraints: 18809
560.32/561.85 c #Conflicts: 536000 | #Constraints: 19809
560.32/561.85 c #Conflicts: 537000 | #Constraints: 20809
560.32/561.85 c #Conflicts: 538000 | #Constraints: 21809
560.32/561.85 c #Conflicts: 539000 | #Constraints: 22809
560.32/561.85 c #Conflicts: 540000 | #Constraints: 23809
560.32/561.85 c #Conflicts: 541000 | #Constraints: 24809
560.32/561.85 c #Conflicts: 542000 | #Constraints: 25809
560.32/561.85 c #Conflicts: 543000 | #Constraints: 26809
560.32/561.85 c #Conflicts: 544000 | #Constraints: 27809
560.32/561.85 c #Conflicts: 545000 | #Constraints: 28809
560.32/561.85 c #Conflicts: 546000 | #Constraints: 29809
560.32/561.85 c INPROCESSING
560.32/561.85 c GARBAGE COLLECT
560.32/561.85 c #Conflicts: 547000 | #Constraints: 16208
560.32/561.85 c #Conflicts: 548000 | #Constraints: 17208
560.32/561.85 c #Conflicts: 549000 | #Constraints: 18208
560.32/561.85 c #Conflicts: 550000 | #Constraints: 19208
560.32/561.85 c #Conflicts: 551000 | #Constraints: 20208
560.32/561.85 c #Conflicts: 552000 | #Constraints: 21208
560.32/561.85 c #Conflicts: 553000 | #Constraints: 22208
560.32/561.85 c #Conflicts: 554000 | #Constraints: 23208
560.32/561.85 c #Conflicts: 555000 | #Constraints: 24208
560.32/561.85 c #Conflicts: 556000 | #Constraints: 25208
560.32/561.85 c #Conflicts: 557000 | #Constraints: 26208
560.32/561.85 c #Conflicts: 558000 | #Constraints: 27208
560.32/561.85 c #Conflicts: 559000 | #Constraints: 28208
560.32/561.85 c #Conflicts: 560000 | #Constraints: 29208
560.32/561.85 c #Conflicts: 561000 | #Constraints: 30208
560.32/561.85 c INPROCESSING
560.32/561.85 c GARBAGE COLLECT
560.32/561.85 c #Conflicts: 562000 | #Constraints: 16410
560.32/561.85 c #Conflicts: 563000 | #Constraints: 17410
560.32/561.85 c #Conflicts: 564000 | #Constraints: 18410
560.32/561.85 c #Conflicts: 565000 | #Constraints: 19410
560.32/561.85 c #Conflicts: 566000 | #Constraints: 20410
701.27/703.23 c #Conflicts: 567000 | #Constraints: 21410
701.27/703.23 c #Conflicts: 568000 | #Constraints: 22410
701.27/703.23 c #Conflicts: 569000 | #Constraints: 23410
701.27/703.23 c #Conflicts: 570000 | #Constraints: 24410
701.27/703.23 c #Conflicts: 571000 | #Constraints: 25410
701.27/703.23 c #Conflicts: 572000 | #Constraints: 26410
701.27/703.23 c #Conflicts: 573000 | #Constraints: 27410
701.27/703.23 c #Conflicts: 574000 | #Constraints: 28410
701.27/703.23 c #Conflicts: 575000 | #Constraints: 29410
701.27/703.23 c #Conflicts: 576000 | #Constraints: 30410
701.27/703.23 c INPROCESSING
701.27/703.23 c GARBAGE COLLECT
701.27/703.23 c #Conflicts: 577000 | #Constraints: 16404
701.27/703.23 c #Conflicts: 578000 | #Constraints: 17404
701.27/703.23 c #Conflicts: 579000 | #Constraints: 18404
701.27/703.23 c #Conflicts: 580000 | #Constraints: 19404
701.27/703.23 c #Conflicts: 581000 | #Constraints: 20404
701.27/703.23 c #Conflicts: 582000 | #Constraints: 21404
701.27/703.23 c #Conflicts: 583000 | #Constraints: 22404
701.27/703.23 c #Conflicts: 584000 | #Constraints: 23404
701.27/703.23 c #Conflicts: 585000 | #Constraints: 24404
701.27/703.23 c #Conflicts: 586000 | #Constraints: 25404
701.27/703.23 c #Conflicts: 587000 | #Constraints: 26404
701.27/703.23 c #Conflicts: 588000 | #Constraints: 27404
701.27/703.23 c #Conflicts: 589000 | #Constraints: 28404
701.27/703.23 c #Conflicts: 590000 | #Constraints: 29404
701.27/703.23 c #Conflicts: 591000 | #Constraints: 30404
701.27/703.23 c INPROCESSING
701.27/703.23 c GARBAGE COLLECT
701.27/703.23 c #Conflicts: 592000 | #Constraints: 16193
701.27/703.23 c #Conflicts: 593000 | #Constraints: 17193
701.27/703.23 c #Conflicts: 594000 | #Constraints: 18193
701.27/703.23 c #Conflicts: 595000 | #Constraints: 19193
701.27/703.23 c #Conflicts: 596000 | #Constraints: 20193
701.27/703.23 c #Conflicts: 597000 | #Constraints: 21193
701.27/703.23 c #Conflicts: 598000 | #Constraints: 22193
701.27/703.23 c #Conflicts: 599000 | #Constraints: 23193
701.27/703.23 c #Conflicts: 600000 | #Constraints: 24193
701.27/703.23 c #Conflicts: 601000 | #Constraints: 25193
701.27/703.23 c #Conflicts: 602000 | #Constraints: 26193
701.27/703.23 c #Conflicts: 603000 | #Constraints: 27193
701.27/703.23 c #Conflicts: 604000 | #Constraints: 28193
701.27/703.23 c #Conflicts: 605000 | #Constraints: 29193
701.27/703.23 c #Conflicts: 606000 | #Constraints: 30193
701.27/703.23 c #Conflicts: 607000 | #Constraints: 31193
701.27/703.23 c INPROCESSING
701.27/703.23 c GARBAGE COLLECT
701.27/703.23 c #Conflicts: 608000 | #Constraints: 16803
701.27/703.23 c #Conflicts: 609000 | #Constraints: 17803
701.27/703.23 c #Conflicts: 610000 | #Constraints: 18803
701.27/703.23 c #Conflicts: 611000 | #Constraints: 19803
701.27/703.23 c #Conflicts: 612000 | #Constraints: 20803
701.27/703.23 c #Conflicts: 613000 | #Constraints: 21803
701.27/703.23 c #Conflicts: 614000 | #Constraints: 22803
701.27/703.23 c #Conflicts: 615000 | #Constraints: 23803
701.27/703.23 c #Conflicts: 616000 | #Constraints: 24803
701.27/703.23 c #Conflicts: 617000 | #Constraints: 25803
701.27/703.23 c #Conflicts: 618000 | #Constraints: 26803
701.27/703.23 c #Conflicts: 619000 | #Constraints: 27803
701.27/703.23 c #Conflicts: 620000 | #Constraints: 28803
701.27/703.23 c #Conflicts: 621000 | #Constraints: 29803
701.27/703.23 c #Conflicts: 622000 | #Constraints: 30803
701.27/703.23 c #Conflicts: 623000 | #Constraints: 31803
701.27/703.23 c INPROCESSING
701.27/703.23 c GARBAGE COLLECT
701.27/703.23 c #Conflicts: 624000 | #Constraints: 17203
701.27/703.23 c #Conflicts: 625000 | #Constraints: 18203
701.27/703.23 c #Conflicts: 626000 | #Constraints: 19203
701.27/703.23 c #Conflicts: 627000 | #Constraints: 20203
701.27/703.23 c #Conflicts: 628000 | #Constraints: 21203
701.27/703.23 c #Conflicts: 629000 | #Constraints: 22203
701.27/703.23 c #Conflicts: 630000 | #Constraints: 23203
701.27/703.23 c #Conflicts: 631000 | #Constraints: 24203
701.27/703.23 c #Conflicts: 632000 | #Constraints: 25203
701.27/703.23 c #Conflicts: 633000 | #Constraints: 26203
701.27/703.23 c #Conflicts: 634000 | #Constraints: 27203
701.27/703.23 c #Conflicts: 635000 | #Constraints: 28203
701.27/703.23 c #Conflicts: 636000 | #Constraints: 29203
701.27/703.23 c #Conflicts: 637000 | #Constraints: 30203
701.27/703.23 c #Conflicts: 638000 | #Constraints: 31203
701.27/703.23 c #Conflicts: 639000 | #Constraints: 32203
701.27/703.23 c INPROCESSING
701.27/703.23 c GARBAGE COLLECT
701.27/703.23 c #Conflicts: 640000 | #Constraints: 17405
701.27/703.23 c #Conflicts: 641000 | #Constraints: 18405
859.08/861.57 c #Conflicts: 642000 | #Constraints: 19405
859.08/861.57 c #Conflicts: 643000 | #Constraints: 20405
859.08/861.57 c #Conflicts: 644000 | #Constraints: 21405
859.08/861.57 c #Conflicts: 645000 | #Constraints: 22405
859.08/861.57 c #Conflicts: 646000 | #Constraints: 23405
859.08/861.57 c #Conflicts: 647000 | #Constraints: 24405
859.08/861.57 c #Conflicts: 648000 | #Constraints: 25405
859.08/861.57 c #Conflicts: 649000 | #Constraints: 26405
859.08/861.57 c #Conflicts: 650000 | #Constraints: 27405
859.08/861.57 c #Conflicts: 651000 | #Constraints: 28405
859.08/861.57 c #Conflicts: 652000 | #Constraints: 29405
859.08/861.57 c #Conflicts: 653000 | #Constraints: 30405
859.08/861.57 c #Conflicts: 654000 | #Constraints: 31405
859.08/861.57 c #Conflicts: 655000 | #Constraints: 32405
859.08/861.57 c INPROCESSING
859.08/861.57 c GARBAGE COLLECT
859.08/861.57 c #Conflicts: 656000 | #Constraints: 17408
859.08/861.57 c #Conflicts: 657000 | #Constraints: 18408
859.08/861.57 c #Conflicts: 658000 | #Constraints: 19408
859.08/861.57 c #Conflicts: 659000 | #Constraints: 20408
859.08/861.57 c #Conflicts: 660000 | #Constraints: 21408
859.08/861.57 c #Conflicts: 661000 | #Constraints: 22408
859.08/861.57 c #Conflicts: 662000 | #Constraints: 23408
859.08/861.57 c #Conflicts: 663000 | #Constraints: 24408
859.08/861.57 c #Conflicts: 664000 | #Constraints: 25408
859.08/861.57 c #Conflicts: 665000 | #Constraints: 26408
859.08/861.57 c #Conflicts: 666000 | #Constraints: 27408
859.08/861.57 c #Conflicts: 667000 | #Constraints: 28408
859.08/861.57 c #Conflicts: 668000 | #Constraints: 29408
859.08/861.57 c #Conflicts: 669000 | #Constraints: 30408
859.08/861.57 c #Conflicts: 670000 | #Constraints: 31408
859.08/861.57 c #Conflicts: 671000 | #Constraints: 32408
859.08/861.57 c INPROCESSING
859.08/861.57 c GARBAGE COLLECT
859.08/861.57 c #Conflicts: 672000 | #Constraints: 17202
859.08/861.57 c #Conflicts: 673000 | #Constraints: 18202
859.08/861.57 c #Conflicts: 674000 | #Constraints: 19202
859.08/861.57 c #Conflicts: 675000 | #Constraints: 20202
859.08/861.57 c #Conflicts: 676000 | #Constraints: 21202
859.08/861.57 c #Conflicts: 677000 | #Constraints: 22202
859.08/861.57 c #Conflicts: 678000 | #Constraints: 23202
859.08/861.57 c #Conflicts: 679000 | #Constraints: 24202
859.08/861.57 c #Conflicts: 680000 | #Constraints: 25202
859.08/861.57 c #Conflicts: 681000 | #Constraints: 26202
859.08/861.57 c #Conflicts: 682000 | #Constraints: 27202
859.08/861.57 c #Conflicts: 683000 | #Constraints: 28202
859.08/861.57 c #Conflicts: 684000 | #Constraints: 29202
859.08/861.57 c #Conflicts: 685000 | #Constraints: 30202
859.08/861.57 c #Conflicts: 686000 | #Constraints: 31202
859.08/861.57 c #Conflicts: 687000 | #Constraints: 32202
859.08/861.57 c #Conflicts: 688000 | #Constraints: 33202
859.08/861.57 c INPROCESSING
859.08/861.57 c GARBAGE COLLECT
859.08/861.57 c #Conflicts: 689000 | #Constraints: 17809
859.08/861.57 c #Conflicts: 690000 | #Constraints: 18809
859.08/861.57 c #Conflicts: 691000 | #Constraints: 19809
859.08/861.57 c #Conflicts: 692000 | #Constraints: 20809
859.08/861.57 c #Conflicts: 693000 | #Constraints: 21809
859.08/861.57 c #Conflicts: 694000 | #Constraints: 22809
859.08/861.57 c #Conflicts: 695000 | #Constraints: 23809
859.08/861.57 c #Conflicts: 696000 | #Constraints: 24809
859.08/861.57 c #Conflicts: 697000 | #Constraints: 25809
859.08/861.57 c #Conflicts: 698000 | #Constraints: 26809
859.08/861.57 c #Conflicts: 699000 | #Constraints: 27809
859.08/861.57 c #Conflicts: 700000 | #Constraints: 28809
859.08/861.57 c #Conflicts: 701000 | #Constraints: 29809
859.08/861.57 c #Conflicts: 702000 | #Constraints: 30809
859.08/861.57 c #Conflicts: 703000 | #Constraints: 31809
859.08/861.57 c #Conflicts: 704000 | #Constraints: 32809
859.08/861.57 c #Conflicts: 705000 | #Constraints: 33809
859.08/861.57 c INPROCESSING
859.08/861.57 c GARBAGE COLLECT
859.08/861.57 c #Conflicts: 706000 | #Constraints: 18219
859.08/861.57 c #Conflicts: 707000 | #Constraints: 19219
859.08/861.57 c #Conflicts: 708000 | #Constraints: 20219
859.08/861.57 c #Conflicts: 709000 | #Constraints: 21219
859.08/861.57 c #Conflicts: 710000 | #Constraints: 22219
859.08/861.57 c #Conflicts: 711000 | #Constraints: 23219
859.08/861.57 c #Conflicts: 712000 | #Constraints: 24219
859.08/861.57 c #Conflicts: 713000 | #Constraints: 25219
859.08/861.57 c #Conflicts: 714000 | #Constraints: 26219
859.08/861.57 c #Conflicts: 715000 | #Constraints: 27219
859.08/861.57 c #Conflicts: 716000 | #Constraints: 28219
859.08/861.57 c #Conflicts: 717000 | #Constraints: 29219
859.08/861.57 c #Conflicts: 718000 | #Constraints: 30219
1019.68/1022.65 c #Conflicts: 719000 | #Constraints: 31219
1019.68/1022.65 c #Conflicts: 720000 | #Constraints: 32219
1019.68/1022.65 c #Conflicts: 721000 | #Constraints: 33219
1019.68/1022.65 c #Conflicts: 722000 | #Constraints: 34219
1019.68/1022.65 c INPROCESSING
1019.68/1022.65 c GARBAGE COLLECT
1019.68/1022.65 c #Conflicts: 723000 | #Constraints: 18414
1019.68/1022.65 c #Conflicts: 724000 | #Constraints: 19414
1019.68/1022.65 c #Conflicts: 725000 | #Constraints: 20414
1019.68/1022.65 c #Conflicts: 726000 | #Constraints: 21414
1019.68/1022.65 c #Conflicts: 727000 | #Constraints: 22414
1019.68/1022.65 c #Conflicts: 728000 | #Constraints: 23414
1019.68/1022.65 c #Conflicts: 729000 | #Constraints: 24414
1019.68/1022.65 c #Conflicts: 730000 | #Constraints: 25414
1019.68/1022.65 c #Conflicts: 731000 | #Constraints: 26414
1019.68/1022.65 c #Conflicts: 732000 | #Constraints: 27414
1019.68/1022.65 c #Conflicts: 733000 | #Constraints: 28414
1019.68/1022.65 c #Conflicts: 734000 | #Constraints: 29414
1019.68/1022.65 c #Conflicts: 735000 | #Constraints: 30414
1019.68/1022.65 c #Conflicts: 736000 | #Constraints: 31414
1019.68/1022.65 c #Conflicts: 737000 | #Constraints: 32414
1019.68/1022.65 c #Conflicts: 738000 | #Constraints: 33414
1019.68/1022.65 c #Conflicts: 739000 | #Constraints: 34414
1019.68/1022.65 c INPROCESSING
1019.68/1022.65 c GARBAGE COLLECT
1019.68/1022.65 c #Conflicts: 740000 | #Constraints: 18414
1019.68/1022.65 c #Conflicts: 741000 | #Constraints: 19414
1019.68/1022.65 c #Conflicts: 742000 | #Constraints: 20414
1019.68/1022.65 c #Conflicts: 743000 | #Constraints: 21414
1019.68/1022.65 c #Conflicts: 744000 | #Constraints: 22414
1019.68/1022.65 c #Conflicts: 745000 | #Constraints: 23414
1019.68/1022.65 c #Conflicts: 746000 | #Constraints: 24414
1019.68/1022.65 c #Conflicts: 747000 | #Constraints: 25414
1019.68/1022.65 c #Conflicts: 748000 | #Constraints: 26414
1019.68/1022.65 c #Conflicts: 749000 | #Constraints: 27414
1019.68/1022.65 c #Conflicts: 750000 | #Constraints: 28414
1019.68/1022.65 c #Conflicts: 751000 | #Constraints: 29414
1019.68/1022.65 c #Conflicts: 752000 | #Constraints: 30414
1019.68/1022.65 c #Conflicts: 753000 | #Constraints: 31414
1019.68/1022.65 c #Conflicts: 754000 | #Constraints: 32414
1019.68/1022.65 c #Conflicts: 755000 | #Constraints: 33414
1019.68/1022.65 c #Conflicts: 756000 | #Constraints: 34414
1019.68/1022.65 c INPROCESSING
1019.68/1022.65 c GARBAGE COLLECT
1019.68/1022.65 c #Conflicts: 757000 | #Constraints: 18215
1019.68/1022.65 c #Conflicts: 758000 | #Constraints: 19215
1019.68/1022.65 c #Conflicts: 759000 | #Constraints: 20215
1019.68/1022.65 c #Conflicts: 760000 | #Constraints: 21215
1019.68/1022.65 c #Conflicts: 761000 | #Constraints: 22215
1019.68/1022.65 c #Conflicts: 762000 | #Constraints: 23215
1019.68/1022.65 c #Conflicts: 763000 | #Constraints: 24215
1019.68/1022.65 c #Conflicts: 764000 | #Constraints: 25215
1019.68/1022.65 c #Conflicts: 765000 | #Constraints: 26215
1019.68/1022.65 c #Conflicts: 766000 | #Constraints: 27215
1019.68/1022.65 c #Conflicts: 767000 | #Constraints: 28215
1019.68/1022.65 c #Conflicts: 768000 | #Constraints: 29215
1019.68/1022.65 c #Conflicts: 769000 | #Constraints: 30215
1019.68/1022.65 c #Conflicts: 770000 | #Constraints: 31215
1019.68/1022.65 c #Conflicts: 771000 | #Constraints: 32215
1019.68/1022.65 c #Conflicts: 772000 | #Constraints: 33215
1019.68/1022.65 c #Conflicts: 773000 | #Constraints: 34215
1019.68/1022.65 c #Conflicts: 774000 | #Constraints: 35215
1019.68/1022.65 c INPROCESSING
1019.68/1022.65 c GARBAGE COLLECT
1019.68/1022.65 c #Conflicts: 775000 | #Constraints: 18812
1019.68/1022.65 c #Conflicts: 776000 | #Constraints: 19812
1019.68/1022.65 c #Conflicts: 777000 | #Constraints: 20812
1019.68/1022.65 c #Conflicts: 778000 | #Constraints: 21812
1019.68/1022.65 c #Conflicts: 779000 | #Constraints: 22812
1019.68/1022.65 c #Conflicts: 780000 | #Constraints: 23812
1019.68/1022.65 c #Conflicts: 781000 | #Constraints: 24812
1019.68/1022.65 c #Conflicts: 782000 | #Constraints: 25812
1019.68/1022.65 c #Conflicts: 783000 | #Constraints: 26812
1019.68/1022.65 c #Conflicts: 784000 | #Constraints: 27812
1019.68/1022.65 c #Conflicts: 785000 | #Constraints: 28812
1019.68/1022.65 c #Conflicts: 786000 | #Constraints: 29812
1019.68/1022.65 c #Conflicts: 787000 | #Constraints: 30812
1019.68/1022.65 c #Conflicts: 788000 | #Constraints: 31812
1019.68/1022.65 c #Conflicts: 789000 | #Constraints: 32812
1019.68/1022.65 c #Conflicts: 790000 | #Constraints: 33812
1019.68/1022.65 c #Conflicts: 791000 | #Constraints: 34812
1019.68/1022.65 c #Conflicts: 792000 | #Constraints: 35812
1019.68/1022.65 c INPROCESSING
1019.68/1022.65 c GARBAGE COLLECT
1019.68/1022.65 c #Conflicts: 793000 | #Constraints: 19217
1086.47/1089.61 c #Conflicts: 794000 | #Constraints: 20217
1086.47/1089.61 c #Conflicts: 795000 | #Constraints: 21217
1086.47/1089.61 c #Conflicts: 796000 | #Constraints: 22217
1086.47/1089.61 c #Conflicts: 797000 | #Constraints: 23217
1086.47/1089.61 c #Conflicts: 798000 | #Constraints: 24217
1086.47/1089.61 c #Conflicts: 799000 | #Constraints: 25217
1086.47/1089.61 c #Conflicts: 800000 | #Constraints: 26217
1086.47/1089.61 c #Conflicts: 801000 | #Constraints: 27217
1086.47/1089.61 c #Conflicts: 802000 | #Constraints: 28217
1086.47/1089.61 c #Conflicts: 803000 | #Constraints: 29217
1086.47/1089.61 c #Conflicts: 804000 | #Constraints: 30217
1086.47/1089.61 c #Conflicts: 805000 | #Constraints: 31217
1086.47/1089.61 c #Conflicts: 806000 | #Constraints: 32217
1086.47/1089.61 c #Conflicts: 807000 | #Constraints: 33217
1086.47/1089.61 c #Conflicts: 808000 | #Constraints: 34217
1086.47/1089.61 c #Conflicts: 809000 | #Constraints: 35217
1086.47/1089.61 c #Conflicts: 810000 | #Constraints: 36217
1086.47/1089.61 c INPROCESSING
1086.47/1089.61 c GARBAGE COLLECT
1086.47/1089.61 c #Conflicts: 811000 | #Constraints: 19420
1086.47/1089.61 c #Conflicts: 812000 | #Constraints: 20420
1086.47/1089.61 c #Conflicts: 813000 | #Constraints: 21420
1086.47/1089.61 c #Conflicts: 814000 | #Constraints: 22420
1086.47/1089.61 c #Conflicts: 815000 | #Constraints: 23420
1086.47/1089.61 c #Conflicts: 816000 | #Constraints: 24420
1086.47/1089.61 c #Conflicts: 817000 | #Constraints: 25420
1086.47/1089.61 c #Conflicts: 818000 | #Constraints: 26420
1086.47/1089.61 c #Conflicts: 819000 | #Constraints: 27420
1086.47/1089.61 c #Conflicts: 820000 | #Constraints: 28420
1086.47/1089.61 c #Conflicts: 821000 | #Constraints: 29420
1086.47/1089.61 c #Conflicts: 822000 | #Constraints: 30420
1086.47/1089.61 c #Conflicts: 823000 | #Constraints: 31420
1086.47/1089.61 c bounds -79 >= -283 @ 1082.42
1086.47/1089.61 c stratification level: 4
1389.31/1393.43 c bounds -79 >= -279 @ 1082.43
1389.31/1393.43 c bounds -79 >= -275 @ 1082.43
1389.31/1393.43 c bounds -79 >= -271 @ 1082.43
1389.31/1393.43 c bounds -79 >= -267 @ 1082.44
1389.31/1393.43 c bounds -79 >= -263 @ 1082.44
1389.31/1393.43 c bounds -79 >= -259 @ 1082.45
1389.31/1393.43 c bounds -79 >= -255 @ 1082.45
1389.31/1393.43 c bounds -79 >= -251 @ 1082.45
1389.31/1393.43 c bounds -79 >= -247 @ 1082.46
1389.31/1393.43 c bounds -79 >= -243 @ 1082.46
1389.31/1393.43 c bounds -79 >= -239 @ 1082.47
1389.31/1393.43 c bounds -79 >= -235 @ 1082.48
1389.31/1393.43 c bounds -79 >= -231 @ 1082.49
1389.31/1393.43 c bounds -79 >= -227 @ 1082.51
1389.31/1393.43 c bounds -79 >= -223 @ 1082.52
1389.31/1393.43 c bounds -79 >= -219 @ 1082.57
1389.31/1393.43 c bounds -79 >= -215 @ 1082.59
1389.31/1393.43 c bounds -79 >= -211 @ 1083.14
1389.31/1393.43 c #Conflicts: 824000 | #Constraints: 32628
1389.31/1393.43 c #Conflicts: 825000 | #Constraints: 33628
1389.31/1393.43 c #Conflicts: 826000 | #Constraints: 34628
1389.31/1393.43 c #Conflicts: 827000 | #Constraints: 35628
1389.31/1393.43 c #Conflicts: 828000 | #Constraints: 36628
1389.31/1393.43 c INPROCESSING
1389.31/1393.43 c GARBAGE COLLECT
1389.31/1393.43 c #Conflicts: 829000 | #Constraints: 19563
1389.31/1393.43 c #Conflicts: 830000 | #Constraints: 20563
1389.31/1393.43 c #Conflicts: 831000 | #Constraints: 21563
1389.31/1393.43 c #Conflicts: 832000 | #Constraints: 22563
1389.31/1393.43 c #Conflicts: 833000 | #Constraints: 23563
1389.31/1393.43 c #Conflicts: 834000 | #Constraints: 24563
1389.31/1393.43 c #Conflicts: 835000 | #Constraints: 25563
1389.31/1393.43 c #Conflicts: 836000 | #Constraints: 26563
1389.31/1393.43 c #Conflicts: 837000 | #Constraints: 27563
1389.31/1393.43 c #Conflicts: 838000 | #Constraints: 28563
1389.31/1393.43 c #Conflicts: 839000 | #Constraints: 29563
1389.31/1393.43 c #Conflicts: 840000 | #Constraints: 30563
1389.31/1393.43 c #Conflicts: 841000 | #Constraints: 31563
1389.31/1393.43 c #Conflicts: 842000 | #Constraints: 32563
1389.31/1393.43 c #Conflicts: 843000 | #Constraints: 33563
1389.31/1393.43 c #Conflicts: 844000 | #Constraints: 34563
1389.31/1393.43 c #Conflicts: 845000 | #Constraints: 35563
1389.31/1393.43 c #Conflicts: 846000 | #Constraints: 36563
1389.31/1393.43 c INPROCESSING
1389.31/1393.43 c GARBAGE COLLECT
1389.31/1393.43 c #Conflicts: 847000 | #Constraints: 19332
1389.31/1393.43 c #Conflicts: 848000 | #Constraints: 20332
1389.31/1393.43 c #Conflicts: 849000 | #Constraints: 21332
1389.31/1393.43 c #Conflicts: 850000 | #Constraints: 22332
1389.31/1393.43 c #Conflicts: 851000 | #Constraints: 23332
1389.31/1393.43 c #Conflicts: 852000 | #Constraints: 24332
1389.31/1393.43 c #Conflicts: 853000 | #Constraints: 25332
1389.31/1393.43 c #Conflicts: 854000 | #Constraints: 26332
1389.31/1393.43 c #Conflicts: 855000 | #Constraints: 27332
1389.31/1393.43 c #Conflicts: 856000 | #Constraints: 28332
1389.31/1393.43 c #Conflicts: 857000 | #Constraints: 29332
1389.31/1393.43 c #Conflicts: 858000 | #Constraints: 30332
1389.31/1393.43 c #Conflicts: 859000 | #Constraints: 31332
1389.31/1393.43 c #Conflicts: 860000 | #Constraints: 32332
1389.31/1393.43 c #Conflicts: 861000 | #Constraints: 33332
1389.31/1393.43 c #Conflicts: 862000 | #Constraints: 34332
1389.31/1393.43 c #Conflicts: 863000 | #Constraints: 35332
1389.31/1393.43 c #Conflicts: 864000 | #Constraints: 36332
1389.31/1393.43 c #Conflicts: 865000 | #Constraints: 37332
1389.31/1393.43 c INPROCESSING
1389.31/1393.43 c GARBAGE COLLECT
1389.31/1393.43 c #Conflicts: 866000 | #Constraints: 19909
1389.31/1393.43 c #Conflicts: 867000 | #Constraints: 20909
1389.31/1393.43 c #Conflicts: 868000 | #Constraints: 21909
1389.31/1393.43 c #Conflicts: 869000 | #Constraints: 22909
1389.31/1393.43 c #Conflicts: 870000 | #Constraints: 23909
1389.31/1393.43 c #Conflicts: 871000 | #Constraints: 24909
1389.31/1393.43 c #Conflicts: 872000 | #Constraints: 25909
1389.31/1393.43 c #Conflicts: 873000 | #Constraints: 26909
1389.31/1393.43 c #Conflicts: 874000 | #Constraints: 27909
1389.31/1393.43 c #Conflicts: 875000 | #Constraints: 28909
1389.31/1393.43 c #Conflicts: 876000 | #Constraints: 29909
1389.31/1393.43 c #Conflicts: 877000 | #Constraints: 30909
1389.31/1393.43 c #Conflicts: 878000 | #Constraints: 31909
1389.31/1393.43 c #Conflicts: 879000 | #Constraints: 32909
1389.31/1393.43 c #Conflicts: 880000 | #Constraints: 33909
1389.31/1393.43 c #Conflicts: 881000 | #Constraints: 34909
1389.31/1393.43 c #Conflicts: 882000 | #Constraints: 35909
1389.31/1393.43 c #Conflicts: 883000 | #Constraints: 36909
1389.31/1393.43 c #Conflicts: 884000 | #Constraints: 37909
1389.31/1393.43 c INPROCESSING
1389.31/1393.43 c GARBAGE COLLECT
1389.31/1393.43 c #Conflicts: 885000 | #Constraints: 20315
1389.31/1393.43 c #Conflicts: 886000 | #Constraints: 21315
1389.31/1393.43 c #Conflicts: 887000 | #Constraints: 22315
1389.31/1393.43 c #Conflicts: 888000 | #Constraints: 23315
1389.31/1393.43 c #Conflicts: 889000 | #Constraints: 24315
1852.08/1857.34 c #Conflicts: 890000 | #Constraints: 25315
1852.08/1857.34 c #Conflicts: 891000 | #Constraints: 26315
1852.08/1857.34 c #Conflicts: 892000 | #Constraints: 27315
1852.08/1857.34 c #Conflicts: 893000 | #Constraints: 28315
1852.08/1857.34 c #Conflicts: 894000 | #Constraints: 29315
1852.08/1857.34 c #Conflicts: 895000 | #Constraints: 30315
1852.08/1857.34 c #Conflicts: 896000 | #Constraints: 31315
1852.08/1857.34 c #Conflicts: 897000 | #Constraints: 32315
1852.08/1857.34 c #Conflicts: 898000 | #Constraints: 33315
1852.08/1857.34 c #Conflicts: 899000 | #Constraints: 34315
1852.08/1857.34 c #Conflicts: 900000 | #Constraints: 35315
1852.08/1857.34 c #Conflicts: 901000 | #Constraints: 36315
1852.08/1857.34 c #Conflicts: 902000 | #Constraints: 37315
1852.08/1857.34 c #Conflicts: 903000 | #Constraints: 38315
1852.08/1857.34 c INPROCESSING
1852.08/1857.34 c GARBAGE COLLECT
1852.08/1857.34 c #Conflicts: 904000 | #Constraints: 20503
1852.08/1857.34 c #Conflicts: 905000 | #Constraints: 21503
1852.08/1857.34 c #Conflicts: 906000 | #Constraints: 22503
1852.08/1857.34 c #Conflicts: 907000 | #Constraints: 23503
1852.08/1857.34 c #Conflicts: 908000 | #Constraints: 24503
1852.08/1857.34 c #Conflicts: 909000 | #Constraints: 25503
1852.08/1857.34 c #Conflicts: 910000 | #Constraints: 26503
1852.08/1857.34 c #Conflicts: 911000 | #Constraints: 27503
1852.08/1857.34 c #Conflicts: 912000 | #Constraints: 28503
1852.08/1857.34 c #Conflicts: 913000 | #Constraints: 29503
1852.08/1857.34 c #Conflicts: 914000 | #Constraints: 30503
1852.08/1857.34 c #Conflicts: 915000 | #Constraints: 31503
1852.08/1857.34 c #Conflicts: 916000 | #Constraints: 32503
1852.08/1857.34 c #Conflicts: 917000 | #Constraints: 33503
1852.08/1857.34 c #Conflicts: 918000 | #Constraints: 34503
1852.08/1857.34 c #Conflicts: 919000 | #Constraints: 35503
1852.08/1857.34 c #Conflicts: 920000 | #Constraints: 36503
1852.08/1857.34 c #Conflicts: 921000 | #Constraints: 37503
1852.08/1857.34 c #Conflicts: 922000 | #Constraints: 38503
1852.08/1857.34 c INPROCESSING
1852.08/1857.34 c GARBAGE COLLECT
1852.08/1857.34 c #Conflicts: 923000 | #Constraints: 20505
1852.08/1857.34 c #Conflicts: 924000 | #Constraints: 21505
1852.08/1857.34 c #Conflicts: 925000 | #Constraints: 22505
1852.08/1857.34 c #Conflicts: 926000 | #Constraints: 23505
1852.08/1857.34 c #Conflicts: 927000 | #Constraints: 24505
1852.08/1857.34 c #Conflicts: 928000 | #Constraints: 25505
1852.08/1857.34 c #Conflicts: 929000 | #Constraints: 26505
1852.08/1857.34 c #Conflicts: 930000 | #Constraints: 27505
1852.08/1857.34 c #Conflicts: 931000 | #Constraints: 28505
1852.08/1857.34 c #Conflicts: 932000 | #Constraints: 29505
1852.08/1857.34 c #Conflicts: 933000 | #Constraints: 30505
1852.08/1857.34 c #Conflicts: 934000 | #Constraints: 31505
1852.08/1857.34 c #Conflicts: 935000 | #Constraints: 32505
1852.08/1857.34 c #Conflicts: 936000 | #Constraints: 33505
1852.08/1857.34 c #Conflicts: 937000 | #Constraints: 34505
1852.08/1857.34 c #Conflicts: 938000 | #Constraints: 35505
1852.08/1857.34 c #Conflicts: 939000 | #Constraints: 36505
1852.08/1857.34 c #Conflicts: 940000 | #Constraints: 37505
1852.08/1857.34 c #Conflicts: 941000 | #Constraints: 38505
1852.08/1857.34 c INPROCESSING
1852.08/1857.34 c GARBAGE COLLECT
1852.08/1857.34 c #Conflicts: 942000 | #Constraints: 20306
1852.08/1857.34 c #Conflicts: 943000 | #Constraints: 21306
1852.08/1857.34 c #Conflicts: 944000 | #Constraints: 22306
1852.08/1857.34 c #Conflicts: 945000 | #Constraints: 23306
1852.08/1857.34 c #Conflicts: 946000 | #Constraints: 24306
1852.08/1857.34 c #Conflicts: 947000 | #Constraints: 25306
1852.08/1857.34 c #Conflicts: 948000 | #Constraints: 26306
1852.08/1857.34 c #Conflicts: 949000 | #Constraints: 27306
1852.08/1857.34 c #Conflicts: 950000 | #Constraints: 28306
1852.08/1857.34 c #Conflicts: 951000 | #Constraints: 29306
1852.08/1857.34 c #Conflicts: 952000 | #Constraints: 30306
1852.08/1857.34 c #Conflicts: 953000 | #Constraints: 31306
1852.08/1857.34 c #Conflicts: 954000 | #Constraints: 32306
1852.08/1857.34 c #Conflicts: 955000 | #Constraints: 33306
1852.08/1857.34 c #Conflicts: 956000 | #Constraints: 34306
1852.08/1857.34 c #Conflicts: 957000 | #Constraints: 35306
1852.08/1857.34 c #Conflicts: 958000 | #Constraints: 36306
1852.08/1857.34 c #Conflicts: 959000 | #Constraints: 37306
1852.08/1857.34 c #Conflicts: 960000 | #Constraints: 38306
1852.08/1857.34 c #Conflicts: 961000 | #Constraints: 39306
1852.08/1857.34 c INPROCESSING
1852.08/1857.34 c GARBAGE COLLECT
1852.08/1857.34 c #Conflicts: 962000 | #Constraints: 20915
1852.08/1857.34 c #Conflicts: 963000 | #Constraints: 21915
1852.08/1857.34 c #Conflicts: 964000 | #Constraints: 22915
1852.08/1857.34 c #Conflicts: 965000 | #Constraints: 23915
2466.75/2473.44 c #Conflicts: 966000 | #Constraints: 24915
2466.75/2473.44 c #Conflicts: 967000 | #Constraints: 25915
2466.75/2473.44 c #Conflicts: 968000 | #Constraints: 26915
2466.75/2473.44 c #Conflicts: 969000 | #Constraints: 27915
2466.75/2473.44 c #Conflicts: 970000 | #Constraints: 28915
2466.75/2473.44 c #Conflicts: 971000 | #Constraints: 29915
2466.75/2473.44 c #Conflicts: 972000 | #Constraints: 30915
2466.75/2473.44 c #Conflicts: 973000 | #Constraints: 31915
2466.75/2473.44 c #Conflicts: 974000 | #Constraints: 32915
2466.75/2473.44 c #Conflicts: 975000 | #Constraints: 33915
2466.75/2473.44 c #Conflicts: 976000 | #Constraints: 34915
2466.75/2473.44 c #Conflicts: 977000 | #Constraints: 35915
2466.75/2473.44 c #Conflicts: 978000 | #Constraints: 36915
2466.75/2473.44 c #Conflicts: 979000 | #Constraints: 37915
2466.75/2473.44 c #Conflicts: 980000 | #Constraints: 38915
2466.75/2473.44 c #Conflicts: 981000 | #Constraints: 39915
2466.75/2473.44 c INPROCESSING
2466.75/2473.44 c GARBAGE COLLECT
2466.75/2473.44 c #Conflicts: 982000 | #Constraints: 21309
2466.75/2473.44 c #Conflicts: 983000 | #Constraints: 22309
2466.75/2473.44 c #Conflicts: 984000 | #Constraints: 23309
2466.75/2473.44 c #Conflicts: 985000 | #Constraints: 24309
2466.75/2473.44 c #Conflicts: 986000 | #Constraints: 25309
2466.75/2473.44 c #Conflicts: 987000 | #Constraints: 26309
2466.75/2473.44 c #Conflicts: 988000 | #Constraints: 27309
2466.75/2473.44 c #Conflicts: 989000 | #Constraints: 28309
2466.75/2473.44 c #Conflicts: 990000 | #Constraints: 29309
2466.75/2473.44 c #Conflicts: 991000 | #Constraints: 30309
2466.75/2473.44 c #Conflicts: 992000 | #Constraints: 31309
2466.75/2473.44 c #Conflicts: 993000 | #Constraints: 32309
2466.75/2473.44 c #Conflicts: 994000 | #Constraints: 33309
2466.75/2473.44 c #Conflicts: 995000 | #Constraints: 34309
2466.75/2473.44 c #Conflicts: 996000 | #Constraints: 35309
2466.75/2473.44 c #Conflicts: 997000 | #Constraints: 36309
2466.75/2473.44 c #Conflicts: 998000 | #Constraints: 37309
2466.75/2473.44 c #Conflicts: 999000 | #Constraints: 38309
2466.75/2473.44 c #Conflicts: 1000000 | #Constraints: 39309
2466.75/2473.44 c #Conflicts: 1001000 | #Constraints: 40309
2466.75/2473.44 c INPROCESSING
2466.75/2473.44 c GARBAGE COLLECT
2466.75/2473.44 c #Conflicts: 1002000 | #Constraints: 21501
2466.75/2473.44 c #Conflicts: 1003000 | #Constraints: 22501
2466.75/2473.44 c #Conflicts: 1004000 | #Constraints: 23501
2466.75/2473.44 c #Conflicts: 1005000 | #Constraints: 24501
2466.75/2473.44 c #Conflicts: 1006000 | #Constraints: 25501
2466.75/2473.44 c #Conflicts: 1007000 | #Constraints: 26501
2466.75/2473.44 c #Conflicts: 1008000 | #Constraints: 27501
2466.75/2473.44 c #Conflicts: 1009000 | #Constraints: 28501
2466.75/2473.44 c #Conflicts: 1010000 | #Constraints: 29501
2466.75/2473.44 c #Conflicts: 1011000 | #Constraints: 30501
2466.75/2473.44 c #Conflicts: 1012000 | #Constraints: 31501
2466.75/2473.44 c #Conflicts: 1013000 | #Constraints: 32501
2466.75/2473.44 c #Conflicts: 1014000 | #Constraints: 33501
2466.75/2473.44 c #Conflicts: 1015000 | #Constraints: 34501
2466.75/2473.44 c #Conflicts: 1016000 | #Constraints: 35501
2466.75/2473.44 c #Conflicts: 1017000 | #Constraints: 36501
2466.75/2473.44 c #Conflicts: 1018000 | #Constraints: 37501
2466.75/2473.44 c #Conflicts: 1019000 | #Constraints: 38501
2466.75/2473.44 c #Conflicts: 1020000 | #Constraints: 39501
2466.75/2473.44 c #Conflicts: 1021000 | #Constraints: 40501
2466.75/2473.44 c INPROCESSING
2466.75/2473.44 c GARBAGE COLLECT
2466.75/2473.44 c #Conflicts: 1022000 | #Constraints: 21492
2466.75/2473.44 c #Conflicts: 1023000 | #Constraints: 22492
2466.75/2473.44 c #Conflicts: 1024000 | #Constraints: 23492
2466.75/2473.44 c #Conflicts: 1025000 | #Constraints: 24492
2466.75/2473.44 c #Conflicts: 1026000 | #Constraints: 25492
2466.75/2473.44 c #Conflicts: 1027000 | #Constraints: 26492
2466.75/2473.44 c #Conflicts: 1028000 | #Constraints: 27492
2466.75/2473.44 c #Conflicts: 1029000 | #Constraints: 28492
2466.75/2473.44 c #Conflicts: 1030000 | #Constraints: 29492
2466.75/2473.44 c #Conflicts: 1031000 | #Constraints: 30492
2466.75/2473.44 c #Conflicts: 1032000 | #Constraints: 31492
2466.75/2473.44 c #Conflicts: 1033000 | #Constraints: 32492
2466.75/2473.44 c #Conflicts: 1034000 | #Constraints: 33492
2466.75/2473.44 c #Conflicts: 1035000 | #Constraints: 34492
2466.75/2473.44 c #Conflicts: 1036000 | #Constraints: 35492
2466.75/2473.44 c #Conflicts: 1037000 | #Constraints: 36492
2466.75/2473.44 c #Conflicts: 1038000 | #Constraints: 37492
2466.75/2473.44 c #Conflicts: 1039000 | #Constraints: 38492
2466.75/2473.44 c #Conflicts: 1040000 | #Constraints: 39492
2466.75/2473.44 c #Conflicts: 1041000 | #Constraints: 40492
2466.75/2473.44 c INPROCESSING
2466.75/2473.44 c GARBAGE COLLECT
3207.40/3215.98 c #Conflicts: 1042000 | #Constraints: 21294
3207.40/3215.98 c #Conflicts: 1043000 | #Constraints: 22294
3207.40/3215.98 c #Conflicts: 1044000 | #Constraints: 23294
3207.40/3215.98 c #Conflicts: 1045000 | #Constraints: 24294
3207.40/3215.98 c #Conflicts: 1046000 | #Constraints: 25294
3207.40/3215.98 c #Conflicts: 1047000 | #Constraints: 26294
3207.40/3215.98 c #Conflicts: 1048000 | #Constraints: 27294
3207.40/3215.98 c #Conflicts: 1049000 | #Constraints: 28294
3207.40/3215.98 c #Conflicts: 1050000 | #Constraints: 29294
3207.40/3215.98 c #Conflicts: 1051000 | #Constraints: 30294
3207.40/3215.98 c #Conflicts: 1052000 | #Constraints: 31294
3207.40/3215.98 c #Conflicts: 1053000 | #Constraints: 32294
3207.40/3215.98 c #Conflicts: 1054000 | #Constraints: 33294
3207.40/3215.98 c #Conflicts: 1055000 | #Constraints: 34294
3207.40/3215.98 c #Conflicts: 1056000 | #Constraints: 35294
3207.40/3215.98 c #Conflicts: 1057000 | #Constraints: 36294
3207.40/3215.98 c #Conflicts: 1058000 | #Constraints: 37294
3207.40/3215.98 c #Conflicts: 1059000 | #Constraints: 38294
3207.40/3215.98 c #Conflicts: 1060000 | #Constraints: 39294
3207.40/3215.98 c #Conflicts: 1061000 | #Constraints: 40294
3207.40/3215.98 c #Conflicts: 1062000 | #Constraints: 41294
3207.40/3215.98 c INPROCESSING
3207.40/3215.98 c GARBAGE COLLECT
3207.40/3215.98 c #Conflicts: 1063000 | #Constraints: 21891
3207.40/3215.98 c #Conflicts: 1064000 | #Constraints: 22891
3207.40/3215.98 c #Conflicts: 1065000 | #Constraints: 23891
3207.40/3215.98 c #Conflicts: 1066000 | #Constraints: 24891
3207.40/3215.98 c #Conflicts: 1067000 | #Constraints: 25891
3207.40/3215.98 c #Conflicts: 1068000 | #Constraints: 26891
3207.40/3215.98 c #Conflicts: 1069000 | #Constraints: 27891
3207.40/3215.98 c #Conflicts: 1070000 | #Constraints: 28891
3207.40/3215.98 c #Conflicts: 1071000 | #Constraints: 29891
3207.40/3215.98 c #Conflicts: 1072000 | #Constraints: 30891
3207.40/3215.98 c #Conflicts: 1073000 | #Constraints: 31891
3207.40/3215.98 c #Conflicts: 1074000 | #Constraints: 32891
3207.40/3215.98 c #Conflicts: 1075000 | #Constraints: 33891
3207.40/3215.98 c #Conflicts: 1076000 | #Constraints: 34891
3207.40/3215.98 c #Conflicts: 1077000 | #Constraints: 35891
3207.40/3215.98 c #Conflicts: 1078000 | #Constraints: 36891
3207.40/3215.98 c #Conflicts: 1079000 | #Constraints: 37891
3207.40/3215.98 c #Conflicts: 1080000 | #Constraints: 38891
3207.40/3215.98 c #Conflicts: 1081000 | #Constraints: 39891
3207.40/3215.98 c #Conflicts: 1082000 | #Constraints: 40891
3207.40/3215.98 c #Conflicts: 1083000 | #Constraints: 41891
3207.40/3215.98 c INPROCESSING
3207.40/3215.98 c GARBAGE COLLECT
3207.40/3215.98 c #Conflicts: 1084000 | #Constraints: 22297
3207.40/3215.98 c #Conflicts: 1085000 | #Constraints: 23297
3207.40/3215.98 c #Conflicts: 1086000 | #Constraints: 24297
3207.40/3215.98 c #Conflicts: 1087000 | #Constraints: 25297
3207.40/3215.98 c #Conflicts: 1088000 | #Constraints: 26297
3207.40/3215.98 c #Conflicts: 1089000 | #Constraints: 27297
3207.40/3215.98 c #Conflicts: 1090000 | #Constraints: 28297
3207.40/3215.98 c #Conflicts: 1091000 | #Constraints: 29297
3207.40/3215.98 c #Conflicts: 1092000 | #Constraints: 30297
3207.40/3215.98 c #Conflicts: 1093000 | #Constraints: 31297
3207.40/3215.98 c #Conflicts: 1094000 | #Constraints: 32297
3207.40/3215.98 c #Conflicts: 1095000 | #Constraints: 33297
3207.40/3215.98 c #Conflicts: 1096000 | #Constraints: 34297
3207.40/3215.98 c #Conflicts: 1097000 | #Constraints: 35297
3207.40/3215.98 c #Conflicts: 1098000 | #Constraints: 36297
3207.40/3215.98 c #Conflicts: 1099000 | #Constraints: 37297
3207.40/3215.98 c #Conflicts: 1100000 | #Constraints: 38297
3207.40/3215.98 c #Conflicts: 1101000 | #Constraints: 39297
3207.40/3215.98 c #Conflicts: 1102000 | #Constraints: 40297
3207.40/3215.98 c #Conflicts: 1103000 | #Constraints: 41297
3207.40/3215.98 c #Conflicts: 1104000 | #Constraints: 42297
3207.40/3215.98 c INPROCESSING
3207.40/3215.98 c GARBAGE COLLECT
3207.40/3215.98 c #Conflicts: 1105000 | #Constraints: 22500
3207.40/3215.98 c #Conflicts: 1106000 | #Constraints: 23500
3207.40/3215.98 c #Conflicts: 1107000 | #Constraints: 24500
3207.40/3215.98 c #Conflicts: 1108000 | #Constraints: 25500
3207.40/3215.98 c #Conflicts: 1109000 | #Constraints: 26500
3207.40/3215.98 c #Conflicts: 1110000 | #Constraints: 27500
3207.40/3215.98 c #Conflicts: 1111000 | #Constraints: 28500
3207.40/3215.98 c #Conflicts: 1112000 | #Constraints: 29500
3207.40/3215.98 c #Conflicts: 1113000 | #Constraints: 30500
3207.40/3215.98 c #Conflicts: 1114000 | #Constraints: 31500
3207.40/3215.98 c #Conflicts: 1115000 | #Constraints: 32500
3207.40/3215.98 c #Conflicts: 1116000 | #Constraints: 33500
3207.40/3215.98 c #Conflicts: 1117000 | #Constraints: 34500
3207.40/3215.98 c #Conflicts: 1118000 | #Constraints: 35500
3600.05/3609.40 c #Conflicts: 1119000 | #Constraints: 36500
3600.05/3609.40 c #Conflicts: 1120000 | #Constraints: 37500
3600.05/3609.40 c #Conflicts: 1121000 | #Constraints: 38500
3600.05/3609.40 c #Conflicts: 1122000 | #Constraints: 39500
3600.05/3609.40 c #Conflicts: 1123000 | #Constraints: 40500
3600.05/3609.40 c #Conflicts: 1124000 | #Constraints: 41500
3600.05/3609.40 c #Conflicts: 1125000 | #Constraints: 42500
3600.05/3609.40 c INPROCESSING
3600.05/3609.40 c GARBAGE COLLECT
3600.05/3609.40 c #Conflicts: 1126000 | #Constraints: 22496
3600.05/3609.40 c #Conflicts: 1127000 | #Constraints: 23496
3600.05/3609.40 c #Conflicts: 1128000 | #Constraints: 24496
3600.05/3609.40 c #Conflicts: 1129000 | #Constraints: 25496
3600.05/3609.40 c #Conflicts: 1130000 | #Constraints: 26496
3600.05/3609.40 c #Conflicts: 1131000 | #Constraints: 27496
3600.05/3609.40 c #Conflicts: 1132000 | #Constraints: 28496
3600.05/3609.40 c #Conflicts: 1133000 | #Constraints: 29496
3600.05/3609.40 c #Conflicts: 1134000 | #Constraints: 30496
3600.05/3609.40 c #Conflicts: 1135000 | #Constraints: 31496
3600.05/3609.40 c #Conflicts: 1136000 | #Constraints: 32496
3600.05/3609.40 c #Conflicts: 1137000 | #Constraints: 33496
3600.05/3609.40 c #Conflicts: 1138000 | #Constraints: 34496
3600.05/3609.40 c #Conflicts: 1139000 | #Constraints: 35496
3600.05/3609.40 c #Conflicts: 1140000 | #Constraints: 36496
3600.05/3609.40 c #Conflicts: 1141000 | #Constraints: 37496
3600.05/3609.40 c #Conflicts: 1142000 | #Constraints: 38496
3600.05/3609.40 c #Conflicts: 1143000 | #Constraints: 39496
3600.05/3609.40 c #Conflicts: 1144000 | #Constraints: 40496
3600.05/3609.40 c #Conflicts: 1145000 | #Constraints: 41496
3600.05/3609.40 c #Conflicts: 1146000 | #Constraints: 42496
3600.05/3609.40 c INPROCESSING
3600.05/3609.40 c GARBAGE COLLECT
3600.05/3609.40 c #Conflicts: 1147000 | #Constraints: 22299
3600.05/3609.40 c #Conflicts: 1148000 | #Constraints: 23299
3600.05/3609.40 c #Conflicts: 1149000 | #Constraints: 24299
3600.05/3609.40 c #Conflicts: 1150000 | #Constraints: 25299
3600.05/3609.40 c #Conflicts: 1151000 | #Constraints: 26299
3600.05/3609.40 c #Conflicts: 1152000 | #Constraints: 27299
3600.05/3609.40 c #Conflicts: 1153000 | #Constraints: 28299
3600.05/3609.40 c Program interrupted by user.
3600.05/3609.40 c cpu time 3593.79 s
3600.05/3609.40 c deterministic time 327102056167 3.27e+11
3600.05/3609.40 c optimization time 70.7052 s
3600.05/3609.40 c total solve time 3523.09 s
3600.05/3609.40 c core-guided solve time 3523.09 s
3600.05/3609.40 c propagation time 3022.82 s
3600.05/3609.40 c conflict analysis time 554.038 s
3600.05/3609.40 c propagations 58087444
3600.05/3609.40 c resolve steps 15978488
3600.05/3609.40 c decisions 1842586
3600.05/3609.40 c conflicts 1153027
3600.05/3609.40 c restarts 2139
3600.05/3609.40 c inprocessing phases 98
3600.05/3609.40 c input clauses 340
3600.05/3609.40 c input cardinalities 8
3600.05/3609.40 c input general constraints 454
3600.05/3609.40 c input average constraint length 22.71
3600.05/3609.40 c input average constraint degree 79.60
3600.05/3609.40 c learned clauses 952104
3600.05/3609.40 c learned cardinalities 112
3600.05/3609.40 c learned general constraints 200823
3600.05/3609.40 c learned average constraint length 114.95
3600.05/3609.40 c learned average constraint degree 70050.74
3600.05/3609.40 c watched constraints 172258
3600.05/3609.40 c counting constraints 29019
3600.05/3609.40 c gcd simplifications 344159
3600.05/3609.40 c detected cardinalities 12
3600.05/3609.40 c weakened non-implied lits 75475922
3600.05/3609.40 c weakened non-implying lits 400085
3600.05/3609.40 c original variables 223
3600.05/3609.40 c clausal propagations 19496614
3600.05/3609.40 c cardinality propagations 140366
3600.05/3609.40 c watched propagations 4204989
3600.05/3609.40 c counting propagations 33188464
3600.05/3609.40 c watch lookups 79623197071
3600.05/3609.40 c watch backjump lookups 70736722711
3600.05/3609.40 c watch checks 161688525845
3600.05/3609.40 c propagation checks 14334707925
3600.05/3609.40 c constraint additions 597889880
3600.05/3609.40 c trail pops 61082704
3600.05/3609.40 c formula constraints 386
3600.05/3609.40 c learned constraints 1153039
3600.05/3609.40 c bound constraints 67
3600.05/3609.40 c core-guided constraints 349
3600.05/3609.40 c encountered formula constraints 9834047
3600.05/3609.40 c encountered learned constraints 6763010
3600.05/3609.40 c encountered bound constraints 19604
3600.05/3609.40 c encountered core-guided constraints 514854
3600.05/3609.40 c LP total time 0 s
3600.05/3609.40 c LP solve time 0 s
3600.05/3609.40 c LP constraints added 0
3600.05/3609.40 c LP constraints removed 0
3600.05/3609.40 c LP pivots internal 0
3600.05/3609.40 c LP pivots root 0
3600.05/3609.40 c LP calls 0
3600.05/3609.40 c LP optimalities 0
3600.05/3609.40 c LP no pivot count 0
3600.05/3609.40 c LP infeasibilities 0
3600.05/3609.40 c LP valid Farkas constraints 0
3600.05/3609.40 c LP learned Farkas constraints 0
3600.05/3609.40 c LP basis resets 0
3600.05/3609.40 c LP cycling count 0
3600.05/3609.40 c LP singular count 0
3600.05/3609.40 c LP no primal count 0
3600.05/3609.40 c LP no farkas count 0
3600.05/3609.40 c LP other issue count 0
3600.05/3609.40 c LP Gomory cuts 0
3600.05/3609.40 c LP learned cuts 0
3600.05/3609.40 c LP deleted cuts 0
3600.05/3609.40 c LP encountered Gomory constraints 0
3600.05/3609.40 c LP encountered Farkas constraints 0
3600.05/3609.40 c LP encountered learned Farkas constraints 0
3600.05/3609.40 c CG auxiliary variables introduced 179
3600.05/3609.40 c CG solutions found 8
3600.05/3609.40 c CG cores constructed 50
3600.05/3609.40 c CG core cardinality constraints returned 0
3600.05/3609.40 c CG unit cores 0
3600.05/3609.40 c CG single cores 49
3600.05/3609.40 c CG blocks removed during cardinality reduction 0
3600.05/3609.40 c CG first core best 0
3600.05/3609.40 c CG decision core best 0
3600.05/3609.40 c CG core reduction tie 1
3600.05/3609.40 c CG core degree average 1.00
3600.05/3609.40 c CG core slack average 4.84
3600.05/3609.40 c CG exhausted 0
3600.05/3609.40 c CG exhaust time 2.25198 s
3600.05/3609.40 c CG trimmed 10
3600.05/3609.40 c CG trim time 0.01816 s
3600.05/3609.40 c CG minimized 0
3600.05/3609.40 c CG minimize time 0 s
3600.05/3609.40 c CG am1 prop time 0.002144 s
3600.05/3609.40 c CG # am1s reformulated 78
3600.05/3609.40 c CG lower bound derived from am1s 628
3600.05/3609.40 c CG # clausal cores 51
3600.05/3609.40 c CG # cardinality cores 0
3600.05/3609.40 c CG # pb cores 0
3600.05/3609.40 c CG # pb reforms 28
3600.05/3609.40 c CG # cores discarded because of pb reform 0
3600.05/3609.40 d LOWERBOUND -211
3600.05/3609.40 d NCORES 50
3600.05/3609.40 d NPBCORES 0
3600.05/3609.40 d NPBREFORM 28
3600.05/3609.40 d NTRIMMED 10
3600.05/3609.40 d NEXHAUSTED 0
3600.05/3609.40 d NAM1S 78
3600.05/3609.40 d AM1LB 628
3600.05/3609.40 o -79
3600.05/3609.40 s SATISFIABLE
3600.05/3609.40 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
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (59359 MiB free)
memory of node 1: 64510 MiB (61503 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454588-1721478180/watcher-4454588-1721478180 -o /tmp/evaluation-result-4454588-1721478180/solver-4454588-1721478180 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721470968-1064620 --watchdog 3760 pb-oll-rs HOME/instance-4454588-1721478180.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1068748, runsolver pid=1068745
[startup+0.100603 s]*
/proc/loadavg: 4.13 4.12 4.09 5/258 1068749
/proc/meminfo: memFree=123762104/131524600 swapFree=130799640/131071996
[pid=1068748] ppid=1068745 vsize=39320 memory=7056 CPUtime=0.09 cores=4,6
/proc/1068748/stat : 1068748 (pb-oll-rs) R 1068745 1068748 1064609 0 -1 4194304 597 0 0 0 9 0 0 0 20 0 1 0 199977147 40263680 1764 134679101440 4194304 5384485 140724048098864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22818816 140724048106517 140724048106594 140724048106594 140724048113611 0
/proc/1068748/statm: 9830 1764 1360 291 0 1364 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39320 KiB
Current children cumulated memory: 7056 KiB
[startup+0.205604 s]*
/proc/loadavg: 4.13 4.12 4.09 5/258 1068749
/proc/meminfo: memFree=123761460/131524600 swapFree=130799640/131071996
[pid=1068748] ppid=1068745 vsize=39452 memory=7584 CPUtime=0.2 cores=4,6
/proc/1068748/stat : 1068748 (pb-oll-rs) R 1068745 1068748 1064609 0 -1 4194304 709 0 0 0 20 0 0 0 20 0 1 0 199977147 40398848 1896 134679101440 4194304 5384485 140724048098864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22818816 140724048106517 140724048106594 140724048106594 140724048113611 0
/proc/1068748/statm: 9863 1896 1360 291 0 1397 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39452 KiB
Current children cumulated memory: 7584 KiB
[startup+0.305433 s]*
/proc/loadavg: 4.13 4.12 4.09 5/258 1068749
/proc/meminfo: memFree=123758488/131524600 swapFree=130799640/131071996
[pid=1068748] ppid=1068745 vsize=39584 memory=10136 CPUtime=0.3 cores=4,6
/proc/1068748/stat : 1068748 (pb-oll-rs) R 1068745 1068748 1064609 0 -1 4194304 781 0 0 0 29 1 0 0 20 0 1 0 199977147 40534016 2534 134679101440 4194304 5384485 140724048098864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22818816 140724048106517 140724048106594 140724048106594 140724048113611 0
/proc/1068748/statm: 9896 2534 1424 291 0 1430 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 10136 KiB
[startup+0.700218 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 1068749
/proc/meminfo: memFree=123758152/131524600 swapFree=130799640/131071996
[pid=1068748] ppid=1068745 vsize=39828 memory=10444 CPUtime=0.68 cores=4,6
/proc/1068748/stat : 1068748 (pb-oll-rs) R 1068745 1068748 1064609 0 -1 4194304 836 0 0 0 67 1 0 0 20 0 1 0 199977147 40783872 2611 134679101440 4194304 5384485 140724048098864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22818816 140724048106517 140724048106594 140724048106594 140724048113611 0
/proc/1068748/statm: 9957 2611 1424 291 0 1491 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 10444 KiB
[startup+1.50021 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 1068749
/proc/meminfo: memFree=123738664/131524600 swapFree=130799640/131071996
[pid=1068748] ppid=1068745 vsize=40120 memory=10752 CPUtime=1.48 cores=4,6
/proc/1068748/stat : 1068748 (pb-oll-rs) R 1068745 1068748 1064609 0 -1 4194304 913 0 0 0 145 3 0 0 20 0 1 0 199977147 41082880 2688 134679101440 4194304 5384485 140724048098864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22818816 140724048106517 140724048106594 140724048106594 140724048113611 0
/proc/1068748/statm: 10030 2688 1424 291 0 1564 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40120 KiB
Current children cumulated memory: 10752 KiB
[startup+3.10427 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 1068797
/proc/meminfo: memFree=125613148/131524600 swapFree=130799640/131071996
[pid=1068748] ppid=1068745 vsize=40676 memory=11412 CPUtime=3.08 cores=4,6
/proc/1068748/stat : 1068748 (pb-oll-rs) R 1068745 1068748 1064609 0 -1 4194304 1105 0 0 0 302 6 0 0 20 0 1 0 199977147 41652224 2853 134679101440 4194304 5384485 140724048098864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22818816 140724048106517 140724048106594 140724048106594 140724048113611 0
/proc/1068748/statm: 10169 2853 1424 291 0 1703 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 40676 KiB
Current children cumulated memory: 11412 KiB
[startup+6.30014 s]
/proc/loadavg: 4.12 4.12 4.09 5/258 1068797
/proc/meminfo: memFree=125602368/131524600 swapFree=130799640/131071996
[pid=1068748] ppid=1068745 vsize=44112 memory=13072 CPUtime=6.28 cores=4,6
/proc/1068748/stat : 1068748 (pb-oll-rs) R 1068745 1068748 1064609 0 -1 4194304 1495 0 0 0 616 12 0 0 20 0 1 0 199977147 45170688 3268 134679101440 4194304 5384485 140724048098864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22818816 140724048106517 140724048106594 140724048106594 140724048113611 0
/proc/1068748/statm: 11028 3268 1424 291 0 2562 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 44112 KiB
Current children cumulated memory: 13072 KiB
[startup+12.7001 s]
/proc/loadavg: 4.11 4.12 4.09 5/258 1068798
/proc/meminfo: memFree=125555324/131524600 swapFree=130799640/131071996
[pid=1068748] ppid=1068745 vsize=45320 memory=15484 CPUtime=12.66 cores=4,6
/proc/1068748/stat : 1068748 (pb-oll-rs) R 1068745 1068748 1064609 0 -1 4194304 2142 0 0 0 1246 20 0 0 20 0 1 0 199977147 46407680 3871 134679101440 4194304 5384485 140724048098864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22818816 140724048106517 140724048106594 140724048106594 140724048113611 0
/proc/1068748/statm: 11330 3871 1424 291 0 2864 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 45320 KiB
Current children cumulated memory: 15484 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 1068800
/proc/meminfo: memFree=125529848/131524600 swapFree=130799640/131071996
[pid=1068748] ppid=1068745 vsize=51156 memory=18212 CPUtime=25.43 cores=4,6
/proc/1068748/stat : 1068748 (pb-oll-rs) R 1068745 1068748 1064609 0 -1 4194304 2892 0 0 0 2511 32 0 0 20 0 1 0 199977147 52383744 4553 134679101440 4194304 5384485 140724048098864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22818816 140724048106517 140724048106594 140724048106594 140724048113611 0
/proc/1068748/statm: 12789 4553 1424 291 0 4323 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 51156 KiB
Current children cumulated memory: 18212 KiB
[startup+51.105 s]
/proc/loadavg: 4.24 4.15 4.10 5/258 1068803
/proc/meminfo: memFree=125407352/131524600 swapFree=130799640/131071996
[pid=1068748] ppid=1068745 vsize=52564 memory=21996 CPUtime=50.97 cores=4,6
/proc/1068748/stat : 1068748 (pb-oll-rs) R 1068745 1068748 1064609 0 -1 4194304 3406 0 0 0 5049 48 0 0 20 0 1 0 199977147 53825536 5499 134679101440 4194304 5384485 140724048098864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22818816 140724048106517 140724048106594 140724048106594 140724048113611 0
/proc/1068748/statm: 13141 5499 1424 291 0 4675 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 52564 KiB
Current children cumulated memory: 21996 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/257 1068816
/proc/meminfo: memFree=125337756/131524600 swapFree=130799640/131071996
[pid=1068748] ppid=1068745 vsize=54192 memory=25480 CPUtime=102.05 cores=4,6
/proc/1068748/stat : 1068748 (pb-oll-rs) R 1068745 1068748 1064609 0 -1 4194304 4376 0 0 0 10123 82 0 0 20 0 1 0 199977147 55492608 6370 134679101440 4194304 5384485 140724048098864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22818816 140724048106517 140724048106594 140724048106594 140724048113611 0
/proc/1068748/statm: 13548 6370 1424 291 0 5082 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 54192 KiB
Current children cumulated memory: 25480 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/260 1069211
/proc/meminfo: memFree=125272104/131524600 swapFree=130799640/131071996
[pid=1068748] ppid=1068745 vsize=64260 memory=30092 CPUtime=161.91 cores=4,6
/proc/1068748/stat : 1068748 (pb-oll-rs) R 1068745 1068748 1064609 0 -1 4194304 5140 0 0 0 16078 113 0 0 20 0 1 0 199977147 65802240 7523 134679101440 4194304 5384485 140724048098864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22818816 140724048106517 140724048106594 140724048106594 140724048113611 0
/proc/1068748/statm: 16065 7523 1424 291 0 7599 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 64260 KiB
Current children cumulated memory: 30092 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/258 1069221
/proc/meminfo: memFree=125226648/131524600 swapFree=130799640/131071996
[pid=1068748] ppid=1068745 vsize=65836 memory=33556 CPUtime=221.76 cores=4,6
/proc/1068748/stat : 1068748 (pb-oll-rs) R 1068745 1068748 1064609 0 -1 4194304 5644 0 0 0 22032 144 0 0 20 0 1 0 199977147 67416064 8389 134679101440 4194304 5384485 140724048098864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22818816 140724048106517 140724048106594 140724048106594 140724048113611 0
/proc/1068748/statm: 16459 8389 1424 291 0 7993 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 65836 KiB
Current children cumulated memory: 33556 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 1069232
/proc/meminfo: memFree=125150420/131524600 swapFree=130799640/131071996
[pid=1068748] ppid=1068745 vsize=66580 memory=34160 CPUtime=281.62 cores=4,6
/proc/1068748/stat : 1068748 (pb-oll-rs) R 1068745 1068748 1064609 0 -1 4194304 5933 0 0 0 27993 169 0 0 20 0 1 0 199977147 68177920 8540 134679101440 4194304 5384485 140724048098864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22818816 140724048106517 140724048106594 140724048106594 140724048113611 0
/proc/1068748/statm: 16645 8540 1424 291 0 8179 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 66580 KiB
Current children cumulated memory: 34160 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/259 1069412
/proc/meminfo: memFree=125095296/131524600 swapFree=130799640/131071996
[pid=1068748] ppid=1068745 vsize=67560 memory=37952 CPUtime=341.46 cores=4,6
/proc/1068748/stat : 1068748 (pb-oll-rs) R 1068745 1068748 1064609 0 -1 4194304 6307 0 0 0 33955 191 0 0 20 0 1 0 199977147 69181440 9488 134679101440 4194304 5384485 140724048098864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22818816 140724048106517 140724048106594 140724048106594 140724048113611 0
/proc/1068748/statm: 16890 9488 1424 291 0 8424 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 67560 KiB
Current children cumulated memory: 37952 KiB
[startup+402.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/259 1069423
/proc/meminfo: memFree=125053444/131524600 swapFree=130799640/131071996
[pid=1068748] ppid=1068745 vsize=67460 memory=37876 CPUtime=401.3 cores=4,6
/proc/1068748/stat : 1068748 (pb-oll-rs) R 1068745 1068748 1064609 0 -1 4194304 6408 0 0 0 39920 210 0 0 20 0 1 0 199977147 69079040 9469 134679101440 4194304 5384485 140724048098864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22818816 140724048106517 140724048106594 140724048106594 140724048113611 0
/proc/1068748/statm: 16865 9469 1424 291 0 8399 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 67460 KiB
Current children cumulated memory: 37876 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/258 1069491
/proc/meminfo: memFree=125025676/131524600 swapFree=130799640/131071996
[pid=1068748] ppid=1068745 vsize=79500 memory=39236 CPUtime=461.13 cores=4,6
/proc/1068748/stat : 1068748 (pb-oll-rs) R 1068745 1068748 1064609 0 -1 4194304 6845 0 0 0 45884 229 0 0 20 0 1 0 199977147 81408000 9809 134679101440 4194304 5384485 140724048098864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22818816 140724048106517 140724048106594 140724048106594 140724048113611 0
/proc/1068748/statm: 19875 9809 1424 291 0 11409 0
################
# More data... #
################
Current children cumulated memory: 75724 KiB
[startup+2862.3 s]
/proc/loadavg: 4.27 4.19 4.12 5/257 1070513
/proc/meminfo: memFree=123894772/131524600 swapFree=130799640/131071996
[pid=1068748] ppid=1068745 vsize=120112 memory=75900 CPUtime=2854.61 cores=4,6
/proc/1068748/stat : 1068748 (pb-oll-rs) R 1068745 1068748 1064609 0 -1 4194304 13341 0 0 0 284877 584 0 0 20 0 1 0 199977147 122994688 18975 134679101440 4194304 5384485 140724048098864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22818816 140724048106517 140724048106594 140724048106594 140724048113611 0
/proc/1068748/statm: 30028 18975 1424 291 0 21562 0
Current children cumulated CPU time: 2854.61 s
Current children cumulated vsize: 120112 KiB
Current children cumulated memory: 75900 KiB
[startup+2922.3 s]
/proc/loadavg: 4.36 4.25 4.15 5/257 1070523
/proc/meminfo: memFree=123891004/131524600 swapFree=130799640/131071996
[pid=1068748] ppid=1068745 vsize=120112 memory=76264 CPUtime=2914.46 cores=4,6
/proc/1068748/stat : 1068748 (pb-oll-rs) R 1068745 1068748 1064609 0 -1 4194304 13531 0 0 0 290857 589 0 0 20 0 1 0 199977147 122994688 19066 134679101440 4194304 5384485 140724048098864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22818816 140724048106517 140724048106594 140724048106594 140724048113611 0
/proc/1068748/statm: 30028 19066 1424 291 0 21562 0
Current children cumulated CPU time: 2914.46 s
Current children cumulated vsize: 120112 KiB
Current children cumulated memory: 76264 KiB
[startup+2982.3 s]
/proc/loadavg: 4.19 4.21 4.14 5/257 1070533
/proc/meminfo: memFree=123888784/131524600 swapFree=130799640/131071996
[pid=1068748] ppid=1068745 vsize=120112 memory=77876 CPUtime=2974.3 cores=4,6
/proc/1068748/stat : 1068748 (pb-oll-rs) R 1068745 1068748 1064609 0 -1 4194304 13562 0 0 0 296837 593 0 0 20 0 1 0 199977147 122994688 19469 134679101440 4194304 5384485 140724048098864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22818816 140724048106517 140724048106594 140724048106594 140724048113611 0
/proc/1068748/statm: 30028 19469 1424 291 0 21562 0
Current children cumulated CPU time: 2974.3 s
Current children cumulated vsize: 120112 KiB
Current children cumulated memory: 77876 KiB
[startup+3042.3 s]
/proc/loadavg: 4.53 4.30 4.18 5/257 1070544
/proc/meminfo: memFree=123879360/131524600 swapFree=130799640/131071996
[pid=1068748] ppid=1068745 vsize=120112 memory=77876 CPUtime=3034.18 cores=4,6
/proc/1068748/stat : 1068748 (pb-oll-rs) R 1068745 1068748 1064609 0 -1 4194304 13596 0 0 0 302822 596 0 0 20 0 1 0 199977147 122994688 19469 134679101440 4194304 5384485 140724048098864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22818816 140724048106517 140724048106594 140724048106594 140724048113611 0
/proc/1068748/statm: 30028 19469 1424 291 0 21562 0
Current children cumulated CPU time: 3034.18 s
Current children cumulated vsize: 120112 KiB
Current children cumulated memory: 77876 KiB
[startup+3102.3 s]
/proc/loadavg: 4.40 4.32 4.19 5/257 1070557
/proc/meminfo: memFree=123874516/131524600 swapFree=130799640/131071996
[pid=1068748] ppid=1068745 vsize=120240 memory=80068 CPUtime=3094.05 cores=4,6
/proc/1068748/stat : 1068748 (pb-oll-rs) R 1068745 1068748 1064609 0 -1 4194304 13796 0 0 0 308806 599 0 0 20 0 1 0 199977147 123125760 20017 134679101440 4194304 5384485 140724048098864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22818816 140724048106517 140724048106594 140724048106594 140724048113611 0
/proc/1068748/statm: 30060 20017 1424 291 0 21594 0
Current children cumulated CPU time: 3094.05 s
Current children cumulated vsize: 120240 KiB
Current children cumulated memory: 80068 KiB
[startup+3162.3 s]
/proc/loadavg: 4.20 4.27 4.18 5/255 1070567
/proc/meminfo: memFree=123873524/131524600 swapFree=130799640/131071996
[pid=1068748] ppid=1068745 vsize=120240 memory=80068 CPUtime=3153.91 cores=4,6
/proc/1068748/stat : 1068748 (pb-oll-rs) R 1068745 1068748 1064609 0 -1 4194304 13827 0 0 0 314789 602 0 0 20 0 1 0 199977147 123125760 20017 134679101440 4194304 5384485 140724048098864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22818816 140724048106517 140724048106594 140724048106594 140724048113611 0
/proc/1068748/statm: 30060 20017 1424 291 0 21594 0
Current children cumulated CPU time: 3153.91 s
Current children cumulated vsize: 120240 KiB
Current children cumulated memory: 80068 KiB
[startup+3222.3 s]
/proc/loadavg: 4.19 4.25 4.18 5/255 1070577
/proc/meminfo: memFree=123873072/131524600 swapFree=130799640/131071996
[pid=1068748] ppid=1068745 vsize=120240 memory=80068 CPUtime=3213.78 cores=4,6
/proc/1068748/stat : 1068748 (pb-oll-rs) R 1068745 1068748 1064609 0 -1 4194304 13860 0 0 0 320773 605 0 0 20 0 1 0 199977147 123125760 20017 134679101440 4194304 5384485 140724048098864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22818816 140724048106517 140724048106594 140724048106594 140724048113611 0
/proc/1068748/statm: 30060 20017 1424 291 0 21594 0
Current children cumulated CPU time: 3213.78 s
Current children cumulated vsize: 120240 KiB
Current children cumulated memory: 80068 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.22 4.17 5/255 1070589
/proc/meminfo: memFree=123869364/131524600 swapFree=130799640/131071996
[pid=1068748] ppid=1068745 vsize=120240 memory=80068 CPUtime=3273.65 cores=4,6
/proc/1068748/stat : 1068748 (pb-oll-rs) R 1068745 1068748 1064609 0 -1 4194304 13896 0 0 0 326756 609 0 0 20 0 1 0 199977147 123125760 20017 134679101440 4194304 5384485 140724048098864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22818816 140724048106517 140724048106594 140724048106594 140724048113611 0
/proc/1068748/statm: 30060 20017 1424 291 0 21594 0
Current children cumulated CPU time: 3273.65 s
Current children cumulated vsize: 120240 KiB
Current children cumulated memory: 80068 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.19 4.17 5/254 1070599
/proc/meminfo: memFree=123868124/131524600 swapFree=130799640/131071996
[pid=1068748] ppid=1068745 vsize=120368 memory=80208 CPUtime=3333.52 cores=4,6
/proc/1068748/stat : 1068748 (pb-oll-rs) R 1068745 1068748 1064609 0 -1 4194304 14096 0 0 0 332740 612 0 0 20 0 1 0 199977147 123256832 20052 134679101440 4194304 5384485 140724048098864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22818816 140724048106517 140724048106594 140724048106594 140724048113611 0
/proc/1068748/statm: 30092 20052 1424 291 0 21626 0
Current children cumulated CPU time: 3333.52 s
Current children cumulated vsize: 120368 KiB
Current children cumulated memory: 80208 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.19 4.17 5/255 1070611
/proc/meminfo: memFree=123866488/131524600 swapFree=130799640/131071996
[pid=1068748] ppid=1068745 vsize=120368 memory=80208 CPUtime=3393.39 cores=4,6
/proc/1068748/stat : 1068748 (pb-oll-rs) R 1068745 1068748 1064609 0 -1 4194304 14127 0 0 0 338723 616 0 0 20 0 1 0 199977147 123256832 20052 134679101440 4194304 5384485 140724048098864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22818816 140724048106517 140724048106594 140724048106594 140724048113611 0
/proc/1068748/statm: 30092 20052 1424 291 0 21626 0
Current children cumulated CPU time: 3393.39 s
Current children cumulated vsize: 120368 KiB
Current children cumulated memory: 80208 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.16 4.16 5/257 1070627
/proc/meminfo: memFree=123862916/131524600 swapFree=130799640/131071996
[pid=1068748] ppid=1068745 vsize=120368 memory=80208 CPUtime=3453.27 cores=4,6
/proc/1068748/stat : 1068748 (pb-oll-rs) R 1068745 1068748 1064609 0 -1 4194304 14161 0 0 0 344708 619 0 0 20 0 1 0 199977147 123256832 20052 134679101440 4194304 5384485 140724048098864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22818816 140724048106517 140724048106594 140724048106594 140724048113611 0
/proc/1068748/statm: 30092 20052 1424 291 0 21626 0
Current children cumulated CPU time: 3453.27 s
Current children cumulated vsize: 120368 KiB
Current children cumulated memory: 80208 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.16 4.16 5/257 1070637
/proc/meminfo: memFree=123860148/131524600 swapFree=130799640/131071996
[pid=1068748] ppid=1068745 vsize=120560 memory=80208 CPUtime=3513.13 cores=4,6
/proc/1068748/stat : 1068748 (pb-oll-rs) R 1068745 1068748 1064609 0 -1 4194304 14197 0 0 0 350692 621 0 0 20 0 1 0 199977147 123453440 20052 134679101440 4194304 5384485 140724048098864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22818816 140724048106517 140724048106594 140724048106594 140724048113611 0
/proc/1068748/statm: 30140 20052 1424 291 0 21674 0
Current children cumulated CPU time: 3513.13 s
Current children cumulated vsize: 120560 KiB
Current children cumulated memory: 80208 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.15 4.16 5/257 1070648
/proc/meminfo: memFree=123856528/131524600 swapFree=130799640/131071996
[pid=1068748] ppid=1068745 vsize=120560 memory=80356 CPUtime=3573.01 cores=4,6
/proc/1068748/stat : 1068748 (pb-oll-rs) R 1068745 1068748 1064609 0 -1 4194304 14399 0 0 0 356676 625 0 0 20 0 1 0 199977147 123453440 20089 134679101440 4194304 5384485 140724048098864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22818816 140724048106517 140724048106594 140724048106594 140724048113611 0
/proc/1068748/statm: 30140 20089 1424 291 0 21674 0
Current children cumulated CPU time: 3573.01 s
Current children cumulated vsize: 120560 KiB
Current children cumulated memory: 80356 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.08 4.13 4.15 3/243 1070713
/proc/meminfo: memFree=125513536/131524600 swapFree=130799640/131071996
[pid=1068748] ppid=1068745 vsize=120560 memory=80356 CPUtime=3600.05 cores=4,6
/proc/1068748/stat : 1068748 (pb-oll-rs) R 1068745 1068748 1064609 0 -1 4194304 14429 0 0 0 359378 627 0 0 20 0 1 0 199977147 123453440 20089 134679101440 4194304 5384485 140724048098864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22818816 140724048106517 140724048106594 140724048106594 140724048113611 0
/proc/1068748/statm: 30140 20089 1424 291 0 21674 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 120560 KiB
Current children cumulated memory: 80356 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.41 s]
# the end of solver process 1068748 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3593.8 s, system=6.27217 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.41
CPU time (s): 3600.07
CPU user time (s): 3593.8
CPU system time (s): 6.27217
CPU usage (%): 99.7412
Max. virtual memory (cumulated for all children) (KiB): 121028
Max. memory (cumulated for all children) (KiB): 80584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.8
system time used= 6.27217
maximum resident set size= 80720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14446
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= 35
involuntary context switches= 1833
# summary of solver processes directly reported to runsolver:
# pid: 1068748
# total CPU time (s): 3600.07
# total CPU user time (s): 3593.8
# total CPU system time (s): 6.27217
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.2067 second user time and 15.5225 second system time
The end
Begin job on nodeC014 at 2024-07-20 14:23:12
IDJOB=4454588
IDBENCH=158535
IDSOLVER=3082
FILE ID=nodeC014/4454588-1721478180
RUNJOBID= nodeC014-1721470968-1064620
SLURM_JOB_ID= 7545736
Free space on /tmp= 890028 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-04.lin.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454588-1721478180/watcher-4454588-1721478180 -o /tmp/evaluation-result-4454588-1721478180/solver-4454588-1721478180 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721470968-1064620 --watchdog 3760 pb-oll-rs HOME/instance-4454588-1721478180.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 28e415f3c4d8dab53aac16682d7f066d
RANDOM SEED=881806622
nodeC014.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3677.173
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3679.378
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3630.672
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.051
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3625.033
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3679.515
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3654.638
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.666
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123764664 kB
MemAvailable: 127950592 kB
Buffers: 521804 kB
Cached: 4459212 kB
SwapCached: 12796 kB
Active: 1556456 kB
Inactive: 5570456 kB
Active(anon): 9172 kB
Inactive(anon): 2166468 kB
Active(file): 1547284 kB
Inactive(file): 3403988 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 130799640 kB
Dirty: 2488 kB
Writeback: 0 kB
AnonPages: 2137220 kB
Mapped: 55476 kB
Shmem: 29732 kB
KReclaimable: 148608 kB
Slab: 251796 kB
SReclaimable: 148608 kB
SUnreclaim: 103188 kB
KernelStack: 4160 kB
PageTables: 14376 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2921676 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 37344 kB
HardwareCorrupted: 0 kB
AnonHugePages: 280576 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 303828 kB
DirectMap2M: 38266880 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 890032 MiB
End job on nodeC014 at 2024-07-20 15:23:22