0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.10/0.17 c [STEP] solving
0.10/0.17 c #variables 15725 #constraints 33136
0.10/0.17 c SMALL=int, LARGE=long long
0.10/0.17 c bounds - >= -25 @ 0.121546
0.10/0.17 c stratification level: 104487111
50.75/50.99 c #Conflicts: 1000 | #Constraints: 34135
50.75/50.99 c #Conflicts: 2000 | #Constraints: 35135
50.75/50.99 c INPROCESSING
50.75/50.99 c GARBAGE COLLECT
50.75/50.99 c #Conflicts: 3000 | #Constraints: 35140
50.75/50.99 c #Conflicts: 4000 | #Constraints: 36140
50.75/50.99 c INPROCESSING
50.75/50.99 c GARBAGE COLLECT
50.75/50.99 c #Conflicts: 5000 | #Constraints: 35545
50.75/50.99 c #Conflicts: 6000 | #Constraints: 36545
50.75/50.99 c INPROCESSING
50.75/50.99 c GARBAGE COLLECT
50.75/50.99 c #Conflicts: 7000 | #Constraints: 35549
50.75/50.99 c #Conflicts: 8000 | #Constraints: 36549
50.75/50.99 c #Conflicts: 9000 | #Constraints: 37549
50.75/50.99 c INPROCESSING
50.75/50.99 c GARBAGE COLLECT
50.75/50.99 c #Conflicts: 10000 | #Constraints: 36255
50.75/50.99 c #Conflicts: 11000 | #Constraints: 37255
50.75/50.99 c #Conflicts: 12000 | #Constraints: 38255
50.75/50.99 c INPROCESSING
50.75/50.99 c GARBAGE COLLECT
50.75/50.99 c #Conflicts: 13000 | #Constraints: 36700
50.75/50.99 c #Conflicts: 14000 | #Constraints: 37700
50.75/50.99 c #Conflicts: 15000 | #Constraints: 38700
50.75/50.99 c INPROCESSING
50.75/50.99 c GARBAGE COLLECT
50.75/50.99 c #Conflicts: 16000 | #Constraints: 36930
50.75/50.99 c #Conflicts: 17000 | #Constraints: 37930
50.75/50.99 c #Conflicts: 18000 | #Constraints: 38930
50.75/50.99 c INPROCESSING
50.75/50.99 c GARBAGE COLLECT
50.75/50.99 c #Conflicts: 19000 | #Constraints: 36937
50.75/50.99 c #Conflicts: 20000 | #Constraints: 37937
50.75/50.99 c #Conflicts: 21000 | #Constraints: 38937
50.75/50.99 c INPROCESSING
50.75/50.99 c GARBAGE COLLECT
50.75/50.99 c #Conflicts: 22000 | #Constraints: 36748
50.75/50.99 c #Conflicts: 23000 | #Constraints: 37748
50.75/50.99 c #Conflicts: 24000 | #Constraints: 38748
50.75/50.99 c #Conflicts: 25000 | #Constraints: 39748
50.75/50.99 c INPROCESSING
50.75/50.99 c GARBAGE COLLECT
50.75/50.99 c #Conflicts: 26000 | #Constraints: 37352
50.75/50.99 c #Conflicts: 27000 | #Constraints: 38352
50.75/50.99 c #Conflicts: 28000 | #Constraints: 39352
50.75/50.99 c #Conflicts: 29000 | #Constraints: 40352
50.75/50.99 c INPROCESSING
50.75/50.99 c GARBAGE COLLECT
50.75/50.99 c #Conflicts: 30000 | #Constraints: 37755
50.75/50.99 c #Conflicts: 31000 | #Constraints: 38755
50.75/50.99 c #Conflicts: 32000 | #Constraints: 39755
50.75/50.99 c #Conflicts: 33000 | #Constraints: 40755
50.75/50.99 c INPROCESSING
50.75/50.99 c GARBAGE COLLECT
50.75/50.99 c #Conflicts: 34000 | #Constraints: 37958
50.75/50.99 c #Conflicts: 35000 | #Constraints: 38958
50.75/50.99 c #Conflicts: 36000 | #Constraints: 39958
50.75/50.99 c #Conflicts: 37000 | #Constraints: 40958
50.75/50.99 c INPROCESSING
50.75/50.99 c GARBAGE COLLECT
50.75/50.99 c #Conflicts: 38000 | #Constraints: 37970
50.75/50.99 c #Conflicts: 39000 | #Constraints: 38970
50.75/50.99 c #Conflicts: 40000 | #Constraints: 39970
50.75/50.99 c #Conflicts: 41000 | #Constraints: 40970
50.75/50.99 c INPROCESSING
50.75/50.99 c GARBAGE COLLECT
50.75/50.99 c #Conflicts: 42000 | #Constraints: 37770
50.75/50.99 c #Conflicts: 43000 | #Constraints: 38770
50.75/50.99 c #Conflicts: 44000 | #Constraints: 39770
50.75/50.99 c #Conflicts: 45000 | #Constraints: 40770
50.75/50.99 c #Conflicts: 46000 | #Constraints: 41770
50.75/50.99 c INPROCESSING
50.75/50.99 c GARBAGE COLLECT
50.75/50.99 c #Conflicts: 47000 | #Constraints: 38368
50.75/50.99 c #Conflicts: 48000 | #Constraints: 39368
50.75/50.99 c #Conflicts: 49000 | #Constraints: 40368
50.75/50.99 c #Conflicts: 50000 | #Constraints: 41368
50.75/50.99 c #Conflicts: 51000 | #Constraints: 42368
50.75/50.99 c INPROCESSING
50.75/50.99 c GARBAGE COLLECT
50.75/50.99 c #Conflicts: 52000 | #Constraints: 38763
50.75/50.99 c #Conflicts: 53000 | #Constraints: 39763
50.75/50.99 c #Conflicts: 54000 | #Constraints: 40763
50.75/50.99 c #Conflicts: 55000 | #Constraints: 41763
50.75/50.99 c #Conflicts: 56000 | #Constraints: 42763
50.75/50.99 c INPROCESSING
50.75/50.99 c GARBAGE COLLECT
50.75/50.99 c #Conflicts: 57000 | #Constraints: 38959
50.75/50.99 c #Conflicts: 58000 | #Constraints: 39959
50.75/50.99 c #Conflicts: 59000 | #Constraints: 40959
50.75/50.99 c #Conflicts: 60000 | #Constraints: 41959
50.75/50.99 c #Conflicts: 61000 | #Constraints: 42959
50.75/50.99 c INPROCESSING
50.75/50.99 c GARBAGE COLLECT
50.75/50.99 c #Conflicts: 62000 | #Constraints: 38969
50.75/50.99 c #Conflicts: 63000 | #Constraints: 39969
50.75/50.99 c #Conflicts: 64000 | #Constraints: 40969
50.75/50.99 c #Conflicts: 65000 | #Constraints: 41969
50.75/50.99 c #Conflicts: 66000 | #Constraints: 42969
50.75/50.99 c INPROCESSING
50.75/50.99 c GARBAGE COLLECT
50.75/50.99 c #Conflicts: 67000 | #Constraints: 38770
50.75/50.99 c #Conflicts: 68000 | #Constraints: 39770
134.52/135.00 c #Conflicts: 69000 | #Constraints: 40770
134.52/135.00 c #Conflicts: 70000 | #Constraints: 41770
134.52/135.00 c #Conflicts: 71000 | #Constraints: 42770
134.52/135.00 c #Conflicts: 72000 | #Constraints: 43770
134.52/135.00 c INPROCESSING
134.52/135.00 c GARBAGE COLLECT
134.52/135.00 c #Conflicts: 73000 | #Constraints: 39373
134.52/135.00 c #Conflicts: 74000 | #Constraints: 40373
134.52/135.00 c #Conflicts: 75000 | #Constraints: 41373
134.52/135.00 c #Conflicts: 76000 | #Constraints: 42373
134.52/135.00 c #Conflicts: 77000 | #Constraints: 43373
134.52/135.00 c #Conflicts: 78000 | #Constraints: 44373
134.52/135.00 c INPROCESSING
134.52/135.00 c GARBAGE COLLECT
134.52/135.00 c #Conflicts: 79000 | #Constraints: 39767
134.52/135.00 c #Conflicts: 80000 | #Constraints: 40767
134.52/135.00 c #Conflicts: 81000 | #Constraints: 41767
134.52/135.00 c #Conflicts: 82000 | #Constraints: 42767
134.52/135.00 c #Conflicts: 83000 | #Constraints: 43767
134.52/135.00 c #Conflicts: 84000 | #Constraints: 44767
134.52/135.00 c INPROCESSING
134.52/135.00 c GARBAGE COLLECT
134.52/135.00 c #Conflicts: 85000 | #Constraints: 39969
134.52/135.00 c #Conflicts: 86000 | #Constraints: 40969
134.52/135.01 c #Conflicts: 87000 | #Constraints: 41969
134.52/135.01 c #Conflicts: 88000 | #Constraints: 42969
134.52/135.01 c #Conflicts: 89000 | #Constraints: 43969
134.52/135.01 c #Conflicts: 90000 | #Constraints: 44969
134.52/135.01 c INPROCESSING
134.52/135.01 c GARBAGE COLLECT
134.52/135.01 c #Conflicts: 91000 | #Constraints: 39966
134.52/135.01 c #Conflicts: 92000 | #Constraints: 40966
134.52/135.01 c #Conflicts: 93000 | #Constraints: 41966
134.52/135.01 c #Conflicts: 94000 | #Constraints: 42966
134.52/135.01 c #Conflicts: 95000 | #Constraints: 43966
134.52/135.01 c #Conflicts: 96000 | #Constraints: 44966
134.52/135.01 c INPROCESSING
134.52/135.01 c GARBAGE COLLECT
134.52/135.01 c #Conflicts: 97000 | #Constraints: 39762
134.52/135.01 c #Conflicts: 98000 | #Constraints: 40762
134.52/135.01 c #Conflicts: 99000 | #Constraints: 41762
134.52/135.01 c #Conflicts: 100000 | #Constraints: 42762
134.52/135.01 c #Conflicts: 101000 | #Constraints: 43762
134.52/135.01 c #Conflicts: 102000 | #Constraints: 44762
134.52/135.01 c #Conflicts: 103000 | #Constraints: 45762
134.52/135.01 c INPROCESSING
134.52/135.01 c GARBAGE COLLECT
134.52/135.01 c #Conflicts: 104000 | #Constraints: 40367
134.52/135.01 c #Conflicts: 105000 | #Constraints: 41367
134.52/135.01 c #Conflicts: 106000 | #Constraints: 42367
134.52/135.01 c #Conflicts: 107000 | #Constraints: 43367
134.52/135.01 c #Conflicts: 108000 | #Constraints: 44367
134.52/135.01 c #Conflicts: 109000 | #Constraints: 45367
134.52/135.01 c #Conflicts: 110000 | #Constraints: 46367
134.52/135.01 c INPROCESSING
134.52/135.01 c GARBAGE COLLECT
134.52/135.01 c #Conflicts: 111000 | #Constraints: 40761
134.52/135.01 c #Conflicts: 112000 | #Constraints: 41761
134.52/135.01 c #Conflicts: 113000 | #Constraints: 42761
134.52/135.01 c #Conflicts: 114000 | #Constraints: 43761
134.52/135.01 c #Conflicts: 115000 | #Constraints: 44761
134.52/135.01 c #Conflicts: 116000 | #Constraints: 45761
134.52/135.01 c #Conflicts: 117000 | #Constraints: 46761
134.52/135.01 c INPROCESSING
134.52/135.01 c GARBAGE COLLECT
134.52/135.01 c #Conflicts: 118000 | #Constraints: 40961
134.52/135.01 c #Conflicts: 119000 | #Constraints: 41961
134.52/135.01 c #Conflicts: 120000 | #Constraints: 42961
134.52/135.01 c #Conflicts: 121000 | #Constraints: 43961
134.52/135.01 c #Conflicts: 122000 | #Constraints: 44961
134.52/135.01 c #Conflicts: 123000 | #Constraints: 45961
134.52/135.01 c #Conflicts: 124000 | #Constraints: 46961
134.52/135.01 c INPROCESSING
134.52/135.01 c GARBAGE COLLECT
134.52/135.01 c #Conflicts: 125000 | #Constraints: 40977
134.52/135.01 c #Conflicts: 126000 | #Constraints: 41977
134.52/135.01 c #Conflicts: 127000 | #Constraints: 42977
134.52/135.01 c #Conflicts: 128000 | #Constraints: 43977
134.52/135.01 c #Conflicts: 129000 | #Constraints: 44977
134.52/135.01 c #Conflicts: 130000 | #Constraints: 45977
134.52/135.01 c #Conflicts: 131000 | #Constraints: 46977
134.52/135.01 c INPROCESSING
134.52/135.01 c GARBAGE COLLECT
134.52/135.01 c #Conflicts: 132000 | #Constraints: 40764
134.52/135.01 c #Conflicts: 133000 | #Constraints: 41764
134.52/135.01 c #Conflicts: 134000 | #Constraints: 42764
134.52/135.01 c #Conflicts: 135000 | #Constraints: 43764
134.52/135.01 c #Conflicts: 136000 | #Constraints: 44764
134.52/135.01 c #Conflicts: 137000 | #Constraints: 45764
134.52/135.01 c #Conflicts: 138000 | #Constraints: 46764
134.52/135.01 c #Conflicts: 139000 | #Constraints: 47764
134.52/135.01 c INPROCESSING
134.52/135.01 c GARBAGE COLLECT
134.52/135.01 c #Conflicts: 140000 | #Constraints: 41359
238.84/239.59 c #Conflicts: 141000 | #Constraints: 42359
238.84/239.59 c #Conflicts: 142000 | #Constraints: 43359
238.84/239.59 c #Conflicts: 143000 | #Constraints: 44359
238.84/239.59 c #Conflicts: 144000 | #Constraints: 45359
238.84/239.59 c #Conflicts: 145000 | #Constraints: 46359
238.84/239.59 c #Conflicts: 146000 | #Constraints: 47359
238.84/239.59 c #Conflicts: 147000 | #Constraints: 48359
238.84/239.59 c INPROCESSING
238.84/239.59 c GARBAGE COLLECT
238.84/239.59 c #Conflicts: 148000 | #Constraints: 41785
238.84/239.59 c #Conflicts: 149000 | #Constraints: 42785
238.84/239.59 c #Conflicts: 150000 | #Constraints: 43785
238.84/239.59 c #Conflicts: 151000 | #Constraints: 44785
238.84/239.59 c #Conflicts: 152000 | #Constraints: 45785
238.84/239.59 c #Conflicts: 153000 | #Constraints: 46785
238.84/239.59 c #Conflicts: 154000 | #Constraints: 47785
238.84/239.59 c #Conflicts: 155000 | #Constraints: 48785
238.84/239.59 c INPROCESSING
238.84/239.59 c GARBAGE COLLECT
238.84/239.59 c #Conflicts: 156000 | #Constraints: 41980
238.84/239.59 c #Conflicts: 157000 | #Constraints: 42980
238.84/239.59 c #Conflicts: 158000 | #Constraints: 43980
238.84/239.59 c #Conflicts: 159000 | #Constraints: 44980
238.84/239.59 c #Conflicts: 160000 | #Constraints: 45980
238.84/239.59 c #Conflicts: 161000 | #Constraints: 46980
238.84/239.59 c #Conflicts: 162000 | #Constraints: 47980
238.84/239.59 c #Conflicts: 163000 | #Constraints: 48980
238.84/239.59 c INPROCESSING
238.84/239.59 c GARBAGE COLLECT
238.84/239.59 c #Conflicts: 164000 | #Constraints: 41967
238.84/239.59 c #Conflicts: 165000 | #Constraints: 42967
238.84/239.59 c #Conflicts: 166000 | #Constraints: 43967
238.84/239.59 c #Conflicts: 167000 | #Constraints: 44967
238.84/239.59 c #Conflicts: 168000 | #Constraints: 45967
238.84/239.59 c #Conflicts: 169000 | #Constraints: 46967
238.84/239.59 c #Conflicts: 170000 | #Constraints: 47967
238.84/239.59 c #Conflicts: 171000 | #Constraints: 48967
238.84/239.59 c INPROCESSING
238.84/239.59 c GARBAGE COLLECT
238.84/239.59 c #Conflicts: 172000 | #Constraints: 41770
238.84/239.59 c #Conflicts: 173000 | #Constraints: 42770
238.84/239.59 c #Conflicts: 174000 | #Constraints: 43770
238.84/239.59 c #Conflicts: 175000 | #Constraints: 44770
238.84/239.59 c #Conflicts: 176000 | #Constraints: 45770
238.84/239.59 c #Conflicts: 177000 | #Constraints: 46770
238.84/239.59 c #Conflicts: 178000 | #Constraints: 47770
238.84/239.59 c #Conflicts: 179000 | #Constraints: 48770
238.84/239.59 c #Conflicts: 180000 | #Constraints: 49770
238.84/239.59 c INPROCESSING
238.84/239.59 c GARBAGE COLLECT
238.84/239.59 c #Conflicts: 181000 | #Constraints: 42365
238.84/239.59 c #Conflicts: 182000 | #Constraints: 43365
238.84/239.59 c #Conflicts: 183000 | #Constraints: 44365
238.84/239.59 c #Conflicts: 184000 | #Constraints: 45365
238.84/239.59 c #Conflicts: 185000 | #Constraints: 46365
238.84/239.59 c #Conflicts: 186000 | #Constraints: 47365
238.84/239.59 c #Conflicts: 187000 | #Constraints: 48365
238.84/239.59 c #Conflicts: 188000 | #Constraints: 49365
238.84/239.59 c #Conflicts: 189000 | #Constraints: 50365
238.84/239.59 c INPROCESSING
238.84/239.59 c GARBAGE COLLECT
238.84/239.59 c #Conflicts: 190000 | #Constraints: 42776
238.84/239.59 c #Conflicts: 191000 | #Constraints: 43776
238.84/239.59 c #Conflicts: 192000 | #Constraints: 44776
238.84/239.59 c #Conflicts: 193000 | #Constraints: 45776
238.84/239.59 c #Conflicts: 194000 | #Constraints: 46776
238.84/239.59 c #Conflicts: 195000 | #Constraints: 47776
238.84/239.59 c #Conflicts: 196000 | #Constraints: 48776
238.84/239.59 c #Conflicts: 197000 | #Constraints: 49776
238.84/239.59 c #Conflicts: 198000 | #Constraints: 50776
238.84/239.59 c INPROCESSING
238.84/239.59 c GARBAGE COLLECT
238.84/239.59 c #Conflicts: 199000 | #Constraints: 42973
238.84/239.59 c #Conflicts: 200000 | #Constraints: 43973
238.84/239.59 c #Conflicts: 201000 | #Constraints: 44973
238.84/239.59 c #Conflicts: 202000 | #Constraints: 45973
238.84/239.59 c #Conflicts: 203000 | #Constraints: 46973
238.84/239.59 c #Conflicts: 204000 | #Constraints: 47973
238.84/239.59 c #Conflicts: 205000 | #Constraints: 48973
238.84/239.59 c #Conflicts: 206000 | #Constraints: 49973
238.84/239.59 c #Conflicts: 207000 | #Constraints: 50973
238.84/239.59 c INPROCESSING
238.84/239.59 c GARBAGE COLLECT
238.84/239.59 c #Conflicts: 208000 | #Constraints: 42974
238.84/239.59 c #Conflicts: 209000 | #Constraints: 43974
238.84/239.59 c #Conflicts: 210000 | #Constraints: 44974
238.84/239.59 c #Conflicts: 211000 | #Constraints: 45974
238.84/239.59 c #Conflicts: 212000 | #Constraints: 46974
238.84/239.59 c #Conflicts: 213000 | #Constraints: 47974
378.56/379.66 c #Conflicts: 214000 | #Constraints: 48974
378.56/379.66 c #Conflicts: 215000 | #Constraints: 49974
378.56/379.66 c #Conflicts: 216000 | #Constraints: 50974
378.56/379.66 c INPROCESSING
378.56/379.66 c GARBAGE COLLECT
378.56/379.66 c #Conflicts: 217000 | #Constraints: 42778
378.56/379.66 c #Conflicts: 218000 | #Constraints: 43778
378.56/379.66 c #Conflicts: 219000 | #Constraints: 44778
378.56/379.66 c #Conflicts: 220000 | #Constraints: 45778
378.56/379.66 c #Conflicts: 221000 | #Constraints: 46778
378.56/379.66 c #Conflicts: 222000 | #Constraints: 47778
378.56/379.66 c #Conflicts: 223000 | #Constraints: 48778
378.56/379.66 c #Conflicts: 224000 | #Constraints: 49778
378.56/379.66 c #Conflicts: 225000 | #Constraints: 50778
378.56/379.66 c #Conflicts: 226000 | #Constraints: 51778
378.56/379.66 c INPROCESSING
378.56/379.66 c GARBAGE COLLECT
378.56/379.66 c #Conflicts: 227000 | #Constraints: 43383
378.56/379.66 c #Conflicts: 228000 | #Constraints: 44383
378.56/379.66 c #Conflicts: 229000 | #Constraints: 45383
378.56/379.66 c #Conflicts: 230000 | #Constraints: 46383
378.56/379.66 c #Conflicts: 231000 | #Constraints: 47383
378.56/379.66 c #Conflicts: 232000 | #Constraints: 48383
378.56/379.66 c #Conflicts: 233000 | #Constraints: 49383
378.56/379.66 c #Conflicts: 234000 | #Constraints: 50383
378.56/379.66 c #Conflicts: 235000 | #Constraints: 51383
378.56/379.66 c #Conflicts: 236000 | #Constraints: 52383
378.56/379.66 c INPROCESSING
378.56/379.66 c GARBAGE COLLECT
378.56/379.66 c #Conflicts: 237000 | #Constraints: 43784
378.56/379.66 c #Conflicts: 238000 | #Constraints: 44784
378.56/379.66 c #Conflicts: 239000 | #Constraints: 45784
378.56/379.66 c #Conflicts: 240000 | #Constraints: 46784
378.56/379.66 c #Conflicts: 241000 | #Constraints: 47784
378.56/379.66 c #Conflicts: 242000 | #Constraints: 48784
378.56/379.66 c #Conflicts: 243000 | #Constraints: 49784
378.56/379.66 c #Conflicts: 244000 | #Constraints: 50784
378.56/379.66 c #Conflicts: 245000 | #Constraints: 51784
378.56/379.66 c #Conflicts: 246000 | #Constraints: 52784
378.56/379.66 c INPROCESSING
378.56/379.66 c GARBAGE COLLECT
378.56/379.66 c #Conflicts: 247000 | #Constraints: 43978
378.56/379.66 c #Conflicts: 248000 | #Constraints: 44978
378.56/379.66 c #Conflicts: 249000 | #Constraints: 45978
378.56/379.66 c #Conflicts: 250000 | #Constraints: 46978
378.56/379.66 c #Conflicts: 251000 | #Constraints: 47978
378.56/379.66 c #Conflicts: 252000 | #Constraints: 48978
378.56/379.66 c #Conflicts: 253000 | #Constraints: 49978
378.56/379.66 c #Conflicts: 254000 | #Constraints: 50978
378.56/379.66 c #Conflicts: 255000 | #Constraints: 51978
378.56/379.66 c #Conflicts: 256000 | #Constraints: 52978
378.56/379.66 c INPROCESSING
378.56/379.66 c GARBAGE COLLECT
378.56/379.66 c #Conflicts: 257000 | #Constraints: 43977
378.56/379.66 c #Conflicts: 258000 | #Constraints: 44977
378.56/379.66 c #Conflicts: 259000 | #Constraints: 45977
378.56/379.66 c #Conflicts: 260000 | #Constraints: 46977
378.56/379.66 c #Conflicts: 261000 | #Constraints: 47977
378.56/379.66 c #Conflicts: 262000 | #Constraints: 48977
378.56/379.66 c #Conflicts: 263000 | #Constraints: 49977
378.56/379.66 c #Conflicts: 264000 | #Constraints: 50977
378.56/379.66 c #Conflicts: 265000 | #Constraints: 51977
378.56/379.66 c #Conflicts: 266000 | #Constraints: 52977
378.56/379.66 c INPROCESSING
378.56/379.66 c GARBAGE COLLECT
378.56/379.66 c #Conflicts: 267000 | #Constraints: 43774
378.56/379.66 c #Conflicts: 268000 | #Constraints: 44774
378.56/379.66 c #Conflicts: 269000 | #Constraints: 45774
378.56/379.66 c #Conflicts: 270000 | #Constraints: 46774
378.56/379.66 c #Conflicts: 271000 | #Constraints: 47774
378.56/379.66 c #Conflicts: 272000 | #Constraints: 48774
378.56/379.66 c #Conflicts: 273000 | #Constraints: 49774
378.56/379.66 c #Conflicts: 274000 | #Constraints: 50774
378.56/379.66 c #Conflicts: 275000 | #Constraints: 51774
378.56/379.66 c #Conflicts: 276000 | #Constraints: 52774
378.56/379.66 c #Conflicts: 277000 | #Constraints: 53774
378.56/379.66 c INPROCESSING
378.56/379.66 c GARBAGE COLLECT
378.56/379.66 c #Conflicts: 278000 | #Constraints: 44375
378.56/379.66 c #Conflicts: 279000 | #Constraints: 45375
378.56/379.66 c #Conflicts: 280000 | #Constraints: 46375
378.56/379.66 c #Conflicts: 281000 | #Constraints: 47375
378.56/379.66 c #Conflicts: 282000 | #Constraints: 48375
378.56/379.66 c #Conflicts: 283000 | #Constraints: 49375
378.56/379.66 c #Conflicts: 284000 | #Constraints: 50375
378.56/379.66 c #Conflicts: 285000 | #Constraints: 51375
378.56/379.66 c #Conflicts: 286000 | #Constraints: 52375
378.56/379.66 c #Conflicts: 287000 | #Constraints: 53375
378.56/379.66 c #Conflicts: 288000 | #Constraints: 54375
534.05/535.58 c INPROCESSING
534.05/535.58 c GARBAGE COLLECT
534.05/535.58 c #Conflicts: 289000 | #Constraints: 44783
534.05/535.58 c #Conflicts: 290000 | #Constraints: 45783
534.05/535.58 c #Conflicts: 291000 | #Constraints: 46783
534.05/535.58 c #Conflicts: 292000 | #Constraints: 47783
534.05/535.58 c #Conflicts: 293000 | #Constraints: 48783
534.05/535.58 c #Conflicts: 294000 | #Constraints: 49783
534.05/535.58 c #Conflicts: 295000 | #Constraints: 50783
534.05/535.58 c #Conflicts: 296000 | #Constraints: 51783
534.05/535.58 c #Conflicts: 297000 | #Constraints: 52783
534.05/535.58 c #Conflicts: 298000 | #Constraints: 53783
534.05/535.58 c #Conflicts: 299000 | #Constraints: 54783
534.05/535.58 c INPROCESSING
534.05/535.58 c GARBAGE COLLECT
534.05/535.58 c #Conflicts: 300000 | #Constraints: 44979
534.05/535.58 c #Conflicts: 301000 | #Constraints: 45979
534.05/535.58 c #Conflicts: 302000 | #Constraints: 46979
534.05/535.58 c #Conflicts: 303000 | #Constraints: 47979
534.05/535.58 c #Conflicts: 304000 | #Constraints: 48979
534.05/535.58 c #Conflicts: 305000 | #Constraints: 49979
534.05/535.58 c #Conflicts: 306000 | #Constraints: 50979
534.05/535.58 c #Conflicts: 307000 | #Constraints: 51979
534.05/535.58 c #Conflicts: 308000 | #Constraints: 52979
534.05/535.58 c #Conflicts: 309000 | #Constraints: 53979
534.05/535.58 c #Conflicts: 310000 | #Constraints: 54979
534.05/535.58 c INPROCESSING
534.05/535.58 c GARBAGE COLLECT
534.05/535.58 c #Conflicts: 311000 | #Constraints: 44974
534.05/535.58 c #Conflicts: 312000 | #Constraints: 45974
534.05/535.58 c #Conflicts: 313000 | #Constraints: 46974
534.05/535.58 c #Conflicts: 314000 | #Constraints: 47974
534.05/535.58 c #Conflicts: 315000 | #Constraints: 48974
534.05/535.58 c #Conflicts: 316000 | #Constraints: 49974
534.05/535.58 c #Conflicts: 317000 | #Constraints: 50974
534.05/535.58 c #Conflicts: 318000 | #Constraints: 51974
534.05/535.58 c #Conflicts: 319000 | #Constraints: 52974
534.05/535.58 c #Conflicts: 320000 | #Constraints: 53974
534.05/535.58 c #Conflicts: 321000 | #Constraints: 54974
534.05/535.58 c INPROCESSING
534.05/535.58 c GARBAGE COLLECT
534.05/535.58 c #Conflicts: 322000 | #Constraints: 44775
534.05/535.58 c #Conflicts: 323000 | #Constraints: 45775
534.05/535.58 c #Conflicts: 324000 | #Constraints: 46775
534.05/535.58 c #Conflicts: 325000 | #Constraints: 47775
534.05/535.58 c #Conflicts: 326000 | #Constraints: 48775
534.05/535.58 c #Conflicts: 327000 | #Constraints: 49775
534.05/535.58 c #Conflicts: 328000 | #Constraints: 50775
534.05/535.58 c #Conflicts: 329000 | #Constraints: 51775
534.05/535.58 c #Conflicts: 330000 | #Constraints: 52775
534.05/535.58 c #Conflicts: 331000 | #Constraints: 53775
534.05/535.58 c #Conflicts: 332000 | #Constraints: 54775
534.05/535.58 c #Conflicts: 333000 | #Constraints: 55775
534.05/535.58 c INPROCESSING
534.05/535.58 c GARBAGE COLLECT
534.05/535.58 c #Conflicts: 334000 | #Constraints: 45377
534.05/535.58 c #Conflicts: 335000 | #Constraints: 46377
534.05/535.58 c #Conflicts: 336000 | #Constraints: 47377
534.05/535.58 c #Conflicts: 337000 | #Constraints: 48377
534.05/535.58 c #Conflicts: 338000 | #Constraints: 49377
534.05/535.58 c #Conflicts: 339000 | #Constraints: 50377
534.05/535.58 c #Conflicts: 340000 | #Constraints: 51377
534.05/535.58 c #Conflicts: 341000 | #Constraints: 52377
534.05/535.58 c #Conflicts: 342000 | #Constraints: 53377
534.05/535.58 c #Conflicts: 343000 | #Constraints: 54377
534.05/535.58 c #Conflicts: 344000 | #Constraints: 55377
534.05/535.58 c #Conflicts: 345000 | #Constraints: 56377
534.05/535.58 c INPROCESSING
534.05/535.58 c GARBAGE COLLECT
534.05/535.58 c #Conflicts: 346000 | #Constraints: 45780
534.05/535.58 c #Conflicts: 347000 | #Constraints: 46780
534.05/535.58 c #Conflicts: 348000 | #Constraints: 47780
534.05/535.58 c #Conflicts: 349000 | #Constraints: 48780
534.05/535.58 c #Conflicts: 350000 | #Constraints: 49780
534.05/535.58 c #Conflicts: 351000 | #Constraints: 50780
534.05/535.58 c #Conflicts: 352000 | #Constraints: 51780
534.05/535.58 c #Conflicts: 353000 | #Constraints: 52780
534.05/535.58 c #Conflicts: 354000 | #Constraints: 53780
534.05/535.58 c #Conflicts: 355000 | #Constraints: 54780
534.05/535.58 c #Conflicts: 356000 | #Constraints: 55780
534.05/535.58 c #Conflicts: 357000 | #Constraints: 56780
534.05/535.58 c INPROCESSING
534.05/535.58 c GARBAGE COLLECT
534.05/535.58 c #Conflicts: 358000 | #Constraints: 45978
534.05/535.58 c #Conflicts: 359000 | #Constraints: 46978
534.05/535.58 c #Conflicts: 360000 | #Constraints: 47978
534.05/535.58 c #Conflicts: 361000 | #Constraints: 48978
534.05/535.58 c #Conflicts: 362000 | #Constraints: 49978
712.09/714.07 c #Conflicts: 363000 | #Constraints: 50978
712.09/714.07 c #Conflicts: 364000 | #Constraints: 51978
712.09/714.07 c #Conflicts: 365000 | #Constraints: 52978
712.09/714.07 c #Conflicts: 366000 | #Constraints: 53978
712.09/714.07 c #Conflicts: 367000 | #Constraints: 54978
712.09/714.07 c #Conflicts: 368000 | #Constraints: 55978
712.09/714.07 c #Conflicts: 369000 | #Constraints: 56978
712.09/714.07 c INPROCESSING
712.09/714.07 c GARBAGE COLLECT
712.09/714.07 c #Conflicts: 370000 | #Constraints: 45993
712.09/714.07 c #Conflicts: 371000 | #Constraints: 46993
712.09/714.07 c #Conflicts: 372000 | #Constraints: 47993
712.09/714.07 c #Conflicts: 373000 | #Constraints: 48993
712.09/714.07 c #Conflicts: 374000 | #Constraints: 49993
712.09/714.07 c #Conflicts: 375000 | #Constraints: 50993
712.09/714.07 c #Conflicts: 376000 | #Constraints: 51993
712.09/714.07 c #Conflicts: 377000 | #Constraints: 52993
712.09/714.07 c #Conflicts: 378000 | #Constraints: 53993
712.09/714.07 c #Conflicts: 379000 | #Constraints: 54993
712.09/714.07 c #Conflicts: 380000 | #Constraints: 55993
712.09/714.07 c #Conflicts: 381000 | #Constraints: 56993
712.09/714.07 c INPROCESSING
712.09/714.07 c GARBAGE COLLECT
712.09/714.07 c #Conflicts: 382000 | #Constraints: 45774
712.09/714.07 c #Conflicts: 383000 | #Constraints: 46774
712.09/714.07 c #Conflicts: 384000 | #Constraints: 47774
712.09/714.07 c #Conflicts: 385000 | #Constraints: 48774
712.09/714.07 c #Conflicts: 386000 | #Constraints: 49774
712.09/714.07 c #Conflicts: 387000 | #Constraints: 50774
712.09/714.07 c #Conflicts: 388000 | #Constraints: 51774
712.09/714.07 c #Conflicts: 389000 | #Constraints: 52774
712.09/714.07 c #Conflicts: 390000 | #Constraints: 53774
712.09/714.07 c #Conflicts: 391000 | #Constraints: 54774
712.09/714.07 c #Conflicts: 392000 | #Constraints: 55774
712.09/714.07 c #Conflicts: 393000 | #Constraints: 56774
712.09/714.07 c #Conflicts: 394000 | #Constraints: 57774
712.09/714.07 c INPROCESSING
712.09/714.07 c GARBAGE COLLECT
712.09/714.07 c #Conflicts: 395000 | #Constraints: 46370
712.09/714.07 c #Conflicts: 396000 | #Constraints: 47370
712.09/714.07 c #Conflicts: 397000 | #Constraints: 48370
712.09/714.07 c #Conflicts: 398000 | #Constraints: 49370
712.09/714.07 c #Conflicts: 399000 | #Constraints: 50370
712.09/714.07 c #Conflicts: 400000 | #Constraints: 51370
712.09/714.07 c #Conflicts: 401000 | #Constraints: 52370
712.09/714.07 c #Conflicts: 402000 | #Constraints: 53370
712.09/714.07 c #Conflicts: 403000 | #Constraints: 54370
712.09/714.07 c #Conflicts: 404000 | #Constraints: 55370
712.09/714.07 c #Conflicts: 405000 | #Constraints: 56370
712.09/714.07 c #Conflicts: 406000 | #Constraints: 57370
712.09/714.07 c #Conflicts: 407000 | #Constraints: 58370
712.09/714.07 c INPROCESSING
712.09/714.07 c GARBAGE COLLECT
712.09/714.07 c #Conflicts: 408000 | #Constraints: 46770
712.09/714.07 c #Conflicts: 409000 | #Constraints: 47770
712.09/714.07 c #Conflicts: 410000 | #Constraints: 48770
712.09/714.07 c #Conflicts: 411000 | #Constraints: 49770
712.09/714.07 c #Conflicts: 412000 | #Constraints: 50770
712.09/714.07 c #Conflicts: 413000 | #Constraints: 51770
712.09/714.07 c #Conflicts: 414000 | #Constraints: 52770
712.09/714.07 c #Conflicts: 415000 | #Constraints: 53770
712.09/714.07 c #Conflicts: 416000 | #Constraints: 54770
712.09/714.07 c #Conflicts: 417000 | #Constraints: 55770
712.09/714.07 c #Conflicts: 418000 | #Constraints: 56770
712.09/714.07 c #Conflicts: 419000 | #Constraints: 57770
712.09/714.07 c #Conflicts: 420000 | #Constraints: 58770
712.09/714.07 c INPROCESSING
712.09/714.07 c GARBAGE COLLECT
712.09/714.07 c #Conflicts: 421000 | #Constraints: 46964
712.09/714.07 c #Conflicts: 422000 | #Constraints: 47964
712.09/714.07 c #Conflicts: 423000 | #Constraints: 48964
712.09/714.07 c #Conflicts: 424000 | #Constraints: 49964
712.09/714.07 c #Conflicts: 425000 | #Constraints: 50964
712.09/714.07 c #Conflicts: 426000 | #Constraints: 51964
712.09/714.07 c #Conflicts: 427000 | #Constraints: 52964
712.09/714.07 c #Conflicts: 428000 | #Constraints: 53964
712.09/714.07 c #Conflicts: 429000 | #Constraints: 54964
712.09/714.07 c #Conflicts: 430000 | #Constraints: 55964
712.09/714.07 c #Conflicts: 431000 | #Constraints: 56964
712.09/714.07 c #Conflicts: 432000 | #Constraints: 57964
712.09/714.07 c #Conflicts: 433000 | #Constraints: 58964
712.09/714.07 c INPROCESSING
712.09/714.07 c GARBAGE COLLECT
712.09/714.07 c #Conflicts: 434000 | #Constraints: 46973
712.09/714.07 c #Conflicts: 435000 | #Constraints: 47973
712.09/714.07 c #Conflicts: 436000 | #Constraints: 48973
712.09/714.07 c #Conflicts: 437000 | #Constraints: 49973
901.27/903.78 c #Conflicts: 438000 | #Constraints: 50973
901.27/903.78 c #Conflicts: 439000 | #Constraints: 51973
901.27/903.78 c #Conflicts: 440000 | #Constraints: 52973
901.27/903.78 c #Conflicts: 441000 | #Constraints: 53973
901.27/903.78 c #Conflicts: 442000 | #Constraints: 54973
901.27/903.78 c #Conflicts: 443000 | #Constraints: 55973
901.27/903.78 c #Conflicts: 444000 | #Constraints: 56973
901.27/903.78 c #Conflicts: 445000 | #Constraints: 57973
901.27/903.78 c #Conflicts: 446000 | #Constraints: 58973
901.27/903.78 c INPROCESSING
901.27/903.78 c GARBAGE COLLECT
901.27/903.78 c #Conflicts: 447000 | #Constraints: 46781
901.27/903.78 c #Conflicts: 448000 | #Constraints: 47781
901.27/903.78 c #Conflicts: 449000 | #Constraints: 48781
901.27/903.78 c #Conflicts: 450000 | #Constraints: 49781
901.27/903.78 c #Conflicts: 451000 | #Constraints: 50781
901.27/903.78 c #Conflicts: 452000 | #Constraints: 51781
901.27/903.78 c #Conflicts: 453000 | #Constraints: 52781
901.27/903.78 c #Conflicts: 454000 | #Constraints: 53781
901.27/903.78 c #Conflicts: 455000 | #Constraints: 54781
901.27/903.78 c #Conflicts: 456000 | #Constraints: 55781
901.27/903.78 c #Conflicts: 457000 | #Constraints: 56781
901.27/903.78 c #Conflicts: 458000 | #Constraints: 57781
901.27/903.78 c #Conflicts: 459000 | #Constraints: 58781
901.27/903.78 c #Conflicts: 460000 | #Constraints: 59781
901.27/903.78 c INPROCESSING
901.27/903.78 c GARBAGE COLLECT
901.27/903.78 c #Conflicts: 461000 | #Constraints: 47384
901.27/903.78 c #Conflicts: 462000 | #Constraints: 48384
901.27/903.78 c #Conflicts: 463000 | #Constraints: 49384
901.27/903.78 c #Conflicts: 464000 | #Constraints: 50384
901.27/903.78 c #Conflicts: 465000 | #Constraints: 51384
901.27/903.78 c #Conflicts: 466000 | #Constraints: 52384
901.27/903.78 c #Conflicts: 467000 | #Constraints: 53384
901.27/903.78 c #Conflicts: 468000 | #Constraints: 54384
901.27/903.78 c #Conflicts: 469000 | #Constraints: 55384
901.27/903.78 c #Conflicts: 470000 | #Constraints: 56384
901.27/903.78 c #Conflicts: 471000 | #Constraints: 57384
901.27/903.78 c #Conflicts: 472000 | #Constraints: 58384
901.27/903.78 c #Conflicts: 473000 | #Constraints: 59384
901.27/903.78 c #Conflicts: 474000 | #Constraints: 60384
901.27/903.78 c INPROCESSING
901.27/903.78 c GARBAGE COLLECT
901.27/903.78 c #Conflicts: 475000 | #Constraints: 47784
901.27/903.78 c #Conflicts: 476000 | #Constraints: 48784
901.27/903.78 c #Conflicts: 477000 | #Constraints: 49784
901.27/903.78 c #Conflicts: 478000 | #Constraints: 50784
901.27/903.78 c #Conflicts: 479000 | #Constraints: 51784
901.27/903.78 c #Conflicts: 480000 | #Constraints: 52784
901.27/903.78 c #Conflicts: 481000 | #Constraints: 53784
901.27/903.78 c #Conflicts: 482000 | #Constraints: 54784
901.27/903.78 c #Conflicts: 483000 | #Constraints: 55784
901.27/903.78 c #Conflicts: 484000 | #Constraints: 56784
901.27/903.78 c #Conflicts: 485000 | #Constraints: 57784
901.27/903.78 c #Conflicts: 486000 | #Constraints: 58784
901.27/903.78 c #Conflicts: 487000 | #Constraints: 59784
901.27/903.78 c #Conflicts: 488000 | #Constraints: 60784
901.27/903.78 c INPROCESSING
901.27/903.78 c GARBAGE COLLECT
901.27/903.78 c #Conflicts: 489000 | #Constraints: 47982
901.27/903.78 c #Conflicts: 490000 | #Constraints: 48982
901.27/903.78 c #Conflicts: 491000 | #Constraints: 49982
901.27/903.78 c #Conflicts: 492000 | #Constraints: 50982
901.27/903.78 c #Conflicts: 493000 | #Constraints: 51982
901.27/903.78 c #Conflicts: 494000 | #Constraints: 52982
901.27/903.78 c #Conflicts: 495000 | #Constraints: 53982
901.27/903.78 c #Conflicts: 496000 | #Constraints: 54982
901.27/903.78 c #Conflicts: 497000 | #Constraints: 55982
901.27/903.78 c #Conflicts: 498000 | #Constraints: 56982
901.27/903.78 c #Conflicts: 499000 | #Constraints: 57982
901.27/903.78 c #Conflicts: 500000 | #Constraints: 58982
901.27/903.78 c #Conflicts: 501000 | #Constraints: 59982
901.27/903.78 c #Conflicts: 502000 | #Constraints: 60982
901.27/903.78 c INPROCESSING
901.27/903.78 c GARBAGE COLLECT
901.27/903.78 c #Conflicts: 503000 | #Constraints: 47978
901.27/903.78 c #Conflicts: 504000 | #Constraints: 48978
901.27/903.78 c #Conflicts: 505000 | #Constraints: 49978
901.27/903.78 c #Conflicts: 506000 | #Constraints: 50978
901.27/903.78 c #Conflicts: 507000 | #Constraints: 51978
901.27/903.78 c #Conflicts: 508000 | #Constraints: 52978
901.27/903.78 c #Conflicts: 509000 | #Constraints: 53978
901.27/903.78 c #Conflicts: 510000 | #Constraints: 54978
901.27/903.78 c #Conflicts: 511000 | #Constraints: 55978
901.27/903.78 c #Conflicts: 512000 | #Constraints: 56978
901.27/903.78 c #Conflicts: 513000 | #Constraints: 57978
1111.58/1114.63 c #Conflicts: 514000 | #Constraints: 58978
1111.58/1114.63 c #Conflicts: 515000 | #Constraints: 59978
1111.58/1114.63 c #Conflicts: 516000 | #Constraints: 60978
1111.58/1114.63 c INPROCESSING
1111.58/1114.63 c GARBAGE COLLECT
1111.58/1114.63 c #Conflicts: 517000 | #Constraints: 47781
1111.58/1114.63 c #Conflicts: 518000 | #Constraints: 48781
1111.58/1114.63 c #Conflicts: 519000 | #Constraints: 49781
1111.58/1114.63 c #Conflicts: 520000 | #Constraints: 50781
1111.58/1114.63 c #Conflicts: 521000 | #Constraints: 51781
1111.58/1114.63 c #Conflicts: 522000 | #Constraints: 52781
1111.58/1114.63 c #Conflicts: 523000 | #Constraints: 53781
1111.58/1114.63 c #Conflicts: 524000 | #Constraints: 54781
1111.58/1114.63 c #Conflicts: 525000 | #Constraints: 55781
1111.58/1114.63 c #Conflicts: 526000 | #Constraints: 56781
1111.58/1114.63 c #Conflicts: 527000 | #Constraints: 57781
1111.58/1114.63 c #Conflicts: 528000 | #Constraints: 58781
1111.58/1114.63 c #Conflicts: 529000 | #Constraints: 59781
1111.58/1114.63 c #Conflicts: 530000 | #Constraints: 60781
1111.58/1114.63 c #Conflicts: 531000 | #Constraints: 61781
1111.58/1114.63 c INPROCESSING
1111.58/1114.63 c GARBAGE COLLECT
1111.58/1114.63 c #Conflicts: 532000 | #Constraints: 48406
1111.58/1114.63 c #Conflicts: 533000 | #Constraints: 49406
1111.58/1114.63 c #Conflicts: 534000 | #Constraints: 50406
1111.58/1114.63 c #Conflicts: 535000 | #Constraints: 51406
1111.58/1114.63 c #Conflicts: 536000 | #Constraints: 52406
1111.58/1114.63 c #Conflicts: 537000 | #Constraints: 53406
1111.58/1114.63 c #Conflicts: 538000 | #Constraints: 54406
1111.58/1114.63 c #Conflicts: 539000 | #Constraints: 55406
1111.58/1114.63 c #Conflicts: 540000 | #Constraints: 56406
1111.58/1114.63 c #Conflicts: 541000 | #Constraints: 57406
1111.58/1114.63 c #Conflicts: 542000 | #Constraints: 58406
1111.58/1114.63 c #Conflicts: 543000 | #Constraints: 59406
1111.58/1114.63 c #Conflicts: 544000 | #Constraints: 60406
1111.58/1114.63 c #Conflicts: 545000 | #Constraints: 61406
1111.58/1114.63 c #Conflicts: 546000 | #Constraints: 62406
1111.58/1114.63 c INPROCESSING
1111.58/1114.63 c GARBAGE COLLECT
1111.58/1114.63 c #Conflicts: 547000 | #Constraints: 48814
1111.58/1114.63 c #Conflicts: 548000 | #Constraints: 49814
1111.58/1114.63 c #Conflicts: 549000 | #Constraints: 50814
1111.58/1114.63 c #Conflicts: 550000 | #Constraints: 51814
1111.58/1114.63 c #Conflicts: 551000 | #Constraints: 52814
1111.58/1114.63 c #Conflicts: 552000 | #Constraints: 53814
1111.58/1114.63 c #Conflicts: 553000 | #Constraints: 54814
1111.58/1114.63 c #Conflicts: 554000 | #Constraints: 55814
1111.58/1114.63 c #Conflicts: 555000 | #Constraints: 56814
1111.58/1114.63 c #Conflicts: 556000 | #Constraints: 57814
1111.58/1114.63 c #Conflicts: 557000 | #Constraints: 58814
1111.58/1114.63 c #Conflicts: 558000 | #Constraints: 59814
1111.58/1114.63 c #Conflicts: 559000 | #Constraints: 60814
1111.58/1114.63 c #Conflicts: 560000 | #Constraints: 61814
1111.58/1114.63 c #Conflicts: 561000 | #Constraints: 62814
1111.58/1114.63 c INPROCESSING
1111.58/1114.63 c GARBAGE COLLECT
1111.58/1114.63 c #Conflicts: 562000 | #Constraints: 48997
1111.58/1114.63 c #Conflicts: 563000 | #Constraints: 49997
1111.58/1114.63 c #Conflicts: 564000 | #Constraints: 50997
1111.58/1114.63 c #Conflicts: 565000 | #Constraints: 51997
1111.58/1114.63 c #Conflicts: 566000 | #Constraints: 52997
1111.58/1114.63 c #Conflicts: 567000 | #Constraints: 53997
1111.58/1114.63 c #Conflicts: 568000 | #Constraints: 54997
1111.58/1114.63 c #Conflicts: 569000 | #Constraints: 55997
1111.58/1114.63 c #Conflicts: 570000 | #Constraints: 56997
1111.58/1114.63 c #Conflicts: 571000 | #Constraints: 57997
1111.58/1114.63 c #Conflicts: 572000 | #Constraints: 58997
1111.58/1114.63 c #Conflicts: 573000 | #Constraints: 59997
1111.58/1114.63 c #Conflicts: 574000 | #Constraints: 60997
1111.58/1114.63 c #Conflicts: 575000 | #Constraints: 61997
1111.58/1114.63 c #Conflicts: 576000 | #Constraints: 62997
1111.58/1114.63 c INPROCESSING
1111.58/1114.63 c GARBAGE COLLECT
1111.58/1114.63 c #Conflicts: 577000 | #Constraints: 48994
1111.58/1114.63 c #Conflicts: 578000 | #Constraints: 49994
1111.58/1114.63 c #Conflicts: 579000 | #Constraints: 50994
1111.58/1114.63 c #Conflicts: 580000 | #Constraints: 51994
1111.58/1114.63 c #Conflicts: 581000 | #Constraints: 52994
1111.58/1114.63 c #Conflicts: 582000 | #Constraints: 53994
1111.58/1114.63 c #Conflicts: 583000 | #Constraints: 54994
1111.58/1114.63 c #Conflicts: 584000 | #Constraints: 55994
1111.58/1114.63 c #Conflicts: 585000 | #Constraints: 56994
1111.58/1114.63 c #Conflicts: 586000 | #Constraints: 57994
1111.58/1114.63 c #Conflicts: 587000 | #Constraints: 58994
1111.58/1114.63 c #Conflicts: 588000 | #Constraints: 59994
1348.84/1352.63 c #Conflicts: 589000 | #Constraints: 60994
1348.84/1352.63 c #Conflicts: 590000 | #Constraints: 61994
1348.84/1352.63 c #Conflicts: 591000 | #Constraints: 62994
1348.84/1352.63 c INPROCESSING
1348.84/1352.63 c GARBAGE COLLECT
1348.84/1352.63 c #Conflicts: 592000 | #Constraints: 48789
1348.84/1352.63 c #Conflicts: 593000 | #Constraints: 49789
1348.84/1352.63 c #Conflicts: 594000 | #Constraints: 50789
1348.84/1352.63 c #Conflicts: 595000 | #Constraints: 51789
1348.84/1352.63 c #Conflicts: 596000 | #Constraints: 52789
1348.84/1352.63 c #Conflicts: 597000 | #Constraints: 53789
1348.84/1352.63 c #Conflicts: 598000 | #Constraints: 54789
1348.84/1352.63 c #Conflicts: 599000 | #Constraints: 55789
1348.84/1352.63 c #Conflicts: 600000 | #Constraints: 56789
1348.84/1352.63 c #Conflicts: 601000 | #Constraints: 57789
1348.84/1352.63 c #Conflicts: 602000 | #Constraints: 58789
1348.84/1352.63 c #Conflicts: 603000 | #Constraints: 59789
1348.84/1352.63 c #Conflicts: 604000 | #Constraints: 60789
1348.84/1352.63 c #Conflicts: 605000 | #Constraints: 61789
1348.84/1352.63 c #Conflicts: 606000 | #Constraints: 62789
1348.84/1352.63 c #Conflicts: 607000 | #Constraints: 63789
1348.84/1352.63 c INPROCESSING
1348.84/1352.63 c GARBAGE COLLECT
1348.84/1352.63 c #Conflicts: 608000 | #Constraints: 49399
1348.84/1352.63 c #Conflicts: 609000 | #Constraints: 50399
1348.84/1352.63 c #Conflicts: 610000 | #Constraints: 51399
1348.84/1352.63 c #Conflicts: 611000 | #Constraints: 52399
1348.84/1352.63 c #Conflicts: 612000 | #Constraints: 53399
1348.84/1352.63 c #Conflicts: 613000 | #Constraints: 54399
1348.84/1352.63 c #Conflicts: 614000 | #Constraints: 55399
1348.84/1352.63 c #Conflicts: 615000 | #Constraints: 56399
1348.84/1352.63 c #Conflicts: 616000 | #Constraints: 57399
1348.84/1352.63 c #Conflicts: 617000 | #Constraints: 58399
1348.84/1352.63 c #Conflicts: 618000 | #Constraints: 59399
1348.84/1352.63 c #Conflicts: 619000 | #Constraints: 60399
1348.84/1352.63 c #Conflicts: 620000 | #Constraints: 61399
1348.84/1352.63 c #Conflicts: 621000 | #Constraints: 62399
1348.84/1352.63 c #Conflicts: 622000 | #Constraints: 63399
1348.84/1352.63 c #Conflicts: 623000 | #Constraints: 64399
1348.84/1352.63 c INPROCESSING
1348.84/1352.63 c GARBAGE COLLECT
1348.84/1352.63 c #Conflicts: 624000 | #Constraints: 49784
1348.84/1352.63 c #Conflicts: 625000 | #Constraints: 50784
1348.84/1352.63 c #Conflicts: 626000 | #Constraints: 51784
1348.84/1352.63 c #Conflicts: 627000 | #Constraints: 52784
1348.84/1352.63 c #Conflicts: 628000 | #Constraints: 53784
1348.84/1352.63 c #Conflicts: 629000 | #Constraints: 54784
1348.84/1352.63 c #Conflicts: 630000 | #Constraints: 55784
1348.84/1352.63 c #Conflicts: 631000 | #Constraints: 56784
1348.84/1352.63 c #Conflicts: 632000 | #Constraints: 57784
1348.84/1352.63 c #Conflicts: 633000 | #Constraints: 58784
1348.84/1352.63 c #Conflicts: 634000 | #Constraints: 59784
1348.84/1352.63 c #Conflicts: 635000 | #Constraints: 60784
1348.84/1352.63 c #Conflicts: 636000 | #Constraints: 61784
1348.84/1352.63 c #Conflicts: 637000 | #Constraints: 62784
1348.84/1352.63 c #Conflicts: 638000 | #Constraints: 63784
1348.84/1352.63 c #Conflicts: 639000 | #Constraints: 64784
1348.84/1352.63 c INPROCESSING
1348.84/1352.63 c GARBAGE COLLECT
1348.84/1352.63 c #Conflicts: 640000 | #Constraints: 49986
1348.84/1352.63 c #Conflicts: 641000 | #Constraints: 50986
1348.84/1352.63 c #Conflicts: 642000 | #Constraints: 51986
1348.84/1352.63 c #Conflicts: 643000 | #Constraints: 52986
1348.84/1352.63 c #Conflicts: 644000 | #Constraints: 53986
1348.84/1352.63 c #Conflicts: 645000 | #Constraints: 54986
1348.84/1352.63 c #Conflicts: 646000 | #Constraints: 55986
1348.84/1352.63 c #Conflicts: 647000 | #Constraints: 56986
1348.84/1352.63 c #Conflicts: 648000 | #Constraints: 57986
1348.84/1352.63 c #Conflicts: 649000 | #Constraints: 58986
1348.84/1352.63 c #Conflicts: 650000 | #Constraints: 59986
1348.84/1352.63 c #Conflicts: 651000 | #Constraints: 60986
1348.84/1352.63 c #Conflicts: 652000 | #Constraints: 61986
1348.84/1352.63 c #Conflicts: 653000 | #Constraints: 62986
1348.84/1352.63 c #Conflicts: 654000 | #Constraints: 63986
1348.84/1352.63 c #Conflicts: 655000 | #Constraints: 64986
1348.84/1352.63 c INPROCESSING
1348.84/1352.63 c GARBAGE COLLECT
1348.84/1352.63 c #Conflicts: 656000 | #Constraints: 49991
1348.84/1352.63 c #Conflicts: 657000 | #Constraints: 50991
1348.84/1352.63 c #Conflicts: 658000 | #Constraints: 51991
1348.84/1352.63 c #Conflicts: 659000 | #Constraints: 52991
1348.84/1352.63 c #Conflicts: 660000 | #Constraints: 53991
1348.84/1352.63 c #Conflicts: 661000 | #Constraints: 54991
1348.84/1352.63 c #Conflicts: 662000 | #Constraints: 55991
1348.84/1352.63 c #Conflicts: 663000 | #Constraints: 56991
1348.84/1352.63 c #Conflicts: 664000 | #Constraints: 57991
1596.36/1600.91 c #Conflicts: 665000 | #Constraints: 58991
1596.36/1600.91 c #Conflicts: 666000 | #Constraints: 59991
1596.36/1600.91 c #Conflicts: 667000 | #Constraints: 60991
1596.36/1600.91 c #Conflicts: 668000 | #Constraints: 61991
1596.36/1600.91 c #Conflicts: 669000 | #Constraints: 62991
1596.36/1600.91 c #Conflicts: 670000 | #Constraints: 63991
1596.36/1600.91 c #Conflicts: 671000 | #Constraints: 64991
1596.36/1600.91 c INPROCESSING
1596.36/1600.91 c GARBAGE COLLECT
1596.36/1600.91 c #Conflicts: 672000 | #Constraints: 49788
1596.36/1600.91 c #Conflicts: 673000 | #Constraints: 50788
1596.36/1600.91 c #Conflicts: 674000 | #Constraints: 51788
1596.36/1600.91 c #Conflicts: 675000 | #Constraints: 52788
1596.36/1600.91 c #Conflicts: 676000 | #Constraints: 53788
1596.36/1600.91 c #Conflicts: 677000 | #Constraints: 54788
1596.36/1600.91 c #Conflicts: 678000 | #Constraints: 55788
1596.36/1600.91 c #Conflicts: 679000 | #Constraints: 56788
1596.36/1600.91 c #Conflicts: 680000 | #Constraints: 57788
1596.36/1600.91 c #Conflicts: 681000 | #Constraints: 58788
1596.36/1600.91 c #Conflicts: 682000 | #Constraints: 59788
1596.36/1600.91 c #Conflicts: 683000 | #Constraints: 60788
1596.36/1600.91 c #Conflicts: 684000 | #Constraints: 61788
1596.36/1600.91 c #Conflicts: 685000 | #Constraints: 62788
1596.36/1600.91 c #Conflicts: 686000 | #Constraints: 63788
1596.36/1600.91 c #Conflicts: 687000 | #Constraints: 64788
1596.36/1600.91 c #Conflicts: 688000 | #Constraints: 65788
1596.36/1600.91 c INPROCESSING
1596.36/1600.91 c GARBAGE COLLECT
1596.36/1600.91 c #Conflicts: 689000 | #Constraints: 50386
1596.36/1600.91 c #Conflicts: 690000 | #Constraints: 51386
1596.36/1600.91 c #Conflicts: 691000 | #Constraints: 52386
1596.36/1600.91 c #Conflicts: 692000 | #Constraints: 53386
1596.36/1600.91 c #Conflicts: 693000 | #Constraints: 54386
1596.36/1600.91 c #Conflicts: 694000 | #Constraints: 55386
1596.36/1600.91 c #Conflicts: 695000 | #Constraints: 56386
1596.36/1600.91 c #Conflicts: 696000 | #Constraints: 57386
1596.36/1600.91 c #Conflicts: 697000 | #Constraints: 58386
1596.36/1600.91 c #Conflicts: 698000 | #Constraints: 59386
1596.36/1600.91 c #Conflicts: 699000 | #Constraints: 60386
1596.36/1600.91 c #Conflicts: 700000 | #Constraints: 61386
1596.36/1600.91 c #Conflicts: 701000 | #Constraints: 62386
1596.36/1600.91 c #Conflicts: 702000 | #Constraints: 63386
1596.36/1600.91 c #Conflicts: 703000 | #Constraints: 64386
1596.36/1600.91 c #Conflicts: 704000 | #Constraints: 65386
1596.36/1600.91 c #Conflicts: 705000 | #Constraints: 66386
1596.36/1600.91 c INPROCESSING
1596.36/1600.91 c GARBAGE COLLECT
1596.36/1600.91 c #Conflicts: 706000 | #Constraints: 50791
1596.36/1600.91 c #Conflicts: 707000 | #Constraints: 51791
1596.36/1600.91 c #Conflicts: 708000 | #Constraints: 52791
1596.36/1600.91 c #Conflicts: 709000 | #Constraints: 53791
1596.36/1600.91 c #Conflicts: 710000 | #Constraints: 54791
1596.36/1600.91 c #Conflicts: 711000 | #Constraints: 55791
1596.36/1600.91 c #Conflicts: 712000 | #Constraints: 56791
1596.36/1600.91 c #Conflicts: 713000 | #Constraints: 57791
1596.36/1600.91 c #Conflicts: 714000 | #Constraints: 58791
1596.36/1600.91 c #Conflicts: 715000 | #Constraints: 59791
1596.36/1600.91 c #Conflicts: 716000 | #Constraints: 60791
1596.36/1600.91 c #Conflicts: 717000 | #Constraints: 61791
1596.36/1600.91 c #Conflicts: 718000 | #Constraints: 62791
1596.36/1600.91 c #Conflicts: 719000 | #Constraints: 63791
1596.36/1600.91 c #Conflicts: 720000 | #Constraints: 64791
1596.36/1600.91 c #Conflicts: 721000 | #Constraints: 65791
1596.36/1600.91 c #Conflicts: 722000 | #Constraints: 66791
1596.36/1600.91 c INPROCESSING
1596.36/1600.91 c GARBAGE COLLECT
1596.36/1600.91 c #Conflicts: 723000 | #Constraints: 50985
1596.36/1600.91 c #Conflicts: 724000 | #Constraints: 51985
1596.36/1600.91 c #Conflicts: 725000 | #Constraints: 52985
1596.36/1600.91 c #Conflicts: 726000 | #Constraints: 53985
1596.36/1600.91 c #Conflicts: 727000 | #Constraints: 54985
1596.36/1600.91 c #Conflicts: 728000 | #Constraints: 55985
1596.36/1600.91 c #Conflicts: 729000 | #Constraints: 56985
1596.36/1600.91 c #Conflicts: 730000 | #Constraints: 57985
1596.36/1600.91 c #Conflicts: 731000 | #Constraints: 58985
1596.36/1600.91 c #Conflicts: 732000 | #Constraints: 59985
1596.36/1600.91 c #Conflicts: 733000 | #Constraints: 60985
1596.36/1600.91 c #Conflicts: 734000 | #Constraints: 61985
1596.36/1600.91 c #Conflicts: 735000 | #Constraints: 62985
1596.36/1600.91 c #Conflicts: 736000 | #Constraints: 63985
1596.36/1600.91 c #Conflicts: 737000 | #Constraints: 64985
1596.36/1600.91 c #Conflicts: 738000 | #Constraints: 65985
1596.36/1600.91 c #Conflicts: 739000 | #Constraints: 66985
1596.36/1600.91 c INPROCESSING
1596.36/1600.91 c GARBAGE COLLECT
1862.83/1868.21 c #Conflicts: 740000 | #Constraints: 50989
1862.83/1868.21 c #Conflicts: 741000 | #Constraints: 51989
1862.83/1868.21 c #Conflicts: 742000 | #Constraints: 52989
1862.83/1868.21 c #Conflicts: 743000 | #Constraints: 53989
1862.83/1868.21 c #Conflicts: 744000 | #Constraints: 54989
1862.83/1868.21 c #Conflicts: 745000 | #Constraints: 55989
1862.83/1868.21 c #Conflicts: 746000 | #Constraints: 56989
1862.83/1868.21 c #Conflicts: 747000 | #Constraints: 57989
1862.83/1868.21 c #Conflicts: 748000 | #Constraints: 58989
1862.83/1868.21 c #Conflicts: 749000 | #Constraints: 59989
1862.83/1868.21 c #Conflicts: 750000 | #Constraints: 60989
1862.83/1868.21 c #Conflicts: 751000 | #Constraints: 61989
1862.83/1868.21 c #Conflicts: 752000 | #Constraints: 62989
1862.83/1868.21 c #Conflicts: 753000 | #Constraints: 63989
1862.83/1868.21 c #Conflicts: 754000 | #Constraints: 64989
1862.83/1868.21 c #Conflicts: 755000 | #Constraints: 65989
1862.83/1868.21 c #Conflicts: 756000 | #Constraints: 66989
1862.83/1868.21 c INPROCESSING
1862.83/1868.21 c GARBAGE COLLECT
1862.83/1868.21 c #Conflicts: 757000 | #Constraints: 50792
1862.83/1868.21 c #Conflicts: 758000 | #Constraints: 51792
1862.83/1868.21 c #Conflicts: 759000 | #Constraints: 52792
1862.83/1868.21 c #Conflicts: 760000 | #Constraints: 53792
1862.83/1868.21 c #Conflicts: 761000 | #Constraints: 54792
1862.83/1868.21 c #Conflicts: 762000 | #Constraints: 55792
1862.83/1868.21 c #Conflicts: 763000 | #Constraints: 56792
1862.83/1868.21 c #Conflicts: 764000 | #Constraints: 57792
1862.83/1868.21 c #Conflicts: 765000 | #Constraints: 58792
1862.83/1868.21 c #Conflicts: 766000 | #Constraints: 59792
1862.83/1868.21 c #Conflicts: 767000 | #Constraints: 60792
1862.83/1868.21 c #Conflicts: 768000 | #Constraints: 61792
1862.83/1868.21 c #Conflicts: 769000 | #Constraints: 62792
1862.83/1868.21 c #Conflicts: 770000 | #Constraints: 63792
1862.83/1868.21 c #Conflicts: 771000 | #Constraints: 64792
1862.83/1868.21 c #Conflicts: 772000 | #Constraints: 65792
1862.83/1868.21 c #Conflicts: 773000 | #Constraints: 66792
1862.83/1868.21 c #Conflicts: 774000 | #Constraints: 67792
1862.83/1868.21 c INPROCESSING
1862.83/1868.21 c GARBAGE COLLECT
1862.83/1868.21 c #Conflicts: 775000 | #Constraints: 51380
1862.83/1868.21 c #Conflicts: 776000 | #Constraints: 52380
1862.83/1868.21 c #Conflicts: 777000 | #Constraints: 53380
1862.83/1868.21 c #Conflicts: 778000 | #Constraints: 54380
1862.83/1868.21 c #Conflicts: 779000 | #Constraints: 55380
1862.83/1868.21 c #Conflicts: 780000 | #Constraints: 56380
1862.83/1868.21 c #Conflicts: 781000 | #Constraints: 57380
1862.83/1868.21 c #Conflicts: 782000 | #Constraints: 58380
1862.83/1868.21 c #Conflicts: 783000 | #Constraints: 59380
1862.83/1868.21 c #Conflicts: 784000 | #Constraints: 60380
1862.83/1868.21 c #Conflicts: 785000 | #Constraints: 61380
1862.83/1868.21 c #Conflicts: 786000 | #Constraints: 62380
1862.83/1868.21 c #Conflicts: 787000 | #Constraints: 63380
1862.83/1868.21 c #Conflicts: 788000 | #Constraints: 64380
1862.83/1868.21 c #Conflicts: 789000 | #Constraints: 65380
1862.83/1868.21 c #Conflicts: 790000 | #Constraints: 66380
1862.83/1868.21 c #Conflicts: 791000 | #Constraints: 67380
1862.83/1868.21 c #Conflicts: 792000 | #Constraints: 68380
1862.83/1868.21 c INPROCESSING
1862.83/1868.21 c GARBAGE COLLECT
1862.83/1868.21 c #Conflicts: 793000 | #Constraints: 51783
1862.83/1868.21 c #Conflicts: 794000 | #Constraints: 52783
1862.83/1868.21 c #Conflicts: 795000 | #Constraints: 53783
1862.83/1868.21 c #Conflicts: 796000 | #Constraints: 54783
1862.83/1868.21 c #Conflicts: 797000 | #Constraints: 55783
1862.83/1868.21 c #Conflicts: 798000 | #Constraints: 56783
1862.83/1868.21 c #Conflicts: 799000 | #Constraints: 57783
1862.83/1868.21 c #Conflicts: 800000 | #Constraints: 58783
1862.83/1868.21 c #Conflicts: 801000 | #Constraints: 59783
1862.83/1868.21 c #Conflicts: 802000 | #Constraints: 60783
1862.83/1868.21 c #Conflicts: 803000 | #Constraints: 61783
1862.83/1868.21 c #Conflicts: 804000 | #Constraints: 62783
1862.83/1868.21 c #Conflicts: 805000 | #Constraints: 63783
1862.83/1868.21 c #Conflicts: 806000 | #Constraints: 64783
1862.83/1868.21 c #Conflicts: 807000 | #Constraints: 65783
1862.83/1868.21 c #Conflicts: 808000 | #Constraints: 66783
1862.83/1868.21 c #Conflicts: 809000 | #Constraints: 67783
1862.83/1868.21 c #Conflicts: 810000 | #Constraints: 68783
1862.83/1868.21 c INPROCESSING
1862.83/1868.21 c GARBAGE COLLECT
1862.83/1868.21 c #Conflicts: 811000 | #Constraints: 51985
1862.83/1868.21 c #Conflicts: 812000 | #Constraints: 52985
1862.83/1868.21 c #Conflicts: 813000 | #Constraints: 53985
1862.83/1868.21 c #Conflicts: 814000 | #Constraints: 54985
1862.83/1868.21 c #Conflicts: 815000 | #Constraints: 55985
1862.83/1868.21 c #Conflicts: 816000 | #Constraints: 56985
2148.75/2155.09 c #Conflicts: 817000 | #Constraints: 57985
2148.75/2155.09 c #Conflicts: 818000 | #Constraints: 58985
2148.75/2155.09 c #Conflicts: 819000 | #Constraints: 59985
2148.75/2155.09 c #Conflicts: 820000 | #Constraints: 60985
2148.75/2155.09 c #Conflicts: 821000 | #Constraints: 61985
2148.75/2155.09 c #Conflicts: 822000 | #Constraints: 62985
2148.75/2155.09 c #Conflicts: 823000 | #Constraints: 63985
2148.75/2155.09 c #Conflicts: 824000 | #Constraints: 64985
2148.75/2155.09 c #Conflicts: 825000 | #Constraints: 65985
2148.75/2155.09 c #Conflicts: 826000 | #Constraints: 66985
2148.75/2155.09 c #Conflicts: 827000 | #Constraints: 67985
2148.75/2155.09 c #Conflicts: 828000 | #Constraints: 68985
2148.75/2155.09 c INPROCESSING
2148.75/2155.09 c GARBAGE COLLECT
2148.75/2155.09 c #Conflicts: 829000 | #Constraints: 51986
2148.75/2155.09 c #Conflicts: 830000 | #Constraints: 52986
2148.75/2155.09 c #Conflicts: 831000 | #Constraints: 53986
2148.75/2155.09 c #Conflicts: 832000 | #Constraints: 54986
2148.75/2155.09 c #Conflicts: 833000 | #Constraints: 55986
2148.75/2155.09 c #Conflicts: 834000 | #Constraints: 56986
2148.75/2155.09 c #Conflicts: 835000 | #Constraints: 57986
2148.75/2155.09 c #Conflicts: 836000 | #Constraints: 58986
2148.75/2155.09 c #Conflicts: 837000 | #Constraints: 59986
2148.75/2155.09 c #Conflicts: 838000 | #Constraints: 60986
2148.75/2155.09 c #Conflicts: 839000 | #Constraints: 61986
2148.75/2155.09 c #Conflicts: 840000 | #Constraints: 62986
2148.75/2155.09 c #Conflicts: 841000 | #Constraints: 63986
2148.75/2155.09 c #Conflicts: 842000 | #Constraints: 64986
2148.75/2155.09 c #Conflicts: 843000 | #Constraints: 65986
2148.75/2155.09 c #Conflicts: 844000 | #Constraints: 66986
2148.75/2155.09 c #Conflicts: 845000 | #Constraints: 67986
2148.75/2155.09 c #Conflicts: 846000 | #Constraints: 68986
2148.75/2155.09 c INPROCESSING
2148.75/2155.09 c GARBAGE COLLECT
2148.75/2155.09 c #Conflicts: 847000 | #Constraints: 51796
2148.75/2155.09 c #Conflicts: 848000 | #Constraints: 52796
2148.75/2155.09 c #Conflicts: 849000 | #Constraints: 53796
2148.75/2155.09 c #Conflicts: 850000 | #Constraints: 54796
2148.75/2155.09 c #Conflicts: 851000 | #Constraints: 55796
2148.75/2155.09 c #Conflicts: 852000 | #Constraints: 56796
2148.75/2155.09 c #Conflicts: 853000 | #Constraints: 57796
2148.75/2155.09 c #Conflicts: 854000 | #Constraints: 58796
2148.75/2155.09 c #Conflicts: 855000 | #Constraints: 59796
2148.75/2155.09 c #Conflicts: 856000 | #Constraints: 60796
2148.75/2155.09 c #Conflicts: 857000 | #Constraints: 61796
2148.75/2155.09 c #Conflicts: 858000 | #Constraints: 62796
2148.75/2155.09 c #Conflicts: 859000 | #Constraints: 63796
2148.75/2155.09 c #Conflicts: 860000 | #Constraints: 64796
2148.75/2155.09 c #Conflicts: 861000 | #Constraints: 65796
2148.75/2155.09 c #Conflicts: 862000 | #Constraints: 66796
2148.75/2155.09 c #Conflicts: 863000 | #Constraints: 67796
2148.75/2155.09 c #Conflicts: 864000 | #Constraints: 68796
2148.75/2155.09 c #Conflicts: 865000 | #Constraints: 69796
2148.75/2155.09 c INPROCESSING
2148.75/2155.09 c GARBAGE COLLECT
2148.75/2155.09 c #Conflicts: 866000 | #Constraints: 52387
2148.75/2155.09 c #Conflicts: 867000 | #Constraints: 53387
2148.75/2155.09 c #Conflicts: 868000 | #Constraints: 54387
2148.75/2155.09 c #Conflicts: 869000 | #Constraints: 55387
2148.75/2155.09 c #Conflicts: 870000 | #Constraints: 56387
2148.75/2155.09 c #Conflicts: 871000 | #Constraints: 57387
2148.75/2155.09 c #Conflicts: 872000 | #Constraints: 58387
2148.75/2155.09 c #Conflicts: 873000 | #Constraints: 59387
2148.75/2155.09 c #Conflicts: 874000 | #Constraints: 60387
2148.75/2155.09 c #Conflicts: 875000 | #Constraints: 61387
2148.75/2155.09 c #Conflicts: 876000 | #Constraints: 62387
2148.75/2155.09 c #Conflicts: 877000 | #Constraints: 63387
2148.75/2155.09 c #Conflicts: 878000 | #Constraints: 64387
2148.75/2155.09 c #Conflicts: 879000 | #Constraints: 65387
2148.75/2155.09 c #Conflicts: 880000 | #Constraints: 66387
2148.75/2155.09 c #Conflicts: 881000 | #Constraints: 67387
2148.75/2155.09 c #Conflicts: 882000 | #Constraints: 68387
2148.75/2155.09 c #Conflicts: 883000 | #Constraints: 69387
2148.75/2155.09 c #Conflicts: 884000 | #Constraints: 70387
2148.75/2155.09 c INPROCESSING
2148.75/2155.09 c GARBAGE COLLECT
2148.75/2155.09 c #Conflicts: 885000 | #Constraints: 52794
2148.75/2155.09 c #Conflicts: 886000 | #Constraints: 53794
2148.75/2155.09 c #Conflicts: 887000 | #Constraints: 54794
2148.75/2155.09 c #Conflicts: 888000 | #Constraints: 55794
2148.75/2155.09 c #Conflicts: 889000 | #Constraints: 56794
2148.75/2155.09 c #Conflicts: 890000 | #Constraints: 57794
2148.75/2155.09 c #Conflicts: 891000 | #Constraints: 58794
2148.75/2155.09 c #Conflicts: 892000 | #Constraints: 59794
2399.87/2406.90 c #Conflicts: 893000 | #Constraints: 60794
2399.87/2406.90 c #Conflicts: 894000 | #Constraints: 61794
2399.87/2406.90 c #Conflicts: 895000 | #Constraints: 62794
2399.87/2406.90 c #Conflicts: 896000 | #Constraints: 63794
2399.87/2406.90 c #Conflicts: 897000 | #Constraints: 64794
2399.87/2406.90 c #Conflicts: 898000 | #Constraints: 65794
2399.87/2406.90 c #Conflicts: 899000 | #Constraints: 66794
2399.87/2406.90 c #Conflicts: 900000 | #Constraints: 67794
2399.87/2406.90 c #Conflicts: 901000 | #Constraints: 68794
2399.87/2406.90 c #Conflicts: 902000 | #Constraints: 69794
2399.87/2406.90 c #Conflicts: 903000 | #Constraints: 70794
2399.87/2406.90 c INPROCESSING
2399.87/2406.90 c GARBAGE COLLECT
2399.87/2406.90 c #Conflicts: 904000 | #Constraints: 52994
2399.87/2406.90 c #Conflicts: 905000 | #Constraints: 53994
2399.87/2406.90 c #Conflicts: 906000 | #Constraints: 54994
2399.87/2406.90 c #Conflicts: 907000 | #Constraints: 55994
2399.87/2406.90 c #Conflicts: 908000 | #Constraints: 56994
2399.87/2406.90 c #Conflicts: 909000 | #Constraints: 57994
2399.87/2406.90 c #Conflicts: 910000 | #Constraints: 58994
2399.87/2406.90 c #Conflicts: 911000 | #Constraints: 59994
2399.87/2406.90 c #Conflicts: 912000 | #Constraints: 60994
2399.87/2406.90 c #Conflicts: 913000 | #Constraints: 61994
2399.87/2406.90 c #Conflicts: 914000 | #Constraints: 62994
2399.87/2406.90 c #Conflicts: 915000 | #Constraints: 63994
2399.87/2406.90 c #Conflicts: 916000 | #Constraints: 64994
2399.87/2406.90 c #Conflicts: 917000 | #Constraints: 65994
2399.87/2406.90 c #Conflicts: 918000 | #Constraints: 66994
2399.87/2406.90 c #Conflicts: 919000 | #Constraints: 67994
2399.87/2406.90 c #Conflicts: 920000 | #Constraints: 68994
2399.87/2406.90 c #Conflicts: 921000 | #Constraints: 69994
2399.87/2406.90 c #Conflicts: 922000 | #Constraints: 70994
2399.87/2406.90 c INPROCESSING
2399.87/2406.90 c GARBAGE COLLECT
2399.87/2406.90 c #Conflicts: 923000 | #Constraints: 52973
2399.87/2406.90 c #Conflicts: 924000 | #Constraints: 53973
2399.87/2406.90 c #Conflicts: 925000 | #Constraints: 54973
2399.87/2406.90 c #Conflicts: 926000 | #Constraints: 55973
2399.87/2406.90 c #Conflicts: 927000 | #Constraints: 56973
2399.87/2406.90 c #Conflicts: 928000 | #Constraints: 57973
2399.87/2406.90 c #Conflicts: 929000 | #Constraints: 58973
2399.87/2406.90 c #Conflicts: 930000 | #Constraints: 59973
2399.87/2406.90 c #Conflicts: 931000 | #Constraints: 60973
2399.87/2406.90 c #Conflicts: 932000 | #Constraints: 61973
2399.87/2406.90 c #Conflicts: 933000 | #Constraints: 62973
2399.87/2406.90 c #Conflicts: 934000 | #Constraints: 63973
2399.87/2406.90 c #Conflicts: 935000 | #Constraints: 64973
2399.87/2406.90 c #Conflicts: 936000 | #Constraints: 65973
2399.87/2406.90 c #Conflicts: 937000 | #Constraints: 66973
2399.87/2406.90 c #Conflicts: 938000 | #Constraints: 67973
2399.87/2406.90 c #Conflicts: 939000 | #Constraints: 68973
2399.87/2406.90 c #Conflicts: 940000 | #Constraints: 69973
2399.87/2406.90 c #Conflicts: 941000 | #Constraints: 70973
2399.87/2406.90 c INPROCESSING
2399.87/2406.90 c GARBAGE COLLECT
2399.87/2406.90 c #Conflicts: 942000 | #Constraints: 52783
2399.87/2406.90 c #Conflicts: 943000 | #Constraints: 53783
2399.87/2406.90 c #Conflicts: 944000 | #Constraints: 54783
2399.87/2406.90 c #Conflicts: 945000 | #Constraints: 55783
2399.87/2406.90 c #Conflicts: 946000 | #Constraints: 56783
2399.87/2406.90 c #Conflicts: 947000 | #Constraints: 57783
2399.87/2406.90 c #Conflicts: 948000 | #Constraints: 58783
2399.87/2406.90 c #Conflicts: 949000 | #Constraints: 59783
2399.87/2406.90 c #Conflicts: 950000 | #Constraints: 60783
2399.87/2406.90 c #Conflicts: 951000 | #Constraints: 61783
2399.87/2406.90 c #Conflicts: 952000 | #Constraints: 62783
2399.87/2406.90 c #Conflicts: 953000 | #Constraints: 63783
2399.87/2406.90 c #Conflicts: 954000 | #Constraints: 64783
2399.87/2406.90 c #Conflicts: 955000 | #Constraints: 65783
2399.87/2406.90 c #Conflicts: 956000 | #Constraints: 66783
2399.87/2406.90 c #Conflicts: 957000 | #Constraints: 67783
2399.87/2406.90 c #Conflicts: 958000 | #Constraints: 68783
2399.87/2406.90 c #Conflicts: 959000 | #Constraints: 69783
2399.87/2406.90 c #Conflicts: 960000 | #Constraints: 70783
2399.87/2406.90 c #Conflicts: 961000 | #Constraints: 71783
2399.87/2406.90 c INPROCESSING
2399.87/2406.90 c GARBAGE COLLECT
2399.87/2406.90 c #Conflicts: 962000 | #Constraints: 53407
2399.87/2406.90 c #Conflicts: 963000 | #Constraints: 54407
2399.87/2406.90 c #Conflicts: 964000 | #Constraints: 55407
2399.87/2406.90 c #Conflicts: 965000 | #Constraints: 56407
2399.87/2406.90 c #Conflicts: 966000 | #Constraints: 57407
2399.87/2406.90 c #Conflicts: 967000 | #Constraints: 58407
2399.87/2406.90 c #Conflicts: 968000 | #Constraints: 59407
2675.72/2683.69 c #Conflicts: 969000 | #Constraints: 60407
2675.72/2683.69 c #Conflicts: 970000 | #Constraints: 61407
2675.72/2683.69 c #Conflicts: 971000 | #Constraints: 62407
2675.72/2683.69 c #Conflicts: 972000 | #Constraints: 63407
2675.72/2683.69 c #Conflicts: 973000 | #Constraints: 64407
2675.72/2683.69 c #Conflicts: 974000 | #Constraints: 65407
2675.72/2683.69 c #Conflicts: 975000 | #Constraints: 66407
2675.72/2683.69 c #Conflicts: 976000 | #Constraints: 67407
2675.72/2683.69 c #Conflicts: 977000 | #Constraints: 68407
2675.72/2683.69 c #Conflicts: 978000 | #Constraints: 69407
2675.72/2683.69 c #Conflicts: 979000 | #Constraints: 70407
2675.72/2683.69 c #Conflicts: 980000 | #Constraints: 71407
2675.72/2683.69 c #Conflicts: 981000 | #Constraints: 72407
2675.72/2683.69 c INPROCESSING
2675.72/2683.69 c GARBAGE COLLECT
2675.72/2683.69 c #Conflicts: 982000 | #Constraints: 53809
2675.72/2683.69 c #Conflicts: 983000 | #Constraints: 54809
2675.72/2683.69 c #Conflicts: 984000 | #Constraints: 55809
2675.72/2683.69 c #Conflicts: 985000 | #Constraints: 56809
2675.72/2683.69 c #Conflicts: 986000 | #Constraints: 57809
2675.72/2683.69 c #Conflicts: 987000 | #Constraints: 58809
2675.72/2683.69 c #Conflicts: 988000 | #Constraints: 59809
2675.72/2683.69 c #Conflicts: 989000 | #Constraints: 60809
2675.72/2683.69 c #Conflicts: 990000 | #Constraints: 61809
2675.72/2683.69 c #Conflicts: 991000 | #Constraints: 62809
2675.72/2683.69 c #Conflicts: 992000 | #Constraints: 63809
2675.72/2683.69 c #Conflicts: 993000 | #Constraints: 64809
2675.72/2683.69 c #Conflicts: 994000 | #Constraints: 65809
2675.72/2683.69 c #Conflicts: 995000 | #Constraints: 66809
2675.72/2683.69 c #Conflicts: 996000 | #Constraints: 67809
2675.72/2683.69 c #Conflicts: 997000 | #Constraints: 68809
2675.72/2683.69 c #Conflicts: 998000 | #Constraints: 69809
2675.72/2683.69 c #Conflicts: 999000 | #Constraints: 70809
2675.72/2683.69 c #Conflicts: 1000000 | #Constraints: 71809
2675.72/2683.69 c #Conflicts: 1001000 | #Constraints: 72809
2675.72/2683.69 c INPROCESSING
2675.72/2683.69 c GARBAGE COLLECT
2675.72/2683.69 c #Conflicts: 1002000 | #Constraints: 54035
2675.72/2683.69 c #Conflicts: 1003000 | #Constraints: 55035
2675.72/2683.69 c #Conflicts: 1004000 | #Constraints: 56035
2675.72/2683.69 c #Conflicts: 1005000 | #Constraints: 57035
2675.72/2683.69 c #Conflicts: 1006000 | #Constraints: 58035
2675.72/2683.69 c #Conflicts: 1007000 | #Constraints: 59035
2675.72/2683.69 c #Conflicts: 1008000 | #Constraints: 60035
2675.72/2683.69 c #Conflicts: 1009000 | #Constraints: 61035
2675.72/2683.69 c #Conflicts: 1010000 | #Constraints: 62035
2675.72/2683.69 c #Conflicts: 1011000 | #Constraints: 63035
2675.72/2683.69 c #Conflicts: 1012000 | #Constraints: 64035
2675.72/2683.69 c #Conflicts: 1013000 | #Constraints: 65035
2675.72/2683.69 c #Conflicts: 1014000 | #Constraints: 66035
2675.72/2683.69 c #Conflicts: 1015000 | #Constraints: 67035
2675.72/2683.69 c #Conflicts: 1016000 | #Constraints: 68035
2675.72/2683.69 c #Conflicts: 1017000 | #Constraints: 69035
2675.72/2683.69 c #Conflicts: 1018000 | #Constraints: 70035
2675.72/2683.69 c #Conflicts: 1019000 | #Constraints: 71035
2675.72/2683.69 c #Conflicts: 1020000 | #Constraints: 72035
2675.72/2683.69 c #Conflicts: 1021000 | #Constraints: 73035
2675.72/2683.69 c INPROCESSING
2675.72/2683.69 c GARBAGE COLLECT
2675.72/2683.69 c #Conflicts: 1022000 | #Constraints: 54036
2675.72/2683.69 c #Conflicts: 1023000 | #Constraints: 55036
2675.72/2683.69 c #Conflicts: 1024000 | #Constraints: 56036
2675.72/2683.69 c #Conflicts: 1025000 | #Constraints: 57036
2675.72/2683.69 c #Conflicts: 1026000 | #Constraints: 58036
2675.72/2683.69 c #Conflicts: 1027000 | #Constraints: 59036
2675.72/2683.69 c #Conflicts: 1028000 | #Constraints: 60036
2675.72/2683.69 c #Conflicts: 1029000 | #Constraints: 61036
2675.72/2683.69 c #Conflicts: 1030000 | #Constraints: 62036
2675.72/2683.69 c #Conflicts: 1031000 | #Constraints: 63036
2675.72/2683.69 c #Conflicts: 1032000 | #Constraints: 64036
2675.72/2683.69 c #Conflicts: 1033000 | #Constraints: 65036
2675.72/2683.69 c #Conflicts: 1034000 | #Constraints: 66036
2675.72/2683.69 c #Conflicts: 1035000 | #Constraints: 67036
2675.72/2683.69 c #Conflicts: 1036000 | #Constraints: 68036
2675.72/2683.69 c #Conflicts: 1037000 | #Constraints: 69036
2675.72/2683.69 c #Conflicts: 1038000 | #Constraints: 70036
2675.72/2683.69 c #Conflicts: 1039000 | #Constraints: 71036
2675.72/2683.69 c #Conflicts: 1040000 | #Constraints: 72036
2675.72/2683.69 c #Conflicts: 1041000 | #Constraints: 73036
2675.72/2683.69 c INPROCESSING
2675.72/2683.69 c GARBAGE COLLECT
2675.72/2683.69 c #Conflicts: 1042000 | #Constraints: 53835
2675.72/2683.69 c #Conflicts: 1043000 | #Constraints: 54835
2675.72/2683.69 c #Conflicts: 1044000 | #Constraints: 55835
2967.33/2976.18 c #Conflicts: 1045000 | #Constraints: 56835
2967.33/2976.18 c #Conflicts: 1046000 | #Constraints: 57835
2967.33/2976.18 c #Conflicts: 1047000 | #Constraints: 58835
2967.33/2976.18 c #Conflicts: 1048000 | #Constraints: 59835
2967.33/2976.18 c #Conflicts: 1049000 | #Constraints: 60835
2967.33/2976.18 c #Conflicts: 1050000 | #Constraints: 61835
2967.33/2976.18 c #Conflicts: 1051000 | #Constraints: 62835
2967.33/2976.18 c #Conflicts: 1052000 | #Constraints: 63835
2967.33/2976.18 c #Conflicts: 1053000 | #Constraints: 64835
2967.33/2976.18 c #Conflicts: 1054000 | #Constraints: 65835
2967.33/2976.18 c #Conflicts: 1055000 | #Constraints: 66835
2967.33/2976.18 c #Conflicts: 1056000 | #Constraints: 67835
2967.33/2976.18 c #Conflicts: 1057000 | #Constraints: 68835
2967.33/2976.18 c #Conflicts: 1058000 | #Constraints: 69835
2967.33/2976.18 c #Conflicts: 1059000 | #Constraints: 70835
2967.33/2976.18 c #Conflicts: 1060000 | #Constraints: 71835
2967.33/2976.18 c #Conflicts: 1061000 | #Constraints: 72835
2967.33/2976.18 c #Conflicts: 1062000 | #Constraints: 73835
2967.33/2976.18 c INPROCESSING
2967.33/2976.18 c GARBAGE COLLECT
2967.33/2976.18 c #Conflicts: 1063000 | #Constraints: 54417
2967.33/2976.18 c #Conflicts: 1064000 | #Constraints: 55417
2967.33/2976.18 c #Conflicts: 1065000 | #Constraints: 56417
2967.33/2976.18 c #Conflicts: 1066000 | #Constraints: 57417
2967.33/2976.18 c #Conflicts: 1067000 | #Constraints: 58417
2967.33/2976.18 c #Conflicts: 1068000 | #Constraints: 59417
2967.33/2976.18 c #Conflicts: 1069000 | #Constraints: 60417
2967.33/2976.18 c #Conflicts: 1070000 | #Constraints: 61417
2967.33/2976.18 c #Conflicts: 1071000 | #Constraints: 62417
2967.33/2976.18 c #Conflicts: 1072000 | #Constraints: 63417
2967.33/2976.18 c #Conflicts: 1073000 | #Constraints: 64417
2967.33/2976.18 c #Conflicts: 1074000 | #Constraints: 65417
2967.33/2976.18 c #Conflicts: 1075000 | #Constraints: 66417
2967.33/2976.18 c #Conflicts: 1076000 | #Constraints: 67417
2967.33/2976.18 c #Conflicts: 1077000 | #Constraints: 68417
2967.33/2976.18 c #Conflicts: 1078000 | #Constraints: 69417
2967.33/2976.18 c #Conflicts: 1079000 | #Constraints: 70417
2967.33/2976.18 c #Conflicts: 1080000 | #Constraints: 71417
2967.33/2976.18 c #Conflicts: 1081000 | #Constraints: 72417
2967.33/2976.18 c #Conflicts: 1082000 | #Constraints: 73417
2967.33/2976.18 c #Conflicts: 1083000 | #Constraints: 74417
2967.33/2976.18 c INPROCESSING
2967.33/2976.18 c GARBAGE COLLECT
2967.33/2976.18 c #Conflicts: 1084000 | #Constraints: 54808
2967.33/2976.18 c #Conflicts: 1085000 | #Constraints: 55808
2967.33/2976.18 c #Conflicts: 1086000 | #Constraints: 56808
2967.33/2976.18 c #Conflicts: 1087000 | #Constraints: 57808
2967.33/2976.18 c #Conflicts: 1088000 | #Constraints: 58808
2967.33/2976.18 c #Conflicts: 1089000 | #Constraints: 59808
2967.33/2976.18 c #Conflicts: 1090000 | #Constraints: 60808
2967.33/2976.18 c #Conflicts: 1091000 | #Constraints: 61808
2967.33/2976.18 c #Conflicts: 1092000 | #Constraints: 62808
2967.33/2976.18 c #Conflicts: 1093000 | #Constraints: 63808
2967.33/2976.18 c #Conflicts: 1094000 | #Constraints: 64808
2967.33/2976.18 c #Conflicts: 1095000 | #Constraints: 65808
2967.33/2976.18 c #Conflicts: 1096000 | #Constraints: 66808
2967.33/2976.18 c #Conflicts: 1097000 | #Constraints: 67808
2967.33/2976.18 c #Conflicts: 1098000 | #Constraints: 68808
2967.33/2976.18 c #Conflicts: 1099000 | #Constraints: 69808
2967.33/2976.18 c #Conflicts: 1100000 | #Constraints: 70808
2967.33/2976.18 c #Conflicts: 1101000 | #Constraints: 71808
2967.33/2976.18 c #Conflicts: 1102000 | #Constraints: 72808
2967.33/2976.18 c #Conflicts: 1103000 | #Constraints: 73808
2967.33/2976.18 c #Conflicts: 1104000 | #Constraints: 74808
2967.33/2976.18 c INPROCESSING
2967.33/2976.18 c GARBAGE COLLECT
2967.33/2976.18 c #Conflicts: 1105000 | #Constraints: 54999
2967.33/2976.18 c #Conflicts: 1106000 | #Constraints: 55999
2967.33/2976.18 c #Conflicts: 1107000 | #Constraints: 56999
2967.33/2976.18 c #Conflicts: 1108000 | #Constraints: 57999
2967.33/2976.18 c #Conflicts: 1109000 | #Constraints: 58999
2967.33/2976.18 c #Conflicts: 1110000 | #Constraints: 59999
2967.33/2976.18 c #Conflicts: 1111000 | #Constraints: 60999
2967.33/2976.18 c #Conflicts: 1112000 | #Constraints: 61999
2967.33/2976.18 c #Conflicts: 1113000 | #Constraints: 62999
2967.33/2976.18 c #Conflicts: 1114000 | #Constraints: 63999
2967.33/2976.18 c #Conflicts: 1115000 | #Constraints: 64999
2967.33/2976.18 c #Conflicts: 1116000 | #Constraints: 65999
2967.33/2976.18 c #Conflicts: 1117000 | #Constraints: 66999
2967.33/2976.18 c #Conflicts: 1118000 | #Constraints: 67999
2967.33/2976.18 c #Conflicts: 1119000 | #Constraints: 68999
2967.33/2976.18 c #Conflicts: 1120000 | #Constraints: 69999
2967.33/2976.18 c #Conflicts: 1121000 | #Constraints: 70999
3261.43/3271.17 c #Conflicts: 1122000 | #Constraints: 71999
3261.43/3271.17 c #Conflicts: 1123000 | #Constraints: 72999
3261.43/3271.17 c #Conflicts: 1124000 | #Constraints: 73999
3261.43/3271.17 c #Conflicts: 1125000 | #Constraints: 74999
3261.43/3271.17 c INPROCESSING
3261.43/3271.17 c GARBAGE COLLECT
3261.43/3271.17 c #Conflicts: 1126000 | #Constraints: 54996
3261.43/3271.17 c #Conflicts: 1127000 | #Constraints: 55996
3261.43/3271.17 c #Conflicts: 1128000 | #Constraints: 56996
3261.43/3271.17 c #Conflicts: 1129000 | #Constraints: 57996
3261.43/3271.17 c #Conflicts: 1130000 | #Constraints: 58996
3261.43/3271.17 c #Conflicts: 1131000 | #Constraints: 59996
3261.43/3271.17 c #Conflicts: 1132000 | #Constraints: 60996
3261.43/3271.17 c #Conflicts: 1133000 | #Constraints: 61996
3261.43/3271.17 c #Conflicts: 1134000 | #Constraints: 62996
3261.43/3271.17 c #Conflicts: 1135000 | #Constraints: 63996
3261.43/3271.17 c #Conflicts: 1136000 | #Constraints: 64996
3261.43/3271.17 c #Conflicts: 1137000 | #Constraints: 65996
3261.43/3271.17 c #Conflicts: 1138000 | #Constraints: 66996
3261.43/3271.17 c #Conflicts: 1139000 | #Constraints: 67996
3261.43/3271.17 c #Conflicts: 1140000 | #Constraints: 68996
3261.43/3271.17 c #Conflicts: 1141000 | #Constraints: 69996
3261.43/3271.17 c #Conflicts: 1142000 | #Constraints: 70996
3261.43/3271.17 c #Conflicts: 1143000 | #Constraints: 71996
3261.43/3271.17 c #Conflicts: 1144000 | #Constraints: 72996
3261.43/3271.17 c #Conflicts: 1145000 | #Constraints: 73996
3261.43/3271.17 c #Conflicts: 1146000 | #Constraints: 74996
3261.43/3271.17 c INPROCESSING
3261.43/3271.17 c GARBAGE COLLECT
3261.43/3271.17 c #Conflicts: 1147000 | #Constraints: 54795
3261.43/3271.17 c #Conflicts: 1148000 | #Constraints: 55795
3261.43/3271.17 c #Conflicts: 1149000 | #Constraints: 56795
3261.43/3271.17 c #Conflicts: 1150000 | #Constraints: 57795
3261.43/3271.17 c #Conflicts: 1151000 | #Constraints: 58795
3261.43/3271.17 c #Conflicts: 1152000 | #Constraints: 59795
3261.43/3271.17 c #Conflicts: 1153000 | #Constraints: 60795
3261.43/3271.17 c #Conflicts: 1154000 | #Constraints: 61795
3261.43/3271.17 c #Conflicts: 1155000 | #Constraints: 62795
3261.43/3271.17 c #Conflicts: 1156000 | #Constraints: 63795
3261.43/3271.17 c #Conflicts: 1157000 | #Constraints: 64795
3261.43/3271.17 c #Conflicts: 1158000 | #Constraints: 65795
3261.43/3271.17 c #Conflicts: 1159000 | #Constraints: 66795
3261.43/3271.17 c #Conflicts: 1160000 | #Constraints: 67795
3261.43/3271.17 c #Conflicts: 1161000 | #Constraints: 68795
3261.43/3271.17 c #Conflicts: 1162000 | #Constraints: 69795
3261.43/3271.17 c #Conflicts: 1163000 | #Constraints: 70795
3261.43/3271.17 c #Conflicts: 1164000 | #Constraints: 71795
3261.43/3271.17 c #Conflicts: 1165000 | #Constraints: 72795
3261.43/3271.17 c #Conflicts: 1166000 | #Constraints: 73795
3261.43/3271.17 c #Conflicts: 1167000 | #Constraints: 74795
3261.43/3271.17 c #Conflicts: 1168000 | #Constraints: 75795
3261.43/3271.17 c INPROCESSING
3261.43/3271.17 c GARBAGE COLLECT
3261.43/3271.17 c #Conflicts: 1169000 | #Constraints: 55419
3261.43/3271.17 c #Conflicts: 1170000 | #Constraints: 56419
3261.43/3271.17 c #Conflicts: 1171000 | #Constraints: 57419
3261.43/3271.17 c #Conflicts: 1172000 | #Constraints: 58419
3261.43/3271.17 c #Conflicts: 1173000 | #Constraints: 59419
3261.43/3271.17 c #Conflicts: 1174000 | #Constraints: 60419
3261.43/3271.17 c #Conflicts: 1175000 | #Constraints: 61419
3261.43/3271.17 c #Conflicts: 1176000 | #Constraints: 62419
3261.43/3271.17 c #Conflicts: 1177000 | #Constraints: 63419
3261.43/3271.17 c #Conflicts: 1178000 | #Constraints: 64419
3261.43/3271.17 c #Conflicts: 1179000 | #Constraints: 65419
3261.43/3271.17 c #Conflicts: 1180000 | #Constraints: 66419
3261.43/3271.17 c #Conflicts: 1181000 | #Constraints: 67419
3261.43/3271.17 c #Conflicts: 1182000 | #Constraints: 68419
3261.43/3271.17 c #Conflicts: 1183000 | #Constraints: 69419
3261.43/3271.17 c #Conflicts: 1184000 | #Constraints: 70419
3261.43/3271.17 c #Conflicts: 1185000 | #Constraints: 71419
3261.43/3271.17 c #Conflicts: 1186000 | #Constraints: 72419
3261.43/3271.17 c #Conflicts: 1187000 | #Constraints: 73419
3261.43/3271.17 c #Conflicts: 1188000 | #Constraints: 74419
3261.43/3271.17 c #Conflicts: 1189000 | #Constraints: 75419
3261.43/3271.17 c #Conflicts: 1190000 | #Constraints: 76419
3261.43/3271.17 c INPROCESSING
3261.43/3271.17 c GARBAGE COLLECT
3261.43/3271.17 c #Conflicts: 1191000 | #Constraints: 55805
3261.43/3271.17 c #Conflicts: 1192000 | #Constraints: 56805
3261.43/3271.17 c #Conflicts: 1193000 | #Constraints: 57805
3261.43/3271.17 c #Conflicts: 1194000 | #Constraints: 58805
3261.43/3271.17 c #Conflicts: 1195000 | #Constraints: 59805
3261.43/3271.17 c #Conflicts: 1196000 | #Constraints: 60805
3261.43/3271.17 c #Conflicts: 1197000 | #Constraints: 61805
3573.55/3584.24 c #Conflicts: 1198000 | #Constraints: 62805
3573.55/3584.24 c #Conflicts: 1199000 | #Constraints: 63805
3573.55/3584.24 c #Conflicts: 1200000 | #Constraints: 64805
3573.55/3584.24 c #Conflicts: 1201000 | #Constraints: 65805
3573.55/3584.24 c #Conflicts: 1202000 | #Constraints: 66805
3573.55/3584.24 c #Conflicts: 1203000 | #Constraints: 67805
3573.55/3584.24 c #Conflicts: 1204000 | #Constraints: 68805
3573.55/3584.24 c #Conflicts: 1205000 | #Constraints: 69805
3573.55/3584.24 c #Conflicts: 1206000 | #Constraints: 70805
3573.55/3584.24 c #Conflicts: 1207000 | #Constraints: 71805
3573.55/3584.24 c #Conflicts: 1208000 | #Constraints: 72805
3573.55/3584.24 c #Conflicts: 1209000 | #Constraints: 73805
3573.55/3584.24 c #Conflicts: 1210000 | #Constraints: 74805
3573.55/3584.24 c #Conflicts: 1211000 | #Constraints: 75805
3573.55/3584.24 c #Conflicts: 1212000 | #Constraints: 76805
3573.55/3584.24 c INPROCESSING
3573.55/3584.24 c GARBAGE COLLECT
3573.55/3584.24 c #Conflicts: 1213000 | #Constraints: 55991
3573.55/3584.24 c #Conflicts: 1214000 | #Constraints: 56991
3573.55/3584.24 c #Conflicts: 1215000 | #Constraints: 57991
3573.55/3584.24 c #Conflicts: 1216000 | #Constraints: 58991
3573.55/3584.24 c #Conflicts: 1217000 | #Constraints: 59991
3573.55/3584.24 c #Conflicts: 1218000 | #Constraints: 60991
3573.55/3584.24 c #Conflicts: 1219000 | #Constraints: 61991
3573.55/3584.24 c #Conflicts: 1220000 | #Constraints: 62991
3573.55/3584.24 c #Conflicts: 1221000 | #Constraints: 63991
3573.55/3584.24 c #Conflicts: 1222000 | #Constraints: 64991
3573.55/3584.24 c #Conflicts: 1223000 | #Constraints: 65991
3573.55/3584.24 c #Conflicts: 1224000 | #Constraints: 66991
3573.55/3584.24 c #Conflicts: 1225000 | #Constraints: 67991
3573.55/3584.24 c #Conflicts: 1226000 | #Constraints: 68991
3573.55/3584.24 c #Conflicts: 1227000 | #Constraints: 69991
3573.55/3584.24 c #Conflicts: 1228000 | #Constraints: 70991
3573.55/3584.24 c #Conflicts: 1229000 | #Constraints: 71991
3573.55/3584.24 c #Conflicts: 1230000 | #Constraints: 72991
3573.55/3584.24 c #Conflicts: 1231000 | #Constraints: 73991
3573.55/3584.24 c #Conflicts: 1232000 | #Constraints: 74991
3573.55/3584.24 c #Conflicts: 1233000 | #Constraints: 75991
3573.55/3584.24 c #Conflicts: 1234000 | #Constraints: 76991
3573.55/3584.24 c INPROCESSING
3573.55/3584.24 c GARBAGE COLLECT
3573.55/3584.24 c #Conflicts: 1235000 | #Constraints: 55989
3573.55/3584.24 c #Conflicts: 1236000 | #Constraints: 56989
3573.55/3584.24 c #Conflicts: 1237000 | #Constraints: 57989
3573.55/3584.24 c #Conflicts: 1238000 | #Constraints: 58989
3573.55/3584.24 c #Conflicts: 1239000 | #Constraints: 59989
3573.55/3584.24 c #Conflicts: 1240000 | #Constraints: 60989
3573.55/3584.24 c #Conflicts: 1241000 | #Constraints: 61989
3573.55/3584.24 c #Conflicts: 1242000 | #Constraints: 62989
3573.55/3584.24 c #Conflicts: 1243000 | #Constraints: 63989
3573.55/3584.24 c #Conflicts: 1244000 | #Constraints: 64989
3573.55/3584.24 c #Conflicts: 1245000 | #Constraints: 65989
3573.55/3584.24 c #Conflicts: 1246000 | #Constraints: 66989
3573.55/3584.24 c #Conflicts: 1247000 | #Constraints: 67989
3573.55/3584.24 c #Conflicts: 1248000 | #Constraints: 68989
3573.55/3584.24 c #Conflicts: 1249000 | #Constraints: 69989
3573.55/3584.24 c #Conflicts: 1250000 | #Constraints: 70989
3573.55/3584.24 c #Conflicts: 1251000 | #Constraints: 71989
3573.55/3584.24 c #Conflicts: 1252000 | #Constraints: 72989
3573.55/3584.24 c #Conflicts: 1253000 | #Constraints: 73989
3573.55/3584.24 c #Conflicts: 1254000 | #Constraints: 74989
3573.55/3584.24 c #Conflicts: 1255000 | #Constraints: 75989
3573.55/3584.24 c #Conflicts: 1256000 | #Constraints: 76989
3573.55/3584.24 c INPROCESSING
3573.55/3584.24 c GARBAGE COLLECT
3573.55/3584.24 c #Conflicts: 1257000 | #Constraints: 55796
3573.55/3584.24 c #Conflicts: 1258000 | #Constraints: 56796
3573.55/3584.24 c #Conflicts: 1259000 | #Constraints: 57796
3573.55/3584.24 c #Conflicts: 1260000 | #Constraints: 58796
3573.55/3584.24 c #Conflicts: 1261000 | #Constraints: 59796
3573.55/3584.24 c #Conflicts: 1262000 | #Constraints: 60796
3573.55/3584.24 c #Conflicts: 1263000 | #Constraints: 61796
3573.55/3584.24 c #Conflicts: 1264000 | #Constraints: 62796
3573.55/3584.24 c #Conflicts: 1265000 | #Constraints: 63796
3573.55/3584.24 c #Conflicts: 1266000 | #Constraints: 64796
3573.55/3584.24 c #Conflicts: 1267000 | #Constraints: 65796
3573.55/3584.24 c #Conflicts: 1268000 | #Constraints: 66796
3573.55/3584.24 c #Conflicts: 1269000 | #Constraints: 67796
3573.55/3584.24 c #Conflicts: 1270000 | #Constraints: 68796
3573.55/3584.24 c #Conflicts: 1271000 | #Constraints: 69796
3573.55/3584.24 c #Conflicts: 1272000 | #Constraints: 70796
3573.55/3584.24 c #Conflicts: 1273000 | #Constraints: 71796
3573.55/3584.24 c #Conflicts: 1274000 | #Constraints: 72796
3600.07/3610.80 c #Conflicts: 1275000 | #Constraints: 73796
3600.07/3610.80 c #Conflicts: 1276000 | #Constraints: 74796
3600.07/3610.80 c #Conflicts: 1277000 | #Constraints: 75796
3600.07/3610.80 c #Conflicts: 1278000 | #Constraints: 76796
3600.07/3610.80 c Program interrupted by user.
3600.07/3610.80 c cpu time 3591 s
3600.07/3610.80 c deterministic time 419341176985 4.19e+11
3600.07/3610.80 c optimization time 92.9385 s
3600.07/3610.80 c total solve time 3497.94 s
3600.07/3610.80 c core-guided solve time 3497.94 s
3600.07/3610.80 c propagation time 3401.59 s
3600.07/3610.80 c conflict analysis time 167.238 s
3600.07/3610.80 c propagations 1430651975
3600.07/3610.80 c resolve steps 19311200
3600.07/3610.80 c decisions 4388797
3600.07/3610.80 c conflicts 1278443
3600.07/3610.80 c restarts 2447
3600.07/3610.80 c inprocessing phases 103
3600.07/3610.80 c input clauses 18351
3600.07/3610.80 c input cardinalities 10
3600.07/3610.80 c input general constraints 14775
3600.07/3610.80 c input average constraint length 3.78
3600.07/3610.80 c input average constraint degree 1.89
3600.07/3610.80 c learned clauses 405851
3600.07/3610.80 c learned cardinalities 3445
3600.07/3610.80 c learned general constraints 869147
3600.07/3610.80 c learned average constraint length 234.44
3600.07/3610.80 c learned average constraint degree 56.77
3600.07/3610.80 c watched constraints 855859
3600.07/3610.80 c counting constraints 28063
3600.07/3610.80 c gcd simplifications 8319
3600.07/3610.80 c detected cardinalities 241
3600.07/3610.80 c weakened non-implied lits 22927571
3600.07/3610.80 c weakened non-implying lits 11571
3600.07/3610.80 c original variables 15725
3600.07/3610.80 c clausal propagations 105382990
3600.07/3610.80 c cardinality propagations 9908232
3600.07/3610.80 c watched propagations 22284283
3600.07/3610.80 c counting propagations 1288927396
3600.07/3610.80 c watch lookups 27739334047
3600.07/3610.80 c watch backjump lookups 5593981368
3600.07/3610.80 c watch checks 373043158661
3600.07/3610.80 c propagation checks 9496920350
3600.07/3610.80 c constraint additions 596434269
3600.07/3610.80 c trail pops 1436307517
3600.07/3610.80 c formula constraints 33136
3600.07/3610.80 c learned constraints 1278443
3600.07/3610.80 c bound constraints 0
3600.07/3610.80 c core-guided constraints 0
3600.07/3610.80 c encountered formula constraints 13919660
3600.07/3610.80 c encountered learned constraints 6669983
3600.07/3610.80 c encountered bound constraints 0
3600.07/3610.80 c encountered core-guided constraints 0
3600.07/3610.80 c LP total time 0 s
3600.07/3610.80 c LP solve time 0 s
3600.07/3610.80 c LP constraints added 0
3600.07/3610.80 c LP constraints removed 0
3600.07/3610.80 c LP pivots internal 0
3600.07/3610.80 c LP pivots root 0
3600.07/3610.80 c LP calls 0
3600.07/3610.80 c LP optimalities 0
3600.07/3610.80 c LP no pivot count 0
3600.07/3610.80 c LP infeasibilities 0
3600.07/3610.80 c LP valid Farkas constraints 0
3600.07/3610.80 c LP learned Farkas constraints 0
3600.07/3610.80 c LP basis resets 0
3600.07/3610.80 c LP cycling count 0
3600.07/3610.80 c LP singular count 0
3600.07/3610.80 c LP no primal count 0
3600.07/3610.80 c LP no farkas count 0
3600.07/3610.80 c LP other issue count 0
3600.07/3610.80 c LP Gomory cuts 0
3600.07/3610.80 c LP learned cuts 0
3600.07/3610.80 c LP deleted cuts 0
3600.07/3610.80 c LP encountered Gomory constraints 0
3600.07/3610.80 c LP encountered Farkas constraints 0
3600.07/3610.80 c LP encountered learned Farkas constraints 0
3600.07/3610.80 c CG auxiliary variables introduced 0
3600.07/3610.80 c CG solutions found 0
3600.07/3610.80 c CG cores constructed 0
3600.07/3610.80 c CG core cardinality constraints returned 0
3600.07/3610.80 c CG unit cores 0
3600.07/3610.80 c CG single cores 0
3600.07/3610.80 c CG blocks removed during cardinality reduction 0
3600.07/3610.80 c CG first core best 0
3600.07/3610.80 c CG decision core best 0
3600.07/3610.80 c CG core reduction tie 0
3600.07/3610.80 c CG core degree average 0.00
3600.07/3610.80 c CG core slack average 0.00
3600.07/3610.80 c CG exhausted 0
3600.07/3610.80 c CG exhaust time 0 s
3600.07/3610.80 c CG trimmed 0
3600.07/3610.80 c CG trim time 0 s
3600.07/3610.80 c CG minimized 0
3600.07/3610.80 c CG minimize time 0 s
3600.07/3610.80 c CG am1 prop time 4e-06 s
3600.07/3610.80 c CG # am1s reformulated 0
3600.07/3610.80 c CG lower bound derived from am1s 0
3600.07/3610.80 c CG # clausal cores 0
3600.07/3610.80 c CG # cardinality cores 0
3600.07/3610.80 c CG # pb cores 0
3600.07/3610.80 c CG # pb reforms 0
3600.07/3610.80 c CG # cores discarded because of pb reform 0
3600.07/3610.80 d LOWERBOUND 0
3600.07/3610.80 d NCORES 0
3600.07/3610.80 d NPBCORES 0
3600.07/3610.80 d NPBREFORM 0
3600.07/3610.80 d NTRIMMED 0
3600.07/3610.80 d NEXHAUSTED 0
3600.07/3610.80 d NAM1S 0
3600.07/3610.80 d AM1LB 0
3600.07/3610.80 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: 64059 MiB (61349 MiB free)
memory of node 1: 64510 MiB (58947 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454540-1721475262/watcher-4454540-1721475262 -o /tmp/evaluation-result-4454540-1721475262/solver-4454540-1721475262 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721471663-1051931 --watchdog 3760 pb-oll-rs HOME/instance-4454540-1721475262.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1054609, runsolver pid=1054606
[startup+0.100531 s]*
/proc/loadavg: 4.46 4.34 4.23 5/243 1054610
/proc/meminfo: memFree=123177336/131655788 swapFree=131071996/131071996
[pid=1054609] ppid=1054606 vsize=42784 memory=11868 CPUtime=0.1 cores=4,6
/proc/1054609/stat : 1054609 (pb-oll-rs) R 1054606 1054609 1051920 0 -1 4194304 1455 0 0 0 7 3 0 0 20 0 1 0 199683112 43810816 2967 134679101440 4194304 5384485 140735850328160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 36503552 140735850333205 140735850333282 140735850333282 140735850340299 0
/proc/1054609/statm: 10696 2967 1184 291 0 2230 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42784 KiB
Current children cumulated memory: 11868 KiB
[startup+0.212924 s]*
/proc/loadavg: 4.46 4.34 4.23 5/243 1054610
/proc/meminfo: memFree=123167776/131655788 swapFree=131071996/131071996
[pid=1054609] ppid=1054606 vsize=44788 memory=14528 CPUtime=0.21 cores=4,6
/proc/1054609/stat : 1054609 (pb-oll-rs) R 1054606 1054609 1051920 0 -1 4194304 1996 0 0 0 17 4 0 0 20 0 1 0 199683112 45862912 3632 134679101440 4194304 5384485 140735850328160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 36503552 140735850333205 140735850333282 140735850333282 140735850340299 0
/proc/1054609/statm: 11197 3632 1359 291 0 2731 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 44788 KiB
Current children cumulated memory: 14528 KiB
[startup+0.312812 s]*
/proc/loadavg: 4.46 4.34 4.23 5/243 1054610
/proc/meminfo: memFree=123166620/131655788 swapFree=131071996/131071996
[pid=1054609] ppid=1054606 vsize=45184 memory=14792 CPUtime=0.31 cores=4,6
/proc/1054609/stat : 1054609 (pb-oll-rs) R 1054606 1054609 1051920 0 -1 4194304 2086 0 0 0 26 5 0 0 20 0 1 0 199683112 46268416 3698 134679101440 4194304 5384485 140735850328160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 36503552 140735850333205 140735850333282 140735850333282 140735850340299 0
/proc/1054609/statm: 11296 3698 1359 291 0 2830 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 45184 KiB
Current children cumulated memory: 14792 KiB
[startup+0.700322 s]
/proc/loadavg: 4.46 4.34 4.23 5/243 1054610
/proc/meminfo: memFree=123159512/131655788 swapFree=131071996/131071996
[pid=1054609] ppid=1054606 vsize=49096 memory=17596 CPUtime=0.69 cores=4,6
/proc/1054609/stat : 1054609 (pb-oll-rs) R 1054606 1054609 1051920 0 -1 4194304 2803 0 0 0 63 6 0 0 20 0 1 0 199683112 50274304 4399 134679101440 4194304 5384485 140735850328160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 36503552 140735850333205 140735850333282 140735850333282 140735850340299 0
/proc/1054609/statm: 12274 4399 1359 291 0 3808 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 49096 KiB
Current children cumulated memory: 17596 KiB
[startup+1.50032 s]
/proc/loadavg: 4.46 4.34 4.23 5/243 1054610
/proc/meminfo: memFree=123132632/131655788 swapFree=131071996/131071996
[pid=1054609] ppid=1054606 vsize=50568 memory=21520 CPUtime=1.48 cores=4,6
/proc/1054609/stat : 1054609 (pb-oll-rs) R 1054606 1054609 1051920 0 -1 4194304 3401 0 0 0 141 7 0 0 20 0 1 0 199683112 51781632 5380 134679101440 4194304 5384485 140735850328160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 36503552 140735850333205 140735850333282 140735850333282 140735850340299 0
/proc/1054609/statm: 12642 5380 1359 291 0 4176 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 50568 KiB
Current children cumulated memory: 21520 KiB
[startup+3.11266 s]
/proc/loadavg: 4.46 4.34 4.23 5/243 1054610
/proc/meminfo: memFree=123031088/131655788 swapFree=131071996/131071996
[pid=1054609] ppid=1054606 vsize=58036 memory=28168 CPUtime=3.09 cores=4,6
/proc/1054609/stat : 1054609 (pb-oll-rs) R 1054606 1054609 1051920 0 -1 4194304 4455 0 0 0 300 9 0 0 20 0 1 0 199683112 59428864 7042 134679101440 4194304 5384485 140735850328160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 36503552 140735850333205 140735850333282 140735850333282 140735850340299 0
/proc/1054609/statm: 14509 7042 1420 291 0 6043 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 58036 KiB
Current children cumulated memory: 28168 KiB
[startup+6.30031 s]
/proc/loadavg: 4.42 4.33 4.23 5/243 1054610
/proc/meminfo: memFree=122981012/131655788 swapFree=131071996/131071996
[pid=1054609] ppid=1054606 vsize=60392 memory=31068 CPUtime=6.27 cores=4,6
/proc/1054609/stat : 1054609 (pb-oll-rs) R 1054606 1054609 1051920 0 -1 4194304 5206 0 0 0 615 12 0 0 20 0 1 0 199683112 61841408 7767 134679101440 4194304 5384485 140735850328160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 36503552 140735850333205 140735850333282 140735850333282 140735850340299 0
/proc/1054609/statm: 15098 7767 1420 291 0 6632 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 60392 KiB
Current children cumulated memory: 31068 KiB
[startup+12.7003 s]
/proc/loadavg: 4.39 4.33 4.23 5/243 1054611
/proc/meminfo: memFree=122799276/131655788 swapFree=131071996/131071996
[pid=1054609] ppid=1054606 vsize=62512 memory=33436 CPUtime=12.65 cores=4,6
/proc/1054609/stat : 1054609 (pb-oll-rs) R 1054606 1054609 1051920 0 -1 4194304 5782 0 0 0 1248 17 0 0 20 0 1 0 199683112 64012288 8359 134679101440 4194304 5384485 140735850328160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 36503552 140735850333205 140735850333282 140735850333282 140735850340299 0
/proc/1054609/statm: 15628 8359 1420 291 0 7162 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 62512 KiB
Current children cumulated memory: 33436 KiB
[startup+25.5003 s]
/proc/loadavg: 4.30 4.31 4.22 5/243 1054614
/proc/meminfo: memFree=122431252/131655788 swapFree=131071996/131071996
[pid=1054609] ppid=1054606 vsize=72216 memory=39204 CPUtime=25.41 cores=4,6
/proc/1054609/stat : 1054609 (pb-oll-rs) R 1054606 1054609 1051920 0 -1 4194304 6954 0 0 0 2514 27 0 0 20 0 1 0 199683112 73949184 9801 134679101440 4194304 5384485 140735850328160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 36503552 140735850333205 140735850333282 140735850333282 140735850340299 0
/proc/1054609/statm: 18054 9801 1420 291 0 9588 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 72216 KiB
Current children cumulated memory: 39204 KiB
[startup+51.1126 s]
/proc/loadavg: 4.26 4.30 4.22 5/243 1054618
/proc/meminfo: memFree=122109936/131655788 swapFree=131071996/131071996
[pid=1054609] ppid=1054606 vsize=76632 memory=46488 CPUtime=50.96 cores=4,6
/proc/1054609/stat : 1054609 (pb-oll-rs) R 1054606 1054609 1051920 0 -1 4194304 8939 0 0 0 5053 43 0 0 20 0 1 0 199683112 78471168 11622 134679101440 4194304 5384485 140735850328160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 36503552 140735850333205 140735850333282 140735850333282 140735850340299 0
/proc/1054609/statm: 19158 11622 1420 291 0 10692 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 76632 KiB
Current children cumulated memory: 46488 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.27 4.21 5/241 1054627
/proc/meminfo: memFree=121128884/131655788 swapFree=131071996/131071996
[pid=1054609] ppid=1054606 vsize=93628 memory=57808 CPUtime=102.01 cores=4,6
/proc/1054609/stat : 1054609 (pb-oll-rs) R 1054606 1054609 1051920 0 -1 4194304 11095 0 0 0 10127 74 0 0 20 0 1 0 199683112 95875072 14452 134679101440 4194304 5384485 140735850328160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 36503552 140735850333205 140735850333282 140735850333282 140735850340299 0
/proc/1054609/statm: 23407 14452 1420 291 0 14941 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 93628 KiB
Current children cumulated memory: 57808 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.23 4.20 5/241 1054637
/proc/meminfo: memFree=120662756/131655788 swapFree=131071996/131071996
[pid=1054609] ppid=1054606 vsize=95936 memory=62484 CPUtime=161.84 cores=4,6
/proc/1054609/stat : 1054609 (pb-oll-rs) R 1054606 1054609 1051920 0 -1 4194304 12485 0 0 0 16077 107 0 0 20 0 1 0 199683112 98238464 15621 134679101440 4194304 5384485 140735850328160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 36503552 140735850333205 140735850333282 140735850333282 140735850340299 0
/proc/1054609/statm: 23984 15621 1420 291 0 15518 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 95936 KiB
Current children cumulated memory: 62484 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.21 4.19 5/241 1054649
/proc/meminfo: memFree=119923460/131655788 swapFree=131071996/131071996
[pid=1054609] ppid=1054606 vsize=118460 memory=69444 CPUtime=221.69 cores=4,6
/proc/1054609/stat : 1054609 (pb-oll-rs) R 1054606 1054609 1051920 0 -1 4194304 14281 0 0 0 22035 134 0 0 20 0 1 0 199683112 121303040 17361 134679101440 4194304 5384485 140735850328160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 36503552 140735850333205 140735850333282 140735850333282 140735850340299 0
/proc/1054609/statm: 29615 17361 1420 291 0 21149 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 118460 KiB
Current children cumulated memory: 69444 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.18 4.18 5/241 1054659
/proc/meminfo: memFree=119393152/131655788 swapFree=131071996/131071996
[pid=1054609] ppid=1054606 vsize=121888 memory=72456 CPUtime=281.53 cores=4,6
/proc/1054609/stat : 1054609 (pb-oll-rs) R 1054606 1054609 1051920 0 -1 4194304 16173 0 0 0 27993 160 0 0 20 0 1 0 199683112 124813312 18114 134679101440 4194304 5384485 140735850328160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 36503552 140735850333205 140735850333282 140735850333282 140735850340299 0
/proc/1054609/statm: 30472 18114 1420 291 0 22006 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 121888 KiB
Current children cumulated memory: 72456 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.16 4.17 5/241 1054669
/proc/meminfo: memFree=119378540/131655788 swapFree=131071996/131071996
[pid=1054609] ppid=1054606 vsize=124836 memory=79096 CPUtime=341.36 cores=4,6
/proc/1054609/stat : 1054609 (pb-oll-rs) R 1054606 1054609 1051920 0 -1 4194304 17644 0 0 0 33954 182 0 0 20 0 1 0 199683112 127832064 19774 134679101440 4194304 5384485 140735850328160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 36503552 140735850333205 140735850333282 140735850333282 140735850340299 0
/proc/1054609/statm: 31209 19774 1420 291 0 22743 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 124836 KiB
Current children cumulated memory: 79096 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.14 4.17 5/244 1054685
/proc/meminfo: memFree=119162124/131655788 swapFree=131071996/131071996
[pid=1054609] ppid=1054606 vsize=127592 memory=83452 CPUtime=401.2 cores=4,6
/proc/1054609/stat : 1054609 (pb-oll-rs) R 1054606 1054609 1051920 0 -1 4194304 19056 0 0 0 39918 202 0 0 20 0 1 0 199683112 130654208 20863 134679101440 4194304 5384485 140735850328160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 36503552 140735850333205 140735850333282 140735850333282 140735850340299 0
/proc/1054609/statm: 31898 20863 1420 291 0 23432 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 127592 KiB
Current children cumulated memory: 83452 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.13 4.16 5/244 1054695
/proc/meminfo: memFree=118304616/131655788 swapFree=131071996/131071996
[pid=1054609] ppid=1054606 vsize=128296 memory=84104 CPUtime=461.04 cores=4,6
/proc/1054609/stat : 1054609 (pb-oll-rs) R 1054606 1054609 1051920 0 -1 4194304 19776 0 0 0 45885 219 0 0 20 0 1 0 199683112 131375104 21026 134679101440 4194304 5384485 140735850328160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 36503552 140735850333205 140735850333282 140735850333282 140735850340299 0
/proc/1054609/statm: 32074 21026 1420 291 0 23608 0
################
# More data... #
################
Current children cumulated memory: 138652 KiB
[startup+2862.3 s]
/proc/loadavg: 4.31 4.18 4.14 5/244 1055792
/proc/meminfo: memFree=113098220/131655788 swapFree=131071996/131071996
[pid=1054609] ppid=1054606 vsize=192280 memory=139784 CPUtime=2853.87 cores=4,6
/proc/1054609/stat : 1054609 (pb-oll-rs) R 1054606 1054609 1051920 0 -1 4194304 41745 0 0 0 284622 765 0 0 20 0 1 0 199683112 196894720 34946 134679101440 4194304 5384485 140735850328160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 36503552 140735850333205 140735850333282 140735850333282 140735850340299 0
/proc/1054609/statm: 48070 34946 1420 291 0 39604 0
Current children cumulated CPU time: 2853.87 s
Current children cumulated vsize: 192280 KiB
Current children cumulated memory: 139784 KiB
[startup+2922.3 s]
/proc/loadavg: 5.05 4.41 4.22 5/245 1055803
/proc/meminfo: memFree=113096728/131655788 swapFree=131071996/131071996
[pid=1054609] ppid=1054606 vsize=192536 memory=140048 CPUtime=2913.69 cores=4,6
/proc/1054609/stat : 1054609 (pb-oll-rs) R 1054606 1054609 1051920 0 -1 4194304 42159 0 0 0 290594 775 0 0 20 0 1 0 199683112 197156864 35012 134679101440 4194304 5384485 140735850328160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 36503552 140735850333205 140735850333282 140735850333282 140735850340299 0
/proc/1054609/statm: 48134 35012 1420 291 0 39668 0
Current children cumulated CPU time: 2913.69 s
Current children cumulated vsize: 192536 KiB
Current children cumulated memory: 140048 KiB
[startup+2982.3 s]
/proc/loadavg: 4.44 4.35 4.21 5/245 1055814
/proc/meminfo: memFree=113068012/131655788 swapFree=131071996/131071996
[pid=1054609] ppid=1054606 vsize=194584 memory=141304 CPUtime=2973.5 cores=4,6
/proc/1054609/stat : 1054609 (pb-oll-rs) R 1054606 1054609 1051920 0 -1 4194304 42507 0 0 0 296561 789 0 0 20 0 1 0 199683112 199254016 35326 134679101440 4194304 5384485 140735850328160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 36503552 140735850333205 140735850333282 140735850333282 140735850340299 0
/proc/1054609/statm: 48646 35326 1420 291 0 40180 0
Current children cumulated CPU time: 2973.5 s
Current children cumulated vsize: 194584 KiB
Current children cumulated memory: 141304 KiB
[startup+3042.3 s]
/proc/loadavg: 4.24 4.31 4.20 5/245 1055825
/proc/meminfo: memFree=112438976/131655788 swapFree=131071996/131071996
[pid=1054609] ppid=1054606 vsize=195224 memory=145920 CPUtime=3033.32 cores=4,6
/proc/1054609/stat : 1054609 (pb-oll-rs) R 1054606 1054609 1051920 0 -1 4194304 42964 0 0 0 302532 800 0 0 20 0 1 0 199683112 199909376 36480 134679101440 4194304 5384485 140735850328160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 36503552 140735850333205 140735850333282 140735850333282 140735850340299 0
/proc/1054609/statm: 48806 36480 1420 291 0 40340 0
Current children cumulated CPU time: 3033.32 s
Current children cumulated vsize: 195224 KiB
Current children cumulated memory: 145920 KiB
[startup+3102.3 s]
/proc/loadavg: 4.18 4.28 4.20 5/245 1056217
/proc/meminfo: memFree=111714880/131655788 swapFree=131071996/131071996
[pid=1054609] ppid=1054606 vsize=195480 memory=146100 CPUtime=3093.13 cores=4,6
/proc/1054609/stat : 1054609 (pb-oll-rs) R 1054606 1054609 1051920 0 -1 4194304 43364 0 0 0 308502 811 0 0 20 0 1 0 199683112 200171520 36525 134679101440 4194304 5384485 140735850328160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 36503552 140735850333205 140735850333282 140735850333282 140735850340299 0
/proc/1054609/statm: 48870 36525 1420 291 0 40404 0
Current children cumulated CPU time: 3093.13 s
Current children cumulated vsize: 195480 KiB
Current children cumulated memory: 146100 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.25 4.18 5/242 1056227
/proc/meminfo: memFree=111608184/131655788 swapFree=131071996/131071996
[pid=1054609] ppid=1054606 vsize=196120 memory=146296 CPUtime=3152.95 cores=4,6
/proc/1054609/stat : 1054609 (pb-oll-rs) R 1054606 1054609 1051920 0 -1 4194304 43476 0 0 0 314471 824 0 0 20 0 1 0 199683112 200826880 36574 134679101440 4194304 5384485 140735850328160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 36503552 140735850333205 140735850333282 140735850333282 140735850340299 0
/proc/1054609/statm: 49030 36574 1420 291 0 40564 0
Current children cumulated CPU time: 3152.95 s
Current children cumulated vsize: 196120 KiB
Current children cumulated memory: 146296 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.23 4.18 5/241 1056238
/proc/meminfo: memFree=111606564/131655788 swapFree=131071996/131071996
[pid=1054609] ppid=1054606 vsize=196120 memory=146616 CPUtime=3212.76 cores=4,6
/proc/1054609/stat : 1054609 (pb-oll-rs) R 1054606 1054609 1051920 0 -1 4194304 43860 0 0 0 320440 836 0 0 20 0 1 0 199683112 200826880 36654 134679101440 4194304 5384485 140735850328160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 36503552 140735850333205 140735850333282 140735850333282 140735850340299 0
/proc/1054609/statm: 49030 36654 1420 291 0 40564 0
Current children cumulated CPU time: 3212.76 s
Current children cumulated vsize: 196120 KiB
Current children cumulated memory: 146616 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.22 4.18 5/243 1056418
/proc/meminfo: memFree=111605252/131655788 swapFree=131071996/131071996
[pid=1054609] ppid=1054606 vsize=197016 memory=147240 CPUtime=3272.58 cores=4,6
/proc/1054609/stat : 1054609 (pb-oll-rs) R 1054606 1054609 1051920 0 -1 4194304 44372 0 0 0 326411 847 0 0 20 0 1 0 199683112 201744384 36810 134679101440 4194304 5384485 140735850328160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 36503552 140735850333205 140735850333282 140735850333282 140735850340299 0
/proc/1054609/statm: 49254 36810 1420 291 0 40788 0
Current children cumulated CPU time: 3272.58 s
Current children cumulated vsize: 197016 KiB
Current children cumulated memory: 147240 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.21 4.18 5/243 1056428
/proc/meminfo: memFree=111604924/131655788 swapFree=131071996/131071996
[pid=1054609] ppid=1054606 vsize=197144 memory=147412 CPUtime=3332.4 cores=4,6
/proc/1054609/stat : 1054609 (pb-oll-rs) R 1054606 1054609 1051920 0 -1 4194304 44768 0 0 0 332383 857 0 0 20 0 1 0 199683112 201875456 36853 134679101440 4194304 5384485 140735850328160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 36503552 140735850333205 140735850333282 140735850333282 140735850340299 0
/proc/1054609/statm: 49286 36853 1420 291 0 40820 0
Current children cumulated CPU time: 3332.4 s
Current children cumulated vsize: 197144 KiB
Current children cumulated memory: 147412 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.18 4.17 5/244 1056496
/proc/meminfo: memFree=111604376/131655788 swapFree=131071996/131071996
[pid=1054609] ppid=1054606 vsize=197400 memory=147412 CPUtime=3392.21 cores=4,6
/proc/1054609/stat : 1054609 (pb-oll-rs) R 1054606 1054609 1051920 0 -1 4194304 44830 0 0 0 338351 870 0 0 20 0 1 0 199683112 202137600 36853 134679101440 4194304 5384485 140735850328160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 36503552 140735850333205 140735850333282 140735850333282 140735850340299 0
/proc/1054609/statm: 49350 36853 1420 291 0 40884 0
Current children cumulated CPU time: 3392.21 s
Current children cumulated vsize: 197400 KiB
Current children cumulated memory: 147412 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.16 4.17 5/244 1056507
/proc/meminfo: memFree=111517168/131655788 swapFree=131071996/131071996
[pid=1054609] ppid=1054606 vsize=197656 memory=150072 CPUtime=3452.02 cores=4,6
/proc/1054609/stat : 1054609 (pb-oll-rs) R 1054606 1054609 1051920 0 -1 4194304 45285 0 0 0 344320 882 0 0 20 0 1 0 199683112 202399744 37518 134679101440 4194304 5384485 140735850328160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 36503552 140735850333205 140735850333282 140735850333282 140735850340299 0
/proc/1054609/statm: 49414 37518 1420 291 0 40948 0
Current children cumulated CPU time: 3452.02 s
Current children cumulated vsize: 197656 KiB
Current children cumulated memory: 150072 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.16 4.17 5/245 1056518
/proc/meminfo: memFree=111197716/131655788 swapFree=131071996/131071996
[pid=1054609] ppid=1054606 vsize=198424 memory=150612 CPUtime=3511.84 cores=4,6
/proc/1054609/stat : 1054609 (pb-oll-rs) R 1054606 1054609 1051920 0 -1 4194304 45779 0 0 0 350293 891 0 0 20 0 1 0 199683112 203186176 37653 134679101440 4194304 5384485 140735850328160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 36503552 140735850333205 140735850333282 140735850333282 140735850340299 0
/proc/1054609/statm: 49606 37653 1420 291 0 41140 0
Current children cumulated CPU time: 3511.84 s
Current children cumulated vsize: 198424 KiB
Current children cumulated memory: 150612 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.16 4.17 5/244 1056529
/proc/meminfo: memFree=111195020/131655788 swapFree=131071996/131071996
[pid=1054609] ppid=1054606 vsize=198424 memory=150612 CPUtime=3571.66 cores=4,6
/proc/1054609/stat : 1054609 (pb-oll-rs) R 1054606 1054609 1051920 0 -1 4194304 45801 0 0 0 356263 903 0 0 20 0 1 0 199683112 203186176 37653 134679101440 4194304 5384485 140735850328160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 36503552 140735850333205 140735850333282 140735850333282 140735850340299 0
/proc/1054609/statm: 49606 37653 1420 291 0 41140 0
Current children cumulated CPU time: 3571.66 s
Current children cumulated vsize: 198424 KiB
Current children cumulated memory: 150612 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 4.15 4.16 4.17 5/242 1056547
/proc/meminfo: memFree=121473924/131655788 swapFree=131071996/131071996
[pid=1054609] ppid=1054606 vsize=199320 memory=151068 CPUtime=3600.07 cores=4,6
/proc/1054609/stat : 1054609 (pb-oll-rs) R 1054606 1054609 1051920 0 -1 4194304 45958 0 0 0 359100 907 0 0 20 0 1 0 199683112 204103680 37767 134679101440 4194304 5384485 140735850328160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 36503552 140735850333205 140735850333282 140735850333282 140735850340299 0
/proc/1054609/statm: 49830 37767 1420 291 0 41364 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 199320 KiB
Current children cumulated memory: 151068 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.81 s]
# the end of solver process 1054609 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.01 s, system=9.08207 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.81
CPU time (s): 3600.09
CPU user time (s): 3591.01
CPU system time (s): 9.08207
CPU usage (%): 99.7031
Max. virtual memory (cumulated for all children) (KiB): 200032
Max. memory (cumulated for all children) (KiB): 151796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.01
system time used= 9.08207
maximum resident set size= 151796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45974
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= 6
involuntary context switches= 2617
# summary of solver processes directly reported to runsolver:
# pid: 1054609
# total CPU time (s): 3600.09
# total CPU user time (s): 3591.01
# total CPU system time (s): 9.08207
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1021 second user time and 35.0327 second system time
The end
Begin job on nodeC012 at 2024-07-20 13:34:34
IDJOB=4454540
IDBENCH=155717
IDSOLVER=3082
FILE ID=nodeC012/4454540-1721475262
RUNJOBID= nodeC012-1721471663-1051931
SLURM_JOB_ID= 7545738
Free space on /tmp= 723732 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/IC/normalized-minisat25_6_3_5_ic.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454540-1721475262/watcher-4454540-1721475262 -o /tmp/evaluation-result-4454540-1721475262/solver-4454540-1721475262 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721471663-1051931 --watchdog 3760 pb-oll-rs HOME/instance-4454540-1721475262.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ee8f5ca8a7564b2d122e7dc0e93c6e43
RANDOM SEED=1158536549
nodeC012.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3511.727
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.37
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 : 2594.196
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.32
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.550
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.37
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.508
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.32
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 : 3492.200
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.37
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 : 3583.078
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.32
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.332
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.37
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.504
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 123187100 kB
MemAvailable: 125942304 kB
Buffers: 562136 kB
Cached: 3020308 kB
SwapCached: 0 kB
Active: 1144156 kB
Inactive: 6721572 kB
Active(anon): 1456 kB
Inactive(anon): 4327720 kB
Active(file): 1142700 kB
Inactive(file): 2393852 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 42896 kB
Writeback: 0 kB
AnonPages: 4283044 kB
Mapped: 111148 kB
Shmem: 45896 kB
KReclaimable: 117368 kB
Slab: 224320 kB
SReclaimable: 117368 kB
SUnreclaim: 106952 kB
KernelStack: 3884 kB
PageTables: 18128 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 4845540 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62528 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2598912 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 312136 kB
DirectMap2M: 33146880 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 723700 MiB
End job on nodeC012 at 2024-07-20 14:34:45