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.001156
0.00/0.00 c stratification level: 12
0.00/0.00 c bounds - >= -772 @ 0.001235
0.00/0.00 c bounds - >= -760 @ 0.001235
0.00/0.00 c bounds - >= -748 @ 0.001235
0.00/0.00 c bounds - >= -736 @ 0.001235
0.00/0.00 c bounds - >= -724 @ 0.001235
0.00/0.00 c bounds - >= -712 @ 0.001235
0.00/0.00 c bounds - >= -700 @ 0.001288
0.00/0.00 c finalizing WCE round: reformulating cores
0.00/0.01 c bounds -67 >= -700 @ 0.007303
0.00/0.01 c bounds -68 >= -700 @ 0.011273
0.00/0.01 c stratification level: 9
0.00/0.01 c bounds -68 >= -691 @ 0.011409
0.00/0.01 c finalizing WCE round: reformulating cores
0.00/0.01 c bounds -70 >= -691 @ 0.011847
0.00/0.01 c bounds -71 >= -691 @ 0.012023
0.00/0.01 c stratification level: 8
0.00/0.02 c bounds -71 >= -467 @ 0.012467
0.00/0.02 c bounds -71 >= -459 @ 0.012603
0.00/0.02 c bounds -71 >= -451 @ 0.012687
0.00/0.02 c bounds -71 >= -443 @ 0.012773
0.00/0.02 c bounds -71 >= -435 @ 0.01285
0.00/0.02 c bounds -71 >= -427 @ 0.012917
0.00/0.02 c bounds -71 >= -419 @ 0.012987
0.00/0.02 c bounds -71 >= -411 @ 0.013048
0.00/0.02 c bounds -71 >= -403 @ 0.013048
0.00/0.02 c bounds -71 >= -395 @ 0.013048
0.00/0.02 c bounds -71 >= -387 @ 0.013048
0.00/0.02 c bounds -71 >= -379 @ 0.013048
0.00/0.02 c bounds -71 >= -371 @ 0.013048
0.00/0.02 c bounds -71 >= -363 @ 0.013048
0.00/0.02 c bounds -71 >= -355 @ 0.013048
0.00/0.02 c bounds -71 >= -347 @ 0.013048
0.00/0.02 c bounds -71 >= -339 @ 0.013048
0.00/0.02 c bounds -71 >= -331 @ 0.013048
0.00/0.02 c bounds -71 >= -323 @ 0.013048
0.00/0.02 c bounds -71 >= -315 @ 0.013049
0.00/0.02 c bounds -71 >= -307 @ 0.013099
0.00/0.02 c bounds -71 >= -299 @ 0.013119
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.89936
2.28/2.36 c bounds -74 >= -291 @ 1.90027
2.28/2.36 c bounds -74 >= -283 @ 1.90499
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.16/8.22 c #Conflicts: 21000 | #Constraints: 6350
8.16/8.22 c INPROCESSING
8.16/8.22 c GARBAGE COLLECT
8.16/8.22 c #Conflicts: 22000 | #Constraints: 4159
8.16/8.22 c #Conflicts: 23000 | #Constraints: 5161
8.16/8.22 c bounds -75 >= -283 @ 2.66478
8.16/8.22 c #Conflicts: 24000 | #Constraints: 6161
8.16/8.22 c #Conflicts: 25000 | #Constraints: 7161
8.16/8.22 c INPROCESSING
8.16/8.22 c GARBAGE COLLECT
8.16/8.22 c #Conflicts: 26000 | #Constraints: 4766
8.16/8.22 c #Conflicts: 27000 | #Constraints: 5766
8.16/8.22 c #Conflicts: 28000 | #Constraints: 6766
8.16/8.22 c #Conflicts: 29000 | #Constraints: 7766
8.16/8.22 c INPROCESSING
8.16/8.22 c GARBAGE COLLECT
8.16/8.22 c #Conflicts: 30000 | #Constraints: 5165
8.16/8.22 c #Conflicts: 31000 | #Constraints: 6165
8.16/8.22 c #Conflicts: 32000 | #Constraints: 7165
8.16/8.22 c #Conflicts: 33000 | #Constraints: 8165
8.16/8.22 c INPROCESSING
8.16/8.22 c GARBAGE COLLECT
8.16/8.22 c #Conflicts: 34000 | #Constraints: 5369
8.16/8.22 c #Conflicts: 35000 | #Constraints: 6369
8.16/8.22 c #Conflicts: 36000 | #Constraints: 7369
8.16/8.22 c #Conflicts: 37000 | #Constraints: 8369
8.16/8.22 c INPROCESSING
8.16/8.22 c GARBAGE COLLECT
8.16/8.22 c #Conflicts: 38000 | #Constraints: 5372
8.16/8.22 c #Conflicts: 39000 | #Constraints: 6372
8.16/8.22 c #Conflicts: 40000 | #Constraints: 7372
8.16/8.22 c #Conflicts: 41000 | #Constraints: 8372
8.16/8.22 c INPROCESSING
8.16/8.22 c GARBAGE COLLECT
8.16/8.22 c #Conflicts: 42000 | #Constraints: 5171
8.16/8.22 c #Conflicts: 43000 | #Constraints: 6171
8.16/8.22 c #Conflicts: 44000 | #Constraints: 7171
8.16/8.22 c #Conflicts: 45000 | #Constraints: 8171
8.16/8.22 c #Conflicts: 46000 | #Constraints: 9171
8.16/8.22 c INPROCESSING
8.16/8.22 c GARBAGE COLLECT
8.16/8.22 c #Conflicts: 47000 | #Constraints: 5769
8.16/8.22 c bounds -78 >= -283 @ 8.05832
8.16/8.22 c stratification level: 6
39.36/39.59 c #Conflicts: 48000 | #Constraints: 6770
39.36/39.59 c #Conflicts: 49000 | #Constraints: 7770
39.36/39.59 c #Conflicts: 50000 | #Constraints: 8770
39.36/39.59 c #Conflicts: 51000 | #Constraints: 9770
39.36/39.59 c INPROCESSING
39.36/39.59 c GARBAGE COLLECT
39.36/39.59 c #Conflicts: 52000 | #Constraints: 6174
39.36/39.59 c #Conflicts: 53000 | #Constraints: 7174
39.36/39.59 c #Conflicts: 54000 | #Constraints: 8174
39.36/39.59 c #Conflicts: 55000 | #Constraints: 9174
39.36/39.59 c #Conflicts: 56000 | #Constraints: 10174
39.36/39.59 c INPROCESSING
39.36/39.59 c GARBAGE COLLECT
39.36/39.59 c #Conflicts: 57000 | #Constraints: 6374
39.36/39.59 c #Conflicts: 58000 | #Constraints: 7374
39.36/39.59 c #Conflicts: 59000 | #Constraints: 8374
39.36/39.59 c #Conflicts: 60000 | #Constraints: 9374
39.36/39.59 c #Conflicts: 61000 | #Constraints: 10374
39.36/39.59 c INPROCESSING
39.36/39.59 c GARBAGE COLLECT
39.36/39.59 c #Conflicts: 62000 | #Constraints: 6385
39.36/39.59 c #Conflicts: 63000 | #Constraints: 7385
39.36/39.59 c #Conflicts: 64000 | #Constraints: 8385
39.36/39.59 c #Conflicts: 65000 | #Constraints: 9385
39.36/39.59 c #Conflicts: 66000 | #Constraints: 10385
39.36/39.59 c INPROCESSING
39.36/39.59 c GARBAGE COLLECT
39.36/39.59 c #Conflicts: 67000 | #Constraints: 6186
39.36/39.59 c #Conflicts: 68000 | #Constraints: 7186
39.36/39.59 c #Conflicts: 69000 | #Constraints: 8186
39.36/39.59 c #Conflicts: 70000 | #Constraints: 9186
39.36/39.59 c #Conflicts: 71000 | #Constraints: 10186
39.36/39.59 c #Conflicts: 72000 | #Constraints: 11186
39.36/39.59 c INPROCESSING
39.36/39.59 c GARBAGE COLLECT
39.36/39.59 c #Conflicts: 73000 | #Constraints: 6786
39.36/39.59 c #Conflicts: 74000 | #Constraints: 7786
39.36/39.59 c #Conflicts: 75000 | #Constraints: 8786
39.36/39.59 c #Conflicts: 76000 | #Constraints: 9786
39.36/39.59 c #Conflicts: 77000 | #Constraints: 10786
39.36/39.59 c #Conflicts: 78000 | #Constraints: 11786
39.36/39.59 c INPROCESSING
39.36/39.59 c GARBAGE COLLECT
39.36/39.59 c #Conflicts: 79000 | #Constraints: 7188
39.36/39.59 c #Conflicts: 80000 | #Constraints: 8188
39.36/39.59 c #Conflicts: 81000 | #Constraints: 9188
39.36/39.59 c #Conflicts: 82000 | #Constraints: 10188
39.36/39.59 c #Conflicts: 83000 | #Constraints: 11188
39.36/39.59 c #Conflicts: 84000 | #Constraints: 12188
39.36/39.59 c INPROCESSING
39.36/39.59 c GARBAGE COLLECT
39.36/39.59 c #Conflicts: 85000 | #Constraints: 7388
39.36/39.59 c #Conflicts: 86000 | #Constraints: 8388
39.36/39.59 c #Conflicts: 87000 | #Constraints: 9388
39.36/39.59 c #Conflicts: 88000 | #Constraints: 10388
39.36/39.59 c #Conflicts: 89000 | #Constraints: 11388
39.36/39.59 c #Conflicts: 90000 | #Constraints: 12388
39.36/39.59 c INPROCESSING
39.36/39.59 c GARBAGE COLLECT
39.36/39.59 c #Conflicts: 91000 | #Constraints: 7384
39.36/39.59 c #Conflicts: 92000 | #Constraints: 8384
39.36/39.59 c #Conflicts: 93000 | #Constraints: 9384
39.36/39.59 c #Conflicts: 94000 | #Constraints: 10384
39.36/39.59 c #Conflicts: 95000 | #Constraints: 11384
39.36/39.59 c #Conflicts: 96000 | #Constraints: 12384
39.36/39.59 c INPROCESSING
39.36/39.59 c GARBAGE COLLECT
39.36/39.59 c #Conflicts: 97000 | #Constraints: 7189
39.36/39.59 c #Conflicts: 98000 | #Constraints: 8189
39.36/39.59 c #Conflicts: 99000 | #Constraints: 9189
39.36/39.59 c #Conflicts: 100000 | #Constraints: 10189
39.36/39.59 c #Conflicts: 101000 | #Constraints: 11189
39.36/39.59 c #Conflicts: 102000 | #Constraints: 12189
39.36/39.59 c #Conflicts: 103000 | #Constraints: 13189
39.36/39.59 c INPROCESSING
39.36/39.59 c GARBAGE COLLECT
39.36/39.59 c #Conflicts: 104000 | #Constraints: 7789
39.36/39.59 c #Conflicts: 105000 | #Constraints: 8789
39.36/39.59 c #Conflicts: 106000 | #Constraints: 9789
39.36/39.59 c #Conflicts: 107000 | #Constraints: 10789
39.36/39.59 c #Conflicts: 108000 | #Constraints: 11789
39.36/39.59 c #Conflicts: 109000 | #Constraints: 12789
39.36/39.59 c #Conflicts: 110000 | #Constraints: 13789
39.36/39.59 c INPROCESSING
39.36/39.59 c GARBAGE COLLECT
39.36/39.59 c #Conflicts: 111000 | #Constraints: 8191
39.36/39.59 c #Conflicts: 112000 | #Constraints: 9191
39.36/39.59 c #Conflicts: 113000 | #Constraints: 10191
39.36/39.59 c #Conflicts: 114000 | #Constraints: 11191
39.36/39.59 c #Conflicts: 115000 | #Constraints: 12191
39.36/39.59 c #Conflicts: 116000 | #Constraints: 13191
39.36/39.59 c #Conflicts: 117000 | #Constraints: 14191
39.36/39.59 c INPROCESSING
39.36/39.59 c GARBAGE COLLECT
39.36/39.59 c #Conflicts: 118000 | #Constraints: 8389
39.36/39.59 c #Conflicts: 119000 | #Constraints: 9389
90.47/90.86 c #Conflicts: 120000 | #Constraints: 10389
90.47/90.86 c #Conflicts: 121000 | #Constraints: 11389
90.47/90.86 c #Conflicts: 122000 | #Constraints: 12389
90.47/90.86 c #Conflicts: 123000 | #Constraints: 13389
90.47/90.86 c #Conflicts: 124000 | #Constraints: 14389
90.47/90.86 c INPROCESSING
90.47/90.86 c GARBAGE COLLECT
90.47/90.86 c #Conflicts: 125000 | #Constraints: 8387
90.47/90.86 c #Conflicts: 126000 | #Constraints: 9387
90.47/90.86 c #Conflicts: 127000 | #Constraints: 10387
90.47/90.86 c #Conflicts: 128000 | #Constraints: 11387
90.47/90.86 c #Conflicts: 129000 | #Constraints: 12387
90.47/90.86 c #Conflicts: 130000 | #Constraints: 13387
90.47/90.86 c #Conflicts: 131000 | #Constraints: 14387
90.47/90.86 c INPROCESSING
90.47/90.86 c GARBAGE COLLECT
90.47/90.86 c #Conflicts: 132000 | #Constraints: 8194
90.47/90.86 c #Conflicts: 133000 | #Constraints: 9194
90.47/90.86 c #Conflicts: 134000 | #Constraints: 10194
90.47/90.86 c #Conflicts: 135000 | #Constraints: 11194
90.47/90.86 c #Conflicts: 136000 | #Constraints: 12194
90.47/90.86 c #Conflicts: 137000 | #Constraints: 13194
90.47/90.86 c #Conflicts: 138000 | #Constraints: 14194
90.47/90.86 c #Conflicts: 139000 | #Constraints: 15194
90.47/90.86 c INPROCESSING
90.47/90.86 c GARBAGE COLLECT
90.47/90.86 c #Conflicts: 140000 | #Constraints: 8794
90.47/90.86 c #Conflicts: 141000 | #Constraints: 9794
90.47/90.86 c #Conflicts: 142000 | #Constraints: 10794
90.47/90.86 c #Conflicts: 143000 | #Constraints: 11794
90.47/90.86 c #Conflicts: 144000 | #Constraints: 12794
90.47/90.86 c #Conflicts: 145000 | #Constraints: 13794
90.47/90.86 c #Conflicts: 146000 | #Constraints: 14794
90.47/90.86 c #Conflicts: 147000 | #Constraints: 15794
90.47/90.86 c INPROCESSING
90.47/90.86 c GARBAGE COLLECT
90.47/90.86 c #Conflicts: 148000 | #Constraints: 9195
90.47/90.86 c #Conflicts: 149000 | #Constraints: 10195
90.47/90.86 c #Conflicts: 150000 | #Constraints: 11195
90.47/90.86 c #Conflicts: 151000 | #Constraints: 12195
90.47/90.86 c #Conflicts: 152000 | #Constraints: 13195
90.47/90.86 c #Conflicts: 153000 | #Constraints: 14195
90.47/90.86 c #Conflicts: 154000 | #Constraints: 15195
90.47/90.86 c #Conflicts: 155000 | #Constraints: 16195
90.47/90.86 c INPROCESSING
90.47/90.86 c GARBAGE COLLECT
90.47/90.86 c #Conflicts: 156000 | #Constraints: 9395
90.47/90.86 c #Conflicts: 157000 | #Constraints: 10395
90.47/90.86 c #Conflicts: 158000 | #Constraints: 11395
90.47/90.86 c #Conflicts: 159000 | #Constraints: 12395
90.47/90.86 c #Conflicts: 160000 | #Constraints: 13395
90.47/90.86 c #Conflicts: 161000 | #Constraints: 14395
90.47/90.86 c #Conflicts: 162000 | #Constraints: 15395
90.47/90.86 c #Conflicts: 163000 | #Constraints: 16395
90.47/90.86 c INPROCESSING
90.47/90.86 c GARBAGE COLLECT
90.47/90.86 c #Conflicts: 164000 | #Constraints: 9390
90.47/90.86 c #Conflicts: 165000 | #Constraints: 10390
90.47/90.86 c #Conflicts: 166000 | #Constraints: 11390
90.47/90.86 c #Conflicts: 167000 | #Constraints: 12390
90.47/90.86 c #Conflicts: 168000 | #Constraints: 13390
90.47/90.86 c #Conflicts: 169000 | #Constraints: 14390
90.47/90.86 c #Conflicts: 170000 | #Constraints: 15390
90.47/90.86 c #Conflicts: 171000 | #Constraints: 16390
90.47/90.86 c INPROCESSING
90.47/90.86 c GARBAGE COLLECT
90.47/90.86 c #Conflicts: 172000 | #Constraints: 9191
90.47/90.86 c #Conflicts: 173000 | #Constraints: 10191
90.47/90.86 c #Conflicts: 174000 | #Constraints: 11191
90.47/90.86 c #Conflicts: 175000 | #Constraints: 12191
90.47/90.86 c #Conflicts: 176000 | #Constraints: 13191
90.47/90.86 c #Conflicts: 177000 | #Constraints: 14191
90.47/90.86 c #Conflicts: 178000 | #Constraints: 15191
90.47/90.86 c #Conflicts: 179000 | #Constraints: 16191
90.47/90.86 c #Conflicts: 180000 | #Constraints: 17191
90.47/90.86 c INPROCESSING
90.47/90.86 c GARBAGE COLLECT
90.47/90.86 c #Conflicts: 181000 | #Constraints: 9796
90.47/90.86 c #Conflicts: 182000 | #Constraints: 10796
90.47/90.86 c #Conflicts: 183000 | #Constraints: 11796
90.47/90.86 c #Conflicts: 184000 | #Constraints: 12796
90.47/90.86 c #Conflicts: 185000 | #Constraints: 13796
90.47/90.86 c #Conflicts: 186000 | #Constraints: 14796
90.47/90.86 c #Conflicts: 187000 | #Constraints: 15796
90.47/90.86 c #Conflicts: 188000 | #Constraints: 16796
90.47/90.86 c #Conflicts: 189000 | #Constraints: 17796
90.47/90.86 c INPROCESSING
90.47/90.86 c GARBAGE COLLECT
90.47/90.86 c #Conflicts: 190000 | #Constraints: 10190
90.47/90.86 c #Conflicts: 191000 | #Constraints: 11190
90.47/90.86 c #Conflicts: 192000 | #Constraints: 12190
162.73/163.36 c #Conflicts: 193000 | #Constraints: 13190
162.73/163.36 c #Conflicts: 194000 | #Constraints: 14190
162.73/163.36 c #Conflicts: 195000 | #Constraints: 15190
162.73/163.36 c #Conflicts: 196000 | #Constraints: 16190
162.73/163.36 c #Conflicts: 197000 | #Constraints: 17190
162.73/163.36 c #Conflicts: 198000 | #Constraints: 18190
162.73/163.36 c INPROCESSING
162.73/163.36 c GARBAGE COLLECT
162.73/163.36 c #Conflicts: 199000 | #Constraints: 10393
162.73/163.36 c #Conflicts: 200000 | #Constraints: 11393
162.73/163.36 c #Conflicts: 201000 | #Constraints: 12393
162.73/163.36 c #Conflicts: 202000 | #Constraints: 13393
162.73/163.36 c #Conflicts: 203000 | #Constraints: 14393
162.73/163.36 c #Conflicts: 204000 | #Constraints: 15393
162.73/163.36 c #Conflicts: 205000 | #Constraints: 16393
162.73/163.36 c #Conflicts: 206000 | #Constraints: 17393
162.73/163.36 c #Conflicts: 207000 | #Constraints: 18393
162.73/163.36 c INPROCESSING
162.73/163.36 c GARBAGE COLLECT
162.73/163.36 c #Conflicts: 208000 | #Constraints: 10387
162.73/163.36 c #Conflicts: 209000 | #Constraints: 11387
162.73/163.36 c #Conflicts: 210000 | #Constraints: 12387
162.73/163.36 c #Conflicts: 211000 | #Constraints: 13387
162.73/163.36 c #Conflicts: 212000 | #Constraints: 14387
162.73/163.36 c #Conflicts: 213000 | #Constraints: 15387
162.73/163.36 c #Conflicts: 214000 | #Constraints: 16387
162.73/163.36 c #Conflicts: 215000 | #Constraints: 17387
162.73/163.36 c #Conflicts: 216000 | #Constraints: 18387
162.73/163.36 c INPROCESSING
162.73/163.36 c GARBAGE COLLECT
162.73/163.36 c #Conflicts: 217000 | #Constraints: 10199
162.73/163.36 c #Conflicts: 218000 | #Constraints: 11199
162.73/163.36 c #Conflicts: 219000 | #Constraints: 12199
162.73/163.36 c #Conflicts: 220000 | #Constraints: 13199
162.73/163.36 c #Conflicts: 221000 | #Constraints: 14199
162.73/163.36 c #Conflicts: 222000 | #Constraints: 15199
162.73/163.36 c #Conflicts: 223000 | #Constraints: 16199
162.73/163.36 c #Conflicts: 224000 | #Constraints: 17199
162.73/163.36 c #Conflicts: 225000 | #Constraints: 18199
162.73/163.36 c #Conflicts: 226000 | #Constraints: 19199
162.73/163.36 c INPROCESSING
162.73/163.36 c GARBAGE COLLECT
162.73/163.36 c #Conflicts: 227000 | #Constraints: 10793
162.73/163.36 c #Conflicts: 228000 | #Constraints: 11793
162.73/163.36 c #Conflicts: 229000 | #Constraints: 12793
162.73/163.36 c #Conflicts: 230000 | #Constraints: 13793
162.73/163.36 c #Conflicts: 231000 | #Constraints: 14793
162.73/163.36 c #Conflicts: 232000 | #Constraints: 15793
162.73/163.36 c #Conflicts: 233000 | #Constraints: 16793
162.73/163.36 c #Conflicts: 234000 | #Constraints: 17793
162.73/163.36 c #Conflicts: 235000 | #Constraints: 18793
162.73/163.36 c #Conflicts: 236000 | #Constraints: 19793
162.73/163.36 c INPROCESSING
162.73/163.36 c GARBAGE COLLECT
162.73/163.36 c #Conflicts: 237000 | #Constraints: 11197
162.73/163.36 c #Conflicts: 238000 | #Constraints: 12197
162.73/163.36 c #Conflicts: 239000 | #Constraints: 13197
162.73/163.36 c #Conflicts: 240000 | #Constraints: 14197
162.73/163.36 c #Conflicts: 241000 | #Constraints: 15197
162.73/163.36 c #Conflicts: 242000 | #Constraints: 16197
162.73/163.36 c #Conflicts: 243000 | #Constraints: 17197
162.73/163.36 c #Conflicts: 244000 | #Constraints: 18197
162.73/163.36 c #Conflicts: 245000 | #Constraints: 19197
162.73/163.36 c #Conflicts: 246000 | #Constraints: 20197
162.73/163.36 c INPROCESSING
162.73/163.36 c GARBAGE COLLECT
162.73/163.36 c #Conflicts: 247000 | #Constraints: 11397
162.73/163.36 c #Conflicts: 248000 | #Constraints: 12397
162.73/163.36 c #Conflicts: 249000 | #Constraints: 13397
162.73/163.36 c #Conflicts: 250000 | #Constraints: 14397
162.73/163.36 c #Conflicts: 251000 | #Constraints: 15397
162.73/163.36 c #Conflicts: 252000 | #Constraints: 16397
162.73/163.36 c #Conflicts: 253000 | #Constraints: 17397
162.73/163.36 c #Conflicts: 254000 | #Constraints: 18397
162.73/163.36 c #Conflicts: 255000 | #Constraints: 19397
162.73/163.36 c #Conflicts: 256000 | #Constraints: 20397
162.73/163.36 c INPROCESSING
162.73/163.36 c GARBAGE COLLECT
162.73/163.36 c #Conflicts: 257000 | #Constraints: 11402
162.73/163.36 c #Conflicts: 258000 | #Constraints: 12402
162.73/163.36 c #Conflicts: 259000 | #Constraints: 13402
162.73/163.36 c #Conflicts: 260000 | #Constraints: 14402
162.73/163.36 c #Conflicts: 261000 | #Constraints: 15402
162.73/163.36 c #Conflicts: 262000 | #Constraints: 16402
162.73/163.36 c #Conflicts: 263000 | #Constraints: 17402
162.73/163.36 c #Conflicts: 264000 | #Constraints: 18402
162.73/163.36 c #Conflicts: 265000 | #Constraints: 19402
162.73/163.36 c #Conflicts: 266000 | #Constraints: 20402
248.74/249.64 c INPROCESSING
248.74/249.64 c GARBAGE COLLECT
248.74/249.64 c #Conflicts: 267000 | #Constraints: 11196
248.74/249.64 c #Conflicts: 268000 | #Constraints: 12196
248.74/249.64 c #Conflicts: 269000 | #Constraints: 13196
248.74/249.64 c #Conflicts: 270000 | #Constraints: 14196
248.74/249.64 c #Conflicts: 271000 | #Constraints: 15196
248.74/249.64 c #Conflicts: 272000 | #Constraints: 16196
248.74/249.64 c #Conflicts: 273000 | #Constraints: 17196
248.74/249.64 c #Conflicts: 274000 | #Constraints: 18196
248.74/249.64 c #Conflicts: 275000 | #Constraints: 19196
248.74/249.64 c #Conflicts: 276000 | #Constraints: 20196
248.74/249.64 c #Conflicts: 277000 | #Constraints: 21196
248.74/249.64 c INPROCESSING
248.74/249.64 c GARBAGE COLLECT
248.74/249.64 c #Conflicts: 278000 | #Constraints: 11800
248.74/249.64 c #Conflicts: 279000 | #Constraints: 12800
248.74/249.64 c #Conflicts: 280000 | #Constraints: 13800
248.74/249.64 c #Conflicts: 281000 | #Constraints: 14800
248.74/249.64 c #Conflicts: 282000 | #Constraints: 15800
248.74/249.64 c #Conflicts: 283000 | #Constraints: 16800
248.74/249.64 c #Conflicts: 284000 | #Constraints: 17800
248.74/249.64 c #Conflicts: 285000 | #Constraints: 18800
248.74/249.64 c #Conflicts: 286000 | #Constraints: 19800
248.74/249.64 c #Conflicts: 287000 | #Constraints: 20800
248.74/249.64 c #Conflicts: 288000 | #Constraints: 21800
248.74/249.64 c INPROCESSING
248.74/249.64 c GARBAGE COLLECT
248.74/249.64 c #Conflicts: 289000 | #Constraints: 12211
248.74/249.64 c #Conflicts: 290000 | #Constraints: 13211
248.74/249.64 c #Conflicts: 291000 | #Constraints: 14211
248.74/249.64 c #Conflicts: 292000 | #Constraints: 15211
248.74/249.64 c #Conflicts: 293000 | #Constraints: 16211
248.74/249.64 c #Conflicts: 294000 | #Constraints: 17211
248.74/249.64 c #Conflicts: 295000 | #Constraints: 18211
248.74/249.64 c #Conflicts: 296000 | #Constraints: 19211
248.74/249.64 c #Conflicts: 297000 | #Constraints: 20211
248.74/249.64 c #Conflicts: 298000 | #Constraints: 21211
248.74/249.64 c #Conflicts: 299000 | #Constraints: 22211
248.74/249.64 c INPROCESSING
248.74/249.64 c GARBAGE COLLECT
248.74/249.64 c #Conflicts: 300000 | #Constraints: 12405
248.74/249.64 c #Conflicts: 301000 | #Constraints: 13405
248.74/249.64 c #Conflicts: 302000 | #Constraints: 14405
248.74/249.64 c #Conflicts: 303000 | #Constraints: 15405
248.74/249.64 c #Conflicts: 304000 | #Constraints: 16405
248.74/249.64 c #Conflicts: 305000 | #Constraints: 17405
248.74/249.64 c #Conflicts: 306000 | #Constraints: 18405
248.74/249.64 c #Conflicts: 307000 | #Constraints: 19405
248.74/249.64 c #Conflicts: 308000 | #Constraints: 20405
248.74/249.64 c #Conflicts: 309000 | #Constraints: 21405
248.74/249.64 c #Conflicts: 310000 | #Constraints: 22405
248.74/249.64 c INPROCESSING
248.74/249.64 c GARBAGE COLLECT
248.74/249.64 c #Conflicts: 311000 | #Constraints: 12401
248.74/249.64 c #Conflicts: 312000 | #Constraints: 13401
248.74/249.64 c #Conflicts: 313000 | #Constraints: 14401
248.74/249.64 c #Conflicts: 314000 | #Constraints: 15401
248.74/249.64 c #Conflicts: 315000 | #Constraints: 16401
248.74/249.64 c #Conflicts: 316000 | #Constraints: 17401
248.74/249.64 c #Conflicts: 317000 | #Constraints: 18401
248.74/249.64 c #Conflicts: 318000 | #Constraints: 19401
248.74/249.64 c #Conflicts: 319000 | #Constraints: 20401
248.74/249.64 c #Conflicts: 320000 | #Constraints: 21401
248.74/249.64 c #Conflicts: 321000 | #Constraints: 22401
248.74/249.64 c INPROCESSING
248.74/249.64 c GARBAGE COLLECT
248.74/249.64 c #Conflicts: 322000 | #Constraints: 12197
248.74/249.64 c #Conflicts: 323000 | #Constraints: 13197
248.74/249.64 c #Conflicts: 324000 | #Constraints: 14197
248.74/249.64 c #Conflicts: 325000 | #Constraints: 15197
248.74/249.64 c #Conflicts: 326000 | #Constraints: 16197
248.74/249.64 c #Conflicts: 327000 | #Constraints: 17197
248.74/249.64 c #Conflicts: 328000 | #Constraints: 18197
248.74/249.64 c #Conflicts: 329000 | #Constraints: 19197
248.74/249.64 c #Conflicts: 330000 | #Constraints: 20197
248.74/249.64 c #Conflicts: 331000 | #Constraints: 21197
248.74/249.64 c #Conflicts: 332000 | #Constraints: 22197
248.74/249.64 c #Conflicts: 333000 | #Constraints: 23197
248.74/249.64 c INPROCESSING
248.74/249.64 c GARBAGE COLLECT
248.74/249.64 c #Conflicts: 334000 | #Constraints: 12808
248.74/249.64 c #Conflicts: 335000 | #Constraints: 13808
248.74/249.64 c #Conflicts: 336000 | #Constraints: 14808
248.74/249.64 c #Conflicts: 337000 | #Constraints: 15808
248.74/249.64 c #Conflicts: 338000 | #Constraints: 16808
248.74/249.64 c #Conflicts: 339000 | #Constraints: 17808
248.74/249.64 c #Conflicts: 340000 | #Constraints: 18808
354.48/355.78 c #Conflicts: 341000 | #Constraints: 19808
354.48/355.78 c #Conflicts: 342000 | #Constraints: 20808
354.48/355.78 c #Conflicts: 343000 | #Constraints: 21808
354.48/355.78 c #Conflicts: 344000 | #Constraints: 22808
354.48/355.78 c #Conflicts: 345000 | #Constraints: 23808
354.48/355.78 c INPROCESSING
354.48/355.78 c GARBAGE COLLECT
354.48/355.78 c #Conflicts: 346000 | #Constraints: 13205
354.48/355.78 c #Conflicts: 347000 | #Constraints: 14205
354.48/355.78 c #Conflicts: 348000 | #Constraints: 15205
354.48/355.78 c #Conflicts: 349000 | #Constraints: 16205
354.48/355.78 c #Conflicts: 350000 | #Constraints: 17205
354.48/355.78 c #Conflicts: 351000 | #Constraints: 18205
354.48/355.78 c #Conflicts: 352000 | #Constraints: 19205
354.48/355.78 c #Conflicts: 353000 | #Constraints: 20205
354.48/355.78 c #Conflicts: 354000 | #Constraints: 21205
354.48/355.78 c #Conflicts: 355000 | #Constraints: 22205
354.48/355.78 c #Conflicts: 356000 | #Constraints: 23205
354.48/355.78 c #Conflicts: 357000 | #Constraints: 24205
354.48/355.78 c INPROCESSING
354.48/355.78 c GARBAGE COLLECT
354.48/355.78 c #Conflicts: 358000 | #Constraints: 13403
354.48/355.78 c #Conflicts: 359000 | #Constraints: 14403
354.48/355.78 c #Conflicts: 360000 | #Constraints: 15403
354.48/355.78 c #Conflicts: 361000 | #Constraints: 16403
354.48/355.78 c #Conflicts: 362000 | #Constraints: 17403
354.48/355.78 c #Conflicts: 363000 | #Constraints: 18403
354.48/355.78 c #Conflicts: 364000 | #Constraints: 19403
354.48/355.78 c #Conflicts: 365000 | #Constraints: 20403
354.48/355.78 c #Conflicts: 366000 | #Constraints: 21403
354.48/355.78 c #Conflicts: 367000 | #Constraints: 22403
354.48/355.78 c #Conflicts: 368000 | #Constraints: 23403
354.48/355.78 c #Conflicts: 369000 | #Constraints: 24403
354.48/355.78 c INPROCESSING
354.48/355.78 c GARBAGE COLLECT
354.48/355.78 c #Conflicts: 370000 | #Constraints: 13409
354.48/355.78 c #Conflicts: 371000 | #Constraints: 14409
354.48/355.78 c #Conflicts: 372000 | #Constraints: 15409
354.48/355.78 c #Conflicts: 373000 | #Constraints: 16409
354.48/355.78 c #Conflicts: 374000 | #Constraints: 17409
354.48/355.78 c #Conflicts: 375000 | #Constraints: 18409
354.48/355.78 c #Conflicts: 376000 | #Constraints: 19409
354.48/355.78 c #Conflicts: 377000 | #Constraints: 20409
354.48/355.78 c #Conflicts: 378000 | #Constraints: 21409
354.48/355.78 c #Conflicts: 379000 | #Constraints: 22409
354.48/355.78 c #Conflicts: 380000 | #Constraints: 23409
354.48/355.78 c #Conflicts: 381000 | #Constraints: 24409
354.48/355.78 c INPROCESSING
354.48/355.78 c GARBAGE COLLECT
354.48/355.78 c #Conflicts: 382000 | #Constraints: 13212
354.48/355.78 c #Conflicts: 383000 | #Constraints: 14212
354.48/355.78 c #Conflicts: 384000 | #Constraints: 15212
354.48/355.78 c #Conflicts: 385000 | #Constraints: 16212
354.48/355.78 c #Conflicts: 386000 | #Constraints: 17212
354.48/355.78 c #Conflicts: 387000 | #Constraints: 18212
354.48/355.78 c #Conflicts: 388000 | #Constraints: 19212
354.48/355.78 c #Conflicts: 389000 | #Constraints: 20212
354.48/355.78 c #Conflicts: 390000 | #Constraints: 21212
354.48/355.78 c #Conflicts: 391000 | #Constraints: 22212
354.48/355.78 c #Conflicts: 392000 | #Constraints: 23212
354.48/355.78 c #Conflicts: 393000 | #Constraints: 24212
354.48/355.78 c #Conflicts: 394000 | #Constraints: 25212
354.48/355.78 c INPROCESSING
354.48/355.78 c GARBAGE COLLECT
354.48/355.78 c #Conflicts: 395000 | #Constraints: 13814
354.48/355.78 c #Conflicts: 396000 | #Constraints: 14814
354.48/355.78 c #Conflicts: 397000 | #Constraints: 15814
354.48/355.78 c #Conflicts: 398000 | #Constraints: 16814
354.48/355.78 c #Conflicts: 399000 | #Constraints: 17814
354.48/355.78 c #Conflicts: 400000 | #Constraints: 18814
354.48/355.78 c #Conflicts: 401000 | #Constraints: 19814
354.48/355.78 c #Conflicts: 402000 | #Constraints: 20814
354.48/355.78 c #Conflicts: 403000 | #Constraints: 21814
354.48/355.78 c #Conflicts: 404000 | #Constraints: 22814
354.48/355.78 c #Conflicts: 405000 | #Constraints: 23814
354.48/355.78 c #Conflicts: 406000 | #Constraints: 24814
354.48/355.78 c #Conflicts: 407000 | #Constraints: 25814
354.48/355.78 c INPROCESSING
354.48/355.78 c GARBAGE COLLECT
354.48/355.78 c #Conflicts: 408000 | #Constraints: 14213
354.48/355.78 c #Conflicts: 409000 | #Constraints: 15213
354.48/355.78 c #Conflicts: 410000 | #Constraints: 16213
354.48/355.78 c #Conflicts: 411000 | #Constraints: 17213
354.48/355.78 c #Conflicts: 412000 | #Constraints: 18213
354.48/355.78 c #Conflicts: 413000 | #Constraints: 19213
354.48/355.78 c #Conflicts: 414000 | #Constraints: 20213
354.48/355.78 c #Conflicts: 415000 | #Constraints: 21213
465.91/467.59 c #Conflicts: 416000 | #Constraints: 22213
465.91/467.59 c #Conflicts: 417000 | #Constraints: 23213
465.91/467.59 c #Conflicts: 418000 | #Constraints: 24213
465.91/467.59 c #Conflicts: 419000 | #Constraints: 25213
465.91/467.59 c #Conflicts: 420000 | #Constraints: 26213
465.91/467.59 c INPROCESSING
465.91/467.59 c GARBAGE COLLECT
465.91/467.59 c #Conflicts: 421000 | #Constraints: 14410
465.91/467.59 c #Conflicts: 422000 | #Constraints: 15410
465.91/467.59 c #Conflicts: 423000 | #Constraints: 16410
465.91/467.59 c #Conflicts: 424000 | #Constraints: 17410
465.91/467.59 c #Conflicts: 425000 | #Constraints: 18410
465.91/467.59 c #Conflicts: 426000 | #Constraints: 19410
465.91/467.59 c #Conflicts: 427000 | #Constraints: 20410
465.91/467.59 c #Conflicts: 428000 | #Constraints: 21410
465.91/467.59 c #Conflicts: 429000 | #Constraints: 22410
465.91/467.59 c #Conflicts: 430000 | #Constraints: 23410
465.91/467.59 c #Conflicts: 431000 | #Constraints: 24410
465.91/467.59 c #Conflicts: 432000 | #Constraints: 25410
465.91/467.59 c #Conflicts: 433000 | #Constraints: 26410
465.91/467.59 c INPROCESSING
465.91/467.59 c GARBAGE COLLECT
465.91/467.59 c #Conflicts: 434000 | #Constraints: 14413
465.91/467.59 c #Conflicts: 435000 | #Constraints: 15413
465.91/467.59 c #Conflicts: 436000 | #Constraints: 16413
465.91/467.59 c #Conflicts: 437000 | #Constraints: 17413
465.91/467.59 c #Conflicts: 438000 | #Constraints: 18413
465.91/467.59 c #Conflicts: 439000 | #Constraints: 19413
465.91/467.59 c #Conflicts: 440000 | #Constraints: 20413
465.91/467.59 c #Conflicts: 441000 | #Constraints: 21413
465.91/467.59 c #Conflicts: 442000 | #Constraints: 22413
465.91/467.59 c #Conflicts: 443000 | #Constraints: 23413
465.91/467.59 c #Conflicts: 444000 | #Constraints: 24413
465.91/467.59 c #Conflicts: 445000 | #Constraints: 25413
465.91/467.59 c #Conflicts: 446000 | #Constraints: 26413
465.91/467.59 c INPROCESSING
465.91/467.59 c GARBAGE COLLECT
465.91/467.59 c #Conflicts: 447000 | #Constraints: 14206
465.91/467.59 c #Conflicts: 448000 | #Constraints: 15206
465.91/467.59 c #Conflicts: 449000 | #Constraints: 16206
465.91/467.59 c #Conflicts: 450000 | #Constraints: 17206
465.91/467.59 c #Conflicts: 451000 | #Constraints: 18206
465.91/467.59 c #Conflicts: 452000 | #Constraints: 19206
465.91/467.59 c #Conflicts: 453000 | #Constraints: 20206
465.91/467.59 c #Conflicts: 454000 | #Constraints: 21206
465.91/467.59 c #Conflicts: 455000 | #Constraints: 22206
465.91/467.59 c #Conflicts: 456000 | #Constraints: 23206
465.91/467.59 c #Conflicts: 457000 | #Constraints: 24206
465.91/467.59 c #Conflicts: 458000 | #Constraints: 25206
465.91/467.59 c #Conflicts: 459000 | #Constraints: 26206
465.91/467.59 c #Conflicts: 460000 | #Constraints: 27206
465.91/467.59 c INPROCESSING
465.91/467.59 c GARBAGE COLLECT
465.91/467.59 c #Conflicts: 461000 | #Constraints: 14808
465.91/467.59 c #Conflicts: 462000 | #Constraints: 15808
465.91/467.59 c #Conflicts: 463000 | #Constraints: 16808
465.91/467.59 c #Conflicts: 464000 | #Constraints: 17808
465.91/467.59 c #Conflicts: 465000 | #Constraints: 18808
465.91/467.59 c #Conflicts: 466000 | #Constraints: 19808
465.91/467.59 c #Conflicts: 467000 | #Constraints: 20808
465.91/467.59 c #Conflicts: 468000 | #Constraints: 21808
465.91/467.59 c #Conflicts: 469000 | #Constraints: 22808
465.91/467.59 c #Conflicts: 470000 | #Constraints: 23808
465.91/467.59 c #Conflicts: 471000 | #Constraints: 24808
465.91/467.59 c #Conflicts: 472000 | #Constraints: 25808
465.91/467.59 c #Conflicts: 473000 | #Constraints: 26808
465.91/467.59 c #Conflicts: 474000 | #Constraints: 27808
465.91/467.59 c INPROCESSING
465.91/467.59 c GARBAGE COLLECT
465.91/467.59 c #Conflicts: 475000 | #Constraints: 15208
465.91/467.59 c #Conflicts: 476000 | #Constraints: 16208
465.91/467.59 c #Conflicts: 477000 | #Constraints: 17208
465.91/467.59 c #Conflicts: 478000 | #Constraints: 18208
465.91/467.59 c #Conflicts: 479000 | #Constraints: 19208
465.91/467.59 c #Conflicts: 480000 | #Constraints: 20208
465.91/467.59 c #Conflicts: 481000 | #Constraints: 21208
465.91/467.59 c #Conflicts: 482000 | #Constraints: 22208
465.91/467.59 c #Conflicts: 483000 | #Constraints: 23208
465.91/467.59 c #Conflicts: 484000 | #Constraints: 24208
465.91/467.59 c #Conflicts: 485000 | #Constraints: 25208
465.91/467.59 c #Conflicts: 486000 | #Constraints: 26208
465.91/467.59 c #Conflicts: 487000 | #Constraints: 27208
465.91/467.59 c #Conflicts: 488000 | #Constraints: 28208
465.91/467.59 c INPROCESSING
465.91/467.59 c GARBAGE COLLECT
465.91/467.59 c #Conflicts: 489000 | #Constraints: 15399
465.91/467.59 c #Conflicts: 490000 | #Constraints: 16399
614.09/616.25 c #Conflicts: 491000 | #Constraints: 17399
614.09/616.25 c #Conflicts: 492000 | #Constraints: 18399
614.09/616.25 c #Conflicts: 493000 | #Constraints: 19399
614.09/616.25 c #Conflicts: 494000 | #Constraints: 20399
614.09/616.25 c #Conflicts: 495000 | #Constraints: 21399
614.09/616.25 c #Conflicts: 496000 | #Constraints: 22399
614.09/616.25 c #Conflicts: 497000 | #Constraints: 23399
614.09/616.25 c #Conflicts: 498000 | #Constraints: 24399
614.09/616.25 c #Conflicts: 499000 | #Constraints: 25399
614.09/616.25 c #Conflicts: 500000 | #Constraints: 26399
614.09/616.25 c #Conflicts: 501000 | #Constraints: 27399
614.09/616.25 c #Conflicts: 502000 | #Constraints: 28399
614.09/616.25 c INPROCESSING
614.09/616.25 c GARBAGE COLLECT
614.09/616.25 c #Conflicts: 503000 | #Constraints: 15405
614.09/616.25 c #Conflicts: 504000 | #Constraints: 16405
614.09/616.25 c #Conflicts: 505000 | #Constraints: 17405
614.09/616.25 c #Conflicts: 506000 | #Constraints: 18405
614.09/616.25 c #Conflicts: 507000 | #Constraints: 19405
614.09/616.25 c #Conflicts: 508000 | #Constraints: 20405
614.09/616.25 c #Conflicts: 509000 | #Constraints: 21405
614.09/616.25 c #Conflicts: 510000 | #Constraints: 22405
614.09/616.25 c #Conflicts: 511000 | #Constraints: 23405
614.09/616.25 c #Conflicts: 512000 | #Constraints: 24405
614.09/616.25 c #Conflicts: 513000 | #Constraints: 25405
614.09/616.25 c #Conflicts: 514000 | #Constraints: 26405
614.09/616.25 c #Conflicts: 515000 | #Constraints: 27405
614.09/616.25 c #Conflicts: 516000 | #Constraints: 28405
614.09/616.25 c INPROCESSING
614.09/616.25 c GARBAGE COLLECT
614.09/616.25 c #Conflicts: 517000 | #Constraints: 15204
614.09/616.25 c #Conflicts: 518000 | #Constraints: 16204
614.09/616.25 c #Conflicts: 519000 | #Constraints: 17204
614.09/616.25 c #Conflicts: 520000 | #Constraints: 18204
614.09/616.25 c #Conflicts: 521000 | #Constraints: 19204
614.09/616.25 c #Conflicts: 522000 | #Constraints: 20204
614.09/616.25 c #Conflicts: 523000 | #Constraints: 21204
614.09/616.25 c #Conflicts: 524000 | #Constraints: 22204
614.09/616.25 c #Conflicts: 525000 | #Constraints: 23204
614.09/616.25 c #Conflicts: 526000 | #Constraints: 24204
614.09/616.25 c #Conflicts: 527000 | #Constraints: 25204
614.09/616.25 c #Conflicts: 528000 | #Constraints: 26204
614.09/616.25 c #Conflicts: 529000 | #Constraints: 27204
614.09/616.25 c #Conflicts: 530000 | #Constraints: 28204
614.09/616.25 c #Conflicts: 531000 | #Constraints: 29204
614.09/616.25 c INPROCESSING
614.09/616.25 c GARBAGE COLLECT
614.09/616.25 c #Conflicts: 532000 | #Constraints: 15809
614.09/616.25 c #Conflicts: 533000 | #Constraints: 16809
614.09/616.25 c #Conflicts: 534000 | #Constraints: 17809
614.09/616.25 c #Conflicts: 535000 | #Constraints: 18809
614.09/616.25 c #Conflicts: 536000 | #Constraints: 19809
614.09/616.25 c #Conflicts: 537000 | #Constraints: 20809
614.09/616.25 c #Conflicts: 538000 | #Constraints: 21809
614.09/616.25 c #Conflicts: 539000 | #Constraints: 22809
614.09/616.25 c #Conflicts: 540000 | #Constraints: 23809
614.09/616.25 c #Conflicts: 541000 | #Constraints: 24809
614.09/616.25 c #Conflicts: 542000 | #Constraints: 25809
614.09/616.25 c #Conflicts: 543000 | #Constraints: 26809
614.09/616.25 c #Conflicts: 544000 | #Constraints: 27809
614.09/616.25 c #Conflicts: 545000 | #Constraints: 28809
614.09/616.25 c #Conflicts: 546000 | #Constraints: 29809
614.09/616.25 c INPROCESSING
614.09/616.25 c GARBAGE COLLECT
614.09/616.25 c #Conflicts: 547000 | #Constraints: 16208
614.09/616.25 c #Conflicts: 548000 | #Constraints: 17208
614.09/616.25 c #Conflicts: 549000 | #Constraints: 18208
614.09/616.25 c #Conflicts: 550000 | #Constraints: 19208
614.09/616.25 c #Conflicts: 551000 | #Constraints: 20208
614.09/616.25 c #Conflicts: 552000 | #Constraints: 21208
614.09/616.25 c #Conflicts: 553000 | #Constraints: 22208
614.09/616.25 c #Conflicts: 554000 | #Constraints: 23208
614.09/616.25 c #Conflicts: 555000 | #Constraints: 24208
614.09/616.25 c #Conflicts: 556000 | #Constraints: 25208
614.09/616.25 c #Conflicts: 557000 | #Constraints: 26208
614.09/616.25 c #Conflicts: 558000 | #Constraints: 27208
614.09/616.25 c #Conflicts: 559000 | #Constraints: 28208
614.09/616.25 c #Conflicts: 560000 | #Constraints: 29208
614.09/616.25 c #Conflicts: 561000 | #Constraints: 30208
614.09/616.25 c INPROCESSING
614.09/616.25 c GARBAGE COLLECT
614.09/616.25 c #Conflicts: 562000 | #Constraints: 16410
614.09/616.25 c #Conflicts: 563000 | #Constraints: 17410
614.09/616.25 c #Conflicts: 564000 | #Constraints: 18410
614.09/616.25 c #Conflicts: 565000 | #Constraints: 19410
614.09/616.25 c #Conflicts: 566000 | #Constraints: 20410
771.45/774.17 c #Conflicts: 567000 | #Constraints: 21410
771.45/774.17 c #Conflicts: 568000 | #Constraints: 22410
771.45/774.17 c #Conflicts: 569000 | #Constraints: 23410
771.45/774.17 c #Conflicts: 570000 | #Constraints: 24410
771.45/774.17 c #Conflicts: 571000 | #Constraints: 25410
771.45/774.17 c #Conflicts: 572000 | #Constraints: 26410
771.45/774.17 c #Conflicts: 573000 | #Constraints: 27410
771.45/774.17 c #Conflicts: 574000 | #Constraints: 28410
771.45/774.17 c #Conflicts: 575000 | #Constraints: 29410
771.45/774.17 c #Conflicts: 576000 | #Constraints: 30410
771.45/774.17 c INPROCESSING
771.45/774.17 c GARBAGE COLLECT
771.45/774.17 c #Conflicts: 577000 | #Constraints: 16404
771.45/774.17 c #Conflicts: 578000 | #Constraints: 17404
771.45/774.17 c #Conflicts: 579000 | #Constraints: 18404
771.45/774.17 c #Conflicts: 580000 | #Constraints: 19404
771.45/774.17 c #Conflicts: 581000 | #Constraints: 20404
771.45/774.17 c #Conflicts: 582000 | #Constraints: 21404
771.45/774.17 c #Conflicts: 583000 | #Constraints: 22404
771.45/774.17 c #Conflicts: 584000 | #Constraints: 23404
771.45/774.17 c #Conflicts: 585000 | #Constraints: 24404
771.45/774.17 c #Conflicts: 586000 | #Constraints: 25404
771.45/774.17 c #Conflicts: 587000 | #Constraints: 26404
771.45/774.17 c #Conflicts: 588000 | #Constraints: 27404
771.45/774.17 c #Conflicts: 589000 | #Constraints: 28404
771.45/774.17 c #Conflicts: 590000 | #Constraints: 29404
771.45/774.17 c #Conflicts: 591000 | #Constraints: 30404
771.45/774.17 c INPROCESSING
771.45/774.17 c GARBAGE COLLECT
771.45/774.17 c #Conflicts: 592000 | #Constraints: 16193
771.45/774.17 c #Conflicts: 593000 | #Constraints: 17193
771.45/774.17 c #Conflicts: 594000 | #Constraints: 18193
771.45/774.17 c #Conflicts: 595000 | #Constraints: 19193
771.45/774.17 c #Conflicts: 596000 | #Constraints: 20193
771.45/774.17 c #Conflicts: 597000 | #Constraints: 21193
771.45/774.17 c #Conflicts: 598000 | #Constraints: 22193
771.45/774.17 c #Conflicts: 599000 | #Constraints: 23193
771.45/774.17 c #Conflicts: 600000 | #Constraints: 24193
771.45/774.17 c #Conflicts: 601000 | #Constraints: 25193
771.45/774.17 c #Conflicts: 602000 | #Constraints: 26193
771.45/774.17 c #Conflicts: 603000 | #Constraints: 27193
771.45/774.17 c #Conflicts: 604000 | #Constraints: 28193
771.45/774.17 c #Conflicts: 605000 | #Constraints: 29193
771.45/774.17 c #Conflicts: 606000 | #Constraints: 30193
771.45/774.17 c #Conflicts: 607000 | #Constraints: 31193
771.45/774.17 c INPROCESSING
771.45/774.17 c GARBAGE COLLECT
771.45/774.17 c #Conflicts: 608000 | #Constraints: 16803
771.45/774.17 c #Conflicts: 609000 | #Constraints: 17803
771.45/774.17 c #Conflicts: 610000 | #Constraints: 18803
771.45/774.17 c #Conflicts: 611000 | #Constraints: 19803
771.45/774.17 c #Conflicts: 612000 | #Constraints: 20803
771.45/774.17 c #Conflicts: 613000 | #Constraints: 21803
771.45/774.17 c #Conflicts: 614000 | #Constraints: 22803
771.45/774.17 c #Conflicts: 615000 | #Constraints: 23803
771.45/774.17 c #Conflicts: 616000 | #Constraints: 24803
771.45/774.17 c #Conflicts: 617000 | #Constraints: 25803
771.45/774.17 c #Conflicts: 618000 | #Constraints: 26803
771.45/774.17 c #Conflicts: 619000 | #Constraints: 27803
771.45/774.17 c #Conflicts: 620000 | #Constraints: 28803
771.45/774.17 c #Conflicts: 621000 | #Constraints: 29803
771.45/774.17 c #Conflicts: 622000 | #Constraints: 30803
771.45/774.17 c #Conflicts: 623000 | #Constraints: 31803
771.45/774.17 c INPROCESSING
771.45/774.17 c GARBAGE COLLECT
771.45/774.17 c #Conflicts: 624000 | #Constraints: 17203
771.45/774.17 c #Conflicts: 625000 | #Constraints: 18203
771.45/774.17 c #Conflicts: 626000 | #Constraints: 19203
771.45/774.17 c #Conflicts: 627000 | #Constraints: 20203
771.45/774.17 c #Conflicts: 628000 | #Constraints: 21203
771.45/774.17 c #Conflicts: 629000 | #Constraints: 22203
771.45/774.17 c #Conflicts: 630000 | #Constraints: 23203
771.45/774.17 c #Conflicts: 631000 | #Constraints: 24203
771.45/774.17 c #Conflicts: 632000 | #Constraints: 25203
771.45/774.17 c #Conflicts: 633000 | #Constraints: 26203
771.45/774.17 c #Conflicts: 634000 | #Constraints: 27203
771.45/774.17 c #Conflicts: 635000 | #Constraints: 28203
771.45/774.17 c #Conflicts: 636000 | #Constraints: 29203
771.45/774.17 c #Conflicts: 637000 | #Constraints: 30203
771.45/774.17 c #Conflicts: 638000 | #Constraints: 31203
771.45/774.17 c #Conflicts: 639000 | #Constraints: 32203
771.45/774.17 c INPROCESSING
771.45/774.17 c GARBAGE COLLECT
771.45/774.17 c #Conflicts: 640000 | #Constraints: 17405
771.45/774.17 c #Conflicts: 641000 | #Constraints: 18405
947.95/951.24 c #Conflicts: 642000 | #Constraints: 19405
947.95/951.24 c #Conflicts: 643000 | #Constraints: 20405
947.95/951.24 c #Conflicts: 644000 | #Constraints: 21405
947.95/951.24 c #Conflicts: 645000 | #Constraints: 22405
947.95/951.24 c #Conflicts: 646000 | #Constraints: 23405
947.95/951.24 c #Conflicts: 647000 | #Constraints: 24405
947.95/951.24 c #Conflicts: 648000 | #Constraints: 25405
947.95/951.24 c #Conflicts: 649000 | #Constraints: 26405
947.95/951.24 c #Conflicts: 650000 | #Constraints: 27405
947.95/951.24 c #Conflicts: 651000 | #Constraints: 28405
947.95/951.24 c #Conflicts: 652000 | #Constraints: 29405
947.95/951.24 c #Conflicts: 653000 | #Constraints: 30405
947.95/951.24 c #Conflicts: 654000 | #Constraints: 31405
947.95/951.24 c #Conflicts: 655000 | #Constraints: 32405
947.95/951.24 c INPROCESSING
947.95/951.24 c GARBAGE COLLECT
947.95/951.24 c #Conflicts: 656000 | #Constraints: 17408
947.95/951.24 c #Conflicts: 657000 | #Constraints: 18408
947.95/951.24 c #Conflicts: 658000 | #Constraints: 19408
947.95/951.24 c #Conflicts: 659000 | #Constraints: 20408
947.95/951.24 c #Conflicts: 660000 | #Constraints: 21408
947.95/951.24 c #Conflicts: 661000 | #Constraints: 22408
947.95/951.24 c #Conflicts: 662000 | #Constraints: 23408
947.95/951.24 c #Conflicts: 663000 | #Constraints: 24408
947.95/951.24 c #Conflicts: 664000 | #Constraints: 25408
947.95/951.24 c #Conflicts: 665000 | #Constraints: 26408
947.95/951.24 c #Conflicts: 666000 | #Constraints: 27408
947.95/951.24 c #Conflicts: 667000 | #Constraints: 28408
947.95/951.24 c #Conflicts: 668000 | #Constraints: 29408
947.95/951.24 c #Conflicts: 669000 | #Constraints: 30408
947.95/951.24 c #Conflicts: 670000 | #Constraints: 31408
947.95/951.24 c #Conflicts: 671000 | #Constraints: 32408
947.95/951.24 c INPROCESSING
947.95/951.24 c GARBAGE COLLECT
947.95/951.24 c #Conflicts: 672000 | #Constraints: 17202
947.95/951.24 c #Conflicts: 673000 | #Constraints: 18202
947.95/951.24 c #Conflicts: 674000 | #Constraints: 19202
947.95/951.24 c #Conflicts: 675000 | #Constraints: 20202
947.95/951.24 c #Conflicts: 676000 | #Constraints: 21202
947.95/951.24 c #Conflicts: 677000 | #Constraints: 22202
947.95/951.24 c #Conflicts: 678000 | #Constraints: 23202
947.95/951.24 c #Conflicts: 679000 | #Constraints: 24202
947.95/951.24 c #Conflicts: 680000 | #Constraints: 25202
947.95/951.24 c #Conflicts: 681000 | #Constraints: 26202
947.95/951.24 c #Conflicts: 682000 | #Constraints: 27202
947.95/951.24 c #Conflicts: 683000 | #Constraints: 28202
947.95/951.24 c #Conflicts: 684000 | #Constraints: 29202
947.95/951.24 c #Conflicts: 685000 | #Constraints: 30202
947.95/951.24 c #Conflicts: 686000 | #Constraints: 31202
947.95/951.24 c #Conflicts: 687000 | #Constraints: 32202
947.95/951.24 c #Conflicts: 688000 | #Constraints: 33202
947.95/951.24 c INPROCESSING
947.95/951.24 c GARBAGE COLLECT
947.95/951.24 c #Conflicts: 689000 | #Constraints: 17809
947.95/951.24 c #Conflicts: 690000 | #Constraints: 18809
947.95/951.24 c #Conflicts: 691000 | #Constraints: 19809
947.95/951.24 c #Conflicts: 692000 | #Constraints: 20809
947.95/951.24 c #Conflicts: 693000 | #Constraints: 21809
947.95/951.24 c #Conflicts: 694000 | #Constraints: 22809
947.95/951.24 c #Conflicts: 695000 | #Constraints: 23809
947.95/951.24 c #Conflicts: 696000 | #Constraints: 24809
947.95/951.24 c #Conflicts: 697000 | #Constraints: 25809
947.95/951.24 c #Conflicts: 698000 | #Constraints: 26809
947.95/951.24 c #Conflicts: 699000 | #Constraints: 27809
947.95/951.24 c #Conflicts: 700000 | #Constraints: 28809
947.95/951.24 c #Conflicts: 701000 | #Constraints: 29809
947.95/951.24 c #Conflicts: 702000 | #Constraints: 30809
947.95/951.24 c #Conflicts: 703000 | #Constraints: 31809
947.95/951.24 c #Conflicts: 704000 | #Constraints: 32809
947.95/951.24 c #Conflicts: 705000 | #Constraints: 33809
947.95/951.24 c INPROCESSING
947.95/951.24 c GARBAGE COLLECT
947.95/951.24 c #Conflicts: 706000 | #Constraints: 18219
947.95/951.24 c #Conflicts: 707000 | #Constraints: 19219
947.95/951.24 c #Conflicts: 708000 | #Constraints: 20219
947.95/951.24 c #Conflicts: 709000 | #Constraints: 21219
947.95/951.24 c #Conflicts: 710000 | #Constraints: 22219
947.95/951.24 c #Conflicts: 711000 | #Constraints: 23219
947.95/951.24 c #Conflicts: 712000 | #Constraints: 24219
947.95/951.24 c #Conflicts: 713000 | #Constraints: 25219
947.95/951.24 c #Conflicts: 714000 | #Constraints: 26219
947.95/951.24 c #Conflicts: 715000 | #Constraints: 27219
947.95/951.24 c #Conflicts: 716000 | #Constraints: 28219
947.95/951.24 c #Conflicts: 717000 | #Constraints: 29219
947.95/951.24 c #Conflicts: 718000 | #Constraints: 30219
1127.25/1131.15 c #Conflicts: 719000 | #Constraints: 31219
1127.25/1131.15 c #Conflicts: 720000 | #Constraints: 32219
1127.25/1131.15 c #Conflicts: 721000 | #Constraints: 33219
1127.25/1131.15 c #Conflicts: 722000 | #Constraints: 34219
1127.25/1131.15 c INPROCESSING
1127.25/1131.15 c GARBAGE COLLECT
1127.25/1131.15 c #Conflicts: 723000 | #Constraints: 18414
1127.25/1131.15 c #Conflicts: 724000 | #Constraints: 19414
1127.25/1131.15 c #Conflicts: 725000 | #Constraints: 20414
1127.25/1131.15 c #Conflicts: 726000 | #Constraints: 21414
1127.25/1131.15 c #Conflicts: 727000 | #Constraints: 22414
1127.25/1131.15 c #Conflicts: 728000 | #Constraints: 23414
1127.25/1131.15 c #Conflicts: 729000 | #Constraints: 24414
1127.25/1131.15 c #Conflicts: 730000 | #Constraints: 25414
1127.25/1131.15 c #Conflicts: 731000 | #Constraints: 26414
1127.25/1131.15 c #Conflicts: 732000 | #Constraints: 27414
1127.25/1131.15 c #Conflicts: 733000 | #Constraints: 28414
1127.25/1131.15 c #Conflicts: 734000 | #Constraints: 29414
1127.25/1131.15 c #Conflicts: 735000 | #Constraints: 30414
1127.25/1131.15 c #Conflicts: 736000 | #Constraints: 31414
1127.25/1131.15 c #Conflicts: 737000 | #Constraints: 32414
1127.25/1131.15 c #Conflicts: 738000 | #Constraints: 33414
1127.25/1131.15 c #Conflicts: 739000 | #Constraints: 34414
1127.25/1131.15 c INPROCESSING
1127.25/1131.15 c GARBAGE COLLECT
1127.25/1131.15 c #Conflicts: 740000 | #Constraints: 18414
1127.25/1131.15 c #Conflicts: 741000 | #Constraints: 19414
1127.25/1131.15 c #Conflicts: 742000 | #Constraints: 20414
1127.25/1131.15 c #Conflicts: 743000 | #Constraints: 21414
1127.25/1131.15 c #Conflicts: 744000 | #Constraints: 22414
1127.25/1131.15 c #Conflicts: 745000 | #Constraints: 23414
1127.25/1131.15 c #Conflicts: 746000 | #Constraints: 24414
1127.25/1131.15 c #Conflicts: 747000 | #Constraints: 25414
1127.25/1131.15 c #Conflicts: 748000 | #Constraints: 26414
1127.25/1131.15 c #Conflicts: 749000 | #Constraints: 27414
1127.25/1131.15 c #Conflicts: 750000 | #Constraints: 28414
1127.25/1131.15 c #Conflicts: 751000 | #Constraints: 29414
1127.25/1131.15 c #Conflicts: 752000 | #Constraints: 30414
1127.25/1131.15 c #Conflicts: 753000 | #Constraints: 31414
1127.25/1131.15 c #Conflicts: 754000 | #Constraints: 32414
1127.25/1131.15 c #Conflicts: 755000 | #Constraints: 33414
1127.25/1131.15 c #Conflicts: 756000 | #Constraints: 34414
1127.25/1131.15 c INPROCESSING
1127.25/1131.15 c GARBAGE COLLECT
1127.25/1131.15 c #Conflicts: 757000 | #Constraints: 18215
1127.25/1131.15 c #Conflicts: 758000 | #Constraints: 19215
1127.25/1131.15 c #Conflicts: 759000 | #Constraints: 20215
1127.25/1131.15 c #Conflicts: 760000 | #Constraints: 21215
1127.25/1131.15 c #Conflicts: 761000 | #Constraints: 22215
1127.25/1131.15 c #Conflicts: 762000 | #Constraints: 23215
1127.25/1131.15 c #Conflicts: 763000 | #Constraints: 24215
1127.25/1131.15 c #Conflicts: 764000 | #Constraints: 25215
1127.25/1131.15 c #Conflicts: 765000 | #Constraints: 26215
1127.25/1131.15 c #Conflicts: 766000 | #Constraints: 27215
1127.25/1131.15 c #Conflicts: 767000 | #Constraints: 28215
1127.25/1131.15 c #Conflicts: 768000 | #Constraints: 29215
1127.25/1131.15 c #Conflicts: 769000 | #Constraints: 30215
1127.25/1131.15 c #Conflicts: 770000 | #Constraints: 31215
1127.25/1131.15 c #Conflicts: 771000 | #Constraints: 32215
1127.25/1131.15 c #Conflicts: 772000 | #Constraints: 33215
1127.25/1131.15 c #Conflicts: 773000 | #Constraints: 34215
1127.25/1131.15 c #Conflicts: 774000 | #Constraints: 35215
1127.25/1131.15 c INPROCESSING
1127.25/1131.15 c GARBAGE COLLECT
1127.25/1131.15 c #Conflicts: 775000 | #Constraints: 18812
1127.25/1131.15 c #Conflicts: 776000 | #Constraints: 19812
1127.25/1131.15 c #Conflicts: 777000 | #Constraints: 20812
1127.25/1131.15 c #Conflicts: 778000 | #Constraints: 21812
1127.25/1131.15 c #Conflicts: 779000 | #Constraints: 22812
1127.25/1131.15 c #Conflicts: 780000 | #Constraints: 23812
1127.25/1131.15 c #Conflicts: 781000 | #Constraints: 24812
1127.25/1131.15 c #Conflicts: 782000 | #Constraints: 25812
1127.25/1131.15 c #Conflicts: 783000 | #Constraints: 26812
1127.25/1131.15 c #Conflicts: 784000 | #Constraints: 27812
1127.25/1131.15 c #Conflicts: 785000 | #Constraints: 28812
1127.25/1131.15 c #Conflicts: 786000 | #Constraints: 29812
1127.25/1131.15 c #Conflicts: 787000 | #Constraints: 30812
1127.25/1131.15 c #Conflicts: 788000 | #Constraints: 31812
1127.25/1131.15 c #Conflicts: 789000 | #Constraints: 32812
1127.25/1131.15 c #Conflicts: 790000 | #Constraints: 33812
1127.25/1131.15 c #Conflicts: 791000 | #Constraints: 34812
1127.25/1131.15 c #Conflicts: 792000 | #Constraints: 35812
1127.25/1131.15 c INPROCESSING
1127.25/1131.15 c GARBAGE COLLECT
1127.25/1131.15 c #Conflicts: 793000 | #Constraints: 19217
1201.70/1205.85 c #Conflicts: 794000 | #Constraints: 20217
1201.70/1205.85 c #Conflicts: 795000 | #Constraints: 21217
1201.70/1205.85 c #Conflicts: 796000 | #Constraints: 22217
1201.70/1205.85 c #Conflicts: 797000 | #Constraints: 23217
1201.70/1205.85 c #Conflicts: 798000 | #Constraints: 24217
1201.70/1205.85 c #Conflicts: 799000 | #Constraints: 25217
1201.70/1205.85 c #Conflicts: 800000 | #Constraints: 26217
1201.70/1205.85 c #Conflicts: 801000 | #Constraints: 27217
1201.70/1205.85 c #Conflicts: 802000 | #Constraints: 28217
1201.70/1205.85 c #Conflicts: 803000 | #Constraints: 29217
1201.70/1205.85 c #Conflicts: 804000 | #Constraints: 30217
1201.70/1205.85 c #Conflicts: 805000 | #Constraints: 31217
1201.70/1205.85 c #Conflicts: 806000 | #Constraints: 32217
1201.70/1205.85 c #Conflicts: 807000 | #Constraints: 33217
1201.70/1205.85 c #Conflicts: 808000 | #Constraints: 34217
1201.70/1205.85 c #Conflicts: 809000 | #Constraints: 35217
1201.70/1205.85 c #Conflicts: 810000 | #Constraints: 36217
1201.70/1205.85 c INPROCESSING
1201.70/1205.85 c GARBAGE COLLECT
1201.70/1205.85 c #Conflicts: 811000 | #Constraints: 19420
1201.70/1205.85 c #Conflicts: 812000 | #Constraints: 20420
1201.70/1205.85 c #Conflicts: 813000 | #Constraints: 21420
1201.70/1205.85 c #Conflicts: 814000 | #Constraints: 22420
1201.70/1205.85 c #Conflicts: 815000 | #Constraints: 23420
1201.70/1205.85 c #Conflicts: 816000 | #Constraints: 24420
1201.70/1205.85 c #Conflicts: 817000 | #Constraints: 25420
1201.70/1205.85 c #Conflicts: 818000 | #Constraints: 26420
1201.70/1205.85 c #Conflicts: 819000 | #Constraints: 27420
1201.70/1205.85 c #Conflicts: 820000 | #Constraints: 28420
1201.70/1205.85 c #Conflicts: 821000 | #Constraints: 29420
1201.70/1205.85 c #Conflicts: 822000 | #Constraints: 30420
1201.70/1205.85 c #Conflicts: 823000 | #Constraints: 31420
1201.70/1205.85 c bounds -79 >= -283 @ 1197.48
1201.70/1205.85 c stratification level: 4
1542.77/1548.02 c bounds -79 >= -279 @ 1197.48
1542.77/1548.02 c bounds -79 >= -275 @ 1197.49
1542.77/1548.02 c bounds -79 >= -271 @ 1197.49
1542.77/1548.02 c bounds -79 >= -267 @ 1197.5
1542.77/1548.02 c bounds -79 >= -263 @ 1197.5
1542.77/1548.02 c bounds -79 >= -259 @ 1197.51
1542.77/1548.02 c bounds -79 >= -255 @ 1197.51
1542.77/1548.02 c bounds -79 >= -251 @ 1197.52
1542.77/1548.02 c bounds -79 >= -247 @ 1197.52
1542.77/1548.02 c bounds -79 >= -243 @ 1197.52
1542.77/1548.02 c bounds -79 >= -239 @ 1197.53
1542.77/1548.02 c bounds -79 >= -235 @ 1197.54
1542.77/1548.02 c bounds -79 >= -231 @ 1197.55
1542.77/1548.02 c bounds -79 >= -227 @ 1197.57
1542.77/1548.02 c bounds -79 >= -223 @ 1197.59
1542.77/1548.02 c bounds -79 >= -219 @ 1197.64
1542.77/1548.02 c bounds -79 >= -215 @ 1197.66
1542.77/1548.02 c bounds -79 >= -211 @ 1198.3
1542.77/1548.02 c #Conflicts: 824000 | #Constraints: 32628
1542.77/1548.02 c #Conflicts: 825000 | #Constraints: 33628
1542.77/1548.02 c #Conflicts: 826000 | #Constraints: 34628
1542.77/1548.02 c #Conflicts: 827000 | #Constraints: 35628
1542.77/1548.02 c #Conflicts: 828000 | #Constraints: 36628
1542.77/1548.02 c INPROCESSING
1542.77/1548.02 c GARBAGE COLLECT
1542.77/1548.02 c #Conflicts: 829000 | #Constraints: 19563
1542.77/1548.02 c #Conflicts: 830000 | #Constraints: 20563
1542.77/1548.02 c #Conflicts: 831000 | #Constraints: 21563
1542.77/1548.02 c #Conflicts: 832000 | #Constraints: 22563
1542.77/1548.02 c #Conflicts: 833000 | #Constraints: 23563
1542.77/1548.02 c #Conflicts: 834000 | #Constraints: 24563
1542.77/1548.02 c #Conflicts: 835000 | #Constraints: 25563
1542.77/1548.02 c #Conflicts: 836000 | #Constraints: 26563
1542.77/1548.02 c #Conflicts: 837000 | #Constraints: 27563
1542.77/1548.02 c #Conflicts: 838000 | #Constraints: 28563
1542.77/1548.02 c #Conflicts: 839000 | #Constraints: 29563
1542.77/1548.02 c #Conflicts: 840000 | #Constraints: 30563
1542.77/1548.02 c #Conflicts: 841000 | #Constraints: 31563
1542.77/1548.02 c #Conflicts: 842000 | #Constraints: 32563
1542.77/1548.02 c #Conflicts: 843000 | #Constraints: 33563
1542.77/1548.02 c #Conflicts: 844000 | #Constraints: 34563
1542.77/1548.02 c #Conflicts: 845000 | #Constraints: 35563
1542.77/1548.02 c #Conflicts: 846000 | #Constraints: 36563
1542.77/1548.02 c INPROCESSING
1542.77/1548.02 c GARBAGE COLLECT
1542.77/1548.02 c #Conflicts: 847000 | #Constraints: 19332
1542.77/1548.02 c #Conflicts: 848000 | #Constraints: 20332
1542.77/1548.02 c #Conflicts: 849000 | #Constraints: 21332
1542.77/1548.02 c #Conflicts: 850000 | #Constraints: 22332
1542.77/1548.02 c #Conflicts: 851000 | #Constraints: 23332
1542.77/1548.02 c #Conflicts: 852000 | #Constraints: 24332
1542.77/1548.02 c #Conflicts: 853000 | #Constraints: 25332
1542.77/1548.02 c #Conflicts: 854000 | #Constraints: 26332
1542.77/1548.02 c #Conflicts: 855000 | #Constraints: 27332
1542.77/1548.02 c #Conflicts: 856000 | #Constraints: 28332
1542.77/1548.02 c #Conflicts: 857000 | #Constraints: 29332
1542.77/1548.02 c #Conflicts: 858000 | #Constraints: 30332
1542.77/1548.02 c #Conflicts: 859000 | #Constraints: 31332
1542.77/1548.02 c #Conflicts: 860000 | #Constraints: 32332
1542.77/1548.02 c #Conflicts: 861000 | #Constraints: 33332
1542.77/1548.02 c #Conflicts: 862000 | #Constraints: 34332
1542.77/1548.02 c #Conflicts: 863000 | #Constraints: 35332
1542.77/1548.02 c #Conflicts: 864000 | #Constraints: 36332
1542.77/1548.02 c #Conflicts: 865000 | #Constraints: 37332
1542.77/1548.02 c INPROCESSING
1542.77/1548.02 c GARBAGE COLLECT
1542.77/1548.02 c #Conflicts: 866000 | #Constraints: 19909
1542.77/1548.02 c #Conflicts: 867000 | #Constraints: 20909
1542.77/1548.02 c #Conflicts: 868000 | #Constraints: 21909
1542.77/1548.02 c #Conflicts: 869000 | #Constraints: 22909
1542.77/1548.02 c #Conflicts: 870000 | #Constraints: 23909
1542.77/1548.02 c #Conflicts: 871000 | #Constraints: 24909
1542.77/1548.02 c #Conflicts: 872000 | #Constraints: 25909
1542.77/1548.02 c #Conflicts: 873000 | #Constraints: 26909
1542.77/1548.02 c #Conflicts: 874000 | #Constraints: 27909
1542.77/1548.02 c #Conflicts: 875000 | #Constraints: 28909
1542.77/1548.02 c #Conflicts: 876000 | #Constraints: 29909
1542.77/1548.02 c #Conflicts: 877000 | #Constraints: 30909
1542.77/1548.02 c #Conflicts: 878000 | #Constraints: 31909
1542.77/1548.02 c #Conflicts: 879000 | #Constraints: 32909
1542.77/1548.02 c #Conflicts: 880000 | #Constraints: 33909
1542.77/1548.02 c #Conflicts: 881000 | #Constraints: 34909
1542.77/1548.02 c #Conflicts: 882000 | #Constraints: 35909
1542.77/1548.02 c #Conflicts: 883000 | #Constraints: 36909
1542.77/1548.02 c #Conflicts: 884000 | #Constraints: 37909
1542.77/1548.02 c INPROCESSING
1542.77/1548.02 c GARBAGE COLLECT
1542.77/1548.02 c #Conflicts: 885000 | #Constraints: 20315
1542.77/1548.02 c #Conflicts: 886000 | #Constraints: 21315
1542.77/1548.02 c #Conflicts: 887000 | #Constraints: 22315
1542.77/1548.02 c #Conflicts: 888000 | #Constraints: 23315
1542.77/1548.02 c #Conflicts: 889000 | #Constraints: 24315
2105.68/2112.86 c #Conflicts: 890000 | #Constraints: 25315
2105.68/2112.86 c #Conflicts: 891000 | #Constraints: 26315
2105.68/2112.86 c #Conflicts: 892000 | #Constraints: 27315
2105.68/2112.86 c #Conflicts: 893000 | #Constraints: 28315
2105.68/2112.86 c #Conflicts: 894000 | #Constraints: 29315
2105.68/2112.86 c #Conflicts: 895000 | #Constraints: 30315
2105.68/2112.86 c #Conflicts: 896000 | #Constraints: 31315
2105.68/2112.86 c #Conflicts: 897000 | #Constraints: 32315
2105.68/2112.86 c #Conflicts: 898000 | #Constraints: 33315
2105.68/2112.86 c #Conflicts: 899000 | #Constraints: 34315
2105.68/2112.86 c #Conflicts: 900000 | #Constraints: 35315
2105.68/2112.86 c #Conflicts: 901000 | #Constraints: 36315
2105.68/2112.86 c #Conflicts: 902000 | #Constraints: 37315
2105.68/2112.86 c #Conflicts: 903000 | #Constraints: 38315
2105.68/2112.86 c INPROCESSING
2105.68/2112.86 c GARBAGE COLLECT
2105.68/2112.86 c #Conflicts: 904000 | #Constraints: 20503
2105.68/2112.86 c #Conflicts: 905000 | #Constraints: 21503
2105.68/2112.86 c #Conflicts: 906000 | #Constraints: 22503
2105.68/2112.86 c #Conflicts: 907000 | #Constraints: 23503
2105.68/2112.86 c #Conflicts: 908000 | #Constraints: 24503
2105.68/2112.86 c #Conflicts: 909000 | #Constraints: 25503
2105.68/2112.86 c #Conflicts: 910000 | #Constraints: 26503
2105.68/2112.86 c #Conflicts: 911000 | #Constraints: 27503
2105.68/2112.86 c #Conflicts: 912000 | #Constraints: 28503
2105.68/2112.86 c #Conflicts: 913000 | #Constraints: 29503
2105.68/2112.86 c #Conflicts: 914000 | #Constraints: 30503
2105.68/2112.86 c #Conflicts: 915000 | #Constraints: 31503
2105.68/2112.86 c #Conflicts: 916000 | #Constraints: 32503
2105.68/2112.86 c #Conflicts: 917000 | #Constraints: 33503
2105.68/2112.86 c #Conflicts: 918000 | #Constraints: 34503
2105.68/2112.86 c #Conflicts: 919000 | #Constraints: 35503
2105.68/2112.86 c #Conflicts: 920000 | #Constraints: 36503
2105.68/2112.86 c #Conflicts: 921000 | #Constraints: 37503
2105.68/2112.86 c #Conflicts: 922000 | #Constraints: 38503
2105.68/2112.86 c INPROCESSING
2105.68/2112.86 c GARBAGE COLLECT
2105.68/2112.86 c #Conflicts: 923000 | #Constraints: 20505
2105.68/2112.86 c #Conflicts: 924000 | #Constraints: 21505
2105.68/2112.86 c #Conflicts: 925000 | #Constraints: 22505
2105.68/2112.86 c #Conflicts: 926000 | #Constraints: 23505
2105.68/2112.86 c #Conflicts: 927000 | #Constraints: 24505
2105.68/2112.86 c #Conflicts: 928000 | #Constraints: 25505
2105.68/2112.86 c #Conflicts: 929000 | #Constraints: 26505
2105.68/2112.86 c #Conflicts: 930000 | #Constraints: 27505
2105.68/2112.86 c #Conflicts: 931000 | #Constraints: 28505
2105.68/2112.86 c #Conflicts: 932000 | #Constraints: 29505
2105.68/2112.86 c #Conflicts: 933000 | #Constraints: 30505
2105.68/2112.86 c #Conflicts: 934000 | #Constraints: 31505
2105.68/2112.86 c #Conflicts: 935000 | #Constraints: 32505
2105.68/2112.86 c #Conflicts: 936000 | #Constraints: 33505
2105.68/2112.86 c #Conflicts: 937000 | #Constraints: 34505
2105.68/2112.86 c #Conflicts: 938000 | #Constraints: 35505
2105.68/2112.86 c #Conflicts: 939000 | #Constraints: 36505
2105.68/2112.86 c #Conflicts: 940000 | #Constraints: 37505
2105.68/2112.86 c #Conflicts: 941000 | #Constraints: 38505
2105.68/2112.86 c INPROCESSING
2105.68/2112.86 c GARBAGE COLLECT
2105.68/2112.86 c #Conflicts: 942000 | #Constraints: 20306
2105.68/2112.86 c #Conflicts: 943000 | #Constraints: 21306
2105.68/2112.86 c #Conflicts: 944000 | #Constraints: 22306
2105.68/2112.86 c #Conflicts: 945000 | #Constraints: 23306
2105.68/2112.86 c #Conflicts: 946000 | #Constraints: 24306
2105.68/2112.86 c #Conflicts: 947000 | #Constraints: 25306
2105.68/2112.86 c #Conflicts: 948000 | #Constraints: 26306
2105.68/2112.86 c #Conflicts: 949000 | #Constraints: 27306
2105.68/2112.86 c #Conflicts: 950000 | #Constraints: 28306
2105.68/2112.86 c #Conflicts: 951000 | #Constraints: 29306
2105.68/2112.86 c #Conflicts: 952000 | #Constraints: 30306
2105.68/2112.86 c #Conflicts: 953000 | #Constraints: 31306
2105.68/2112.86 c #Conflicts: 954000 | #Constraints: 32306
2105.68/2112.86 c #Conflicts: 955000 | #Constraints: 33306
2105.68/2112.86 c #Conflicts: 956000 | #Constraints: 34306
2105.68/2112.86 c #Conflicts: 957000 | #Constraints: 35306
2105.68/2112.86 c #Conflicts: 958000 | #Constraints: 36306
2105.68/2112.86 c #Conflicts: 959000 | #Constraints: 37306
2105.68/2112.86 c #Conflicts: 960000 | #Constraints: 38306
2105.68/2112.86 c #Conflicts: 961000 | #Constraints: 39306
2105.68/2112.86 c INPROCESSING
2105.68/2112.86 c GARBAGE COLLECT
2105.68/2112.86 c #Conflicts: 962000 | #Constraints: 20915
2105.68/2112.86 c #Conflicts: 963000 | #Constraints: 21915
2105.68/2112.86 c #Conflicts: 964000 | #Constraints: 22915
2105.68/2112.86 c #Conflicts: 965000 | #Constraints: 23915
2811.15/2820.64 c #Conflicts: 966000 | #Constraints: 24915
2811.15/2820.64 c #Conflicts: 967000 | #Constraints: 25915
2811.15/2820.64 c #Conflicts: 968000 | #Constraints: 26915
2811.15/2820.64 c #Conflicts: 969000 | #Constraints: 27915
2811.15/2820.64 c #Conflicts: 970000 | #Constraints: 28915
2811.15/2820.64 c #Conflicts: 971000 | #Constraints: 29915
2811.15/2820.64 c #Conflicts: 972000 | #Constraints: 30915
2811.15/2820.64 c #Conflicts: 973000 | #Constraints: 31915
2811.15/2820.64 c #Conflicts: 974000 | #Constraints: 32915
2811.15/2820.64 c #Conflicts: 975000 | #Constraints: 33915
2811.15/2820.64 c #Conflicts: 976000 | #Constraints: 34915
2811.15/2820.64 c #Conflicts: 977000 | #Constraints: 35915
2811.15/2820.64 c #Conflicts: 978000 | #Constraints: 36915
2811.15/2820.64 c #Conflicts: 979000 | #Constraints: 37915
2811.15/2820.64 c #Conflicts: 980000 | #Constraints: 38915
2811.15/2820.64 c #Conflicts: 981000 | #Constraints: 39915
2811.15/2820.64 c INPROCESSING
2811.15/2820.64 c GARBAGE COLLECT
2811.15/2820.64 c #Conflicts: 982000 | #Constraints: 21309
2811.15/2820.64 c #Conflicts: 983000 | #Constraints: 22309
2811.15/2820.64 c #Conflicts: 984000 | #Constraints: 23309
2811.15/2820.64 c #Conflicts: 985000 | #Constraints: 24309
2811.15/2820.64 c #Conflicts: 986000 | #Constraints: 25309
2811.15/2820.64 c #Conflicts: 987000 | #Constraints: 26309
2811.15/2820.64 c #Conflicts: 988000 | #Constraints: 27309
2811.15/2820.64 c #Conflicts: 989000 | #Constraints: 28309
2811.15/2820.64 c #Conflicts: 990000 | #Constraints: 29309
2811.15/2820.64 c #Conflicts: 991000 | #Constraints: 30309
2811.15/2820.64 c #Conflicts: 992000 | #Constraints: 31309
2811.15/2820.64 c #Conflicts: 993000 | #Constraints: 32309
2811.15/2820.64 c #Conflicts: 994000 | #Constraints: 33309
2811.15/2820.64 c #Conflicts: 995000 | #Constraints: 34309
2811.15/2820.64 c #Conflicts: 996000 | #Constraints: 35309
2811.15/2820.64 c #Conflicts: 997000 | #Constraints: 36309
2811.15/2820.64 c #Conflicts: 998000 | #Constraints: 37309
2811.15/2820.64 c #Conflicts: 999000 | #Constraints: 38309
2811.15/2820.64 c #Conflicts: 1000000 | #Constraints: 39309
2811.15/2820.64 c #Conflicts: 1001000 | #Constraints: 40309
2811.15/2820.64 c INPROCESSING
2811.15/2820.64 c GARBAGE COLLECT
2811.15/2820.64 c #Conflicts: 1002000 | #Constraints: 21501
2811.15/2820.64 c #Conflicts: 1003000 | #Constraints: 22501
2811.15/2820.64 c #Conflicts: 1004000 | #Constraints: 23501
2811.15/2820.64 c #Conflicts: 1005000 | #Constraints: 24501
2811.15/2820.64 c #Conflicts: 1006000 | #Constraints: 25501
2811.15/2820.64 c #Conflicts: 1007000 | #Constraints: 26501
2811.15/2820.64 c #Conflicts: 1008000 | #Constraints: 27501
2811.15/2820.64 c #Conflicts: 1009000 | #Constraints: 28501
2811.15/2820.64 c #Conflicts: 1010000 | #Constraints: 29501
2811.15/2820.64 c #Conflicts: 1011000 | #Constraints: 30501
2811.15/2820.64 c #Conflicts: 1012000 | #Constraints: 31501
2811.15/2820.64 c #Conflicts: 1013000 | #Constraints: 32501
2811.15/2820.64 c #Conflicts: 1014000 | #Constraints: 33501
2811.15/2820.64 c #Conflicts: 1015000 | #Constraints: 34501
2811.15/2820.64 c #Conflicts: 1016000 | #Constraints: 35501
2811.15/2820.64 c #Conflicts: 1017000 | #Constraints: 36501
2811.15/2820.64 c #Conflicts: 1018000 | #Constraints: 37501
2811.15/2820.64 c #Conflicts: 1019000 | #Constraints: 38501
2811.15/2820.64 c #Conflicts: 1020000 | #Constraints: 39501
2811.15/2820.64 c #Conflicts: 1021000 | #Constraints: 40501
2811.15/2820.64 c INPROCESSING
2811.15/2820.64 c GARBAGE COLLECT
2811.15/2820.64 c #Conflicts: 1022000 | #Constraints: 21492
2811.15/2820.64 c #Conflicts: 1023000 | #Constraints: 22492
2811.15/2820.64 c #Conflicts: 1024000 | #Constraints: 23492
2811.15/2820.64 c #Conflicts: 1025000 | #Constraints: 24492
2811.15/2820.64 c #Conflicts: 1026000 | #Constraints: 25492
2811.15/2820.64 c #Conflicts: 1027000 | #Constraints: 26492
2811.15/2820.64 c #Conflicts: 1028000 | #Constraints: 27492
2811.15/2820.64 c #Conflicts: 1029000 | #Constraints: 28492
2811.15/2820.64 c #Conflicts: 1030000 | #Constraints: 29492
2811.15/2820.64 c #Conflicts: 1031000 | #Constraints: 30492
2811.15/2820.64 c #Conflicts: 1032000 | #Constraints: 31492
2811.15/2820.64 c #Conflicts: 1033000 | #Constraints: 32492
2811.15/2820.64 c #Conflicts: 1034000 | #Constraints: 33492
2811.15/2820.64 c #Conflicts: 1035000 | #Constraints: 34492
2811.15/2820.64 c #Conflicts: 1036000 | #Constraints: 35492
2811.15/2820.64 c #Conflicts: 1037000 | #Constraints: 36492
2811.15/2820.64 c #Conflicts: 1038000 | #Constraints: 37492
2811.15/2820.64 c #Conflicts: 1039000 | #Constraints: 38492
2811.15/2820.64 c #Conflicts: 1040000 | #Constraints: 39492
2811.15/2820.64 c #Conflicts: 1041000 | #Constraints: 40492
2811.15/2820.64 c INPROCESSING
2811.15/2820.64 c GARBAGE COLLECT
2811.15/2820.64 c #Conflicts: 1042000 | #Constraints: 21294
3600.03/3612.01 c #Conflicts: 1043000 | #Constraints: 22294
3600.03/3612.01 c #Conflicts: 1044000 | #Constraints: 23294
3600.03/3612.01 c #Conflicts: 1045000 | #Constraints: 24294
3600.03/3612.01 c #Conflicts: 1046000 | #Constraints: 25294
3600.03/3612.01 c #Conflicts: 1047000 | #Constraints: 26294
3600.03/3612.01 c #Conflicts: 1048000 | #Constraints: 27294
3600.03/3612.01 c #Conflicts: 1049000 | #Constraints: 28294
3600.03/3612.01 c #Conflicts: 1050000 | #Constraints: 29294
3600.03/3612.01 c #Conflicts: 1051000 | #Constraints: 30294
3600.03/3612.01 c #Conflicts: 1052000 | #Constraints: 31294
3600.03/3612.01 c #Conflicts: 1053000 | #Constraints: 32294
3600.03/3612.01 c #Conflicts: 1054000 | #Constraints: 33294
3600.03/3612.01 c #Conflicts: 1055000 | #Constraints: 34294
3600.03/3612.01 c #Conflicts: 1056000 | #Constraints: 35294
3600.03/3612.01 c #Conflicts: 1057000 | #Constraints: 36294
3600.03/3612.01 c #Conflicts: 1058000 | #Constraints: 37294
3600.03/3612.01 c #Conflicts: 1059000 | #Constraints: 38294
3600.03/3612.01 c #Conflicts: 1060000 | #Constraints: 39294
3600.03/3612.01 c #Conflicts: 1061000 | #Constraints: 40294
3600.03/3612.01 c #Conflicts: 1062000 | #Constraints: 41294
3600.03/3612.01 c INPROCESSING
3600.03/3612.01 c GARBAGE COLLECT
3600.03/3612.01 c #Conflicts: 1063000 | #Constraints: 21891
3600.03/3612.01 c #Conflicts: 1064000 | #Constraints: 22891
3600.03/3612.01 c #Conflicts: 1065000 | #Constraints: 23891
3600.03/3612.01 c #Conflicts: 1066000 | #Constraints: 24891
3600.03/3612.01 c #Conflicts: 1067000 | #Constraints: 25891
3600.03/3612.01 c #Conflicts: 1068000 | #Constraints: 26891
3600.03/3612.01 c #Conflicts: 1069000 | #Constraints: 27891
3600.03/3612.01 c #Conflicts: 1070000 | #Constraints: 28891
3600.03/3612.01 c #Conflicts: 1071000 | #Constraints: 29891
3600.03/3612.01 c #Conflicts: 1072000 | #Constraints: 30891
3600.03/3612.01 c #Conflicts: 1073000 | #Constraints: 31891
3600.03/3612.01 c #Conflicts: 1074000 | #Constraints: 32891
3600.03/3612.01 c #Conflicts: 1075000 | #Constraints: 33891
3600.03/3612.01 c #Conflicts: 1076000 | #Constraints: 34891
3600.03/3612.01 c #Conflicts: 1077000 | #Constraints: 35891
3600.03/3612.01 c #Conflicts: 1078000 | #Constraints: 36891
3600.03/3612.01 c #Conflicts: 1079000 | #Constraints: 37891
3600.03/3612.01 c #Conflicts: 1080000 | #Constraints: 38891
3600.03/3612.01 c #Conflicts: 1081000 | #Constraints: 39891
3600.03/3612.01 c #Conflicts: 1082000 | #Constraints: 40891
3600.03/3612.01 c #Conflicts: 1083000 | #Constraints: 41891
3600.03/3612.01 c INPROCESSING
3600.03/3612.01 c GARBAGE COLLECT
3600.03/3612.01 c #Conflicts: 1084000 | #Constraints: 22297
3600.03/3612.01 c #Conflicts: 1085000 | #Constraints: 23297
3600.03/3612.01 c #Conflicts: 1086000 | #Constraints: 24297
3600.03/3612.01 c #Conflicts: 1087000 | #Constraints: 25297
3600.03/3612.01 c #Conflicts: 1088000 | #Constraints: 26297
3600.03/3612.01 c #Conflicts: 1089000 | #Constraints: 27297
3600.03/3612.01 c #Conflicts: 1090000 | #Constraints: 28297
3600.03/3612.01 c #Conflicts: 1091000 | #Constraints: 29297
3600.03/3612.01 c #Conflicts: 1092000 | #Constraints: 30297
3600.03/3612.01 c #Conflicts: 1093000 | #Constraints: 31297
3600.03/3612.01 c #Conflicts: 1094000 | #Constraints: 32297
3600.03/3612.01 c #Conflicts: 1095000 | #Constraints: 33297
3600.03/3612.01 c #Conflicts: 1096000 | #Constraints: 34297
3600.03/3612.01 c #Conflicts: 1097000 | #Constraints: 35297
3600.03/3612.01 c #Conflicts: 1098000 | #Constraints: 36297
3600.03/3612.01 c #Conflicts: 1099000 | #Constraints: 37297
3600.03/3612.01 c #Conflicts: 1100000 | #Constraints: 38297
3600.03/3612.01 c #Conflicts: 1101000 | #Constraints: 39297
3600.03/3612.01 c #Conflicts: 1102000 | #Constraints: 40297
3600.03/3612.01 c #Conflicts: 1103000 | #Constraints: 41297
3600.03/3612.01 c #Conflicts: 1104000 | #Constraints: 42297
3600.03/3612.01 c INPROCESSING
3600.03/3612.01 c GARBAGE COLLECT
3600.03/3612.01 c #Conflicts: 1105000 | #Constraints: 22500
3600.03/3612.01 c #Conflicts: 1106000 | #Constraints: 23500
3600.03/3612.01 c #Conflicts: 1107000 | #Constraints: 24500
3600.03/3612.01 c #Conflicts: 1108000 | #Constraints: 25500
3600.03/3612.01 c #Conflicts: 1109000 | #Constraints: 26500
3600.03/3612.01 c #Conflicts: 1110000 | #Constraints: 27500
3600.03/3612.01 c #Conflicts: 1111000 | #Constraints: 28500
3600.03/3612.01 c #Conflicts: 1112000 | #Constraints: 29500
3600.03/3612.01 c #Conflicts: 1113000 | #Constraints: 30500
3600.03/3612.01 c #Conflicts: 1114000 | #Constraints: 31500
3600.03/3612.01 c #Conflicts: 1115000 | #Constraints: 32500
3600.03/3612.01 c #Conflicts: 1116000 | #Constraints: 33500
3600.03/3612.01 c #Conflicts: 1117000 | #Constraints: 34500
3600.03/3612.01 c Program interrupted by user.
3600.03/3612.01 c cpu time 3592.98 s
3600.03/3612.01 c deterministic time 302733594887 3.03e+11
3600.03/3612.01 c optimization time 146.565 s
3600.03/3612.01 c total solve time 3446.42 s
3600.03/3612.01 c core-guided solve time 3446.42 s
3600.03/3612.01 c propagation time 3027.73 s
3600.03/3612.01 c conflict analysis time 548.324 s
3600.03/3612.01 c propagations 54790433
3600.03/3612.01 c resolve steps 15204137
3600.03/3612.01 c decisions 1756174
3600.03/3612.01 c conflicts 1117174
3600.03/3612.01 c restarts 2046
3600.03/3612.01 c inprocessing phases 96
3600.03/3612.01 c input clauses 340
3600.03/3612.01 c input cardinalities 8
3600.03/3612.01 c input general constraints 454
3600.03/3612.01 c input average constraint length 22.71
3600.03/3612.01 c input average constraint degree 79.60
3600.03/3612.01 c learned clauses 923719
3600.03/3612.01 c learned cardinalities 112
3600.03/3612.01 c learned general constraints 193356
3600.03/3612.01 c learned average constraint length 114.37
3600.03/3612.01 c learned average constraint degree 57712.85
3600.03/3612.01 c watched constraints 164950
3600.03/3612.01 c counting constraints 28860
3600.03/3612.01 c gcd simplifications 331334
3600.03/3612.01 c detected cardinalities 12
3600.03/3612.01 c weakened non-implied lits 73661471
3600.03/3612.01 c weakened non-implying lits 385552
3600.03/3612.01 c original variables 223
3600.03/3612.01 c clausal propagations 18444955
3600.03/3612.01 c cardinality propagations 134050
3600.03/3612.01 c watched propagations 3802607
3600.03/3612.01 c counting propagations 31380579
3600.03/3612.01 c watch lookups 71378280017
3600.03/3612.01 c watch backjump lookups 62992002050
3600.03/3612.01 c watch checks 154343398892
3600.03/3612.01 c propagation checks 13333832965
3600.03/3612.01 c constraint additions 571870861
3600.03/3612.01 c trail pops 57663494
3600.03/3612.01 c formula constraints 386
3600.03/3612.01 c learned constraints 1117187
3600.03/3612.01 c bound constraints 67
3600.03/3612.01 c core-guided constraints 349
3600.03/3612.01 c encountered formula constraints 9382555
3600.03/3612.01 c encountered learned constraints 6434990
3600.03/3612.01 c encountered bound constraints 19080
3600.03/3612.01 c encountered core-guided constraints 484686
3600.03/3612.01 c LP total time 0 s
3600.03/3612.01 c LP solve time 0 s
3600.03/3612.01 c LP constraints added 0
3600.03/3612.01 c LP constraints removed 0
3600.03/3612.01 c LP pivots internal 0
3600.03/3612.01 c LP pivots root 0
3600.03/3612.01 c LP calls 0
3600.03/3612.01 c LP optimalities 0
3600.03/3612.01 c LP no pivot count 0
3600.03/3612.01 c LP infeasibilities 0
3600.03/3612.01 c LP valid Farkas constraints 0
3600.03/3612.01 c LP learned Farkas constraints 0
3600.03/3612.01 c LP basis resets 0
3600.03/3612.01 c LP cycling count 0
3600.03/3612.01 c LP singular count 0
3600.03/3612.01 c LP no primal count 0
3600.03/3612.01 c LP no farkas count 0
3600.03/3612.01 c LP other issue count 0
3600.03/3612.01 c LP Gomory cuts 0
3600.03/3612.01 c LP learned cuts 0
3600.03/3612.01 c LP deleted cuts 0
3600.03/3612.01 c LP encountered Gomory constraints 0
3600.03/3612.01 c LP encountered Farkas constraints 0
3600.03/3612.01 c LP encountered learned Farkas constraints 0
3600.03/3612.01 c CG auxiliary variables introduced 179
3600.03/3612.01 c CG solutions found 8
3600.03/3612.01 c CG cores constructed 50
3600.03/3612.01 c CG core cardinality constraints returned 0
3600.03/3612.01 c CG unit cores 0
3600.03/3612.01 c CG single cores 49
3600.03/3612.01 c CG blocks removed during cardinality reduction 0
3600.03/3612.01 c CG first core best 0
3600.03/3612.01 c CG decision core best 0
3600.03/3612.01 c CG core reduction tie 1
3600.03/3612.01 c CG core degree average 1.00
3600.03/3612.01 c CG core slack average 4.84
3600.03/3612.01 c CG exhausted 0
3600.03/3612.01 c CG exhaust time 2.25515 s
3600.03/3612.01 c CG trimmed 10
3600.03/3612.01 c CG trim time 0.017473 s
3600.03/3612.01 c CG minimized 0
3600.03/3612.01 c CG minimize time 0 s
3600.03/3612.01 c CG am1 prop time 0.000537 s
3600.03/3612.01 c CG # am1s reformulated 78
3600.03/3612.01 c CG lower bound derived from am1s 628
3600.03/3612.01 c CG # clausal cores 51
3600.03/3612.01 c CG # cardinality cores 0
3600.03/3612.01 c CG # pb cores 0
3600.03/3612.01 c CG # pb reforms 28
3600.03/3612.01 c CG # cores discarded because of pb reform 0
3600.03/3612.01 d LOWERBOUND -211
3600.03/3612.01 d NCORES 50
3600.03/3612.01 d NPBCORES 0
3600.03/3612.01 d NPBREFORM 28
3600.03/3612.01 d NTRIMMED 10
3600.03/3612.01 d NEXHAUSTED 0
3600.03/3612.01 d NAM1S 78
3600.03/3612.01 d AM1LB 628
3600.03/3612.01 o -79
3600.03/3612.01 s SATISFIABLE
3600.03/3612.01 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: 63968 MiB (62762 MiB free)
memory of node 1: 64473 MiB (62745 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436146-1721168808/watcher-4436146-1721168808 -o /tmp/evaluation-result-4436146-1721168808/solver-4436146-1721168808 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721165209-878133 --watchdog 3760 pb-oll-rs HOME/instance-4436146-1721168808.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=880931, runsolver pid=880928
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 4.08 4.12 4.13 5/256 880932
/proc/meminfo: memFree=128513500/131524600 swapFree=131071996/131071996
[pid=880931] ppid=880928 vsize=39320 memory=8692 CPUtime=0.09 cores=0,2
/proc/880931/stat : 880931 (pb-oll-rs) R 880928 880931 878123 0 -1 4194304 561 0 0 0 9 0 0 0 20 0 1 0 169047029 40263680 2173 134679101440 4194304 5384005 140724203450448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31850496 140724203455511 140724203455588 140724203455588 140724203462603 0
/proc/880931/statm: 9830 2173 1319 291 0 1364 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39320 KiB
Current children cumulated memory: 8692 KiB
[startup+0.205574 s]*
/proc/loadavg: 4.08 4.12 4.13 5/256 880932
/proc/meminfo: memFree=128510424/131524600 swapFree=131071996/131071996
[pid=880931] ppid=880928 vsize=39452 memory=8952 CPUtime=0.2 cores=0,2
/proc/880931/stat : 880931 (pb-oll-rs) R 880928 880931 878123 0 -1 4194304 590 0 0 0 19 1 0 0 20 0 1 0 169047029 40398848 2238 134679101440 4194304 5384005 140724203450448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31850496 140724203455511 140724203455588 140724203455588 140724203462603 0
/proc/880931/statm: 9863 2238 1319 291 0 1397 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39452 KiB
Current children cumulated memory: 8952 KiB
[startup+0.305582 s]*
/proc/loadavg: 4.08 4.12 4.13 5/256 880932
/proc/meminfo: memFree=128509744/131524600 swapFree=131071996/131071996
[pid=880931] ppid=880928 vsize=39584 memory=9444 CPUtime=0.3 cores=0,2
/proc/880931/stat : 880931 (pb-oll-rs) R 880928 880931 878123 0 -1 4194304 636 0 0 0 29 1 0 0 20 0 1 0 169047029 40534016 2361 134679101440 4194304 5384005 140724203450448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31850496 140724203455511 140724203455588 140724203455588 140724203462603 0
/proc/880931/statm: 9896 2361 1380 291 0 1430 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 9444 KiB
[startup+0.700231 s]
/proc/loadavg: 4.08 4.12 4.13 5/256 880932
/proc/meminfo: memFree=128508436/131524600 swapFree=131071996/131071996
[pid=880931] ppid=880928 vsize=39828 memory=9696 CPUtime=0.68 cores=0,2
/proc/880931/stat : 880931 (pb-oll-rs) R 880928 880931 878123 0 -1 4194304 690 0 0 0 67 1 0 0 20 0 1 0 169047029 40783872 2424 134679101440 4194304 5384005 140724203450448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31850496 140724203455511 140724203455588 140724203455588 140724203462603 0
/proc/880931/statm: 9957 2424 1380 291 0 1491 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 9696 KiB
[startup+1.50023 s]
/proc/loadavg: 4.08 4.12 4.13 5/256 880932
/proc/meminfo: memFree=128507736/131524600 swapFree=131071996/131071996
[pid=880931] ppid=880928 vsize=40120 memory=10004 CPUtime=1.49 cores=0,2
/proc/880931/stat : 880931 (pb-oll-rs) R 880928 880931 878123 0 -1 4194304 767 0 0 0 146 3 0 0 20 0 1 0 169047029 41082880 2501 134679101440 4194304 5384005 140724203450448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31850496 140724203455511 140724203455588 140724203455588 140724203462603 0
/proc/880931/statm: 10030 2501 1380 291 0 1564 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40120 KiB
Current children cumulated memory: 10004 KiB
[startup+3.1055 s]
/proc/loadavg: 4.07 4.12 4.12 5/256 880978
/proc/meminfo: memFree=128503316/131524600 swapFree=131071996/131071996
[pid=880931] ppid=880928 vsize=40676 memory=11188 CPUtime=3.09 cores=0,2
/proc/880931/stat : 880931 (pb-oll-rs) R 880928 880931 878123 0 -1 4194304 1100 0 0 0 302 7 0 0 20 0 1 0 169047029 41652224 2797 134679101440 4194304 5384005 140724203450448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31850496 140724203455511 140724203455588 140724203455588 140724203462603 0
/proc/880931/statm: 10169 2797 1380 291 0 1703 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 40676 KiB
Current children cumulated memory: 11188 KiB
[startup+6.30021 s]
/proc/loadavg: 4.07 4.12 4.12 5/256 880980
/proc/meminfo: memFree=128480476/131524600 swapFree=131071996/131071996
[pid=880931] ppid=880928 vsize=44112 memory=12896 CPUtime=6.27 cores=0,2
/proc/880931/stat : 880931 (pb-oll-rs) R 880928 880931 878123 0 -1 4194304 1492 0 0 0 615 12 0 0 20 0 1 0 169047029 45170688 3224 134679101440 4194304 5384005 140724203450448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31850496 140724203455511 140724203455588 140724203455588 140724203462603 0
/proc/880931/statm: 11028 3224 1380 291 0 2562 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 44112 KiB
Current children cumulated memory: 12896 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.12 4.12 5/257 880981
/proc/meminfo: memFree=128442292/131524600 swapFree=131071996/131071996
[pid=880931] ppid=880928 vsize=45320 memory=15048 CPUtime=12.65 cores=0,2
/proc/880931/stat : 880931 (pb-oll-rs) R 880928 880931 878123 0 -1 4194304 2097 0 0 0 1247 18 0 0 20 0 1 0 169047029 46407680 3762 134679101440 4194304 5384005 140724203450448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31850496 140724203455511 140724203455588 140724203455588 140724203462603 0
/proc/880931/statm: 11330 3762 1380 291 0 2864 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 45320 KiB
Current children cumulated memory: 15048 KiB
[startup+25.5002 s]
/proc/loadavg: 4.05 4.11 4.12 5/257 880983
/proc/meminfo: memFree=128408796/131524600 swapFree=131071996/131071996
[pid=880931] ppid=880928 vsize=50996 memory=18036 CPUtime=25.4 cores=0,2
/proc/880931/stat : 880931 (pb-oll-rs) R 880928 880931 878123 0 -1 4194304 2878 0 0 0 2508 32 0 0 20 0 1 0 169047029 52219904 4509 134679101440 4194304 5384005 140724203450448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31850496 140724203455511 140724203455588 140724203455588 140724203462603 0
/proc/880931/statm: 12749 4509 1380 291 0 4283 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 50996 KiB
Current children cumulated memory: 18036 KiB
[startup+51.1055 s]
/proc/loadavg: 4.23 4.15 4.13 5/257 880988
/proc/meminfo: memFree=128307528/131524600 swapFree=131071996/131071996
[pid=880931] ppid=880928 vsize=52500 memory=21020 CPUtime=50.93 cores=0,2
/proc/880931/stat : 880931 (pb-oll-rs) R 880928 880931 878123 0 -1 4194304 3699 0 0 0 5039 54 0 0 20 0 1 0 169047029 53760000 5255 134679101440 4194304 5384005 140724203450448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31850496 140724203455511 140724203455588 140724203455588 140724203462603 0
/proc/880931/statm: 13125 5255 1380 291 0 4659 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 52500 KiB
Current children cumulated memory: 21020 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.14 4.13 5/258 881211
/proc/meminfo: memFree=128108100/131524600 swapFree=131071996/131071996
[pid=880931] ppid=880928 vsize=54192 memory=25304 CPUtime=101.94 cores=0,2
/proc/880931/stat : 880931 (pb-oll-rs) R 880928 880931 878123 0 -1 4194304 4369 0 0 0 10105 89 0 0 20 0 1 0 169047029 55492608 6326 134679101440 4194304 5384005 140724203450448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31850496 140724203455511 140724203455588 140724203455588 140724203462603 0
/proc/880931/statm: 13548 6326 1380 291 0 5082 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 54192 KiB
Current children cumulated memory: 25304 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.13 4.12 5/258 881221
/proc/meminfo: memFree=127848552/131524600 swapFree=131071996/131071996
[pid=880931] ppid=880928 vsize=64192 memory=31304 CPUtime=161.73 cores=0,2
/proc/880931/stat : 880931 (pb-oll-rs) R 880928 880931 878123 0 -1 4194304 5458 0 0 0 16055 118 0 0 20 0 1 0 169047029 65732608 7826 134679101440 4194304 5384005 140724203450448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31850496 140724203455511 140724203455588 140724203455588 140724203462603 0
/proc/880931/statm: 16048 7826 1380 291 0 7582 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 64192 KiB
Current children cumulated memory: 31304 KiB
[startup+222.3 s]
/proc/loadavg: 4.32 4.19 4.15 5/259 881290
/proc/meminfo: memFree=127729828/131524600 swapFree=131071996/131071996
[pid=880931] ppid=880928 vsize=65228 memory=32320 CPUtime=221.53 cores=0,2
/proc/880931/stat : 880931 (pb-oll-rs) R 880928 880931 878123 0 -1 4194304 5853 0 0 0 22004 149 0 0 20 0 1 0 169047029 66793472 8080 134679101440 4194304 5384005 140724203450448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31850496 140724203455511 140724203455588 140724203455588 140724203462603 0
/proc/880931/statm: 16307 8080 1380 291 0 7841 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 65228 KiB
Current children cumulated memory: 32320 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.17 4.14 5/259 881301
/proc/meminfo: memFree=127521672/131524600 swapFree=131071996/131071996
[pid=880931] ppid=880928 vsize=66416 memory=35440 CPUtime=281.33 cores=0,2
/proc/880931/stat : 880931 (pb-oll-rs) R 880928 880931 878123 0 -1 4194304 6240 0 0 0 27959 174 0 0 20 0 1 0 169047029 68009984 8860 134679101440 4194304 5384005 140724203450448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31850496 140724203455511 140724203455588 140724203455588 140724203462603 0
/proc/880931/statm: 16604 8860 1380 291 0 8138 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 66416 KiB
Current children cumulated memory: 35440 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.15 4.14 5/258 881311
/proc/meminfo: memFree=127448868/131524600 swapFree=131071996/131071996
[pid=880931] ppid=880928 vsize=67368 memory=36332 CPUtime=341.12 cores=0,2
/proc/880931/stat : 880931 (pb-oll-rs) R 880928 880931 878123 0 -1 4194304 6580 0 0 0 33913 199 0 0 20 0 1 0 169047029 68984832 9083 134679101440 4194304 5384005 140724203450448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31850496 140724203455511 140724203455588 140724203455588 140724203462603 0
/proc/880931/statm: 16842 9083 1380 291 0 8376 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 67368 KiB
Current children cumulated memory: 36332 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.15 4.14 5/257 881322
/proc/meminfo: memFree=127300568/131524600 swapFree=131071996/131071996
[pid=880931] ppid=880928 vsize=67460 memory=37956 CPUtime=400.92 cores=0,2
/proc/880931/stat : 880931 (pb-oll-rs) R 880928 880931 878123 0 -1 4194304 6875 0 0 0 39870 222 0 0 20 0 1 0 169047029 69079040 9489 134679101440 4194304 5384005 140724203450448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31850496 140724203455511 140724203455588 140724203455588 140724203462603 0
/proc/880931/statm: 16865 9489 1380 291 0 8399 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 67460 KiB
Current children cumulated memory: 37956 KiB
[startup+462.3 s]
/proc/loadavg: 4.05 4.12 4.12 5/257 881333
/proc/meminfo: memFree=127200048/131524600 swapFree=131071996/131071996
[pid=880931] ppid=880928 vsize=67460 memory=38372 CPUtime=460.72 cores=0,2
/proc/880931/stat : 880931 (pb-oll-rs) R 880928 880931 878123 0 -1 4194304 7103 0 0 0 45834 238 0 0 20 0 1 0 169047029 69079040 9593 134679101440 4194304 5384005 140724203450448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31850496 140724203455511 140724203455588 140724203455588 140724203462603 0
/proc/880931/statm: 16865 9593 1380 291 0 8399 0
################
# More data... #
################
Current children cumulated memory: 75500 KiB
[startup+2862.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/256 882340
/proc/meminfo: memFree=125175052/131524600 swapFree=131071996/131071996
[pid=880931] ppid=880928 vsize=119700 memory=75932 CPUtime=2852.72 cores=0,2
/proc/880931/stat : 880931 (pb-oll-rs) R 880928 880931 878123 0 -1 4194304 13403 0 0 0 284626 646 0 0 20 0 1 0 169047029 122572800 18983 134679101440 4194304 5384005 140724203450448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31850496 140724203455511 140724203455588 140724203455588 140724203462603 0
/proc/880931/statm: 29925 18983 1380 291 0 21459 0
Current children cumulated CPU time: 2852.72 s
Current children cumulated vsize: 119700 KiB
Current children cumulated memory: 75932 KiB
[startup+2922.3 s]
/proc/loadavg: 4.23 4.15 4.10 5/254 882351
/proc/meminfo: memFree=125171664/131524600 swapFree=131071996/131071996
[pid=880931] ppid=880928 vsize=119700 memory=75932 CPUtime=2912.53 cores=0,2
/proc/880931/stat : 880931 (pb-oll-rs) R 880928 880931 878123 0 -1 4194304 13433 0 0 0 290602 651 0 0 20 0 1 0 169047029 122572800 18983 134679101440 4194304 5384005 140724203450448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31850496 140724203455511 140724203455588 140724203455588 140724203462603 0
/proc/880931/statm: 29925 18983 1380 291 0 21459 0
Current children cumulated CPU time: 2912.53 s
Current children cumulated vsize: 119700 KiB
Current children cumulated memory: 75932 KiB
[startup+2982.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/254 882361
/proc/meminfo: memFree=125169048/131524600 swapFree=131071996/131071996
[pid=880931] ppid=880928 vsize=119700 memory=75932 CPUtime=2972.33 cores=0,2
/proc/880931/stat : 880931 (pb-oll-rs) R 880928 880931 878123 0 -1 4194304 13465 0 0 0 296577 656 0 0 20 0 1 0 169047029 122572800 18983 134679101440 4194304 5384005 140724203450448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31850496 140724203455511 140724203455588 140724203455588 140724203462603 0
/proc/880931/statm: 29925 18983 1380 291 0 21459 0
Current children cumulated CPU time: 2972.33 s
Current children cumulated vsize: 119700 KiB
Current children cumulated memory: 75932 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/254 882372
/proc/meminfo: memFree=125168416/131524600 swapFree=131071996/131071996
[pid=880931] ppid=880928 vsize=119504 memory=75896 CPUtime=3032.14 cores=0,2
/proc/880931/stat : 880931 (pb-oll-rs) R 880928 880931 878123 0 -1 4194304 13620 0 0 0 302552 662 0 0 20 0 1 0 169047029 122372096 18974 134679101440 4194304 5384005 140724203450448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31850496 140724203455511 140724203455588 140724203455588 140724203462603 0
/proc/880931/statm: 29876 18974 1380 291 0 21410 0
Current children cumulated CPU time: 3032.14 s
Current children cumulated vsize: 119504 KiB
Current children cumulated memory: 75896 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/254 882383
/proc/meminfo: memFree=125157060/131524600 swapFree=131071996/131071996
[pid=880931] ppid=880928 vsize=119504 memory=75896 CPUtime=3091.95 cores=0,2
/proc/880931/stat : 880931 (pb-oll-rs) R 880928 880931 878123 0 -1 4194304 13648 0 0 0 308529 666 0 0 20 0 1 0 169047029 122372096 18974 134679101440 4194304 5384005 140724203450448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31850496 140724203455511 140724203455588 140724203455588 140724203462603 0
/proc/880931/statm: 29876 18974 1380 291 0 21410 0
Current children cumulated CPU time: 3091.95 s
Current children cumulated vsize: 119504 KiB
Current children cumulated memory: 75896 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/254 882393
/proc/meminfo: memFree=125149080/131524600 swapFree=131071996/131071996
[pid=880931] ppid=880928 vsize=119504 memory=75896 CPUtime=3151.76 cores=0,2
/proc/880931/stat : 880931 (pb-oll-rs) R 880928 880931 878123 0 -1 4194304 13681 0 0 0 314504 672 0 0 20 0 1 0 169047029 122372096 18974 134679101440 4194304 5384005 140724203450448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31850496 140724203455511 140724203455588 140724203455588 140724203462603 0
/proc/880931/statm: 29876 18974 1380 291 0 21410 0
Current children cumulated CPU time: 3151.76 s
Current children cumulated vsize: 119504 KiB
Current children cumulated memory: 75896 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/256 882407
/proc/meminfo: memFree=125138848/131524600 swapFree=131071996/131071996
[pid=880931] ppid=880928 vsize=119504 memory=75908 CPUtime=3211.57 cores=0,2
/proc/880931/stat : 880931 (pb-oll-rs) R 880928 880931 878123 0 -1 4194304 13724 0 0 0 320481 676 0 0 20 0 1 0 169047029 122372096 18977 134679101440 4194304 5384005 140724203450448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31850496 140724203455511 140724203455588 140724203455588 140724203462603 0
/proc/880931/statm: 29876 18977 1380 291 0 21410 0
Current children cumulated CPU time: 3211.57 s
Current children cumulated vsize: 119504 KiB
Current children cumulated memory: 75908 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/256 882419
/proc/meminfo: memFree=125122420/131524600 swapFree=131071996/131071996
[pid=880931] ppid=880928 vsize=120112 memory=78408 CPUtime=3271.38 cores=0,2
/proc/880931/stat : 880931 (pb-oll-rs) R 880928 880931 878123 0 -1 4194304 13987 0 0 0 326457 681 0 0 20 0 1 0 169047029 122994688 19602 134679101440 4194304 5384005 140724203450448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31850496 140724203455511 140724203455588 140724203455588 140724203462603 0
/proc/880931/statm: 30028 19602 1380 291 0 21562 0
Current children cumulated CPU time: 3271.38 s
Current children cumulated vsize: 120112 KiB
Current children cumulated memory: 78408 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/256 882429
/proc/meminfo: memFree=125119012/131524600 swapFree=131071996/131071996
[pid=880931] ppid=880928 vsize=120112 memory=78408 CPUtime=3331.19 cores=0,2
/proc/880931/stat : 880931 (pb-oll-rs) R 880928 880931 878123 0 -1 4194304 14018 0 0 0 332433 686 0 0 20 0 1 0 169047029 122994688 19602 134679101440 4194304 5384005 140724203450448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31850496 140724203455511 140724203455588 140724203455588 140724203462603 0
/proc/880931/statm: 30028 19602 1380 291 0 21562 0
Current children cumulated CPU time: 3331.19 s
Current children cumulated vsize: 120112 KiB
Current children cumulated memory: 78408 KiB
[startup+3402.3 s]
/proc/loadavg: 4.45 4.23 4.13 5/256 882440
/proc/meminfo: memFree=125110788/131524600 swapFree=131071996/131071996
[pid=880931] ppid=880928 vsize=120112 memory=78408 CPUtime=3390.99 cores=0,2
/proc/880931/stat : 880931 (pb-oll-rs) R 880928 880931 878123 0 -1 4194304 14051 0 0 0 338409 690 0 0 20 0 1 0 169047029 122994688 19602 134679101440 4194304 5384005 140724203450448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31850496 140724203455511 140724203455588 140724203455588 140724203462603 0
/proc/880931/statm: 30028 19602 1380 291 0 21562 0
Current children cumulated CPU time: 3390.99 s
Current children cumulated vsize: 120112 KiB
Current children cumulated memory: 78408 KiB
[startup+3462.3 s]
/proc/loadavg: 4.28 4.21 4.13 5/256 882451
/proc/meminfo: memFree=125098656/131524600 swapFree=131071996/131071996
[pid=880931] ppid=880928 vsize=120112 memory=78432 CPUtime=3450.8 cores=0,2
/proc/880931/stat : 880931 (pb-oll-rs) R 880928 880931 878123 0 -1 4194304 14094 0 0 0 344385 695 0 0 20 0 1 0 169047029 122994688 19608 134679101440 4194304 5384005 140724203450448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31850496 140724203455511 140724203455588 140724203455588 140724203462603 0
/proc/880931/statm: 30028 19608 1380 291 0 21562 0
Current children cumulated CPU time: 3450.8 s
Current children cumulated vsize: 120112 KiB
Current children cumulated memory: 78432 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.17 4.12 5/258 882850
/proc/meminfo: memFree=125097016/131524600 swapFree=131071996/131071996
[pid=880931] ppid=880928 vsize=120240 memory=78588 CPUtime=3510.61 cores=0,2
/proc/880931/stat : 880931 (pb-oll-rs) R 880928 880931 878123 0 -1 4194304 14287 0 0 0 350361 700 0 0 20 0 1 0 169047029 123125760 19647 134679101440 4194304 5384005 140724203450448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31850496 140724203455511 140724203455588 140724203455588 140724203462603 0
/proc/880931/statm: 30060 19647 1380 291 0 21594 0
Current children cumulated CPU time: 3510.61 s
Current children cumulated vsize: 120240 KiB
Current children cumulated memory: 78588 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.17 4.12 5/259 882861
/proc/meminfo: memFree=125096388/131524600 swapFree=131071996/131071996
[pid=880931] ppid=880928 vsize=120240 memory=78588 CPUtime=3570.42 cores=0,2
/proc/880931/stat : 880931 (pb-oll-rs) R 880928 880931 878123 0 -1 4194304 14318 0 0 0 356338 704 0 0 20 0 1 0 169047029 123125760 19647 134679101440 4194304 5384005 140724203450448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31850496 140724203455511 140724203455588 140724203455588 140724203462603 0
/proc/880931/statm: 30060 19647 1380 291 0 21594 0
Current children cumulated CPU time: 3570.42 s
Current children cumulated vsize: 120240 KiB
Current children cumulated memory: 78588 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612 s]*
/proc/loadavg: 4.08 4.15 4.11 5/259 882957
/proc/meminfo: memFree=126644836/131524600 swapFree=131071996/131071996
[pid=880931] ppid=880928 vsize=120240 memory=78588 CPUtime=3600.03 cores=0,2
/proc/880931/stat : 880931 (pb-oll-rs) R 880928 880931 878123 0 -1 4194304 14319 0 0 0 359296 707 0 0 20 0 1 0 169047029 123125760 19647 134679101440 4194304 5384005 140724203450448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31850496 140724203455511 140724203455588 140724203455588 140724203462603 0
/proc/880931/statm: 30060 19647 1380 291 0 21594 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 120240 KiB
Current children cumulated memory: 78588 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.02 s]
# the end of solver process 880931 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.98 s, system=7.0738 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.02
CPU time (s): 3600.06
CPU user time (s): 3592.98
CPU system time (s): 7.0738
CPU usage (%): 99.6688
Max. virtual memory (cumulated for all children) (KiB): 120768
Max. memory (cumulated for all children) (KiB): 78884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.98
system time used= 7.0738
maximum resident set size= 78960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14336
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= 25203
# summary of solver processes directly reported to runsolver:
# pid: 880931
# total CPU time (s): 3600.06
# total CPU user time (s): 3592.98
# total CPU system time (s): 7.0738
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.07608 second user time and 17.1804 second system time
The end
Begin job on nodeC026 at 2024-07-17 00:27:01
IDJOB=4436146
IDBENCH=158535
IDSOLVER=3067
FILE ID=nodeC026/4436146-1721168808
RUNJOBID= nodeC026-1721165209-878133
SLURM_JOB_ID= 7505787
Free space on /tmp= 890076 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
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-4436146-1721168808/watcher-4436146-1721168808 -o /tmp/evaluation-result-4436146-1721168808/solver-4436146-1721168808 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721165209-878133 --watchdog 3760 pb-oll-rs HOME/instance-4436146-1721168808.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 28e415f3c4d8dab53aac16682d7f066d
RANDOM SEED=904053003
nodeC026.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 : 3650.098
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.74
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.966
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.45
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 : 3642.730
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.74
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.309
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.45
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 : 3672.975
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.74
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 : 3680.050
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.45
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 : 3636.273
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.74
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.991
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.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128521012 kB
MemAvailable: 129573524 kB
Buffers: 445184 kB
Cached: 1438008 kB
SwapCached: 0 kB
Active: 830172 kB
Inactive: 1563148 kB
Active(anon): 1572 kB
Inactive(anon): 546284 kB
Active(file): 828600 kB
Inactive(file): 1016864 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 6212 kB
Writeback: 0 kB
AnonPages: 504912 kB
Mapped: 108760 kB
Shmem: 37720 kB
KReclaimable: 93740 kB
Slab: 201268 kB
SReclaimable: 93740 kB
SUnreclaim: 107528 kB
KernelStack: 4124 kB
PageTables: 10716 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 872956 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 64256 kB
HardwareCorrupted: 0 kB
AnonHugePages: 350208 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: 232148 kB
DirectMap2M: 20512768 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 890072 MiB
End job on nodeC026 at 2024-07-17 01:27:13