0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.09/0.13 c [STEP] solving
0.09/0.13 c #variables 1807 #constraints 3444
0.09/0.13 c SMALL=int, LARGE=long long
0.09/0.13 c bounds - >= 66 @ 0.103955
0.09/0.13 c stratification level: 0
33.40/33.59 c #Conflicts: 1000 | #Constraints: 4443
33.40/33.59 c #Conflicts: 2000 | #Constraints: 5443
33.40/33.59 c INPROCESSING
33.40/33.59 c GARBAGE COLLECT
33.40/33.59 c #Conflicts: 3000 | #Constraints: 5459
33.40/33.59 c #Conflicts: 4000 | #Constraints: 6459
33.40/33.59 c INPROCESSING
33.40/33.59 c GARBAGE COLLECT
33.40/33.59 c #Conflicts: 5000 | #Constraints: 5871
33.40/33.59 c #Conflicts: 6000 | #Constraints: 6871
33.40/33.59 c INPROCESSING
33.40/33.59 c GARBAGE COLLECT
33.40/33.59 c #Conflicts: 7000 | #Constraints: 5884
33.40/33.59 c #Conflicts: 8000 | #Constraints: 6884
33.40/33.59 c #Conflicts: 9000 | #Constraints: 7884
33.40/33.59 c INPROCESSING
33.40/33.59 c GARBAGE COLLECT
33.40/33.59 c #Conflicts: 10000 | #Constraints: 6586
33.40/33.59 c #Conflicts: 11000 | #Constraints: 7586
33.40/33.59 c #Conflicts: 12000 | #Constraints: 8586
33.40/33.59 c INPROCESSING
33.40/33.59 c GARBAGE COLLECT
33.40/33.59 c #Conflicts: 13000 | #Constraints: 7035
33.40/33.59 c #Conflicts: 14000 | #Constraints: 8035
33.40/33.59 c #Conflicts: 15000 | #Constraints: 9035
33.40/33.59 c INPROCESSING
33.40/33.59 c GARBAGE COLLECT
33.40/33.59 c #Conflicts: 16000 | #Constraints: 7266
33.40/33.59 c #Conflicts: 17000 | #Constraints: 8266
33.40/33.59 c #Conflicts: 18000 | #Constraints: 9266
33.40/33.59 c INPROCESSING
33.40/33.59 c GARBAGE COLLECT
33.40/33.59 c #Conflicts: 19000 | #Constraints: 7277
33.40/33.59 c #Conflicts: 20000 | #Constraints: 8277
33.40/33.59 c #Conflicts: 21000 | #Constraints: 9277
33.40/33.59 c INPROCESSING
33.40/33.59 c GARBAGE COLLECT
33.40/33.59 c #Conflicts: 22000 | #Constraints: 7078
33.40/33.59 c #Conflicts: 23000 | #Constraints: 8078
33.40/33.59 c #Conflicts: 24000 | #Constraints: 9078
33.40/33.59 c #Conflicts: 25000 | #Constraints: 10078
33.40/33.59 c INPROCESSING
33.40/33.59 c GARBAGE COLLECT
33.40/33.59 c #Conflicts: 26000 | #Constraints: 7695
33.40/33.59 c #Conflicts: 27000 | #Constraints: 8695
33.40/33.59 c #Conflicts: 28000 | #Constraints: 9695
33.40/33.59 c #Conflicts: 29000 | #Constraints: 10695
33.40/33.59 c INPROCESSING
33.40/33.59 c GARBAGE COLLECT
33.40/33.59 c #Conflicts: 30000 | #Constraints: 8102
33.40/33.59 c #Conflicts: 31000 | #Constraints: 9102
33.40/33.59 c #Conflicts: 32000 | #Constraints: 10102
33.40/33.59 c #Conflicts: 33000 | #Constraints: 11102
33.40/33.59 c INPROCESSING
33.40/33.59 c GARBAGE COLLECT
33.40/33.59 c #Conflicts: 34000 | #Constraints: 8303
33.40/33.59 c #Conflicts: 35000 | #Constraints: 9303
33.40/33.59 c #Conflicts: 36000 | #Constraints: 10303
33.40/33.59 c #Conflicts: 37000 | #Constraints: 11303
33.40/33.59 c INPROCESSING
33.40/33.59 c GARBAGE COLLECT
33.40/33.59 c #Conflicts: 38000 | #Constraints: 8301
33.40/33.59 c #Conflicts: 39000 | #Constraints: 9301
33.40/33.59 c #Conflicts: 40000 | #Constraints: 10301
33.40/33.59 c #Conflicts: 41000 | #Constraints: 11301
33.40/33.59 c INPROCESSING
33.40/33.59 c GARBAGE COLLECT
33.40/33.59 c #Conflicts: 42000 | #Constraints: 8108
33.40/33.59 c #Conflicts: 43000 | #Constraints: 9108
33.40/33.59 c #Conflicts: 44000 | #Constraints: 10108
33.40/33.59 c #Conflicts: 45000 | #Constraints: 11108
33.40/33.59 c #Conflicts: 46000 | #Constraints: 12108
33.40/33.59 c INPROCESSING
33.40/33.59 c GARBAGE COLLECT
33.40/33.59 c #Conflicts: 47000 | #Constraints: 8706
33.40/33.59 c #Conflicts: 48000 | #Constraints: 9706
33.40/33.59 c #Conflicts: 49000 | #Constraints: 10706
33.40/33.59 c #Conflicts: 50000 | #Constraints: 11706
33.40/33.59 c #Conflicts: 51000 | #Constraints: 12706
33.40/33.59 c INPROCESSING
33.40/33.59 c GARBAGE COLLECT
33.40/33.59 c #Conflicts: 52000 | #Constraints: 9104
33.40/33.59 c #Conflicts: 53000 | #Constraints: 10104
33.40/33.59 c #Conflicts: 54000 | #Constraints: 11104
33.40/33.59 c #Conflicts: 55000 | #Constraints: 12104
33.40/33.59 c #Conflicts: 56000 | #Constraints: 13104
33.40/33.59 c INPROCESSING
33.40/33.59 c GARBAGE COLLECT
33.40/33.59 c #Conflicts: 57000 | #Constraints: 9309
33.40/33.59 c #Conflicts: 58000 | #Constraints: 10309
33.40/33.59 c #Conflicts: 59000 | #Constraints: 11309
33.40/33.59 c #Conflicts: 60000 | #Constraints: 12309
33.40/33.59 c #Conflicts: 61000 | #Constraints: 13309
33.40/33.59 c INPROCESSING
33.40/33.59 c GARBAGE COLLECT
33.40/33.59 c #Conflicts: 62000 | #Constraints: 9309
33.40/33.59 c #Conflicts: 63000 | #Constraints: 10309
33.40/33.59 c #Conflicts: 64000 | #Constraints: 11309
33.40/33.59 c #Conflicts: 65000 | #Constraints: 12309
33.40/33.59 c #Conflicts: 66000 | #Constraints: 13309
33.40/33.59 c INPROCESSING
33.40/33.59 c GARBAGE COLLECT
33.40/33.59 c #Conflicts: 67000 | #Constraints: 9116
33.40/33.59 c #Conflicts: 68000 | #Constraints: 10116
91.95/92.29 c #Conflicts: 69000 | #Constraints: 11116
91.95/92.29 c #Conflicts: 70000 | #Constraints: 12116
91.95/92.29 c #Conflicts: 71000 | #Constraints: 13116
91.95/92.29 c #Conflicts: 72000 | #Constraints: 14116
91.95/92.29 c INPROCESSING
91.95/92.29 c GARBAGE COLLECT
91.95/92.29 c #Conflicts: 73000 | #Constraints: 9722
91.95/92.29 c #Conflicts: 74000 | #Constraints: 10722
91.95/92.29 c #Conflicts: 75000 | #Constraints: 11722
91.95/92.29 c #Conflicts: 76000 | #Constraints: 12722
91.95/92.29 c #Conflicts: 77000 | #Constraints: 13722
91.95/92.29 c #Conflicts: 78000 | #Constraints: 14722
91.95/92.29 c INPROCESSING
91.95/92.29 c GARBAGE COLLECT
91.95/92.29 c #Conflicts: 79000 | #Constraints: 10116
91.95/92.29 c #Conflicts: 80000 | #Constraints: 11116
91.95/92.29 c #Conflicts: 81000 | #Constraints: 12116
91.95/92.29 c #Conflicts: 82000 | #Constraints: 13116
91.95/92.29 c #Conflicts: 83000 | #Constraints: 14116
91.95/92.29 c #Conflicts: 84000 | #Constraints: 15116
91.95/92.29 c INPROCESSING
91.95/92.29 c GARBAGE COLLECT
91.95/92.29 c #Conflicts: 85000 | #Constraints: 10318
91.95/92.29 c #Conflicts: 86000 | #Constraints: 11318
91.95/92.29 c #Conflicts: 87000 | #Constraints: 12318
91.95/92.29 c #Conflicts: 88000 | #Constraints: 13318
91.95/92.29 c #Conflicts: 89000 | #Constraints: 14318
91.95/92.29 c #Conflicts: 90000 | #Constraints: 15318
91.95/92.29 c INPROCESSING
91.95/92.29 c GARBAGE COLLECT
91.95/92.29 c #Conflicts: 91000 | #Constraints: 10317
91.95/92.29 c #Conflicts: 92000 | #Constraints: 11317
91.95/92.29 c #Conflicts: 93000 | #Constraints: 12317
91.95/92.29 c #Conflicts: 94000 | #Constraints: 13317
91.95/92.29 c #Conflicts: 95000 | #Constraints: 14317
91.95/92.29 c #Conflicts: 96000 | #Constraints: 15317
91.95/92.29 c INPROCESSING
91.95/92.29 c GARBAGE COLLECT
91.95/92.29 c #Conflicts: 97000 | #Constraints: 10116
91.95/92.29 c #Conflicts: 98000 | #Constraints: 11116
91.95/92.29 c #Conflicts: 99000 | #Constraints: 12116
91.95/92.29 c #Conflicts: 100000 | #Constraints: 13116
91.95/92.29 c #Conflicts: 101000 | #Constraints: 14116
91.95/92.29 c #Conflicts: 102000 | #Constraints: 15116
91.95/92.29 c #Conflicts: 103000 | #Constraints: 16116
91.95/92.29 c INPROCESSING
91.95/92.29 c GARBAGE COLLECT
91.95/92.29 c #Conflicts: 104000 | #Constraints: 10721
91.95/92.29 c #Conflicts: 105000 | #Constraints: 11721
91.95/92.29 c #Conflicts: 106000 | #Constraints: 12721
91.95/92.29 c #Conflicts: 107000 | #Constraints: 13721
91.95/92.29 c #Conflicts: 108000 | #Constraints: 14721
91.95/92.29 c #Conflicts: 109000 | #Constraints: 15721
91.95/92.29 c #Conflicts: 110000 | #Constraints: 16721
91.95/92.29 c INPROCESSING
91.95/92.29 c GARBAGE COLLECT
91.95/92.29 c #Conflicts: 111000 | #Constraints: 11112
91.95/92.29 c #Conflicts: 112000 | #Constraints: 12112
91.95/92.29 c #Conflicts: 113000 | #Constraints: 13112
91.95/92.29 c #Conflicts: 114000 | #Constraints: 14112
91.95/92.29 c #Conflicts: 115000 | #Constraints: 15112
91.95/92.29 c #Conflicts: 116000 | #Constraints: 16112
91.95/92.29 c #Conflicts: 117000 | #Constraints: 17112
91.95/92.29 c INPROCESSING
91.95/92.29 c GARBAGE COLLECT
91.95/92.29 c #Conflicts: 118000 | #Constraints: 11320
91.95/92.29 c #Conflicts: 119000 | #Constraints: 12320
91.95/92.29 c #Conflicts: 120000 | #Constraints: 13320
91.95/92.29 c #Conflicts: 121000 | #Constraints: 14320
91.95/92.29 c #Conflicts: 122000 | #Constraints: 15320
91.95/92.29 c #Conflicts: 123000 | #Constraints: 16320
91.95/92.29 c #Conflicts: 124000 | #Constraints: 17320
91.95/92.29 c INPROCESSING
91.95/92.29 c GARBAGE COLLECT
91.95/92.29 c #Conflicts: 125000 | #Constraints: 11326
91.95/92.29 c #Conflicts: 126000 | #Constraints: 12326
91.95/92.29 c #Conflicts: 127000 | #Constraints: 13326
91.95/92.29 c #Conflicts: 128000 | #Constraints: 14326
91.95/92.29 c #Conflicts: 129000 | #Constraints: 15326
91.95/92.29 c #Conflicts: 130000 | #Constraints: 16326
91.95/92.29 c #Conflicts: 131000 | #Constraints: 17326
91.95/92.29 c INPROCESSING
91.95/92.29 c GARBAGE COLLECT
91.95/92.29 c #Conflicts: 132000 | #Constraints: 11121
91.95/92.29 c #Conflicts: 133000 | #Constraints: 12121
91.95/92.29 c #Conflicts: 134000 | #Constraints: 13121
91.95/92.29 c #Conflicts: 135000 | #Constraints: 14121
91.95/92.29 c #Conflicts: 136000 | #Constraints: 15121
91.95/92.29 c #Conflicts: 137000 | #Constraints: 16121
91.95/92.29 c #Conflicts: 138000 | #Constraints: 17121
91.95/92.29 c #Conflicts: 139000 | #Constraints: 18121
91.95/92.29 c INPROCESSING
91.95/92.29 c GARBAGE COLLECT
91.95/92.29 c #Conflicts: 140000 | #Constraints: 11719
163.77/164.22 c #Conflicts: 141000 | #Constraints: 12719
163.77/164.22 c #Conflicts: 142000 | #Constraints: 13719
163.77/164.22 c #Conflicts: 143000 | #Constraints: 14719
163.77/164.22 c #Conflicts: 144000 | #Constraints: 15719
163.77/164.22 c #Conflicts: 145000 | #Constraints: 16719
163.77/164.22 c #Conflicts: 146000 | #Constraints: 17719
163.77/164.22 c #Conflicts: 147000 | #Constraints: 18719
163.77/164.22 c INPROCESSING
163.77/164.22 c GARBAGE COLLECT
163.77/164.22 c #Conflicts: 148000 | #Constraints: 12119
163.77/164.22 c #Conflicts: 149000 | #Constraints: 13119
163.77/164.22 c #Conflicts: 150000 | #Constraints: 14119
163.77/164.22 c #Conflicts: 151000 | #Constraints: 15119
163.77/164.22 c #Conflicts: 152000 | #Constraints: 16119
163.77/164.22 c #Conflicts: 153000 | #Constraints: 17119
163.77/164.22 c #Conflicts: 154000 | #Constraints: 18119
163.77/164.22 c #Conflicts: 155000 | #Constraints: 19119
163.77/164.22 c INPROCESSING
163.77/164.22 c GARBAGE COLLECT
163.77/164.22 c #Conflicts: 156000 | #Constraints: 12319
163.77/164.22 c #Conflicts: 157000 | #Constraints: 13319
163.77/164.22 c #Conflicts: 158000 | #Constraints: 14319
163.77/164.22 c #Conflicts: 159000 | #Constraints: 15319
163.77/164.22 c #Conflicts: 160000 | #Constraints: 16319
163.77/164.22 c #Conflicts: 161000 | #Constraints: 17319
163.77/164.22 c #Conflicts: 162000 | #Constraints: 18319
163.77/164.22 c #Conflicts: 163000 | #Constraints: 19319
163.77/164.22 c INPROCESSING
163.77/164.22 c GARBAGE COLLECT
163.77/164.22 c #Conflicts: 164000 | #Constraints: 12324
163.77/164.22 c #Conflicts: 165000 | #Constraints: 13324
163.77/164.22 c #Conflicts: 166000 | #Constraints: 14324
163.77/164.22 c #Conflicts: 167000 | #Constraints: 15324
163.77/164.22 c #Conflicts: 168000 | #Constraints: 16324
163.77/164.22 c #Conflicts: 169000 | #Constraints: 17324
163.77/164.22 c #Conflicts: 170000 | #Constraints: 18324
163.77/164.22 c #Conflicts: 171000 | #Constraints: 19324
163.77/164.22 c INPROCESSING
163.77/164.22 c GARBAGE COLLECT
163.77/164.22 c #Conflicts: 172000 | #Constraints: 12129
163.77/164.22 c #Conflicts: 173000 | #Constraints: 13129
163.77/164.22 c #Conflicts: 174000 | #Constraints: 14129
163.77/164.22 c #Conflicts: 175000 | #Constraints: 15129
163.77/164.22 c #Conflicts: 176000 | #Constraints: 16129
163.77/164.22 c #Conflicts: 177000 | #Constraints: 17129
163.77/164.22 c #Conflicts: 178000 | #Constraints: 18129
163.77/164.22 c #Conflicts: 179000 | #Constraints: 19129
163.77/164.22 c #Conflicts: 180000 | #Constraints: 20129
163.77/164.22 c INPROCESSING
163.77/164.22 c GARBAGE COLLECT
163.77/164.22 c #Conflicts: 181000 | #Constraints: 12717
163.77/164.22 c #Conflicts: 182000 | #Constraints: 13717
163.77/164.22 c #Conflicts: 183000 | #Constraints: 14717
163.77/164.22 c #Conflicts: 184000 | #Constraints: 15717
163.77/164.22 c #Conflicts: 185000 | #Constraints: 16717
163.77/164.22 c #Conflicts: 186000 | #Constraints: 17717
163.77/164.22 c #Conflicts: 187000 | #Constraints: 18717
163.77/164.22 c #Conflicts: 188000 | #Constraints: 19717
163.77/164.22 c #Conflicts: 189000 | #Constraints: 20717
163.77/164.22 c INPROCESSING
163.77/164.22 c GARBAGE COLLECT
163.77/164.22 c #Conflicts: 190000 | #Constraints: 13130
163.77/164.22 c #Conflicts: 191000 | #Constraints: 14130
163.77/164.22 c #Conflicts: 192000 | #Constraints: 15130
163.77/164.22 c #Conflicts: 193000 | #Constraints: 16130
163.77/164.22 c #Conflicts: 194000 | #Constraints: 17130
163.77/164.22 c #Conflicts: 195000 | #Constraints: 18130
163.77/164.22 c #Conflicts: 196000 | #Constraints: 19130
163.77/164.22 c #Conflicts: 197000 | #Constraints: 20130
163.77/164.22 c #Conflicts: 198000 | #Constraints: 21130
163.77/164.22 c INPROCESSING
163.77/164.22 c GARBAGE COLLECT
163.77/164.22 c #Conflicts: 199000 | #Constraints: 13333
163.77/164.22 c #Conflicts: 200000 | #Constraints: 14333
163.77/164.22 c #Conflicts: 201000 | #Constraints: 15333
163.77/164.22 c #Conflicts: 202000 | #Constraints: 16333
163.77/164.22 c #Conflicts: 203000 | #Constraints: 17333
163.77/164.22 c #Conflicts: 204000 | #Constraints: 18333
163.77/164.22 c #Conflicts: 205000 | #Constraints: 19333
163.77/164.22 c #Conflicts: 206000 | #Constraints: 20333
163.77/164.22 c #Conflicts: 207000 | #Constraints: 21333
163.77/164.22 c INPROCESSING
163.77/164.22 c GARBAGE COLLECT
163.77/164.22 c #Conflicts: 208000 | #Constraints: 13319
163.77/164.22 c #Conflicts: 209000 | #Constraints: 14319
163.77/164.22 c #Conflicts: 210000 | #Constraints: 15319
163.77/164.22 c #Conflicts: 211000 | #Constraints: 16319
163.77/164.22 c #Conflicts: 212000 | #Constraints: 17319
163.77/164.22 c #Conflicts: 213000 | #Constraints: 18319
250.96/251.65 c #Conflicts: 214000 | #Constraints: 19319
250.96/251.65 c #Conflicts: 215000 | #Constraints: 20319
250.96/251.65 c #Conflicts: 216000 | #Constraints: 21319
250.96/251.65 c INPROCESSING
250.96/251.65 c GARBAGE COLLECT
250.96/251.65 c #Conflicts: 217000 | #Constraints: 13124
250.96/251.65 c #Conflicts: 218000 | #Constraints: 14124
250.96/251.65 c #Conflicts: 219000 | #Constraints: 15124
250.96/251.65 c #Conflicts: 220000 | #Constraints: 16124
250.96/251.65 c #Conflicts: 221000 | #Constraints: 17124
250.96/251.65 c #Conflicts: 222000 | #Constraints: 18124
250.96/251.65 c #Conflicts: 223000 | #Constraints: 19124
250.96/251.65 c #Conflicts: 224000 | #Constraints: 20124
250.96/251.65 c #Conflicts: 225000 | #Constraints: 21124
250.96/251.65 c #Conflicts: 226000 | #Constraints: 22124
250.96/251.65 c INPROCESSING
250.96/251.65 c GARBAGE COLLECT
250.96/251.65 c #Conflicts: 227000 | #Constraints: 13728
250.96/251.65 c #Conflicts: 228000 | #Constraints: 14728
250.96/251.65 c #Conflicts: 229000 | #Constraints: 15728
250.96/251.65 c #Conflicts: 230000 | #Constraints: 16728
250.96/251.65 c #Conflicts: 231000 | #Constraints: 17728
250.96/251.65 c #Conflicts: 232000 | #Constraints: 18728
250.96/251.65 c #Conflicts: 233000 | #Constraints: 19728
250.96/251.65 c #Conflicts: 234000 | #Constraints: 20728
250.96/251.65 c #Conflicts: 235000 | #Constraints: 21728
250.96/251.65 c #Conflicts: 236000 | #Constraints: 22728
250.96/251.65 c INPROCESSING
250.96/251.65 c GARBAGE COLLECT
250.96/251.65 c #Conflicts: 237000 | #Constraints: 14124
250.96/251.65 c #Conflicts: 238000 | #Constraints: 15124
250.96/251.65 c #Conflicts: 239000 | #Constraints: 16124
250.96/251.65 c #Conflicts: 240000 | #Constraints: 17124
250.96/251.65 c #Conflicts: 241000 | #Constraints: 18124
250.96/251.65 c #Conflicts: 242000 | #Constraints: 19124
250.96/251.65 c #Conflicts: 243000 | #Constraints: 20124
250.96/251.65 c #Conflicts: 244000 | #Constraints: 21124
250.96/251.65 c #Conflicts: 245000 | #Constraints: 22124
250.96/251.65 c #Conflicts: 246000 | #Constraints: 23124
250.96/251.65 c INPROCESSING
250.96/251.65 c GARBAGE COLLECT
250.96/251.65 c #Conflicts: 247000 | #Constraints: 14325
250.96/251.65 c #Conflicts: 248000 | #Constraints: 15325
250.96/251.65 c #Conflicts: 249000 | #Constraints: 16325
250.96/251.65 c #Conflicts: 250000 | #Constraints: 17325
250.96/251.65 c #Conflicts: 251000 | #Constraints: 18325
250.96/251.65 c #Conflicts: 252000 | #Constraints: 19325
250.96/251.65 c #Conflicts: 253000 | #Constraints: 20325
250.96/251.65 c #Conflicts: 254000 | #Constraints: 21325
250.96/251.65 c #Conflicts: 255000 | #Constraints: 22325
250.96/251.65 c #Conflicts: 256000 | #Constraints: 23325
250.96/251.65 c INPROCESSING
250.96/251.65 c GARBAGE COLLECT
250.96/251.65 c #Conflicts: 257000 | #Constraints: 14315
250.96/251.65 c #Conflicts: 258000 | #Constraints: 15315
250.96/251.65 c #Conflicts: 259000 | #Constraints: 16315
250.96/251.65 c #Conflicts: 260000 | #Constraints: 17315
250.96/251.65 c #Conflicts: 261000 | #Constraints: 18315
250.96/251.65 c #Conflicts: 262000 | #Constraints: 19315
250.96/251.65 c #Conflicts: 263000 | #Constraints: 20315
250.96/251.65 c #Conflicts: 264000 | #Constraints: 21315
250.96/251.65 c #Conflicts: 265000 | #Constraints: 22315
250.96/251.65 c #Conflicts: 266000 | #Constraints: 23315
250.96/251.65 c INPROCESSING
250.96/251.65 c GARBAGE COLLECT
250.96/251.65 c #Conflicts: 267000 | #Constraints: 14116
250.96/251.65 c #Conflicts: 268000 | #Constraints: 15116
250.96/251.65 c #Conflicts: 269000 | #Constraints: 16116
250.96/251.65 c #Conflicts: 270000 | #Constraints: 17116
250.96/251.65 c #Conflicts: 271000 | #Constraints: 18116
250.96/251.65 c #Conflicts: 272000 | #Constraints: 19116
250.96/251.65 c #Conflicts: 273000 | #Constraints: 20116
250.96/251.65 c #Conflicts: 274000 | #Constraints: 21116
250.96/251.65 c #Conflicts: 275000 | #Constraints: 22116
250.96/251.65 c #Conflicts: 276000 | #Constraints: 23116
250.96/251.65 c #Conflicts: 277000 | #Constraints: 24116
250.96/251.65 c INPROCESSING
250.96/251.65 c GARBAGE COLLECT
250.96/251.65 c #Conflicts: 278000 | #Constraints: 14722
250.96/251.65 c #Conflicts: 279000 | #Constraints: 15722
250.96/251.65 c #Conflicts: 280000 | #Constraints: 16722
250.96/251.65 c #Conflicts: 281000 | #Constraints: 17722
250.96/251.65 c #Conflicts: 282000 | #Constraints: 18722
250.96/251.65 c #Conflicts: 283000 | #Constraints: 19722
250.96/251.65 c #Conflicts: 284000 | #Constraints: 20722
250.96/251.65 c #Conflicts: 285000 | #Constraints: 21722
250.96/251.65 c #Conflicts: 286000 | #Constraints: 22722
250.96/251.65 c #Conflicts: 287000 | #Constraints: 23722
250.96/251.65 c #Conflicts: 288000 | #Constraints: 24722
349.01/349.94 c INPROCESSING
349.01/349.94 c GARBAGE COLLECT
349.01/349.94 c #Conflicts: 289000 | #Constraints: 15122
349.01/349.94 c #Conflicts: 290000 | #Constraints: 16122
349.01/349.94 c #Conflicts: 291000 | #Constraints: 17122
349.01/349.94 c #Conflicts: 292000 | #Constraints: 18122
349.01/349.94 c #Conflicts: 293000 | #Constraints: 19122
349.01/349.94 c #Conflicts: 294000 | #Constraints: 20122
349.01/349.94 c #Conflicts: 295000 | #Constraints: 21122
349.01/349.94 c #Conflicts: 296000 | #Constraints: 22122
349.01/349.94 c #Conflicts: 297000 | #Constraints: 23122
349.01/349.94 c #Conflicts: 298000 | #Constraints: 24122
349.01/349.94 c #Conflicts: 299000 | #Constraints: 25122
349.01/349.94 c INPROCESSING
349.01/349.94 c GARBAGE COLLECT
349.01/349.94 c #Conflicts: 300000 | #Constraints: 15325
349.01/349.94 c #Conflicts: 301000 | #Constraints: 16325
349.01/349.94 c #Conflicts: 302000 | #Constraints: 17325
349.01/349.94 c #Conflicts: 303000 | #Constraints: 18325
349.01/349.94 c #Conflicts: 304000 | #Constraints: 19325
349.01/349.94 c #Conflicts: 305000 | #Constraints: 20325
349.01/349.94 c #Conflicts: 306000 | #Constraints: 21325
349.01/349.94 c #Conflicts: 307000 | #Constraints: 22325
349.01/349.94 c #Conflicts: 308000 | #Constraints: 23325
349.01/349.94 c #Conflicts: 309000 | #Constraints: 24325
349.01/349.94 c #Conflicts: 310000 | #Constraints: 25325
349.01/349.94 c INPROCESSING
349.01/349.94 c GARBAGE COLLECT
349.01/349.94 c #Conflicts: 311000 | #Constraints: 15327
349.01/349.94 c #Conflicts: 312000 | #Constraints: 16327
349.01/349.94 c #Conflicts: 313000 | #Constraints: 17327
349.01/349.94 c #Conflicts: 314000 | #Constraints: 18327
349.01/349.94 c #Conflicts: 315000 | #Constraints: 19327
349.01/349.94 c #Conflicts: 316000 | #Constraints: 20327
349.01/349.94 c #Conflicts: 317000 | #Constraints: 21327
349.01/349.94 c #Conflicts: 318000 | #Constraints: 22327
349.01/349.94 c #Conflicts: 319000 | #Constraints: 23327
349.01/349.94 c #Conflicts: 320000 | #Constraints: 24327
349.01/349.94 c #Conflicts: 321000 | #Constraints: 25327
349.01/349.94 c INPROCESSING
349.01/349.94 c GARBAGE COLLECT
349.01/349.94 c #Conflicts: 322000 | #Constraints: 15128
349.01/349.94 c #Conflicts: 323000 | #Constraints: 16128
349.01/349.94 c #Conflicts: 324000 | #Constraints: 17128
349.01/349.94 c #Conflicts: 325000 | #Constraints: 18128
349.01/349.94 c #Conflicts: 326000 | #Constraints: 19128
349.01/349.94 c #Conflicts: 327000 | #Constraints: 20128
349.01/349.94 c #Conflicts: 328000 | #Constraints: 21128
349.01/349.94 c #Conflicts: 329000 | #Constraints: 22128
349.01/349.94 c #Conflicts: 330000 | #Constraints: 23128
349.01/349.94 c #Conflicts: 331000 | #Constraints: 24128
349.01/349.94 c #Conflicts: 332000 | #Constraints: 25128
349.01/349.94 c #Conflicts: 333000 | #Constraints: 26128
349.01/349.94 c INPROCESSING
349.01/349.94 c GARBAGE COLLECT
349.01/349.94 c #Conflicts: 334000 | #Constraints: 15739
349.01/349.94 c #Conflicts: 335000 | #Constraints: 16739
349.01/349.94 c #Conflicts: 336000 | #Constraints: 17739
349.01/349.94 c #Conflicts: 337000 | #Constraints: 18739
349.01/349.94 c #Conflicts: 338000 | #Constraints: 19739
349.01/349.94 c #Conflicts: 339000 | #Constraints: 20739
349.01/349.94 c #Conflicts: 340000 | #Constraints: 21739
349.01/349.94 c #Conflicts: 341000 | #Constraints: 22739
349.01/349.94 c #Conflicts: 342000 | #Constraints: 23739
349.01/349.94 c #Conflicts: 343000 | #Constraints: 24739
349.01/349.94 c #Conflicts: 344000 | #Constraints: 25739
349.01/349.94 c #Conflicts: 345000 | #Constraints: 26739
349.01/349.94 c INPROCESSING
349.01/349.94 c GARBAGE COLLECT
349.01/349.94 c #Conflicts: 346000 | #Constraints: 16150
349.01/349.94 c #Conflicts: 347000 | #Constraints: 17150
349.01/349.94 c #Conflicts: 348000 | #Constraints: 18150
349.01/349.94 c #Conflicts: 349000 | #Constraints: 19150
349.01/349.94 c #Conflicts: 350000 | #Constraints: 20150
349.01/349.94 c #Conflicts: 351000 | #Constraints: 21150
349.01/349.94 c #Conflicts: 352000 | #Constraints: 22150
349.01/349.94 c #Conflicts: 353000 | #Constraints: 23150
349.01/349.94 c #Conflicts: 354000 | #Constraints: 24150
349.01/349.94 c #Conflicts: 355000 | #Constraints: 25150
349.01/349.94 c #Conflicts: 356000 | #Constraints: 26150
349.01/349.94 c #Conflicts: 357000 | #Constraints: 27150
349.01/349.94 c INPROCESSING
349.01/349.94 c GARBAGE COLLECT
349.01/349.94 c #Conflicts: 358000 | #Constraints: 16353
349.01/349.94 c #Conflicts: 359000 | #Constraints: 17353
349.01/349.94 c #Conflicts: 360000 | #Constraints: 18353
349.01/349.94 c #Conflicts: 361000 | #Constraints: 19353
349.01/349.94 c #Conflicts: 362000 | #Constraints: 20353
458.55/459.72 c #Conflicts: 363000 | #Constraints: 21353
458.55/459.72 c #Conflicts: 364000 | #Constraints: 22353
458.55/459.72 c #Conflicts: 365000 | #Constraints: 23353
458.55/459.72 c #Conflicts: 366000 | #Constraints: 24353
458.55/459.72 c #Conflicts: 367000 | #Constraints: 25353
458.55/459.72 c #Conflicts: 368000 | #Constraints: 26353
458.55/459.72 c #Conflicts: 369000 | #Constraints: 27353
458.55/459.72 c INPROCESSING
458.55/459.72 c GARBAGE COLLECT
458.55/459.72 c #Conflicts: 370000 | #Constraints: 16339
458.55/459.72 c #Conflicts: 371000 | #Constraints: 17339
458.55/459.72 c #Conflicts: 372000 | #Constraints: 18339
458.55/459.72 c #Conflicts: 373000 | #Constraints: 19339
458.55/459.72 c #Conflicts: 374000 | #Constraints: 20339
458.55/459.72 c #Conflicts: 375000 | #Constraints: 21339
458.55/459.72 c #Conflicts: 376000 | #Constraints: 22339
458.55/459.72 c #Conflicts: 377000 | #Constraints: 23339
458.55/459.72 c #Conflicts: 378000 | #Constraints: 24339
458.55/459.72 c #Conflicts: 379000 | #Constraints: 25339
458.55/459.72 c #Conflicts: 380000 | #Constraints: 26339
458.55/459.72 c #Conflicts: 381000 | #Constraints: 27339
458.55/459.72 c INPROCESSING
458.55/459.72 c GARBAGE COLLECT
458.55/459.72 c #Conflicts: 382000 | #Constraints: 16136
458.55/459.72 c #Conflicts: 383000 | #Constraints: 17136
458.55/459.72 c #Conflicts: 384000 | #Constraints: 18136
458.55/459.72 c #Conflicts: 385000 | #Constraints: 19136
458.55/459.72 c #Conflicts: 386000 | #Constraints: 20136
458.55/459.72 c #Conflicts: 387000 | #Constraints: 21136
458.55/459.72 c #Conflicts: 388000 | #Constraints: 22136
458.55/459.72 c #Conflicts: 389000 | #Constraints: 23136
458.55/459.72 c #Conflicts: 390000 | #Constraints: 24136
458.55/459.72 c #Conflicts: 391000 | #Constraints: 25136
458.55/459.72 c #Conflicts: 392000 | #Constraints: 26136
458.55/459.72 c #Conflicts: 393000 | #Constraints: 27136
458.55/459.72 c #Conflicts: 394000 | #Constraints: 28136
458.55/459.72 c INPROCESSING
458.55/459.72 c GARBAGE COLLECT
458.55/459.72 c #Conflicts: 395000 | #Constraints: 16737
458.55/459.72 c #Conflicts: 396000 | #Constraints: 17737
458.55/459.72 c #Conflicts: 397000 | #Constraints: 18737
458.55/459.72 c #Conflicts: 398000 | #Constraints: 19737
458.55/459.72 c #Conflicts: 399000 | #Constraints: 20737
458.55/459.72 c #Conflicts: 400000 | #Constraints: 21737
458.55/459.72 c #Conflicts: 401000 | #Constraints: 22737
458.55/459.72 c #Conflicts: 402000 | #Constraints: 23737
458.55/459.72 c #Conflicts: 403000 | #Constraints: 24737
458.55/459.72 c #Conflicts: 404000 | #Constraints: 25737
458.55/459.72 c #Conflicts: 405000 | #Constraints: 26737
458.55/459.72 c #Conflicts: 406000 | #Constraints: 27737
458.55/459.72 c #Conflicts: 407000 | #Constraints: 28737
458.55/459.72 c INPROCESSING
458.55/459.72 c GARBAGE COLLECT
458.55/459.72 c #Conflicts: 408000 | #Constraints: 17135
458.55/459.72 c #Conflicts: 409000 | #Constraints: 18135
458.55/459.72 c #Conflicts: 410000 | #Constraints: 19135
458.55/459.72 c #Conflicts: 411000 | #Constraints: 20135
458.55/459.72 c #Conflicts: 412000 | #Constraints: 21135
458.55/459.72 c #Conflicts: 413000 | #Constraints: 22135
458.55/459.72 c #Conflicts: 414000 | #Constraints: 23135
458.55/459.72 c #Conflicts: 415000 | #Constraints: 24135
458.55/459.72 c #Conflicts: 416000 | #Constraints: 25135
458.55/459.72 c #Conflicts: 417000 | #Constraints: 26135
458.55/459.72 c #Conflicts: 418000 | #Constraints: 27135
458.55/459.72 c #Conflicts: 419000 | #Constraints: 28135
458.55/459.72 c #Conflicts: 420000 | #Constraints: 29135
458.55/459.72 c INPROCESSING
458.55/459.72 c GARBAGE COLLECT
458.55/459.72 c #Conflicts: 421000 | #Constraints: 17333
458.55/459.72 c #Conflicts: 422000 | #Constraints: 18333
458.55/459.72 c #Conflicts: 423000 | #Constraints: 19333
458.55/459.72 c #Conflicts: 424000 | #Constraints: 20333
458.55/459.72 c #Conflicts: 425000 | #Constraints: 21333
458.55/459.72 c #Conflicts: 426000 | #Constraints: 22333
458.55/459.72 c #Conflicts: 427000 | #Constraints: 23333
458.55/459.72 c #Conflicts: 428000 | #Constraints: 24333
458.55/459.72 c #Conflicts: 429000 | #Constraints: 25333
458.55/459.72 c #Conflicts: 430000 | #Constraints: 26333
458.55/459.72 c #Conflicts: 431000 | #Constraints: 27333
458.55/459.72 c #Conflicts: 432000 | #Constraints: 28333
458.55/459.72 c #Conflicts: 433000 | #Constraints: 29333
458.55/459.72 c INPROCESSING
458.55/459.72 c GARBAGE COLLECT
458.55/459.72 c #Conflicts: 434000 | #Constraints: 17337
458.55/459.72 c #Conflicts: 435000 | #Constraints: 18337
458.55/459.72 c #Conflicts: 436000 | #Constraints: 19337
458.55/459.72 c #Conflicts: 437000 | #Constraints: 20337
583.65/585.14 c #Conflicts: 438000 | #Constraints: 21337
583.65/585.14 c #Conflicts: 439000 | #Constraints: 22337
583.65/585.14 c #Conflicts: 440000 | #Constraints: 23337
583.65/585.14 c #Conflicts: 441000 | #Constraints: 24337
583.65/585.14 c #Conflicts: 442000 | #Constraints: 25337
583.65/585.14 c #Conflicts: 443000 | #Constraints: 26337
583.65/585.14 c #Conflicts: 444000 | #Constraints: 27337
583.65/585.14 c #Conflicts: 445000 | #Constraints: 28337
583.65/585.14 c #Conflicts: 446000 | #Constraints: 29337
583.65/585.14 c INPROCESSING
583.65/585.14 c GARBAGE COLLECT
583.65/585.14 c #Conflicts: 447000 | #Constraints: 17145
583.65/585.14 c #Conflicts: 448000 | #Constraints: 18145
583.65/585.14 c #Conflicts: 449000 | #Constraints: 19145
583.65/585.14 c #Conflicts: 450000 | #Constraints: 20145
583.65/585.14 c #Conflicts: 451000 | #Constraints: 21145
583.65/585.14 c #Conflicts: 452000 | #Constraints: 22145
583.65/585.14 c #Conflicts: 453000 | #Constraints: 23145
583.65/585.14 c #Conflicts: 454000 | #Constraints: 24145
583.65/585.14 c #Conflicts: 455000 | #Constraints: 25145
583.65/585.14 c #Conflicts: 456000 | #Constraints: 26145
583.65/585.14 c #Conflicts: 457000 | #Constraints: 27145
583.65/585.14 c #Conflicts: 458000 | #Constraints: 28145
583.65/585.14 c #Conflicts: 459000 | #Constraints: 29145
583.65/585.14 c #Conflicts: 460000 | #Constraints: 30145
583.65/585.14 c INPROCESSING
583.65/585.14 c GARBAGE COLLECT
583.65/585.14 c #Conflicts: 461000 | #Constraints: 17750
583.65/585.14 c #Conflicts: 462000 | #Constraints: 18750
583.65/585.14 c #Conflicts: 463000 | #Constraints: 19750
583.65/585.14 c #Conflicts: 464000 | #Constraints: 20750
583.65/585.14 c #Conflicts: 465000 | #Constraints: 21750
583.65/585.14 c #Conflicts: 466000 | #Constraints: 22750
583.65/585.14 c #Conflicts: 467000 | #Constraints: 23750
583.65/585.14 c #Conflicts: 468000 | #Constraints: 24750
583.65/585.14 c #Conflicts: 469000 | #Constraints: 25750
583.65/585.14 c #Conflicts: 470000 | #Constraints: 26750
583.65/585.14 c #Conflicts: 471000 | #Constraints: 27750
583.65/585.14 c #Conflicts: 472000 | #Constraints: 28750
583.65/585.14 c #Conflicts: 473000 | #Constraints: 29750
583.65/585.14 c #Conflicts: 474000 | #Constraints: 30750
583.65/585.14 c INPROCESSING
583.65/585.14 c GARBAGE COLLECT
583.65/585.14 c #Conflicts: 475000 | #Constraints: 18135
583.65/585.14 c #Conflicts: 476000 | #Constraints: 19135
583.65/585.14 c #Conflicts: 477000 | #Constraints: 20135
583.65/585.14 c #Conflicts: 478000 | #Constraints: 21135
583.65/585.14 c #Conflicts: 479000 | #Constraints: 22135
583.65/585.14 c #Conflicts: 480000 | #Constraints: 23135
583.65/585.14 c #Conflicts: 481000 | #Constraints: 24135
583.65/585.14 c #Conflicts: 482000 | #Constraints: 25135
583.65/585.14 c #Conflicts: 483000 | #Constraints: 26135
583.65/585.14 c #Conflicts: 484000 | #Constraints: 27135
583.65/585.14 c #Conflicts: 485000 | #Constraints: 28135
583.65/585.14 c #Conflicts: 486000 | #Constraints: 29135
583.65/585.14 c #Conflicts: 487000 | #Constraints: 30135
583.65/585.14 c #Conflicts: 488000 | #Constraints: 31135
583.65/585.14 c INPROCESSING
583.65/585.14 c GARBAGE COLLECT
583.65/585.14 c #Conflicts: 489000 | #Constraints: 18357
583.65/585.14 c #Conflicts: 490000 | #Constraints: 19357
583.65/585.14 c #Conflicts: 491000 | #Constraints: 20357
583.65/585.14 c #Conflicts: 492000 | #Constraints: 21357
583.65/585.14 c #Conflicts: 493000 | #Constraints: 22357
583.65/585.14 c #Conflicts: 494000 | #Constraints: 23357
583.65/585.14 c #Conflicts: 495000 | #Constraints: 24357
583.65/585.14 c #Conflicts: 496000 | #Constraints: 25357
583.65/585.14 c #Conflicts: 497000 | #Constraints: 26357
583.65/585.14 c #Conflicts: 498000 | #Constraints: 27357
583.65/585.14 c #Conflicts: 499000 | #Constraints: 28357
583.65/585.14 c #Conflicts: 500000 | #Constraints: 29357
583.65/585.14 c #Conflicts: 501000 | #Constraints: 30357
583.65/585.14 c #Conflicts: 502000 | #Constraints: 31357
583.65/585.14 c INPROCESSING
583.65/585.14 c GARBAGE COLLECT
583.65/585.14 c #Conflicts: 503000 | #Constraints: 18344
583.65/585.14 c #Conflicts: 504000 | #Constraints: 19344
583.65/585.14 c #Conflicts: 505000 | #Constraints: 20344
583.65/585.14 c #Conflicts: 506000 | #Constraints: 21344
583.65/585.14 c #Conflicts: 507000 | #Constraints: 22344
583.65/585.14 c #Conflicts: 508000 | #Constraints: 23344
583.65/585.14 c #Conflicts: 509000 | #Constraints: 24344
583.65/585.14 c #Conflicts: 510000 | #Constraints: 25344
583.65/585.14 c #Conflicts: 511000 | #Constraints: 26344
583.65/585.14 c #Conflicts: 512000 | #Constraints: 27344
583.65/585.14 c #Conflicts: 513000 | #Constraints: 28344
733.37/735.27 c #Conflicts: 514000 | #Constraints: 29344
733.37/735.27 c #Conflicts: 515000 | #Constraints: 30344
733.37/735.27 c #Conflicts: 516000 | #Constraints: 31344
733.37/735.27 c INPROCESSING
733.37/735.27 c GARBAGE COLLECT
733.37/735.27 c #Conflicts: 517000 | #Constraints: 18143
733.37/735.27 c #Conflicts: 518000 | #Constraints: 19143
733.37/735.27 c #Conflicts: 519000 | #Constraints: 20143
733.37/735.27 c #Conflicts: 520000 | #Constraints: 21143
733.37/735.27 c #Conflicts: 521000 | #Constraints: 22143
733.37/735.27 c #Conflicts: 522000 | #Constraints: 23143
733.37/735.27 c #Conflicts: 523000 | #Constraints: 24143
733.37/735.27 c #Conflicts: 524000 | #Constraints: 25143
733.37/735.27 c #Conflicts: 525000 | #Constraints: 26143
733.37/735.27 c #Conflicts: 526000 | #Constraints: 27143
733.37/735.27 c #Conflicts: 527000 | #Constraints: 28143
733.37/735.27 c #Conflicts: 528000 | #Constraints: 29143
733.37/735.27 c #Conflicts: 529000 | #Constraints: 30143
733.37/735.27 c #Conflicts: 530000 | #Constraints: 31143
733.37/735.27 c #Conflicts: 531000 | #Constraints: 32143
733.37/735.27 c INPROCESSING
733.37/735.27 c GARBAGE COLLECT
733.37/735.27 c #Conflicts: 532000 | #Constraints: 18744
733.37/735.27 c #Conflicts: 533000 | #Constraints: 19744
733.37/735.27 c #Conflicts: 534000 | #Constraints: 20744
733.37/735.27 c #Conflicts: 535000 | #Constraints: 21744
733.37/735.27 c #Conflicts: 536000 | #Constraints: 22744
733.37/735.27 c #Conflicts: 537000 | #Constraints: 23744
733.37/735.27 c #Conflicts: 538000 | #Constraints: 24744
733.37/735.27 c #Conflicts: 539000 | #Constraints: 25744
733.37/735.27 c #Conflicts: 540000 | #Constraints: 26744
733.37/735.27 c #Conflicts: 541000 | #Constraints: 27744
733.37/735.27 c #Conflicts: 542000 | #Constraints: 28744
733.37/735.27 c #Conflicts: 543000 | #Constraints: 29744
733.37/735.27 c #Conflicts: 544000 | #Constraints: 30744
733.37/735.27 c #Conflicts: 545000 | #Constraints: 31744
733.37/735.27 c #Conflicts: 546000 | #Constraints: 32744
733.37/735.27 c INPROCESSING
733.37/735.27 c GARBAGE COLLECT
733.37/735.27 c #Conflicts: 547000 | #Constraints: 19139
733.37/735.27 c #Conflicts: 548000 | #Constraints: 20139
733.37/735.27 c #Conflicts: 549000 | #Constraints: 21139
733.37/735.27 c #Conflicts: 550000 | #Constraints: 22139
733.37/735.27 c #Conflicts: 551000 | #Constraints: 23139
733.37/735.27 c #Conflicts: 552000 | #Constraints: 24139
733.37/735.27 c #Conflicts: 553000 | #Constraints: 25139
733.37/735.27 c #Conflicts: 554000 | #Constraints: 26139
733.37/735.27 c #Conflicts: 555000 | #Constraints: 27139
733.37/735.27 c #Conflicts: 556000 | #Constraints: 28139
733.37/735.27 c #Conflicts: 557000 | #Constraints: 29139
733.37/735.27 c #Conflicts: 558000 | #Constraints: 30139
733.37/735.27 c #Conflicts: 559000 | #Constraints: 31139
733.37/735.27 c #Conflicts: 560000 | #Constraints: 32139
733.37/735.27 c #Conflicts: 561000 | #Constraints: 33139
733.37/735.27 c INPROCESSING
733.37/735.27 c GARBAGE COLLECT
733.37/735.27 c #Conflicts: 562000 | #Constraints: 19328
733.37/735.27 c #Conflicts: 563000 | #Constraints: 20328
733.37/735.27 c #Conflicts: 564000 | #Constraints: 21328
733.37/735.27 c #Conflicts: 565000 | #Constraints: 22328
733.37/735.27 c #Conflicts: 566000 | #Constraints: 23328
733.37/735.27 c #Conflicts: 567000 | #Constraints: 24328
733.37/735.27 c #Conflicts: 568000 | #Constraints: 25328
733.37/735.27 c #Conflicts: 569000 | #Constraints: 26328
733.37/735.27 c #Conflicts: 570000 | #Constraints: 27328
733.37/735.27 c #Conflicts: 571000 | #Constraints: 28328
733.37/735.27 c #Conflicts: 572000 | #Constraints: 29328
733.37/735.27 c #Conflicts: 573000 | #Constraints: 30328
733.37/735.27 c #Conflicts: 574000 | #Constraints: 31328
733.37/735.27 c #Conflicts: 575000 | #Constraints: 32328
733.37/735.27 c #Conflicts: 576000 | #Constraints: 33328
733.37/735.27 c INPROCESSING
733.37/735.27 c GARBAGE COLLECT
733.37/735.27 c #Conflicts: 577000 | #Constraints: 19333
733.37/735.27 c #Conflicts: 578000 | #Constraints: 20333
733.37/735.27 c #Conflicts: 579000 | #Constraints: 21333
733.37/735.27 c #Conflicts: 580000 | #Constraints: 22333
733.37/735.27 c #Conflicts: 581000 | #Constraints: 23333
733.37/735.27 c #Conflicts: 582000 | #Constraints: 24333
733.37/735.27 c #Conflicts: 583000 | #Constraints: 25333
733.37/735.27 c #Conflicts: 584000 | #Constraints: 26333
733.37/735.27 c #Conflicts: 585000 | #Constraints: 27333
733.37/735.27 c #Conflicts: 586000 | #Constraints: 28333
733.37/735.27 c #Conflicts: 587000 | #Constraints: 29333
733.37/735.27 c #Conflicts: 588000 | #Constraints: 30333
895.05/897.34 c #Conflicts: 589000 | #Constraints: 31333
895.05/897.34 c #Conflicts: 590000 | #Constraints: 32333
895.05/897.34 c #Conflicts: 591000 | #Constraints: 33333
895.05/897.34 c INPROCESSING
895.05/897.34 c GARBAGE COLLECT
895.05/897.34 c #Conflicts: 592000 | #Constraints: 19142
895.05/897.34 c #Conflicts: 593000 | #Constraints: 20142
895.05/897.34 c #Conflicts: 594000 | #Constraints: 21142
895.05/897.34 c #Conflicts: 595000 | #Constraints: 22142
895.05/897.34 c #Conflicts: 596000 | #Constraints: 23142
895.05/897.34 c #Conflicts: 597000 | #Constraints: 24142
895.05/897.34 c #Conflicts: 598000 | #Constraints: 25142
895.05/897.34 c #Conflicts: 599000 | #Constraints: 26142
895.05/897.34 c #Conflicts: 600000 | #Constraints: 27142
895.05/897.34 c #Conflicts: 601000 | #Constraints: 28142
895.05/897.34 c #Conflicts: 602000 | #Constraints: 29142
895.05/897.34 c #Conflicts: 603000 | #Constraints: 30142
895.05/897.34 c #Conflicts: 604000 | #Constraints: 31142
895.05/897.34 c #Conflicts: 605000 | #Constraints: 32142
895.05/897.34 c #Conflicts: 606000 | #Constraints: 33142
895.05/897.34 c #Conflicts: 607000 | #Constraints: 34142
895.05/897.34 c INPROCESSING
895.05/897.34 c GARBAGE COLLECT
895.05/897.34 c #Conflicts: 608000 | #Constraints: 19752
895.05/897.34 c #Conflicts: 609000 | #Constraints: 20752
895.05/897.34 c #Conflicts: 610000 | #Constraints: 21752
895.05/897.34 c #Conflicts: 611000 | #Constraints: 22752
895.05/897.34 c #Conflicts: 612000 | #Constraints: 23752
895.05/897.34 c #Conflicts: 613000 | #Constraints: 24752
895.05/897.34 c #Conflicts: 614000 | #Constraints: 25752
895.05/897.34 c #Conflicts: 615000 | #Constraints: 26752
895.05/897.34 c #Conflicts: 616000 | #Constraints: 27752
895.05/897.34 c #Conflicts: 617000 | #Constraints: 28752
895.05/897.34 c #Conflicts: 618000 | #Constraints: 29752
895.05/897.34 c #Conflicts: 619000 | #Constraints: 30752
895.05/897.34 c #Conflicts: 620000 | #Constraints: 31752
895.05/897.34 c #Conflicts: 621000 | #Constraints: 32752
895.05/897.34 c #Conflicts: 622000 | #Constraints: 33752
895.05/897.34 c #Conflicts: 623000 | #Constraints: 34752
895.05/897.34 c INPROCESSING
895.05/897.34 c GARBAGE COLLECT
895.05/897.34 c #Conflicts: 624000 | #Constraints: 20154
895.05/897.34 c #Conflicts: 625000 | #Constraints: 21154
895.05/897.34 c #Conflicts: 626000 | #Constraints: 22154
895.05/897.34 c #Conflicts: 627000 | #Constraints: 23154
895.05/897.34 c #Conflicts: 628000 | #Constraints: 24154
895.05/897.34 c #Conflicts: 629000 | #Constraints: 25154
895.05/897.34 c #Conflicts: 630000 | #Constraints: 26154
895.05/897.34 c #Conflicts: 631000 | #Constraints: 27154
895.05/897.34 c #Conflicts: 632000 | #Constraints: 28154
895.05/897.34 c #Conflicts: 633000 | #Constraints: 29154
895.05/897.34 c #Conflicts: 634000 | #Constraints: 30154
895.05/897.34 c #Conflicts: 635000 | #Constraints: 31154
895.05/897.34 c #Conflicts: 636000 | #Constraints: 32154
895.05/897.34 c #Conflicts: 637000 | #Constraints: 33154
895.05/897.34 c #Conflicts: 638000 | #Constraints: 34154
895.05/897.34 c #Conflicts: 639000 | #Constraints: 35154
895.05/897.34 c INPROCESSING
895.05/897.34 c GARBAGE COLLECT
895.05/897.34 c #Conflicts: 640000 | #Constraints: 20335
895.05/897.34 c #Conflicts: 641000 | #Constraints: 21335
895.05/897.34 c #Conflicts: 642000 | #Constraints: 22335
895.05/897.34 c #Conflicts: 643000 | #Constraints: 23335
895.05/897.34 c #Conflicts: 644000 | #Constraints: 24335
895.05/897.34 c #Conflicts: 645000 | #Constraints: 25335
895.05/897.34 c #Conflicts: 646000 | #Constraints: 26335
895.05/897.34 c #Conflicts: 647000 | #Constraints: 27335
895.05/897.34 c #Conflicts: 648000 | #Constraints: 28335
895.05/897.34 c #Conflicts: 649000 | #Constraints: 29335
895.05/897.34 c #Conflicts: 650000 | #Constraints: 30335
895.05/897.34 c #Conflicts: 651000 | #Constraints: 31335
895.05/897.34 c #Conflicts: 652000 | #Constraints: 32335
895.05/897.34 c #Conflicts: 653000 | #Constraints: 33335
895.05/897.34 c #Conflicts: 654000 | #Constraints: 34335
895.05/897.34 c #Conflicts: 655000 | #Constraints: 35335
895.05/897.34 c INPROCESSING
895.05/897.34 c GARBAGE COLLECT
895.05/897.34 c #Conflicts: 656000 | #Constraints: 20333
895.05/897.34 c #Conflicts: 657000 | #Constraints: 21333
895.05/897.34 c #Conflicts: 658000 | #Constraints: 22333
895.05/897.34 c #Conflicts: 659000 | #Constraints: 23333
895.05/897.34 c #Conflicts: 660000 | #Constraints: 24333
895.05/897.34 c #Conflicts: 661000 | #Constraints: 25333
895.05/897.34 c #Conflicts: 662000 | #Constraints: 26333
895.05/897.34 c #Conflicts: 663000 | #Constraints: 27333
895.05/897.34 c #Conflicts: 664000 | #Constraints: 28333
1075.20/1077.94 c #Conflicts: 665000 | #Constraints: 29333
1075.20/1077.94 c #Conflicts: 666000 | #Constraints: 30333
1075.20/1077.94 c #Conflicts: 667000 | #Constraints: 31333
1075.20/1077.94 c #Conflicts: 668000 | #Constraints: 32333
1075.20/1077.94 c #Conflicts: 669000 | #Constraints: 33333
1075.20/1077.94 c #Conflicts: 670000 | #Constraints: 34333
1075.20/1077.94 c #Conflicts: 671000 | #Constraints: 35333
1075.20/1077.94 c INPROCESSING
1075.20/1077.94 c GARBAGE COLLECT
1075.20/1077.94 c #Conflicts: 672000 | #Constraints: 20142
1075.20/1077.94 c #Conflicts: 673000 | #Constraints: 21142
1075.20/1077.94 c #Conflicts: 674000 | #Constraints: 22142
1075.20/1077.94 c #Conflicts: 675000 | #Constraints: 23142
1075.20/1077.94 c #Conflicts: 676000 | #Constraints: 24142
1075.20/1077.94 c #Conflicts: 677000 | #Constraints: 25142
1075.20/1077.94 c #Conflicts: 678000 | #Constraints: 26142
1075.20/1077.94 c #Conflicts: 679000 | #Constraints: 27142
1075.20/1077.94 c #Conflicts: 680000 | #Constraints: 28142
1075.20/1077.94 c #Conflicts: 681000 | #Constraints: 29142
1075.20/1077.94 c #Conflicts: 682000 | #Constraints: 30142
1075.20/1077.94 c #Conflicts: 683000 | #Constraints: 31142
1075.20/1077.94 c #Conflicts: 684000 | #Constraints: 32142
1075.20/1077.94 c #Conflicts: 685000 | #Constraints: 33142
1075.20/1077.94 c #Conflicts: 686000 | #Constraints: 34142
1075.20/1077.94 c #Conflicts: 687000 | #Constraints: 35142
1075.20/1077.94 c #Conflicts: 688000 | #Constraints: 36142
1075.20/1077.94 c INPROCESSING
1075.20/1077.94 c GARBAGE COLLECT
1075.20/1077.94 c #Conflicts: 689000 | #Constraints: 20744
1075.20/1077.94 c #Conflicts: 690000 | #Constraints: 21744
1075.20/1077.94 c #Conflicts: 691000 | #Constraints: 22744
1075.20/1077.94 c #Conflicts: 692000 | #Constraints: 23744
1075.20/1077.94 c #Conflicts: 693000 | #Constraints: 24744
1075.20/1077.94 c #Conflicts: 694000 | #Constraints: 25744
1075.20/1077.94 c #Conflicts: 695000 | #Constraints: 26744
1075.20/1077.94 c #Conflicts: 696000 | #Constraints: 27744
1075.20/1077.94 c #Conflicts: 697000 | #Constraints: 28744
1075.20/1077.94 c #Conflicts: 698000 | #Constraints: 29744
1075.20/1077.94 c #Conflicts: 699000 | #Constraints: 30744
1075.20/1077.94 c #Conflicts: 700000 | #Constraints: 31744
1075.20/1077.94 c #Conflicts: 701000 | #Constraints: 32744
1075.20/1077.94 c #Conflicts: 702000 | #Constraints: 33744
1075.20/1077.94 c #Conflicts: 703000 | #Constraints: 34744
1075.20/1077.94 c #Conflicts: 704000 | #Constraints: 35744
1075.20/1077.94 c #Conflicts: 705000 | #Constraints: 36744
1075.20/1077.94 c INPROCESSING
1075.20/1077.94 c GARBAGE COLLECT
1075.20/1077.94 c #Conflicts: 706000 | #Constraints: 21141
1075.20/1077.94 c #Conflicts: 707000 | #Constraints: 22141
1075.20/1077.94 c #Conflicts: 708000 | #Constraints: 23141
1075.20/1077.94 c #Conflicts: 709000 | #Constraints: 24141
1075.20/1077.94 c #Conflicts: 710000 | #Constraints: 25141
1075.20/1077.94 c #Conflicts: 711000 | #Constraints: 26141
1075.20/1077.94 c #Conflicts: 712000 | #Constraints: 27141
1075.20/1077.94 c #Conflicts: 713000 | #Constraints: 28141
1075.20/1077.94 c #Conflicts: 714000 | #Constraints: 29141
1075.20/1077.94 c #Conflicts: 715000 | #Constraints: 30141
1075.20/1077.94 c #Conflicts: 716000 | #Constraints: 31141
1075.20/1077.94 c #Conflicts: 717000 | #Constraints: 32141
1075.20/1077.94 c #Conflicts: 718000 | #Constraints: 33141
1075.20/1077.94 c #Conflicts: 719000 | #Constraints: 34141
1075.20/1077.94 c #Conflicts: 720000 | #Constraints: 35141
1075.20/1077.94 c #Conflicts: 721000 | #Constraints: 36141
1075.20/1077.94 c #Conflicts: 722000 | #Constraints: 37141
1075.20/1077.94 c INPROCESSING
1075.20/1077.94 c GARBAGE COLLECT
1075.20/1077.94 c #Conflicts: 723000 | #Constraints: 21362
1075.20/1077.94 c #Conflicts: 724000 | #Constraints: 22362
1075.20/1077.94 c #Conflicts: 725000 | #Constraints: 23362
1075.20/1077.94 c #Conflicts: 726000 | #Constraints: 24362
1075.20/1077.94 c #Conflicts: 727000 | #Constraints: 25362
1075.20/1077.94 c #Conflicts: 728000 | #Constraints: 26362
1075.20/1077.94 c #Conflicts: 729000 | #Constraints: 27362
1075.20/1077.94 c #Conflicts: 730000 | #Constraints: 28362
1075.20/1077.94 c #Conflicts: 731000 | #Constraints: 29362
1075.20/1077.94 c #Conflicts: 732000 | #Constraints: 30362
1075.20/1077.94 c #Conflicts: 733000 | #Constraints: 31362
1075.20/1077.94 c #Conflicts: 734000 | #Constraints: 32362
1075.20/1077.94 c #Conflicts: 735000 | #Constraints: 33362
1075.20/1077.94 c #Conflicts: 736000 | #Constraints: 34362
1075.20/1077.94 c #Conflicts: 737000 | #Constraints: 35362
1075.20/1077.94 c #Conflicts: 738000 | #Constraints: 36362
1075.20/1077.94 c #Conflicts: 739000 | #Constraints: 37362
1075.20/1077.94 c INPROCESSING
1075.20/1077.94 c GARBAGE COLLECT
1271.51/1274.71 c #Conflicts: 740000 | #Constraints: 21365
1271.51/1274.71 c #Conflicts: 741000 | #Constraints: 22365
1271.51/1274.71 c #Conflicts: 742000 | #Constraints: 23365
1271.51/1274.71 c #Conflicts: 743000 | #Constraints: 24365
1271.51/1274.71 c #Conflicts: 744000 | #Constraints: 25365
1271.51/1274.71 c #Conflicts: 745000 | #Constraints: 26365
1271.51/1274.71 c #Conflicts: 746000 | #Constraints: 27365
1271.51/1274.71 c #Conflicts: 747000 | #Constraints: 28365
1271.51/1274.71 c #Conflicts: 748000 | #Constraints: 29365
1271.51/1274.71 c #Conflicts: 749000 | #Constraints: 30365
1271.51/1274.71 c #Conflicts: 750000 | #Constraints: 31365
1271.51/1274.71 c #Conflicts: 751000 | #Constraints: 32365
1271.51/1274.71 c #Conflicts: 752000 | #Constraints: 33365
1271.51/1274.71 c #Conflicts: 753000 | #Constraints: 34365
1271.51/1274.71 c #Conflicts: 754000 | #Constraints: 35365
1271.51/1274.71 c #Conflicts: 755000 | #Constraints: 36365
1271.51/1274.71 c #Conflicts: 756000 | #Constraints: 37365
1271.51/1274.71 c INPROCESSING
1271.51/1274.71 c GARBAGE COLLECT
1271.51/1274.71 c #Conflicts: 757000 | #Constraints: 21148
1271.51/1274.71 c #Conflicts: 758000 | #Constraints: 22148
1271.51/1274.71 c #Conflicts: 759000 | #Constraints: 23148
1271.51/1274.71 c #Conflicts: 760000 | #Constraints: 24148
1271.51/1274.71 c #Conflicts: 761000 | #Constraints: 25148
1271.51/1274.71 c #Conflicts: 762000 | #Constraints: 26148
1271.51/1274.71 c #Conflicts: 763000 | #Constraints: 27148
1271.51/1274.71 c #Conflicts: 764000 | #Constraints: 28148
1271.51/1274.71 c #Conflicts: 765000 | #Constraints: 29148
1271.51/1274.71 c #Conflicts: 766000 | #Constraints: 30148
1271.51/1274.71 c #Conflicts: 767000 | #Constraints: 31148
1271.51/1274.71 c #Conflicts: 768000 | #Constraints: 32148
1271.51/1274.71 c #Conflicts: 769000 | #Constraints: 33148
1271.51/1274.71 c #Conflicts: 770000 | #Constraints: 34148
1271.51/1274.71 c #Conflicts: 771000 | #Constraints: 35148
1271.51/1274.71 c #Conflicts: 772000 | #Constraints: 36148
1271.51/1274.71 c #Conflicts: 773000 | #Constraints: 37148
1271.51/1274.71 c #Conflicts: 774000 | #Constraints: 38148
1271.51/1274.71 c INPROCESSING
1271.51/1274.71 c GARBAGE COLLECT
1271.51/1274.71 c #Conflicts: 775000 | #Constraints: 21743
1271.51/1274.71 c #Conflicts: 776000 | #Constraints: 22743
1271.51/1274.71 c #Conflicts: 777000 | #Constraints: 23743
1271.51/1274.71 c #Conflicts: 778000 | #Constraints: 24743
1271.51/1274.71 c #Conflicts: 779000 | #Constraints: 25743
1271.51/1274.71 c #Conflicts: 780000 | #Constraints: 26743
1271.51/1274.71 c #Conflicts: 781000 | #Constraints: 27743
1271.51/1274.71 c #Conflicts: 782000 | #Constraints: 28743
1271.51/1274.71 c #Conflicts: 783000 | #Constraints: 29743
1271.51/1274.71 c #Conflicts: 784000 | #Constraints: 30743
1271.51/1274.71 c #Conflicts: 785000 | #Constraints: 31743
1271.51/1274.71 c #Conflicts: 786000 | #Constraints: 32743
1271.51/1274.71 c #Conflicts: 787000 | #Constraints: 33743
1271.51/1274.71 c #Conflicts: 788000 | #Constraints: 34743
1271.51/1274.71 c #Conflicts: 789000 | #Constraints: 35743
1271.51/1274.71 c #Conflicts: 790000 | #Constraints: 36743
1271.51/1274.71 c #Conflicts: 791000 | #Constraints: 37743
1271.51/1274.71 c #Conflicts: 792000 | #Constraints: 38743
1271.51/1274.71 c INPROCESSING
1271.51/1274.71 c GARBAGE COLLECT
1271.51/1274.71 c #Conflicts: 793000 | #Constraints: 22153
1271.51/1274.71 c #Conflicts: 794000 | #Constraints: 23153
1271.51/1274.71 c #Conflicts: 795000 | #Constraints: 24153
1271.51/1274.71 c #Conflicts: 796000 | #Constraints: 25153
1271.51/1274.71 c #Conflicts: 797000 | #Constraints: 26153
1271.51/1274.71 c #Conflicts: 798000 | #Constraints: 27153
1271.51/1274.71 c #Conflicts: 799000 | #Constraints: 28153
1271.51/1274.71 c #Conflicts: 800000 | #Constraints: 29153
1271.51/1274.71 c #Conflicts: 801000 | #Constraints: 30153
1271.51/1274.71 c #Conflicts: 802000 | #Constraints: 31153
1271.51/1274.71 c #Conflicts: 803000 | #Constraints: 32153
1271.51/1274.71 c #Conflicts: 804000 | #Constraints: 33153
1271.51/1274.71 c #Conflicts: 805000 | #Constraints: 34153
1271.51/1274.71 c #Conflicts: 806000 | #Constraints: 35153
1271.51/1274.71 c #Conflicts: 807000 | #Constraints: 36153
1271.51/1274.71 c #Conflicts: 808000 | #Constraints: 37153
1271.51/1274.71 c #Conflicts: 809000 | #Constraints: 38153
1271.51/1274.71 c #Conflicts: 810000 | #Constraints: 39153
1271.51/1274.71 c INPROCESSING
1271.51/1274.71 c GARBAGE COLLECT
1271.51/1274.71 c #Conflicts: 811000 | #Constraints: 22339
1271.51/1274.71 c #Conflicts: 812000 | #Constraints: 23339
1271.51/1274.71 c #Conflicts: 813000 | #Constraints: 24339
1271.51/1274.71 c #Conflicts: 814000 | #Constraints: 25339
1271.51/1274.71 c #Conflicts: 815000 | #Constraints: 26339
1271.51/1274.71 c #Conflicts: 816000 | #Constraints: 27339
1482.29/1486.08 c #Conflicts: 817000 | #Constraints: 28339
1482.29/1486.08 c #Conflicts: 818000 | #Constraints: 29339
1482.29/1486.08 c #Conflicts: 819000 | #Constraints: 30339
1482.29/1486.08 c #Conflicts: 820000 | #Constraints: 31339
1482.29/1486.08 c #Conflicts: 821000 | #Constraints: 32339
1482.29/1486.08 c #Conflicts: 822000 | #Constraints: 33339
1482.29/1486.08 c #Conflicts: 823000 | #Constraints: 34339
1482.29/1486.08 c #Conflicts: 824000 | #Constraints: 35339
1482.29/1486.08 c #Conflicts: 825000 | #Constraints: 36339
1482.29/1486.08 c #Conflicts: 826000 | #Constraints: 37339
1482.29/1486.08 c #Conflicts: 827000 | #Constraints: 38339
1482.29/1486.08 c #Conflicts: 828000 | #Constraints: 39339
1482.29/1486.08 c INPROCESSING
1482.29/1486.08 c GARBAGE COLLECT
1482.29/1486.08 c #Conflicts: 829000 | #Constraints: 22329
1482.29/1486.08 c #Conflicts: 830000 | #Constraints: 23329
1482.29/1486.08 c #Conflicts: 831000 | #Constraints: 24329
1482.29/1486.08 c #Conflicts: 832000 | #Constraints: 25329
1482.29/1486.08 c #Conflicts: 833000 | #Constraints: 26329
1482.29/1486.08 c #Conflicts: 834000 | #Constraints: 27329
1482.29/1486.08 c #Conflicts: 835000 | #Constraints: 28329
1482.29/1486.08 c #Conflicts: 836000 | #Constraints: 29329
1482.29/1486.08 c #Conflicts: 837000 | #Constraints: 30329
1482.29/1486.08 c #Conflicts: 838000 | #Constraints: 31329
1482.29/1486.08 c #Conflicts: 839000 | #Constraints: 32329
1482.29/1486.08 c #Conflicts: 840000 | #Constraints: 33329
1482.29/1486.08 c #Conflicts: 841000 | #Constraints: 34329
1482.29/1486.08 c #Conflicts: 842000 | #Constraints: 35329
1482.29/1486.08 c #Conflicts: 843000 | #Constraints: 36329
1482.29/1486.08 c #Conflicts: 844000 | #Constraints: 37329
1482.29/1486.08 c #Conflicts: 845000 | #Constraints: 38329
1482.29/1486.08 c #Conflicts: 846000 | #Constraints: 39329
1482.29/1486.08 c INPROCESSING
1482.29/1486.08 c GARBAGE COLLECT
1482.29/1486.08 c #Conflicts: 847000 | #Constraints: 22126
1482.29/1486.08 c #Conflicts: 848000 | #Constraints: 23126
1482.29/1486.08 c #Conflicts: 849000 | #Constraints: 24126
1482.29/1486.08 c #Conflicts: 850000 | #Constraints: 25126
1482.29/1486.08 c #Conflicts: 851000 | #Constraints: 26126
1482.29/1486.08 c #Conflicts: 852000 | #Constraints: 27126
1482.29/1486.08 c #Conflicts: 853000 | #Constraints: 28126
1482.29/1486.08 c #Conflicts: 854000 | #Constraints: 29126
1482.29/1486.08 c #Conflicts: 855000 | #Constraints: 30126
1482.29/1486.08 c #Conflicts: 856000 | #Constraints: 31126
1482.29/1486.08 c #Conflicts: 857000 | #Constraints: 32126
1482.29/1486.08 c #Conflicts: 858000 | #Constraints: 33126
1482.29/1486.08 c #Conflicts: 859000 | #Constraints: 34126
1482.29/1486.08 c #Conflicts: 860000 | #Constraints: 35126
1482.29/1486.08 c #Conflicts: 861000 | #Constraints: 36126
1482.29/1486.08 c #Conflicts: 862000 | #Constraints: 37126
1482.29/1486.08 c #Conflicts: 863000 | #Constraints: 38126
1482.29/1486.08 c #Conflicts: 864000 | #Constraints: 39126
1482.29/1486.08 c #Conflicts: 865000 | #Constraints: 40126
1482.29/1486.08 c INPROCESSING
1482.29/1486.08 c GARBAGE COLLECT
1482.29/1486.08 c #Conflicts: 866000 | #Constraints: 22742
1482.29/1486.08 c #Conflicts: 867000 | #Constraints: 23742
1482.29/1486.08 c #Conflicts: 868000 | #Constraints: 24742
1482.29/1486.08 c #Conflicts: 869000 | #Constraints: 25742
1482.29/1486.08 c #Conflicts: 870000 | #Constraints: 26742
1482.29/1486.08 c #Conflicts: 871000 | #Constraints: 27742
1482.29/1486.08 c #Conflicts: 872000 | #Constraints: 28742
1482.29/1486.08 c #Conflicts: 873000 | #Constraints: 29742
1482.29/1486.08 c #Conflicts: 874000 | #Constraints: 30742
1482.29/1486.08 c #Conflicts: 875000 | #Constraints: 31742
1482.29/1486.08 c #Conflicts: 876000 | #Constraints: 32742
1482.29/1486.08 c #Conflicts: 877000 | #Constraints: 33742
1482.29/1486.08 c #Conflicts: 878000 | #Constraints: 34742
1482.29/1486.08 c #Conflicts: 879000 | #Constraints: 35742
1482.29/1486.08 c #Conflicts: 880000 | #Constraints: 36742
1482.29/1486.08 c #Conflicts: 881000 | #Constraints: 37742
1482.29/1486.08 c #Conflicts: 882000 | #Constraints: 38742
1482.29/1486.08 c #Conflicts: 883000 | #Constraints: 39742
1482.29/1486.08 c #Conflicts: 884000 | #Constraints: 40742
1482.29/1486.08 c INPROCESSING
1482.29/1486.08 c GARBAGE COLLECT
1482.29/1486.08 c #Conflicts: 885000 | #Constraints: 23147
1482.29/1486.08 c #Conflicts: 886000 | #Constraints: 24147
1482.29/1486.08 c #Conflicts: 887000 | #Constraints: 25147
1482.29/1486.08 c #Conflicts: 888000 | #Constraints: 26147
1482.29/1486.08 c #Conflicts: 889000 | #Constraints: 27147
1482.29/1486.08 c #Conflicts: 890000 | #Constraints: 28147
1482.29/1486.08 c #Conflicts: 891000 | #Constraints: 29147
1482.29/1486.08 c #Conflicts: 892000 | #Constraints: 30147
1702.12/1706.44 c #Conflicts: 893000 | #Constraints: 31147
1702.12/1706.44 c #Conflicts: 894000 | #Constraints: 32147
1702.12/1706.44 c #Conflicts: 895000 | #Constraints: 33147
1702.12/1706.44 c #Conflicts: 896000 | #Constraints: 34147
1702.12/1706.44 c #Conflicts: 897000 | #Constraints: 35147
1702.12/1706.44 c #Conflicts: 898000 | #Constraints: 36147
1702.12/1706.44 c #Conflicts: 899000 | #Constraints: 37147
1702.12/1706.44 c #Conflicts: 900000 | #Constraints: 38147
1702.12/1706.44 c #Conflicts: 901000 | #Constraints: 39147
1702.12/1706.44 c #Conflicts: 902000 | #Constraints: 40147
1702.12/1706.44 c #Conflicts: 903000 | #Constraints: 41147
1702.12/1706.44 c INPROCESSING
1702.12/1706.44 c GARBAGE COLLECT
1702.12/1706.44 c #Conflicts: 904000 | #Constraints: 23361
1702.12/1706.44 c #Conflicts: 905000 | #Constraints: 24361
1702.12/1706.44 c #Conflicts: 906000 | #Constraints: 25361
1702.12/1706.44 c #Conflicts: 907000 | #Constraints: 26361
1702.12/1706.44 c #Conflicts: 908000 | #Constraints: 27361
1702.12/1706.44 c #Conflicts: 909000 | #Constraints: 28361
1702.12/1706.44 c #Conflicts: 910000 | #Constraints: 29361
1702.12/1706.44 c #Conflicts: 911000 | #Constraints: 30361
1702.12/1706.44 c #Conflicts: 912000 | #Constraints: 31361
1702.12/1706.44 c #Conflicts: 913000 | #Constraints: 32361
1702.12/1706.44 c #Conflicts: 914000 | #Constraints: 33361
1702.12/1706.44 c #Conflicts: 915000 | #Constraints: 34361
1702.12/1706.44 c #Conflicts: 916000 | #Constraints: 35361
1702.12/1706.44 c #Conflicts: 917000 | #Constraints: 36361
1702.12/1706.44 c #Conflicts: 918000 | #Constraints: 37361
1702.12/1706.44 c #Conflicts: 919000 | #Constraints: 38361
1702.12/1706.44 c #Conflicts: 920000 | #Constraints: 39361
1702.12/1706.44 c #Conflicts: 921000 | #Constraints: 40361
1702.12/1706.44 c #Conflicts: 922000 | #Constraints: 41361
1702.12/1706.44 c INPROCESSING
1702.12/1706.44 c GARBAGE COLLECT
1702.12/1706.44 c #Conflicts: 923000 | #Constraints: 23359
1702.12/1706.44 c #Conflicts: 924000 | #Constraints: 24359
1702.12/1706.44 c #Conflicts: 925000 | #Constraints: 25359
1702.12/1706.44 c #Conflicts: 926000 | #Constraints: 26359
1702.12/1706.44 c #Conflicts: 927000 | #Constraints: 27359
1702.12/1706.44 c #Conflicts: 928000 | #Constraints: 28359
1702.12/1706.44 c #Conflicts: 929000 | #Constraints: 29359
1702.12/1706.44 c #Conflicts: 930000 | #Constraints: 30359
1702.12/1706.44 c #Conflicts: 931000 | #Constraints: 31359
1702.12/1706.44 c #Conflicts: 932000 | #Constraints: 32359
1702.12/1706.44 c #Conflicts: 933000 | #Constraints: 33359
1702.12/1706.44 c #Conflicts: 934000 | #Constraints: 34359
1702.12/1706.44 c #Conflicts: 935000 | #Constraints: 35359
1702.12/1706.44 c #Conflicts: 936000 | #Constraints: 36359
1702.12/1706.44 c #Conflicts: 937000 | #Constraints: 37359
1702.12/1706.44 c #Conflicts: 938000 | #Constraints: 38359
1702.12/1706.44 c #Conflicts: 939000 | #Constraints: 39359
1702.12/1706.44 c #Conflicts: 940000 | #Constraints: 40359
1702.12/1706.44 c #Conflicts: 941000 | #Constraints: 41359
1702.12/1706.44 c INPROCESSING
1702.12/1706.44 c GARBAGE COLLECT
1702.12/1706.44 c #Conflicts: 942000 | #Constraints: 23158
1702.12/1706.44 c #Conflicts: 943000 | #Constraints: 24158
1702.12/1706.44 c #Conflicts: 944000 | #Constraints: 25158
1702.12/1706.44 c #Conflicts: 945000 | #Constraints: 26158
1702.12/1706.44 c #Conflicts: 946000 | #Constraints: 27158
1702.12/1706.44 c #Conflicts: 947000 | #Constraints: 28158
1702.12/1706.44 c #Conflicts: 948000 | #Constraints: 29158
1702.12/1706.44 c #Conflicts: 949000 | #Constraints: 30158
1702.12/1706.44 c #Conflicts: 950000 | #Constraints: 31158
1702.12/1706.44 c #Conflicts: 951000 | #Constraints: 32158
1702.12/1706.44 c #Conflicts: 952000 | #Constraints: 33158
1702.12/1706.44 c #Conflicts: 953000 | #Constraints: 34158
1702.12/1706.44 c #Conflicts: 954000 | #Constraints: 35158
1702.12/1706.44 c #Conflicts: 955000 | #Constraints: 36158
1702.12/1706.44 c #Conflicts: 956000 | #Constraints: 37158
1702.12/1706.44 c #Conflicts: 957000 | #Constraints: 38158
1702.12/1706.44 c #Conflicts: 958000 | #Constraints: 39158
1702.12/1706.44 c #Conflicts: 959000 | #Constraints: 40158
1702.12/1706.44 c #Conflicts: 960000 | #Constraints: 41158
1702.12/1706.44 c #Conflicts: 961000 | #Constraints: 42158
1702.12/1706.44 c INPROCESSING
1702.12/1706.44 c GARBAGE COLLECT
1702.12/1706.44 c #Conflicts: 962000 | #Constraints: 23758
1702.12/1706.44 c #Conflicts: 963000 | #Constraints: 24758
1702.12/1706.44 c #Conflicts: 964000 | #Constraints: 25758
1702.12/1706.44 c #Conflicts: 965000 | #Constraints: 26758
1702.12/1706.44 c #Conflicts: 966000 | #Constraints: 27758
1702.12/1706.44 c #Conflicts: 967000 | #Constraints: 28758
1702.12/1706.44 c #Conflicts: 968000 | #Constraints: 29758
1941.92/1946.84 c #Conflicts: 969000 | #Constraints: 30758
1941.92/1946.84 c #Conflicts: 970000 | #Constraints: 31758
1941.92/1946.84 c #Conflicts: 971000 | #Constraints: 32758
1941.92/1946.84 c #Conflicts: 972000 | #Constraints: 33758
1941.92/1946.84 c #Conflicts: 973000 | #Constraints: 34758
1941.92/1946.84 c #Conflicts: 974000 | #Constraints: 35758
1941.92/1946.84 c #Conflicts: 975000 | #Constraints: 36758
1941.92/1946.84 c #Conflicts: 976000 | #Constraints: 37758
1941.92/1946.84 c #Conflicts: 977000 | #Constraints: 38758
1941.92/1946.84 c #Conflicts: 978000 | #Constraints: 39758
1941.92/1946.84 c #Conflicts: 979000 | #Constraints: 40758
1941.92/1946.84 c #Conflicts: 980000 | #Constraints: 41758
1941.92/1946.84 c #Conflicts: 981000 | #Constraints: 42758
1941.92/1946.84 c INPROCESSING
1941.92/1946.84 c GARBAGE COLLECT
1941.92/1946.84 c #Conflicts: 982000 | #Constraints: 24144
1941.92/1946.84 c #Conflicts: 983000 | #Constraints: 25144
1941.92/1946.84 c #Conflicts: 984000 | #Constraints: 26144
1941.92/1946.84 c #Conflicts: 985000 | #Constraints: 27144
1941.92/1946.84 c #Conflicts: 986000 | #Constraints: 28144
1941.92/1946.84 c #Conflicts: 987000 | #Constraints: 29144
1941.92/1946.84 c #Conflicts: 988000 | #Constraints: 30144
1941.92/1946.84 c #Conflicts: 989000 | #Constraints: 31144
1941.92/1946.84 c #Conflicts: 990000 | #Constraints: 32144
1941.92/1946.84 c #Conflicts: 991000 | #Constraints: 33144
1941.92/1946.84 c #Conflicts: 992000 | #Constraints: 34144
1941.92/1946.84 c #Conflicts: 993000 | #Constraints: 35144
1941.92/1946.84 c #Conflicts: 994000 | #Constraints: 36144
1941.92/1946.84 c #Conflicts: 995000 | #Constraints: 37144
1941.92/1946.84 c #Conflicts: 996000 | #Constraints: 38144
1941.92/1946.84 c #Conflicts: 997000 | #Constraints: 39144
1941.92/1946.84 c #Conflicts: 998000 | #Constraints: 40144
1941.92/1946.84 c #Conflicts: 999000 | #Constraints: 41144
1941.92/1946.84 c #Conflicts: 1000000 | #Constraints: 42144
1941.92/1946.84 c #Conflicts: 1001000 | #Constraints: 43144
1941.92/1946.84 c INPROCESSING
1941.92/1946.84 c GARBAGE COLLECT
1941.92/1946.84 c #Conflicts: 1002000 | #Constraints: 24347
1941.92/1946.84 c #Conflicts: 1003000 | #Constraints: 25347
1941.92/1946.84 c #Conflicts: 1004000 | #Constraints: 26347
1941.92/1946.84 c #Conflicts: 1005000 | #Constraints: 27347
1941.92/1946.84 c #Conflicts: 1006000 | #Constraints: 28347
1941.92/1946.84 c #Conflicts: 1007000 | #Constraints: 29347
1941.92/1946.84 c #Conflicts: 1008000 | #Constraints: 30347
1941.92/1946.84 c #Conflicts: 1009000 | #Constraints: 31347
1941.92/1946.84 c #Conflicts: 1010000 | #Constraints: 32347
1941.92/1946.84 c #Conflicts: 1011000 | #Constraints: 33347
1941.92/1946.84 c #Conflicts: 1012000 | #Constraints: 34347
1941.92/1946.84 c #Conflicts: 1013000 | #Constraints: 35347
1941.92/1946.84 c #Conflicts: 1014000 | #Constraints: 36347
1941.92/1946.84 c #Conflicts: 1015000 | #Constraints: 37347
1941.92/1946.84 c #Conflicts: 1016000 | #Constraints: 38347
1941.92/1946.84 c #Conflicts: 1017000 | #Constraints: 39347
1941.92/1946.84 c #Conflicts: 1018000 | #Constraints: 40347
1941.92/1946.84 c #Conflicts: 1019000 | #Constraints: 41347
1941.92/1946.84 c #Conflicts: 1020000 | #Constraints: 42347
1941.92/1946.84 c #Conflicts: 1021000 | #Constraints: 43347
1941.92/1946.84 c INPROCESSING
1941.92/1946.84 c GARBAGE COLLECT
1941.92/1946.84 c #Conflicts: 1022000 | #Constraints: 24364
1941.92/1946.84 c #Conflicts: 1023000 | #Constraints: 25364
1941.92/1946.84 c #Conflicts: 1024000 | #Constraints: 26364
1941.92/1946.84 c #Conflicts: 1025000 | #Constraints: 27364
1941.92/1946.84 c #Conflicts: 1026000 | #Constraints: 28364
1941.92/1946.84 c #Conflicts: 1027000 | #Constraints: 29364
1941.92/1946.84 c #Conflicts: 1028000 | #Constraints: 30364
1941.92/1946.84 c #Conflicts: 1029000 | #Constraints: 31364
1941.92/1946.84 c #Conflicts: 1030000 | #Constraints: 32364
1941.92/1946.84 c #Conflicts: 1031000 | #Constraints: 33364
1941.92/1946.84 c #Conflicts: 1032000 | #Constraints: 34364
1941.92/1946.84 c #Conflicts: 1033000 | #Constraints: 35364
1941.92/1946.84 c #Conflicts: 1034000 | #Constraints: 36364
1941.92/1946.84 c #Conflicts: 1035000 | #Constraints: 37364
1941.92/1946.84 c #Conflicts: 1036000 | #Constraints: 38364
1941.92/1946.84 c #Conflicts: 1037000 | #Constraints: 39364
1941.92/1946.84 c #Conflicts: 1038000 | #Constraints: 40364
1941.92/1946.84 c #Conflicts: 1039000 | #Constraints: 41364
1941.92/1946.84 c #Conflicts: 1040000 | #Constraints: 42364
1941.92/1946.84 c #Conflicts: 1041000 | #Constraints: 43364
1941.92/1946.84 c INPROCESSING
1941.92/1946.84 c GARBAGE COLLECT
1941.92/1946.84 c #Conflicts: 1042000 | #Constraints: 24157
1941.92/1946.84 c #Conflicts: 1043000 | #Constraints: 25157
1941.92/1946.84 c #Conflicts: 1044000 | #Constraints: 26157
2201.87/2207.47 c #Conflicts: 1045000 | #Constraints: 27157
2201.87/2207.47 c #Conflicts: 1046000 | #Constraints: 28157
2201.87/2207.47 c #Conflicts: 1047000 | #Constraints: 29157
2201.87/2207.47 c #Conflicts: 1048000 | #Constraints: 30157
2201.87/2207.47 c #Conflicts: 1049000 | #Constraints: 31157
2201.87/2207.47 c #Conflicts: 1050000 | #Constraints: 32157
2201.87/2207.47 c #Conflicts: 1051000 | #Constraints: 33157
2201.87/2207.47 c #Conflicts: 1052000 | #Constraints: 34157
2201.87/2207.47 c #Conflicts: 1053000 | #Constraints: 35157
2201.87/2207.47 c #Conflicts: 1054000 | #Constraints: 36157
2201.87/2207.47 c #Conflicts: 1055000 | #Constraints: 37157
2201.87/2207.47 c #Conflicts: 1056000 | #Constraints: 38157
2201.87/2207.47 c #Conflicts: 1057000 | #Constraints: 39157
2201.87/2207.47 c #Conflicts: 1058000 | #Constraints: 40157
2201.87/2207.47 c #Conflicts: 1059000 | #Constraints: 41157
2201.87/2207.47 c #Conflicts: 1060000 | #Constraints: 42157
2201.87/2207.47 c #Conflicts: 1061000 | #Constraints: 43157
2201.87/2207.47 c #Conflicts: 1062000 | #Constraints: 44157
2201.87/2207.47 c INPROCESSING
2201.87/2207.47 c GARBAGE COLLECT
2201.87/2207.47 c #Conflicts: 1063000 | #Constraints: 24759
2201.87/2207.47 c #Conflicts: 1064000 | #Constraints: 25759
2201.87/2207.47 c #Conflicts: 1065000 | #Constraints: 26759
2201.87/2207.47 c #Conflicts: 1066000 | #Constraints: 27759
2201.87/2207.47 c #Conflicts: 1067000 | #Constraints: 28759
2201.87/2207.47 c #Conflicts: 1068000 | #Constraints: 29759
2201.87/2207.47 c #Conflicts: 1069000 | #Constraints: 30759
2201.87/2207.47 c #Conflicts: 1070000 | #Constraints: 31759
2201.87/2207.47 c #Conflicts: 1071000 | #Constraints: 32759
2201.87/2207.47 c #Conflicts: 1072000 | #Constraints: 33759
2201.87/2207.47 c #Conflicts: 1073000 | #Constraints: 34759
2201.87/2207.47 c #Conflicts: 1074000 | #Constraints: 35759
2201.87/2207.47 c #Conflicts: 1075000 | #Constraints: 36759
2201.87/2207.47 c #Conflicts: 1076000 | #Constraints: 37759
2201.87/2207.47 c #Conflicts: 1077000 | #Constraints: 38759
2201.87/2207.47 c #Conflicts: 1078000 | #Constraints: 39759
2201.87/2207.47 c #Conflicts: 1079000 | #Constraints: 40759
2201.87/2207.47 c #Conflicts: 1080000 | #Constraints: 41759
2201.87/2207.47 c #Conflicts: 1081000 | #Constraints: 42759
2201.87/2207.47 c #Conflicts: 1082000 | #Constraints: 43759
2201.87/2207.47 c #Conflicts: 1083000 | #Constraints: 44759
2201.87/2207.47 c INPROCESSING
2201.87/2207.47 c GARBAGE COLLECT
2201.87/2207.47 c #Conflicts: 1084000 | #Constraints: 25156
2201.87/2207.47 c #Conflicts: 1085000 | #Constraints: 26156
2201.87/2207.47 c #Conflicts: 1086000 | #Constraints: 27156
2201.87/2207.47 c #Conflicts: 1087000 | #Constraints: 28156
2201.87/2207.47 c #Conflicts: 1088000 | #Constraints: 29156
2201.87/2207.47 c #Conflicts: 1089000 | #Constraints: 30156
2201.87/2207.47 c #Conflicts: 1090000 | #Constraints: 31156
2201.87/2207.47 c #Conflicts: 1091000 | #Constraints: 32156
2201.87/2207.47 c #Conflicts: 1092000 | #Constraints: 33156
2201.87/2207.47 c #Conflicts: 1093000 | #Constraints: 34156
2201.87/2207.47 c #Conflicts: 1094000 | #Constraints: 35156
2201.87/2207.47 c #Conflicts: 1095000 | #Constraints: 36156
2201.87/2207.47 c #Conflicts: 1096000 | #Constraints: 37156
2201.87/2207.47 c #Conflicts: 1097000 | #Constraints: 38156
2201.87/2207.47 c #Conflicts: 1098000 | #Constraints: 39156
2201.87/2207.47 c #Conflicts: 1099000 | #Constraints: 40156
2201.87/2207.47 c #Conflicts: 1100000 | #Constraints: 41156
2201.87/2207.47 c #Conflicts: 1101000 | #Constraints: 42156
2201.87/2207.47 c #Conflicts: 1102000 | #Constraints: 43156
2201.87/2207.47 c #Conflicts: 1103000 | #Constraints: 44156
2201.87/2207.47 c #Conflicts: 1104000 | #Constraints: 45156
2201.87/2207.47 c INPROCESSING
2201.87/2207.47 c GARBAGE COLLECT
2201.87/2207.47 c #Conflicts: 1105000 | #Constraints: 25346
2201.87/2207.47 c #Conflicts: 1106000 | #Constraints: 26346
2201.87/2207.47 c #Conflicts: 1107000 | #Constraints: 27346
2201.87/2207.47 c #Conflicts: 1108000 | #Constraints: 28346
2201.87/2207.47 c #Conflicts: 1109000 | #Constraints: 29346
2201.87/2207.47 c #Conflicts: 1110000 | #Constraints: 30346
2201.87/2207.47 c #Conflicts: 1111000 | #Constraints: 31346
2201.87/2207.47 c #Conflicts: 1112000 | #Constraints: 32346
2201.87/2207.47 c #Conflicts: 1113000 | #Constraints: 33346
2201.87/2207.47 c #Conflicts: 1114000 | #Constraints: 34346
2201.87/2207.47 c #Conflicts: 1115000 | #Constraints: 35346
2201.87/2207.47 c #Conflicts: 1116000 | #Constraints: 36346
2201.87/2207.47 c #Conflicts: 1117000 | #Constraints: 37346
2201.87/2207.47 c #Conflicts: 1118000 | #Constraints: 38346
2201.87/2207.47 c #Conflicts: 1119000 | #Constraints: 39346
2201.87/2207.47 c #Conflicts: 1120000 | #Constraints: 40346
2201.87/2207.47 c #Conflicts: 1121000 | #Constraints: 41346
2466.00/2472.20 c #Conflicts: 1122000 | #Constraints: 42346
2466.00/2472.20 c #Conflicts: 1123000 | #Constraints: 43346
2466.00/2472.20 c #Conflicts: 1124000 | #Constraints: 44346
2466.00/2472.20 c #Conflicts: 1125000 | #Constraints: 45346
2466.00/2472.20 c INPROCESSING
2466.00/2472.20 c GARBAGE COLLECT
2466.00/2472.20 c #Conflicts: 1126000 | #Constraints: 25356
2466.00/2472.20 c #Conflicts: 1127000 | #Constraints: 26356
2466.00/2472.20 c #Conflicts: 1128000 | #Constraints: 27356
2466.00/2472.20 c #Conflicts: 1129000 | #Constraints: 28356
2466.00/2472.20 c #Conflicts: 1130000 | #Constraints: 29356
2466.00/2472.20 c #Conflicts: 1131000 | #Constraints: 30356
2466.00/2472.20 c #Conflicts: 1132000 | #Constraints: 31356
2466.00/2472.20 c #Conflicts: 1133000 | #Constraints: 32356
2466.00/2472.20 c #Conflicts: 1134000 | #Constraints: 33356
2466.00/2472.20 c #Conflicts: 1135000 | #Constraints: 34356
2466.00/2472.20 c #Conflicts: 1136000 | #Constraints: 35356
2466.00/2472.20 c #Conflicts: 1137000 | #Constraints: 36356
2466.00/2472.20 c #Conflicts: 1138000 | #Constraints: 37356
2466.00/2472.20 c #Conflicts: 1139000 | #Constraints: 38356
2466.00/2472.20 c #Conflicts: 1140000 | #Constraints: 39356
2466.00/2472.20 c #Conflicts: 1141000 | #Constraints: 40356
2466.00/2472.20 c #Conflicts: 1142000 | #Constraints: 41356
2466.00/2472.20 c #Conflicts: 1143000 | #Constraints: 42356
2466.00/2472.20 c #Conflicts: 1144000 | #Constraints: 43356
2466.00/2472.20 c #Conflicts: 1145000 | #Constraints: 44356
2466.00/2472.20 c #Conflicts: 1146000 | #Constraints: 45356
2466.00/2472.20 c INPROCESSING
2466.00/2472.20 c GARBAGE COLLECT
2466.00/2472.20 c #Conflicts: 1147000 | #Constraints: 25158
2466.00/2472.20 c #Conflicts: 1148000 | #Constraints: 26158
2466.00/2472.20 c #Conflicts: 1149000 | #Constraints: 27158
2466.00/2472.20 c #Conflicts: 1150000 | #Constraints: 28158
2466.00/2472.20 c #Conflicts: 1151000 | #Constraints: 29158
2466.00/2472.20 c #Conflicts: 1152000 | #Constraints: 30158
2466.00/2472.20 c #Conflicts: 1153000 | #Constraints: 31158
2466.00/2472.20 c #Conflicts: 1154000 | #Constraints: 32158
2466.00/2472.20 c #Conflicts: 1155000 | #Constraints: 33158
2466.00/2472.20 c #Conflicts: 1156000 | #Constraints: 34158
2466.00/2472.20 c #Conflicts: 1157000 | #Constraints: 35158
2466.00/2472.20 c #Conflicts: 1158000 | #Constraints: 36158
2466.00/2472.20 c #Conflicts: 1159000 | #Constraints: 37158
2466.00/2472.20 c #Conflicts: 1160000 | #Constraints: 38158
2466.00/2472.20 c #Conflicts: 1161000 | #Constraints: 39158
2466.00/2472.20 c #Conflicts: 1162000 | #Constraints: 40158
2466.00/2472.20 c #Conflicts: 1163000 | #Constraints: 41158
2466.00/2472.20 c #Conflicts: 1164000 | #Constraints: 42158
2466.00/2472.20 c #Conflicts: 1165000 | #Constraints: 43158
2466.00/2472.20 c #Conflicts: 1166000 | #Constraints: 44158
2466.00/2472.20 c #Conflicts: 1167000 | #Constraints: 45158
2466.00/2472.20 c #Conflicts: 1168000 | #Constraints: 46158
2466.00/2472.20 c INPROCESSING
2466.00/2472.20 c GARBAGE COLLECT
2466.00/2472.20 c #Conflicts: 1169000 | #Constraints: 25765
2466.00/2472.20 c #Conflicts: 1170000 | #Constraints: 26765
2466.00/2472.20 c #Conflicts: 1171000 | #Constraints: 27765
2466.00/2472.20 c #Conflicts: 1172000 | #Constraints: 28765
2466.00/2472.20 c #Conflicts: 1173000 | #Constraints: 29765
2466.00/2472.20 c #Conflicts: 1174000 | #Constraints: 30765
2466.00/2472.20 c #Conflicts: 1175000 | #Constraints: 31765
2466.00/2472.20 c #Conflicts: 1176000 | #Constraints: 32765
2466.00/2472.20 c #Conflicts: 1177000 | #Constraints: 33765
2466.00/2472.20 c #Conflicts: 1178000 | #Constraints: 34765
2466.00/2472.20 c #Conflicts: 1179000 | #Constraints: 35765
2466.00/2472.20 c #Conflicts: 1180000 | #Constraints: 36765
2466.00/2472.20 c #Conflicts: 1181000 | #Constraints: 37765
2466.00/2472.20 c #Conflicts: 1182000 | #Constraints: 38765
2466.00/2472.20 c #Conflicts: 1183000 | #Constraints: 39765
2466.00/2472.20 c #Conflicts: 1184000 | #Constraints: 40765
2466.00/2472.20 c #Conflicts: 1185000 | #Constraints: 41765
2466.00/2472.20 c #Conflicts: 1186000 | #Constraints: 42765
2466.00/2472.20 c #Conflicts: 1187000 | #Constraints: 43765
2466.00/2472.20 c #Conflicts: 1188000 | #Constraints: 44765
2466.00/2472.20 c #Conflicts: 1189000 | #Constraints: 45765
2466.00/2472.20 c #Conflicts: 1190000 | #Constraints: 46765
2466.00/2472.20 c INPROCESSING
2466.00/2472.20 c GARBAGE COLLECT
2466.00/2472.20 c #Conflicts: 1191000 | #Constraints: 26149
2466.00/2472.20 c #Conflicts: 1192000 | #Constraints: 27149
2466.00/2472.20 c #Conflicts: 1193000 | #Constraints: 28149
2466.00/2472.20 c #Conflicts: 1194000 | #Constraints: 29149
2466.00/2472.20 c #Conflicts: 1195000 | #Constraints: 30149
2466.00/2472.20 c #Conflicts: 1196000 | #Constraints: 31149
2466.00/2472.20 c #Conflicts: 1197000 | #Constraints: 32149
2757.77/2764.73 c #Conflicts: 1198000 | #Constraints: 33149
2757.77/2764.73 c #Conflicts: 1199000 | #Constraints: 34149
2757.77/2764.73 c #Conflicts: 1200000 | #Constraints: 35149
2757.77/2764.73 c #Conflicts: 1201000 | #Constraints: 36149
2757.77/2764.73 c #Conflicts: 1202000 | #Constraints: 37149
2757.77/2764.73 c #Conflicts: 1203000 | #Constraints: 38149
2757.77/2764.73 c #Conflicts: 1204000 | #Constraints: 39149
2757.77/2764.73 c #Conflicts: 1205000 | #Constraints: 40149
2757.77/2764.73 c #Conflicts: 1206000 | #Constraints: 41149
2757.77/2764.73 c #Conflicts: 1207000 | #Constraints: 42149
2757.77/2764.73 c #Conflicts: 1208000 | #Constraints: 43149
2757.77/2764.73 c #Conflicts: 1209000 | #Constraints: 44149
2757.77/2764.73 c #Conflicts: 1210000 | #Constraints: 45149
2757.77/2764.73 c #Conflicts: 1211000 | #Constraints: 46149
2757.77/2764.73 c #Conflicts: 1212000 | #Constraints: 47149
2757.77/2764.73 c INPROCESSING
2757.77/2764.73 c GARBAGE COLLECT
2757.77/2764.73 c #Conflicts: 1213000 | #Constraints: 26352
2757.77/2764.73 c #Conflicts: 1214000 | #Constraints: 27352
2757.77/2764.73 c #Conflicts: 1215000 | #Constraints: 28352
2757.77/2764.73 c #Conflicts: 1216000 | #Constraints: 29352
2757.77/2764.73 c #Conflicts: 1217000 | #Constraints: 30352
2757.77/2764.73 c #Conflicts: 1218000 | #Constraints: 31352
2757.77/2764.73 c #Conflicts: 1219000 | #Constraints: 32352
2757.77/2764.73 c #Conflicts: 1220000 | #Constraints: 33352
2757.77/2764.73 c #Conflicts: 1221000 | #Constraints: 34352
2757.77/2764.73 c #Conflicts: 1222000 | #Constraints: 35352
2757.77/2764.73 c #Conflicts: 1223000 | #Constraints: 36352
2757.77/2764.73 c #Conflicts: 1224000 | #Constraints: 37352
2757.77/2764.73 c #Conflicts: 1225000 | #Constraints: 38352
2757.77/2764.73 c #Conflicts: 1226000 | #Constraints: 39352
2757.77/2764.73 c #Conflicts: 1227000 | #Constraints: 40352
2757.77/2764.73 c #Conflicts: 1228000 | #Constraints: 41352
2757.77/2764.73 c #Conflicts: 1229000 | #Constraints: 42352
2757.77/2764.73 c #Conflicts: 1230000 | #Constraints: 43352
2757.77/2764.73 c #Conflicts: 1231000 | #Constraints: 44352
2757.77/2764.73 c #Conflicts: 1232000 | #Constraints: 45352
2757.77/2764.73 c #Conflicts: 1233000 | #Constraints: 46352
2757.77/2764.73 c #Conflicts: 1234000 | #Constraints: 47352
2757.77/2764.73 c INPROCESSING
2757.77/2764.73 c GARBAGE COLLECT
2757.77/2764.73 c #Conflicts: 1235000 | #Constraints: 26360
2757.77/2764.73 c #Conflicts: 1236000 | #Constraints: 27360
2757.77/2764.73 c #Conflicts: 1237000 | #Constraints: 28360
2757.77/2764.73 c #Conflicts: 1238000 | #Constraints: 29360
2757.77/2764.73 c #Conflicts: 1239000 | #Constraints: 30360
2757.77/2764.73 c #Conflicts: 1240000 | #Constraints: 31360
2757.77/2764.73 c #Conflicts: 1241000 | #Constraints: 32360
2757.77/2764.73 c #Conflicts: 1242000 | #Constraints: 33360
2757.77/2764.73 c #Conflicts: 1243000 | #Constraints: 34360
2757.77/2764.73 c #Conflicts: 1244000 | #Constraints: 35360
2757.77/2764.73 c #Conflicts: 1245000 | #Constraints: 36360
2757.77/2764.73 c #Conflicts: 1246000 | #Constraints: 37360
2757.77/2764.73 c #Conflicts: 1247000 | #Constraints: 38360
2757.77/2764.73 c #Conflicts: 1248000 | #Constraints: 39360
2757.77/2764.73 c #Conflicts: 1249000 | #Constraints: 40360
2757.77/2764.73 c #Conflicts: 1250000 | #Constraints: 41360
2757.77/2764.73 c #Conflicts: 1251000 | #Constraints: 42360
2757.77/2764.73 c #Conflicts: 1252000 | #Constraints: 43360
2757.77/2764.73 c #Conflicts: 1253000 | #Constraints: 44360
2757.77/2764.73 c #Conflicts: 1254000 | #Constraints: 45360
2757.77/2764.73 c #Conflicts: 1255000 | #Constraints: 46360
2757.77/2764.73 c #Conflicts: 1256000 | #Constraints: 47360
2757.77/2764.73 c INPROCESSING
2757.77/2764.73 c GARBAGE COLLECT
2757.77/2764.73 c #Conflicts: 1257000 | #Constraints: 26155
2757.77/2764.73 c #Conflicts: 1258000 | #Constraints: 27155
2757.77/2764.73 c #Conflicts: 1259000 | #Constraints: 28155
2757.77/2764.73 c #Conflicts: 1260000 | #Constraints: 29155
2757.77/2764.73 c #Conflicts: 1261000 | #Constraints: 30155
2757.77/2764.73 c #Conflicts: 1262000 | #Constraints: 31155
2757.77/2764.73 c #Conflicts: 1263000 | #Constraints: 32155
2757.77/2764.73 c #Conflicts: 1264000 | #Constraints: 33155
2757.77/2764.73 c #Conflicts: 1265000 | #Constraints: 34155
2757.77/2764.73 c #Conflicts: 1266000 | #Constraints: 35155
2757.77/2764.73 c #Conflicts: 1267000 | #Constraints: 36155
2757.77/2764.73 c #Conflicts: 1268000 | #Constraints: 37155
2757.77/2764.73 c #Conflicts: 1269000 | #Constraints: 38155
2757.77/2764.73 c #Conflicts: 1270000 | #Constraints: 39155
2757.77/2764.73 c #Conflicts: 1271000 | #Constraints: 40155
2757.77/2764.73 c #Conflicts: 1272000 | #Constraints: 41155
2757.77/2764.73 c #Conflicts: 1273000 | #Constraints: 42155
2757.77/2764.73 c #Conflicts: 1274000 | #Constraints: 43155
3071.78/3079.53 c #Conflicts: 1275000 | #Constraints: 44155
3071.78/3079.53 c #Conflicts: 1276000 | #Constraints: 45155
3071.78/3079.53 c #Conflicts: 1277000 | #Constraints: 46155
3071.78/3079.53 c #Conflicts: 1278000 | #Constraints: 47155
3071.78/3079.53 c #Conflicts: 1279000 | #Constraints: 48155
3071.78/3079.53 c INPROCESSING
3071.78/3079.53 c GARBAGE COLLECT
3071.78/3079.53 c #Conflicts: 1280000 | #Constraints: 26753
3071.78/3079.53 c #Conflicts: 1281000 | #Constraints: 27753
3071.78/3079.53 c #Conflicts: 1282000 | #Constraints: 28753
3071.78/3079.53 c #Conflicts: 1283000 | #Constraints: 29753
3071.78/3079.53 c #Conflicts: 1284000 | #Constraints: 30753
3071.78/3079.53 c #Conflicts: 1285000 | #Constraints: 31753
3071.78/3079.53 c #Conflicts: 1286000 | #Constraints: 32753
3071.78/3079.53 c #Conflicts: 1287000 | #Constraints: 33753
3071.78/3079.53 c #Conflicts: 1288000 | #Constraints: 34753
3071.78/3079.53 c #Conflicts: 1289000 | #Constraints: 35753
3071.78/3079.53 c #Conflicts: 1290000 | #Constraints: 36753
3071.78/3079.53 c #Conflicts: 1291000 | #Constraints: 37753
3071.78/3079.53 c #Conflicts: 1292000 | #Constraints: 38753
3071.78/3079.53 c #Conflicts: 1293000 | #Constraints: 39753
3071.78/3079.53 c #Conflicts: 1294000 | #Constraints: 40753
3071.78/3079.53 c #Conflicts: 1295000 | #Constraints: 41753
3071.78/3079.53 c #Conflicts: 1296000 | #Constraints: 42753
3071.78/3079.53 c #Conflicts: 1297000 | #Constraints: 43753
3071.78/3079.53 c #Conflicts: 1298000 | #Constraints: 44753
3071.78/3079.53 c #Conflicts: 1299000 | #Constraints: 45753
3071.78/3079.53 c #Conflicts: 1300000 | #Constraints: 46753
3071.78/3079.53 c #Conflicts: 1301000 | #Constraints: 47753
3071.78/3079.53 c #Conflicts: 1302000 | #Constraints: 48753
3071.78/3079.53 c INPROCESSING
3071.78/3079.53 c GARBAGE COLLECT
3071.78/3079.53 c #Conflicts: 1303000 | #Constraints: 27145
3071.78/3079.53 c #Conflicts: 1304000 | #Constraints: 28145
3071.78/3079.53 c #Conflicts: 1305000 | #Constraints: 29145
3071.78/3079.53 c #Conflicts: 1306000 | #Constraints: 30145
3071.78/3079.53 c #Conflicts: 1307000 | #Constraints: 31145
3071.78/3079.53 c #Conflicts: 1308000 | #Constraints: 32145
3071.78/3079.53 c #Conflicts: 1309000 | #Constraints: 33145
3071.78/3079.53 c #Conflicts: 1310000 | #Constraints: 34145
3071.78/3079.53 c #Conflicts: 1311000 | #Constraints: 35145
3071.78/3079.53 c #Conflicts: 1312000 | #Constraints: 36145
3071.78/3079.53 c #Conflicts: 1313000 | #Constraints: 37145
3071.78/3079.53 c #Conflicts: 1314000 | #Constraints: 38145
3071.78/3079.53 c #Conflicts: 1315000 | #Constraints: 39145
3071.78/3079.53 c #Conflicts: 1316000 | #Constraints: 40145
3071.78/3079.53 c #Conflicts: 1317000 | #Constraints: 41145
3071.78/3079.53 c #Conflicts: 1318000 | #Constraints: 42145
3071.78/3079.53 c #Conflicts: 1319000 | #Constraints: 43145
3071.78/3079.53 c #Conflicts: 1320000 | #Constraints: 44145
3071.78/3079.53 c #Conflicts: 1321000 | #Constraints: 45145
3071.78/3079.53 c #Conflicts: 1322000 | #Constraints: 46145
3071.78/3079.53 c #Conflicts: 1323000 | #Constraints: 47145
3071.78/3079.53 c #Conflicts: 1324000 | #Constraints: 48145
3071.78/3079.53 c #Conflicts: 1325000 | #Constraints: 49145
3071.78/3079.53 c INPROCESSING
3071.78/3079.53 c GARBAGE COLLECT
3071.78/3079.53 c #Conflicts: 1326000 | #Constraints: 27353
3071.78/3079.53 c #Conflicts: 1327000 | #Constraints: 28353
3071.78/3079.53 c #Conflicts: 1328000 | #Constraints: 29353
3071.78/3079.53 c #Conflicts: 1329000 | #Constraints: 30353
3071.78/3079.53 c #Conflicts: 1330000 | #Constraints: 31353
3071.78/3079.53 c #Conflicts: 1331000 | #Constraints: 32353
3071.78/3079.53 c #Conflicts: 1332000 | #Constraints: 33353
3071.78/3079.53 c #Conflicts: 1333000 | #Constraints: 34353
3071.78/3079.53 c #Conflicts: 1334000 | #Constraints: 35353
3071.78/3079.53 c #Conflicts: 1335000 | #Constraints: 36353
3071.78/3079.53 c #Conflicts: 1336000 | #Constraints: 37353
3071.78/3079.53 c #Conflicts: 1337000 | #Constraints: 38353
3071.78/3079.53 c #Conflicts: 1338000 | #Constraints: 39353
3071.78/3079.53 c #Conflicts: 1339000 | #Constraints: 40353
3071.78/3079.53 c #Conflicts: 1340000 | #Constraints: 41353
3071.78/3079.53 c #Conflicts: 1341000 | #Constraints: 42353
3071.78/3079.53 c #Conflicts: 1342000 | #Constraints: 43353
3071.78/3079.53 c #Conflicts: 1343000 | #Constraints: 44353
3071.78/3079.53 c #Conflicts: 1344000 | #Constraints: 45353
3071.78/3079.53 c #Conflicts: 1345000 | #Constraints: 46353
3071.78/3079.53 c #Conflicts: 1346000 | #Constraints: 47353
3071.78/3079.53 c #Conflicts: 1347000 | #Constraints: 48353
3071.78/3079.53 c #Conflicts: 1348000 | #Constraints: 49353
3071.78/3079.53 c INPROCESSING
3071.78/3079.53 c GARBAGE COLLECT
3071.78/3079.53 c #Conflicts: 1349000 | #Constraints: 27379
3071.78/3079.53 c #Conflicts: 1350000 | #Constraints: 28379
3393.60/3402.11 c #Conflicts: 1351000 | #Constraints: 29379
3393.60/3402.11 c #Conflicts: 1352000 | #Constraints: 30379
3393.60/3402.11 c #Conflicts: 1353000 | #Constraints: 31379
3393.60/3402.11 c #Conflicts: 1354000 | #Constraints: 32379
3393.60/3402.11 c #Conflicts: 1355000 | #Constraints: 33379
3393.60/3402.11 c #Conflicts: 1356000 | #Constraints: 34379
3393.60/3402.11 c #Conflicts: 1357000 | #Constraints: 35379
3393.60/3402.11 c #Conflicts: 1358000 | #Constraints: 36379
3393.60/3402.11 c #Conflicts: 1359000 | #Constraints: 37379
3393.60/3402.11 c #Conflicts: 1360000 | #Constraints: 38379
3393.60/3402.11 c #Conflicts: 1361000 | #Constraints: 39379
3393.60/3402.11 c #Conflicts: 1362000 | #Constraints: 40379
3393.60/3402.11 c #Conflicts: 1363000 | #Constraints: 41379
3393.60/3402.11 c #Conflicts: 1364000 | #Constraints: 42379
3393.60/3402.11 c #Conflicts: 1365000 | #Constraints: 43379
3393.60/3402.11 c #Conflicts: 1366000 | #Constraints: 44379
3393.60/3402.11 c #Conflicts: 1367000 | #Constraints: 45379
3393.60/3402.11 c #Conflicts: 1368000 | #Constraints: 46379
3393.60/3402.11 c #Conflicts: 1369000 | #Constraints: 47379
3393.60/3402.11 c #Conflicts: 1370000 | #Constraints: 48379
3393.60/3402.11 c #Conflicts: 1371000 | #Constraints: 49379
3393.60/3402.11 c INPROCESSING
3393.60/3402.11 c GARBAGE COLLECT
3393.60/3402.11 c #Conflicts: 1372000 | #Constraints: 27164
3393.60/3402.11 c #Conflicts: 1373000 | #Constraints: 28164
3393.60/3402.11 c #Conflicts: 1374000 | #Constraints: 29164
3393.60/3402.11 c #Conflicts: 1375000 | #Constraints: 30164
3393.60/3402.11 c #Conflicts: 1376000 | #Constraints: 31164
3393.60/3402.11 c #Conflicts: 1377000 | #Constraints: 32164
3393.60/3402.11 c #Conflicts: 1378000 | #Constraints: 33164
3393.60/3402.11 c #Conflicts: 1379000 | #Constraints: 34164
3393.60/3402.11 c #Conflicts: 1380000 | #Constraints: 35164
3393.60/3402.11 c #Conflicts: 1381000 | #Constraints: 36164
3393.60/3402.11 c #Conflicts: 1382000 | #Constraints: 37164
3393.60/3402.11 c #Conflicts: 1383000 | #Constraints: 38164
3393.60/3402.11 c #Conflicts: 1384000 | #Constraints: 39164
3393.60/3402.11 c #Conflicts: 1385000 | #Constraints: 40164
3393.60/3402.11 c #Conflicts: 1386000 | #Constraints: 41164
3393.60/3402.11 c #Conflicts: 1387000 | #Constraints: 42164
3393.60/3402.11 c #Conflicts: 1388000 | #Constraints: 43164
3393.60/3402.11 c #Conflicts: 1389000 | #Constraints: 44164
3393.60/3402.11 c #Conflicts: 1390000 | #Constraints: 45164
3393.60/3402.11 c #Conflicts: 1391000 | #Constraints: 46164
3393.60/3402.11 c #Conflicts: 1392000 | #Constraints: 47164
3393.60/3402.11 c #Conflicts: 1393000 | #Constraints: 48164
3393.60/3402.11 c #Conflicts: 1394000 | #Constraints: 49164
3393.60/3402.11 c #Conflicts: 1395000 | #Constraints: 50164
3393.60/3402.11 c INPROCESSING
3393.60/3402.11 c GARBAGE COLLECT
3393.60/3402.11 c #Conflicts: 1396000 | #Constraints: 27766
3393.60/3402.11 c #Conflicts: 1397000 | #Constraints: 28766
3393.60/3402.11 c #Conflicts: 1398000 | #Constraints: 29766
3393.60/3402.11 c #Conflicts: 1399000 | #Constraints: 30766
3393.60/3402.11 c #Conflicts: 1400000 | #Constraints: 31766
3393.60/3402.11 c #Conflicts: 1401000 | #Constraints: 32766
3393.60/3402.11 c #Conflicts: 1402000 | #Constraints: 33766
3393.60/3402.11 c #Conflicts: 1403000 | #Constraints: 34766
3393.60/3402.11 c #Conflicts: 1404000 | #Constraints: 35766
3393.60/3402.11 c #Conflicts: 1405000 | #Constraints: 36766
3393.60/3402.11 c #Conflicts: 1406000 | #Constraints: 37766
3393.60/3402.11 c #Conflicts: 1407000 | #Constraints: 38766
3393.60/3402.11 c #Conflicts: 1408000 | #Constraints: 39766
3393.60/3402.11 c #Conflicts: 1409000 | #Constraints: 40766
3393.60/3402.11 c #Conflicts: 1410000 | #Constraints: 41766
3393.60/3402.11 c #Conflicts: 1411000 | #Constraints: 42766
3393.60/3402.11 c #Conflicts: 1412000 | #Constraints: 43766
3393.60/3402.11 c #Conflicts: 1413000 | #Constraints: 44766
3393.60/3402.11 c #Conflicts: 1414000 | #Constraints: 45766
3393.60/3402.11 c #Conflicts: 1415000 | #Constraints: 46766
3393.60/3402.11 c #Conflicts: 1416000 | #Constraints: 47766
3393.60/3402.11 c #Conflicts: 1417000 | #Constraints: 48766
3393.60/3402.11 c #Conflicts: 1418000 | #Constraints: 49766
3393.60/3402.11 c #Conflicts: 1419000 | #Constraints: 50766
3393.60/3402.11 c INPROCESSING
3393.60/3402.11 c GARBAGE COLLECT
3393.60/3402.11 c #Conflicts: 1420000 | #Constraints: 28167
3393.60/3402.11 c #Conflicts: 1421000 | #Constraints: 29167
3393.60/3402.11 c #Conflicts: 1422000 | #Constraints: 30167
3393.60/3402.11 c #Conflicts: 1423000 | #Constraints: 31167
3393.60/3402.11 c #Conflicts: 1424000 | #Constraints: 32167
3393.60/3402.11 c #Conflicts: 1425000 | #Constraints: 33167
3393.60/3402.11 c #Conflicts: 1426000 | #Constraints: 34167
3393.60/3402.11 c #Conflicts: 1427000 | #Constraints: 35167
3600.08/3609.11 c #Conflicts: 1428000 | #Constraints: 36167
3600.08/3609.11 c #Conflicts: 1429000 | #Constraints: 37167
3600.08/3609.11 c #Conflicts: 1430000 | #Constraints: 38167
3600.08/3609.11 c #Conflicts: 1431000 | #Constraints: 39167
3600.08/3609.11 c #Conflicts: 1432000 | #Constraints: 40167
3600.08/3609.11 c #Conflicts: 1433000 | #Constraints: 41167
3600.08/3609.11 c #Conflicts: 1434000 | #Constraints: 42167
3600.08/3609.11 c #Conflicts: 1435000 | #Constraints: 43167
3600.08/3609.11 c #Conflicts: 1436000 | #Constraints: 44167
3600.08/3609.11 c #Conflicts: 1437000 | #Constraints: 45167
3600.08/3609.11 c #Conflicts: 1438000 | #Constraints: 46167
3600.08/3609.11 c #Conflicts: 1439000 | #Constraints: 47167
3600.08/3609.11 c #Conflicts: 1440000 | #Constraints: 48167
3600.08/3609.11 c #Conflicts: 1441000 | #Constraints: 49167
3600.08/3609.11 c #Conflicts: 1442000 | #Constraints: 50167
3600.08/3609.11 c #Conflicts: 1443000 | #Constraints: 51167
3600.08/3609.11 c INPROCESSING
3600.08/3609.11 c GARBAGE COLLECT
3600.08/3609.11 c #Conflicts: 1444000 | #Constraints: 28375
3600.08/3609.11 c #Conflicts: 1445000 | #Constraints: 29375
3600.08/3609.11 c #Conflicts: 1446000 | #Constraints: 30375
3600.08/3609.11 c #Conflicts: 1447000 | #Constraints: 31375
3600.08/3609.11 c #Conflicts: 1448000 | #Constraints: 32375
3600.08/3609.11 c #Conflicts: 1449000 | #Constraints: 33375
3600.08/3609.11 c #Conflicts: 1450000 | #Constraints: 34375
3600.08/3609.11 c #Conflicts: 1451000 | #Constraints: 35375
3600.08/3609.11 c #Conflicts: 1452000 | #Constraints: 36375
3600.08/3609.11 c #Conflicts: 1453000 | #Constraints: 37375
3600.08/3609.11 c #Conflicts: 1454000 | #Constraints: 38375
3600.08/3609.11 c #Conflicts: 1455000 | #Constraints: 39375
3600.08/3609.11 c #Conflicts: 1456000 | #Constraints: 40375
3600.08/3609.11 c #Conflicts: 1457000 | #Constraints: 41375
3600.08/3609.11 c #Conflicts: 1458000 | #Constraints: 42375
3600.08/3609.11 c #Conflicts: 1459000 | #Constraints: 43375
3600.08/3609.11 c #Conflicts: 1460000 | #Constraints: 44375
3600.08/3609.11 c #Conflicts: 1461000 | #Constraints: 45375
3600.08/3609.11 c #Conflicts: 1462000 | #Constraints: 46375
3600.08/3609.11 c #Conflicts: 1463000 | #Constraints: 47375
3600.08/3609.11 c #Conflicts: 1464000 | #Constraints: 48375
3600.08/3609.11 c #Conflicts: 1465000 | #Constraints: 49375
3600.08/3609.11 c #Conflicts: 1466000 | #Constraints: 50375
3600.08/3609.11 c #Conflicts: 1467000 | #Constraints: 51375
3600.08/3609.11 c INPROCESSING
3600.08/3609.11 c GARBAGE COLLECT
3600.08/3609.11 c #Conflicts: 1468000 | #Constraints: 28361
3600.08/3609.11 c #Conflicts: 1469000 | #Constraints: 29361
3600.08/3609.11 c #Conflicts: 1470000 | #Constraints: 30361
3600.08/3609.11 c #Conflicts: 1471000 | #Constraints: 31361
3600.08/3609.11 c #Conflicts: 1472000 | #Constraints: 32361
3600.08/3609.11 c #Conflicts: 1473000 | #Constraints: 33361
3600.08/3609.11 c #Conflicts: 1474000 | #Constraints: 34361
3600.08/3609.11 c #Conflicts: 1475000 | #Constraints: 35361
3600.08/3609.11 c Program interrupted by user.
3600.08/3609.11 c cpu time 3588.4 s
3600.08/3609.11 c deterministic time 351035673591 3.51e+11
3600.08/3609.11 c optimization time 28.8604 s
3600.08/3609.11 c total solve time 3559.44 s
3600.08/3609.11 c core-guided solve time 3559.44 s
3600.08/3609.11 c propagation time 3410.78 s
3600.08/3609.11 c conflict analysis time 155.484 s
3600.08/3609.11 c propagations 511084584
3600.08/3609.11 c resolve steps 6575625
3600.08/3609.11 c decisions 8080186
3600.08/3609.11 c conflicts 1475340
3600.08/3609.11 c restarts 2874
3600.08/3609.11 c inprocessing phases 112
3600.08/3609.11 c input clauses 1
3600.08/3609.11 c input cardinalities 0
3600.08/3609.11 c input general constraints 3443
3600.08/3609.11 c input average constraint length 27.49
3600.08/3609.11 c input average constraint degree 354.89
3600.08/3609.11 c learned clauses 457390
3600.08/3609.11 c learned cardinalities 2
3600.08/3609.11 c learned general constraints 1017948
3600.08/3609.11 c learned average constraint length 39.25
3600.08/3609.11 c learned average constraint degree 4058089.55
3600.08/3609.11 c watched constraints 1006193
3600.08/3609.11 c counting constraints 15198
3600.08/3609.11 c gcd simplifications 15510
3600.08/3609.11 c detected cardinalities 2
3600.08/3609.11 c weakened non-implied lits 5238777
3600.08/3609.11 c weakened non-implying lits 3121
3600.08/3609.11 c original variables 1807
3600.08/3609.11 c clausal propagations 1473675
3600.08/3609.11 c cardinality propagations 0
3600.08/3609.11 c watched propagations 466065379
3600.08/3609.11 c counting propagations 42731544
3600.08/3609.11 c watch lookups 77788394820
3600.08/3609.11 c watch backjump lookups 75754272945
3600.08/3609.11 c watch checks 90377300300
3600.08/3609.11 c propagation checks 105856504248
3600.08/3609.11 c constraint additions 219396452
3600.08/3609.11 c trail pops 520640055
3600.08/3609.11 c formula constraints 3444
3600.08/3609.11 c learned constraints 1475340
3600.08/3609.11 c bound constraints 0
3600.08/3609.11 c core-guided constraints 0
3600.08/3609.11 c encountered formula constraints 5700383
3600.08/3609.11 c encountered learned constraints 2350582
3600.08/3609.11 c encountered bound constraints 0
3600.08/3609.11 c encountered core-guided constraints 0
3600.08/3609.11 c LP total time 0 s
3600.08/3609.11 c LP solve time 0 s
3600.08/3609.11 c LP constraints added 0
3600.08/3609.11 c LP constraints removed 0
3600.08/3609.11 c LP pivots internal 0
3600.08/3609.11 c LP pivots root 0
3600.08/3609.11 c LP calls 0
3600.08/3609.11 c LP optimalities 0
3600.08/3609.11 c LP no pivot count 0
3600.08/3609.11 c LP infeasibilities 0
3600.08/3609.11 c LP valid Farkas constraints 0
3600.08/3609.11 c LP learned Farkas constraints 0
3600.08/3609.11 c LP basis resets 0
3600.08/3609.11 c LP cycling count 0
3600.08/3609.11 c LP singular count 0
3600.08/3609.11 c LP no primal count 0
3600.08/3609.11 c LP no farkas count 0
3600.08/3609.11 c LP other issue count 0
3600.08/3609.11 c LP Gomory cuts 0
3600.08/3609.11 c LP learned cuts 0
3600.08/3609.11 c LP deleted cuts 0
3600.08/3609.11 c LP encountered Gomory constraints 0
3600.08/3609.11 c LP encountered Farkas constraints 0
3600.08/3609.11 c LP encountered learned Farkas constraints 0
3600.08/3609.11 c CG auxiliary variables introduced 0
3600.08/3609.11 c CG solutions found 0
3600.08/3609.11 c CG cores constructed 0
3600.08/3609.11 c CG core cardinality constraints returned 0
3600.08/3609.11 c CG unit cores 0
3600.08/3609.11 c CG single cores 0
3600.08/3609.11 c CG blocks removed during cardinality reduction 0
3600.08/3609.11 c CG first core best 0
3600.08/3609.11 c CG decision core best 0
3600.08/3609.11 c CG core reduction tie 0
3600.08/3609.11 c CG core degree average 0.00
3600.08/3609.11 c CG core slack average 0.00
3600.08/3609.11 c CG exhausted 0
3600.08/3609.11 c CG exhaust time 0 s
3600.08/3609.11 c CG trimmed 0
3600.08/3609.11 c CG trim time 0 s
3600.08/3609.11 c CG minimized 0
3600.08/3609.11 c CG minimize time 0 s
3600.08/3609.11 c CG am1 prop time 3e-06 s
3600.08/3609.11 c CG # am1s reformulated 0
3600.08/3609.11 c CG lower bound derived from am1s 0
3600.08/3609.11 c CG # clausal cores 0
3600.08/3609.11 c CG # cardinality cores 0
3600.08/3609.11 c CG # pb cores 0
3600.08/3609.11 c CG # pb reforms 0
3600.08/3609.11 c CG # cores discarded because of pb reform 0
3600.08/3609.11 d LOWERBOUND 0
3600.08/3609.11 d NCORES 0
3600.08/3609.11 d NPBCORES 0
3600.08/3609.11 d NPBREFORM 0
3600.08/3609.11 d NTRIMMED 0
3600.08/3609.11 d NEXHAUSTED 0
3600.08/3609.11 d NAM1S 0
3600.08/3609.11 d AM1LB 0
3600.08/3609.11 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (63199 MiB free)
memory of node 1: 64465 MiB (63828 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4491342-1751383222/watcher-4491342-1751383222 -o /tmp/evaluation-result-4491342-1751383222/solver-4491342-1751383222 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751383217-48628 --watchdog 3760 pb-oll-rs HOME/instance-4491342-1751383222.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=48911, runsolver pid=48908
Current StackSize limit: 8192 KiB
[startup+0.1001 s]*
/proc/loadavg: 1.40 1.92 2.46 5/250 48912
/proc/meminfo: memFree=130074820/131382120 swapFree=33010416/33010684
[pid=48911] ppid=48908 vsize=20548 memory=6400 CPUtime=0.09 cores=4,6
/proc/48911/stat : 48911 (pb-oll-rs) R 48908 48911 48617 0 -1 4194304 594 0 0 0 8 1 0 0 20 0 1 0 54001033 21041152 1600 18446744073709551615 4218880 5211445 140727988749888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 11603968 140727988754844 140727988754921 140727988754921 140727988760523 0
/proc/48911/statm: 5137 1600 1184 243 0 1386 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20548 KiB
Current children cumulated memory: 6400 KiB
[startup+0.212978 s]*
/proc/loadavg: 1.40 1.92 2.46 5/250 48912
/proc/meminfo: memFree=130072048/131382120 swapFree=33010416/33010684
[pid=48911] ppid=48908 vsize=21748 memory=8576 CPUtime=0.2 cores=4,6
/proc/48911/stat : 48911 (pb-oll-rs) R 48908 48911 48617 0 -1 4194304 963 0 0 0 18 2 0 0 20 0 1 0 54001033 22269952 2144 18446744073709551615 4218880 5211445 140727988749888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 11603968 140727988754844 140727988754921 140727988754921 140727988760523 0
/proc/48911/statm: 5437 2144 1376 243 0 1686 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 21748 KiB
Current children cumulated memory: 8576 KiB
[startup+0.313156 s]*
/proc/loadavg: 1.40 1.92 2.46 5/250 48912
/proc/meminfo: memFree=130072048/131382120 swapFree=33010416/33010684
[pid=48911] ppid=48908 vsize=21884 memory=8704 CPUtime=0.3 cores=4,6
/proc/48911/stat : 48911 (pb-oll-rs) R 48908 48911 48617 0 -1 4194304 1013 0 0 0 28 2 0 0 20 0 1 0 54001033 22409216 2176 18446744073709551615 4218880 5211445 140727988749888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 11603968 140727988754844 140727988754921 140727988754921 140727988760523 0
/proc/48911/statm: 5471 2176 1376 243 0 1720 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 21884 KiB
Current children cumulated memory: 8704 KiB
[startup+0.700274 s]
/proc/loadavg: 1.40 1.92 2.46 5/250 48912
/proc/meminfo: memFree=130072240/131382120 swapFree=33010416/33010684
[pid=48911] ppid=48908 vsize=21884 memory=11004 CPUtime=0.68 cores=4,6
/proc/48911/stat : 48911 (pb-oll-rs) R 48908 48911 48617 0 -1 4194304 1068 0 0 0 65 3 0 0 20 0 1 0 54001033 22409216 2751 18446744073709551615 4218880 5211445 140727988749888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 11603968 140727988754844 140727988754921 140727988754921 140727988760523 0
/proc/48911/statm: 5471 2751 1376 243 0 1720 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 21884 KiB
Current children cumulated memory: 11004 KiB
[startup+1.50031 s]
/proc/loadavg: 1.40 1.92 2.46 5/250 48912
/proc/meminfo: memFree=130072240/131382120 swapFree=33010416/33010684
[pid=48911] ppid=48908 vsize=22020 memory=11132 CPUtime=1.48 cores=4,6
/proc/48911/stat : 48911 (pb-oll-rs) R 48908 48911 48617 0 -1 4194304 1091 0 0 0 143 5 0 0 20 0 1 0 54001033 22548480 2783 18446744073709551615 4218880 5211445 140727988749888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 11603968 140727988754844 140727988754921 140727988754921 140727988760523 0
/proc/48911/statm: 5505 2783 1376 243 0 1754 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 22020 KiB
Current children cumulated memory: 11132 KiB
[startup+3.11355 s]
/proc/loadavg: 1.61 1.95 2.47 5/250 48912
/proc/meminfo: memFree=130060936/131382120 swapFree=33010416/33010684
[pid=48911] ppid=48908 vsize=22852 memory=11900 CPUtime=3.08 cores=4,6
/proc/48911/stat : 48911 (pb-oll-rs) R 48908 48911 48617 0 -1 4194304 1296 0 0 0 301 7 0 0 20 0 1 0 54001033 23400448 2975 18446744073709551615 4218880 5211445 140727988749888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 11603968 140727988754844 140727988754921 140727988754921 140727988760523 0
/proc/48911/statm: 5713 2975 1376 243 0 1962 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 22852 KiB
Current children cumulated memory: 11900 KiB
[startup+6.30025 s]
/proc/loadavg: 1.61 1.95 2.47 5/250 48912
/proc/meminfo: memFree=130051064/131382120 swapFree=33010416/33010684
[pid=48911] ppid=48908 vsize=23156 memory=12284 CPUtime=6.26 cores=4,6
/proc/48911/stat : 48911 (pb-oll-rs) R 48908 48911 48617 0 -1 4194304 1419 0 0 0 613 13 0 0 20 0 1 0 54001033 23711744 3071 18446744073709551615 4218880 5211445 140727988749888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 11603968 140727988754844 140727988754921 140727988754921 140727988760523 0
/proc/48911/statm: 5789 3071 1376 243 0 2038 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 23156 KiB
Current children cumulated memory: 12284 KiB
[startup+12.7003 s]
/proc/loadavg: 1.80 1.98 2.48 5/250 48913
/proc/meminfo: memFree=130044448/131382120 swapFree=33010416/33010684
[pid=48911] ppid=48908 vsize=23524 memory=12668 CPUtime=12.65 cores=4,6
/proc/48911/stat : 48911 (pb-oll-rs) R 48908 48911 48617 0 -1 4194304 1559 0 0 0 1241 24 0 0 20 0 1 0 54001033 24088576 3167 18446744073709551615 4218880 5211445 140727988749888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 11603968 140727988754844 140727988754921 140727988754921 140727988760523 0
/proc/48911/statm: 5881 3167 1376 243 0 2130 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 23524 KiB
Current children cumulated memory: 12668 KiB
[startup+25.5004 s]
/proc/loadavg: 2.29 2.08 2.50 5/250 48913
/proc/meminfo: memFree=130018436/131382120 swapFree=33010416/33010684
[pid=48911] ppid=48908 vsize=24548 memory=13948 CPUtime=25.42 cores=4,6
/proc/48911/stat : 48911 (pb-oll-rs) R 48908 48911 48617 0 -1 4194304 1955 0 0 0 2504 38 0 0 20 0 1 0 54001033 25137152 3487 18446744073709551615 4218880 5211445 140727988749888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 11603968 140727988754844 140727988754921 140727988754921 140727988760523 0
/proc/48911/statm: 6137 3487 1376 243 0 2386 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 24548 KiB
Current children cumulated memory: 13948 KiB
[startup+51.113 s]
/proc/loadavg: 2.95 2.26 2.55 5/251 48914
/proc/meminfo: memFree=129964608/131382120 swapFree=33010416/33010684
[pid=48911] ppid=48908 vsize=28080 memory=15740 CPUtime=50.96 cores=4,6
/proc/48911/stat : 48911 (pb-oll-rs) R 48908 48911 48617 0 -1 4194304 2461 0 0 0 5032 64 0 0 20 0 1 0 54001033 28753920 3935 18446744073709551615 4218880 5211445 140727988749888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 11603968 140727988754844 140727988754921 140727988754921 140727988760523 0
/proc/48911/statm: 7020 3935 1376 243 0 3269 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 28080 KiB
Current children cumulated memory: 15740 KiB
[startup+102.3 s]
/proc/loadavg: 3.61 2.54 2.63 5/251 48961
/proc/meminfo: memFree=130036352/131382120 swapFree=33010416/33010684
[pid=48911] ppid=48908 vsize=29340 memory=18036 CPUtime=102.03 cores=4,6
/proc/48911/stat : 48911 (pb-oll-rs) R 48908 48911 48617 0 -1 4194304 3230 0 0 0 10095 108 0 0 20 0 1 0 54001033 30044160 4509 18446744073709551615 4218880 5211445 140727988749888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 11603968 140727988754844 140727988754921 140727988754921 140727988760523 0
/proc/48911/statm: 7335 4509 1376 243 0 3584 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 29340 KiB
Current children cumulated memory: 18036 KiB
[startup+162.3 s]
/proc/loadavg: 3.86 2.81 2.72 6/251 48963
/proc/meminfo: memFree=130008664/131382120 swapFree=33010416/33010684
[pid=48911] ppid=48908 vsize=30500 memory=19828 CPUtime=161.88 cores=4,6
/proc/48911/stat : 48911 (pb-oll-rs) R 48908 48911 48617 0 -1 4194304 3848 0 0 0 16035 153 0 0 20 0 1 0 54001033 31232000 4957 18446744073709551615 4218880 5211445 140727988749888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 11603968 140727988754844 140727988754921 140727988754921 140727988760523 0
/proc/48911/statm: 7625 4957 1376 243 0 3874 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 30500 KiB
Current children cumulated memory: 19828 KiB
[startup+222.3 s]
/proc/loadavg: 4.55 3.19 2.86 6/252 48968
/proc/meminfo: memFree=130034660/131382120 swapFree=33010416/33010684
[pid=48911] ppid=48908 vsize=31540 memory=21236 CPUtime=221.74 cores=4,6
/proc/48911/stat : 48911 (pb-oll-rs) R 48908 48911 48617 0 -1 4194304 4346 0 0 0 21987 187 0 0 20 0 1 0 54001033 32296960 5309 18446744073709551615 4218880 5211445 140727988749888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 11603968 140727988754844 140727988754921 140727988754921 140727988760523 0
/proc/48911/statm: 7885 5309 1376 243 0 4134 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 31540 KiB
Current children cumulated memory: 21236 KiB
[startup+282.3 s]
/proc/loadavg: 4.40 3.41 2.96 6/252 48974
/proc/meminfo: memFree=130009124/131382120 swapFree=33010416/33010684
[pid=48911] ppid=48908 vsize=36472 memory=24316 CPUtime=281.59 cores=4,6
/proc/48911/stat : 48911 (pb-oll-rs) R 48908 48911 48617 0 -1 4194304 4746 0 0 0 27931 228 0 0 20 0 1 0 54001033 37347328 6079 18446744073709551615 4218880 5211445 140727988749888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 11603968 140727988754844 140727988754921 140727988754921 140727988760523 0
/proc/48911/statm: 9118 6079 1376 243 0 5367 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 36472 KiB
Current children cumulated memory: 24316 KiB
[startup+342.3 s]
/proc/loadavg: 4.24 3.55 3.04 6/251 48976
/proc/meminfo: memFree=130001656/131382120 swapFree=33010416/33010684
[pid=48911] ppid=48908 vsize=36864 memory=25084 CPUtime=341.43 cores=4,6
/proc/48911/stat : 48911 (pb-oll-rs) R 48908 48911 48617 0 -1 4194304 4933 0 0 0 33883 260 0 0 20 0 1 0 54001033 37748736 6271 18446744073709551615 4218880 5211445 140727988749888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 11603968 140727988754844 140727988754921 140727988754921 140727988760523 0
/proc/48911/statm: 9216 6271 1376 243 0 5465 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 25084 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 3.66 3.11 6/250 48978
/proc/meminfo: memFree=130008552/131382120 swapFree=33010416/33010684
[pid=48911] ppid=48908 vsize=37148 memory=25468 CPUtime=401.29 cores=4,6
/proc/48911/stat : 48911 (pb-oll-rs) R 48908 48911 48617 0 -1 4194304 5127 0 0 0 39837 292 0 0 20 0 1 0 54001033 38039552 6367 18446744073709551615 4218880 5211445 140727988749888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 11603968 140727988754844 140727988754921 140727988754921 140727988760523 0
/proc/48911/statm: 9287 6367 1376 243 0 5536 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 37148 KiB
Current children cumulated memory: 25468 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.74 3.17 6/251 48981
/proc/meminfo: memFree=130000532/131382120 swapFree=33010416/33010684
[pid=48911] ppid=48908 vsize=37472 memory=25724 CPUtime=461.14 cores=4,6
/proc/48911/stat : 48911 (pb-oll-rs) R 48908 48911 48617 0 -1 4194304 5291 0 0 0 45793 321 0 0 20 0 1 0 54001033 38371328 6431 18446744073709551615 4218880 5211445 140727988749888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 11603968 140727988754844 140727988754921 140727988754921 140727988760523 0
/proc/48911/statm: 9368 6431 1376 243 0 5617 0
Current children cumulated CPU time: 461.14 s
################
# More data... #
################
Current children cumulated memory: 38840 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.08 4.05 6/249 49105
/proc/meminfo: memFree=129871688/131382120 swapFree=33010416/33010684
[pid=48911] ppid=48908 vsize=52028 memory=39036 CPUtime=2914.98 cores=4,6
/proc/48911/stat : 48911 (pb-oll-rs) R 48908 48911 48617 0 -1 4194304 11266 0 0 0 290473 1025 0 0 20 0 1 0 54001033 53276672 9759 18446744073709551615 4218880 5211445 140727988749888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 11603968 140727988754844 140727988754921 140727988754921 140727988760523 0
/proc/48911/statm: 13007 9759 1376 243 0 9256 0
Current children cumulated CPU time: 2914.98 s
Current children cumulated vsize: 52028 KiB
Current children cumulated memory: 39036 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.08 4.05 5/249 49107
/proc/meminfo: memFree=129864368/131382120 swapFree=33010416/33010684
[pid=48911] ppid=48908 vsize=52156 memory=39164 CPUtime=2974.82 cores=4,6
/proc/48911/stat : 48911 (pb-oll-rs) R 48908 48911 48617 0 -1 4194304 11429 0 0 0 296445 1037 0 0 20 0 1 0 54001033 53407744 9791 18446744073709551615 4218880 5211445 140727988749888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 11603968 140727988754844 140727988754921 140727988754921 140727988760523 0
/proc/48911/statm: 13039 9791 1376 243 0 9288 0
Current children cumulated CPU time: 2974.82 s
Current children cumulated vsize: 52156 KiB
Current children cumulated memory: 39164 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.08 4.05 6/249 49109
/proc/meminfo: memFree=129865084/131382120 swapFree=33010416/33010684
[pid=48911] ppid=48908 vsize=52156 memory=39164 CPUtime=3034.67 cores=4,6
/proc/48911/stat : 48911 (pb-oll-rs) R 48908 48911 48617 0 -1 4194304 11429 0 0 0 302415 1052 0 0 20 0 1 0 54001033 53407744 9791 18446744073709551615 4218880 5211445 140727988749888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 11603968 140727988754844 140727988754921 140727988754921 140727988760523 0
/proc/48911/statm: 13039 9791 1376 243 0 9288 0
Current children cumulated CPU time: 3034.67 s
Current children cumulated vsize: 52156 KiB
Current children cumulated memory: 39164 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.10 4.06 6/249 49111
/proc/meminfo: memFree=129866228/131382120 swapFree=33010416/33010684
[pid=48911] ppid=48908 vsize=52284 memory=39296 CPUtime=3094.52 cores=4,6
/proc/48911/stat : 48911 (pb-oll-rs) R 48908 48911 48617 0 -1 4194304 11618 0 0 0 308388 1064 0 0 20 0 1 0 54001033 53538816 9824 18446744073709551615 4218880 5211445 140727988749888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 11603968 140727988754844 140727988754921 140727988754921 140727988760523 0
/proc/48911/statm: 13071 9824 1376 243 0 9320 0
Current children cumulated CPU time: 3094.52 s
Current children cumulated vsize: 52284 KiB
Current children cumulated memory: 39296 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.09 4.06 6/249 49113
/proc/meminfo: memFree=129869732/131382120 swapFree=33010416/33010684
[pid=48911] ppid=48908 vsize=52284 memory=39296 CPUtime=3154.38 cores=4,6
/proc/48911/stat : 48911 (pb-oll-rs) R 48908 48911 48617 0 -1 4194304 11618 0 0 0 314363 1075 0 0 20 0 1 0 54001033 53538816 9824 18446744073709551615 4218880 5211445 140727988749888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 11603968 140727988754844 140727988754921 140727988754921 140727988760523 0
/proc/48911/statm: 13071 9824 1376 243 0 9320 0
Current children cumulated CPU time: 3154.38 s
Current children cumulated vsize: 52284 KiB
Current children cumulated memory: 39296 KiB
[startup+3222.3 s]
/proc/loadavg: 4.04 4.07 4.05 6/250 49118
/proc/meminfo: memFree=129870060/131382120 swapFree=33010416/33010684
[pid=48911] ppid=48908 vsize=52668 memory=41612 CPUtime=3214.22 cores=4,6
/proc/48911/stat : 48911 (pb-oll-rs) R 48908 48911 48617 0 -1 4194304 11842 0 0 0 320335 1087 0 0 20 0 1 0 54001033 53932032 10403 18446744073709551615 4218880 5211445 140727988749888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 11603968 140727988754844 140727988754921 140727988754921 140727988760523 0
/proc/48911/statm: 13167 10403 1376 243 0 9416 0
Current children cumulated CPU time: 3214.22 s
Current children cumulated vsize: 52668 KiB
Current children cumulated memory: 41612 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.09 4.06 6/250 49124
/proc/meminfo: memFree=129865268/131382120 swapFree=33010416/33010684
[pid=48911] ppid=48908 vsize=52668 memory=41612 CPUtime=3274.07 cores=4,6
/proc/48911/stat : 48911 (pb-oll-rs) R 48908 48911 48617 0 -1 4194304 11999 0 0 0 326309 1098 0 0 20 0 1 0 54001033 53932032 10403 18446744073709551615 4218880 5211445 140727988749888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 11603968 140727988754844 140727988754921 140727988754921 140727988760523 0
/proc/48911/statm: 13167 10403 1376 243 0 9416 0
Current children cumulated CPU time: 3274.07 s
Current children cumulated vsize: 52668 KiB
Current children cumulated memory: 41612 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.06 6/251 49127
/proc/meminfo: memFree=129863324/131382120 swapFree=33010416/33010684
[pid=48911] ppid=48908 vsize=52668 memory=41612 CPUtime=3333.93 cores=4,6
/proc/48911/stat : 48911 (pb-oll-rs) R 48908 48911 48617 0 -1 4194304 12014 0 0 0 332281 1112 0 0 20 0 1 0 54001033 53932032 10403 18446744073709551615 4218880 5211445 140727988749888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 11603968 140727988754844 140727988754921 140727988754921 140727988760523 0
/proc/48911/statm: 13167 10403 1376 243 0 9416 0
Current children cumulated CPU time: 3333.93 s
Current children cumulated vsize: 52668 KiB
Current children cumulated memory: 41612 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.06 6/251 49129
/proc/meminfo: memFree=129866072/131382120 swapFree=33010416/33010684
[pid=48911] ppid=48908 vsize=52668 memory=41612 CPUtime=3393.79 cores=4,6
/proc/48911/stat : 48911 (pb-oll-rs) R 48908 48911 48617 0 -1 4194304 12173 0 0 0 338252 1127 0 0 20 0 1 0 54001033 53932032 10403 18446744073709551615 4218880 5211445 140727988749888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 11603968 140727988754844 140727988754921 140727988754921 140727988760523 0
/proc/48911/statm: 13167 10403 1376 243 0 9416 0
Current children cumulated CPU time: 3393.79 s
Current children cumulated vsize: 52668 KiB
Current children cumulated memory: 41612 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.06 6/251 49131
/proc/meminfo: memFree=129867012/131382120 swapFree=33010416/33010684
[pid=48911] ppid=48908 vsize=52668 memory=41612 CPUtime=3453.63 cores=4,6
/proc/48911/stat : 48911 (pb-oll-rs) R 48908 48911 48617 0 -1 4194304 12173 0 0 0 344225 1138 0 0 20 0 1 0 54001033 53932032 10403 18446744073709551615 4218880 5211445 140727988749888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 11603968 140727988754844 140727988754921 140727988754921 140727988760523 0
/proc/48911/statm: 13167 10403 1376 243 0 9416 0
Current children cumulated CPU time: 3453.63 s
Current children cumulated vsize: 52668 KiB
Current children cumulated memory: 41612 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.06 6/251 49133
/proc/meminfo: memFree=129865008/131382120 swapFree=33010416/33010684
[pid=48911] ppid=48908 vsize=52796 memory=41796 CPUtime=3513.49 cores=4,6
/proc/48911/stat : 48911 (pb-oll-rs) R 48908 48911 48617 0 -1 4194304 12362 0 0 0 350198 1151 0 0 20 0 1 0 54001033 54063104 10449 18446744073709551615 4218880 5211445 140727988749888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 11603968 140727988754844 140727988754921 140727988754921 140727988760523 0
/proc/48911/statm: 13199 10449 1376 243 0 9448 0
Current children cumulated CPU time: 3513.49 s
Current children cumulated vsize: 52796 KiB
Current children cumulated memory: 41796 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.09 4.06 6/251 49135
/proc/meminfo: memFree=129860208/131382120 swapFree=33010416/33010684
[pid=48911] ppid=48908 vsize=53052 memory=41872 CPUtime=3573.33 cores=4,6
/proc/48911/stat : 48911 (pb-oll-rs) R 48908 48911 48617 0 -1 4194304 12554 0 0 0 356171 1162 0 0 20 0 1 0 54001033 54325248 10468 18446744073709551615 4218880 5211445 140727988749888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 11603968 140727988754844 140727988754921 140727988754921 140727988760523 0
/proc/48911/statm: 13263 10468 1376 243 0 9512 0
Current children cumulated CPU time: 3573.33 s
Current children cumulated vsize: 53052 KiB
Current children cumulated memory: 41872 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 4.00 4.07 4.05 4/245 49244
/proc/meminfo: memFree=130026004/131382120 swapFree=33010416/33010684
[pid=48911] ppid=48908 vsize=53052 memory=41872 CPUtime=3600.08 cores=4,6
/proc/48911/stat : 48911 (pb-oll-rs) R 48908 48911 48617 0 -1 4194304 12554 0 0 0 358840 1168 0 0 20 0 1 0 54001033 54325248 10468 18446744073709551615 4218880 5211445 140727988749888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 11603968 140727988754844 140727988754921 140727988754921 140727988760523 0
/proc/48911/statm: 13263 10468 1376 243 0 9512 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 53052 KiB
Current children cumulated memory: 41872 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.12 s]
# the end of solver process 48911 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.41 s, system=11.6878 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.11 s]
/proc/loadavg: 4.00 4.07 4.05 4/245 49244
/proc/meminfo: memFree=130026004/131382120 swapFree=33010416/33010684
[pid=48911] ppid=48908 vsize=53052 memory=41872 CPUtime=3600.08 cores=4,6
/proc/48911/stat : 48911 (pb-oll-rs) R 48908 48911 48617 0 -1 4194304 12554 0 0 0 358840 1168 0 0 20 0 1 0 54001033 54325248 10468 18446744073709551615 4218880 5211445 140727988749888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 11603968 140727988754844 140727988754921 140727988754921 140727988760523 0
/proc/48911/statm: 13263 10468 1376 243 0 9512 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 53052 KiB
Current children cumulated memory: 41872 KiB
Child status: 0
Real time (s): 3609.12
CPU time (s): 3600.09
CPU user time (s): 3588.41
CPU system time (s): 11.6878
CPU usage (%): 99.75
Max. virtual memory (cumulated for all children) (KiB): 53844
Max. memory (cumulated for all children) (KiB): 42436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.41
system time used= 11.6878
maximum resident set size= 42436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12569
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= 96
involuntary context switches= 1279
# summary of solver processes directly reported to runsolver:
# pid: 48911
# total CPU time (s): 3600.09
# total CPU user time (s): 3588.41
# total CPU system time (s): 11.6878
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1157 second user time and 35.6869 second system time
The end
Begin job on nodeC002 at 2025-07-01 17:20:22
IDJOB=4491342
IDBENCH=147703
IDSOLVER=3345
FILE ID=nodeC002/4491342-1751383222
RUNJOBID= nodeC002-1751383217-48628
SLURM_JOB_ID= 9598229
Free space on /tmp= 433052 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_12.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4491342-1751383222/watcher-4491342-1751383222 -o /tmp/evaluation-result-4491342-1751383222/solver-4491342-1751383222 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751383217-48628 --watchdog 3760 pb-oll-rs HOME/instance-4491342-1751383222.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6f99dbdca9fbd2980e0943071bb7f8ab
RANDOM SEED=404324216
nodeC002 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.362
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.914
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.528
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.610
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.226
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.696
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.123
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.640
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 130076264 kB
MemAvailable: 129865496 kB
Buffers: 2128 kB
Cached: 598256 kB
SwapCached: 28 kB
Active: 461040 kB
Inactive: 295668 kB
Active(anon): 167860 kB
Inactive(anon): 6404 kB
Active(file): 293180 kB
Inactive(file): 289264 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 2364 kB
Writeback: 0 kB
AnonPages: 159544 kB
Mapped: 106820 kB
Shmem: 17932 kB
KReclaimable: 92832 kB
Slab: 176512 kB
SReclaimable: 92832 kB
SUnreclaim: 83680 kB
KernelStack: 4064 kB
PageTables: 3360 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 513468 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149336 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 16384 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 181064 kB
DirectMap2M: 8110080 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433048 MiB
End job on nodeC002 at 2025-07-01 18:20:32