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.22/0.30 c [STEP] solving
0.22/0.30 c #variables 15725 #constraints 33136
0.22/0.30 c SMALL=int, LARGE=long long
0.22/0.30 c bounds - >= -25 @ 0.232315
0.22/0.30 c stratification level: 104487111
49.03/49.29 c #Conflicts: 1000 | #Constraints: 34135
49.03/49.29 c #Conflicts: 2000 | #Constraints: 35135
49.03/49.29 c INPROCESSING
49.03/49.29 c GARBAGE COLLECT
49.03/49.29 c #Conflicts: 3000 | #Constraints: 35140
49.03/49.29 c #Conflicts: 4000 | #Constraints: 36140
49.03/49.29 c INPROCESSING
49.03/49.29 c GARBAGE COLLECT
49.03/49.29 c #Conflicts: 5000 | #Constraints: 35545
49.03/49.29 c #Conflicts: 6000 | #Constraints: 36545
49.03/49.29 c INPROCESSING
49.03/49.29 c GARBAGE COLLECT
49.03/49.29 c #Conflicts: 7000 | #Constraints: 35549
49.03/49.29 c #Conflicts: 8000 | #Constraints: 36549
49.03/49.29 c #Conflicts: 9000 | #Constraints: 37549
49.03/49.29 c INPROCESSING
49.03/49.29 c GARBAGE COLLECT
49.03/49.29 c #Conflicts: 10000 | #Constraints: 36255
49.03/49.29 c #Conflicts: 11000 | #Constraints: 37255
49.03/49.29 c #Conflicts: 12000 | #Constraints: 38255
49.03/49.29 c INPROCESSING
49.03/49.29 c GARBAGE COLLECT
49.03/49.29 c #Conflicts: 13000 | #Constraints: 36700
49.03/49.29 c #Conflicts: 14000 | #Constraints: 37700
49.03/49.29 c #Conflicts: 15000 | #Constraints: 38700
49.03/49.29 c INPROCESSING
49.03/49.29 c GARBAGE COLLECT
49.03/49.29 c #Conflicts: 16000 | #Constraints: 36930
49.03/49.29 c #Conflicts: 17000 | #Constraints: 37930
49.03/49.29 c #Conflicts: 18000 | #Constraints: 38930
49.03/49.29 c INPROCESSING
49.03/49.29 c GARBAGE COLLECT
49.03/49.29 c #Conflicts: 19000 | #Constraints: 36937
49.03/49.29 c #Conflicts: 20000 | #Constraints: 37937
49.03/49.29 c #Conflicts: 21000 | #Constraints: 38937
49.03/49.29 c INPROCESSING
49.03/49.29 c GARBAGE COLLECT
49.03/49.29 c #Conflicts: 22000 | #Constraints: 36748
49.03/49.29 c #Conflicts: 23000 | #Constraints: 37748
49.03/49.29 c #Conflicts: 24000 | #Constraints: 38748
49.03/49.29 c #Conflicts: 25000 | #Constraints: 39748
49.03/49.29 c INPROCESSING
49.03/49.29 c GARBAGE COLLECT
49.03/49.29 c #Conflicts: 26000 | #Constraints: 37352
49.03/49.29 c #Conflicts: 27000 | #Constraints: 38352
49.03/49.29 c #Conflicts: 28000 | #Constraints: 39352
49.03/49.29 c #Conflicts: 29000 | #Constraints: 40352
49.03/49.29 c INPROCESSING
49.03/49.29 c GARBAGE COLLECT
49.03/49.29 c #Conflicts: 30000 | #Constraints: 37755
49.03/49.29 c #Conflicts: 31000 | #Constraints: 38755
49.03/49.29 c #Conflicts: 32000 | #Constraints: 39755
49.03/49.29 c #Conflicts: 33000 | #Constraints: 40755
49.03/49.29 c INPROCESSING
49.03/49.29 c GARBAGE COLLECT
49.03/49.29 c #Conflicts: 34000 | #Constraints: 37958
49.03/49.29 c #Conflicts: 35000 | #Constraints: 38958
49.03/49.29 c #Conflicts: 36000 | #Constraints: 39958
49.03/49.29 c #Conflicts: 37000 | #Constraints: 40958
49.03/49.29 c INPROCESSING
49.03/49.29 c GARBAGE COLLECT
49.03/49.29 c #Conflicts: 38000 | #Constraints: 37970
49.03/49.29 c #Conflicts: 39000 | #Constraints: 38970
49.03/49.29 c #Conflicts: 40000 | #Constraints: 39970
49.03/49.29 c #Conflicts: 41000 | #Constraints: 40970
49.03/49.29 c INPROCESSING
49.03/49.29 c GARBAGE COLLECT
49.03/49.29 c #Conflicts: 42000 | #Constraints: 37770
49.03/49.29 c #Conflicts: 43000 | #Constraints: 38770
49.03/49.29 c #Conflicts: 44000 | #Constraints: 39770
49.03/49.29 c #Conflicts: 45000 | #Constraints: 40770
49.03/49.29 c #Conflicts: 46000 | #Constraints: 41770
49.03/49.29 c INPROCESSING
49.03/49.29 c GARBAGE COLLECT
49.03/49.29 c #Conflicts: 47000 | #Constraints: 38368
49.03/49.29 c #Conflicts: 48000 | #Constraints: 39368
49.03/49.29 c #Conflicts: 49000 | #Constraints: 40368
49.03/49.29 c #Conflicts: 50000 | #Constraints: 41368
49.03/49.29 c #Conflicts: 51000 | #Constraints: 42368
49.03/49.29 c INPROCESSING
49.03/49.29 c GARBAGE COLLECT
49.03/49.29 c #Conflicts: 52000 | #Constraints: 38763
49.03/49.29 c #Conflicts: 53000 | #Constraints: 39763
49.03/49.29 c #Conflicts: 54000 | #Constraints: 40763
49.03/49.29 c #Conflicts: 55000 | #Constraints: 41763
49.03/49.29 c #Conflicts: 56000 | #Constraints: 42763
49.03/49.29 c INPROCESSING
49.03/49.29 c GARBAGE COLLECT
49.03/49.29 c #Conflicts: 57000 | #Constraints: 38959
49.03/49.29 c #Conflicts: 58000 | #Constraints: 39959
49.03/49.29 c #Conflicts: 59000 | #Constraints: 40959
49.03/49.29 c #Conflicts: 60000 | #Constraints: 41959
49.03/49.29 c #Conflicts: 61000 | #Constraints: 42959
49.03/49.29 c INPROCESSING
49.03/49.29 c GARBAGE COLLECT
49.03/49.29 c #Conflicts: 62000 | #Constraints: 38969
49.03/49.29 c #Conflicts: 63000 | #Constraints: 39969
49.03/49.29 c #Conflicts: 64000 | #Constraints: 40969
49.03/49.29 c #Conflicts: 65000 | #Constraints: 41969
49.03/49.29 c #Conflicts: 66000 | #Constraints: 42969
49.03/49.29 c INPROCESSING
49.03/49.29 c GARBAGE COLLECT
49.03/49.29 c #Conflicts: 67000 | #Constraints: 38770
49.03/49.29 c #Conflicts: 68000 | #Constraints: 39770
126.14/126.56 c #Conflicts: 69000 | #Constraints: 40770
126.14/126.56 c #Conflicts: 70000 | #Constraints: 41770
126.14/126.56 c #Conflicts: 71000 | #Constraints: 42770
126.14/126.56 c #Conflicts: 72000 | #Constraints: 43770
126.14/126.56 c INPROCESSING
126.14/126.56 c GARBAGE COLLECT
126.14/126.56 c #Conflicts: 73000 | #Constraints: 39373
126.14/126.56 c #Conflicts: 74000 | #Constraints: 40373
126.14/126.56 c #Conflicts: 75000 | #Constraints: 41373
126.14/126.56 c #Conflicts: 76000 | #Constraints: 42373
126.14/126.56 c #Conflicts: 77000 | #Constraints: 43373
126.14/126.56 c #Conflicts: 78000 | #Constraints: 44373
126.14/126.56 c INPROCESSING
126.14/126.56 c GARBAGE COLLECT
126.14/126.56 c #Conflicts: 79000 | #Constraints: 39767
126.14/126.56 c #Conflicts: 80000 | #Constraints: 40767
126.14/126.56 c #Conflicts: 81000 | #Constraints: 41767
126.14/126.56 c #Conflicts: 82000 | #Constraints: 42767
126.14/126.56 c #Conflicts: 83000 | #Constraints: 43767
126.14/126.56 c #Conflicts: 84000 | #Constraints: 44767
126.14/126.56 c INPROCESSING
126.14/126.56 c GARBAGE COLLECT
126.14/126.56 c #Conflicts: 85000 | #Constraints: 39969
126.14/126.56 c #Conflicts: 86000 | #Constraints: 40969
126.14/126.56 c #Conflicts: 87000 | #Constraints: 41969
126.14/126.56 c #Conflicts: 88000 | #Constraints: 42969
126.14/126.56 c #Conflicts: 89000 | #Constraints: 43969
126.14/126.56 c #Conflicts: 90000 | #Constraints: 44969
126.14/126.56 c INPROCESSING
126.14/126.56 c GARBAGE COLLECT
126.14/126.56 c #Conflicts: 91000 | #Constraints: 39966
126.14/126.56 c #Conflicts: 92000 | #Constraints: 40966
126.14/126.56 c #Conflicts: 93000 | #Constraints: 41966
126.14/126.56 c #Conflicts: 94000 | #Constraints: 42966
126.14/126.56 c #Conflicts: 95000 | #Constraints: 43966
126.14/126.56 c #Conflicts: 96000 | #Constraints: 44966
126.14/126.56 c INPROCESSING
126.14/126.56 c GARBAGE COLLECT
126.14/126.56 c #Conflicts: 97000 | #Constraints: 39762
126.14/126.56 c #Conflicts: 98000 | #Constraints: 40762
126.14/126.56 c #Conflicts: 99000 | #Constraints: 41762
126.14/126.56 c #Conflicts: 100000 | #Constraints: 42762
126.14/126.56 c #Conflicts: 101000 | #Constraints: 43762
126.14/126.56 c #Conflicts: 102000 | #Constraints: 44762
126.14/126.56 c #Conflicts: 103000 | #Constraints: 45762
126.14/126.56 c INPROCESSING
126.14/126.56 c GARBAGE COLLECT
126.14/126.56 c #Conflicts: 104000 | #Constraints: 40367
126.14/126.56 c #Conflicts: 105000 | #Constraints: 41367
126.14/126.56 c #Conflicts: 106000 | #Constraints: 42367
126.14/126.56 c #Conflicts: 107000 | #Constraints: 43367
126.14/126.56 c #Conflicts: 108000 | #Constraints: 44367
126.14/126.56 c #Conflicts: 109000 | #Constraints: 45367
126.14/126.56 c #Conflicts: 110000 | #Constraints: 46367
126.14/126.56 c INPROCESSING
126.14/126.56 c GARBAGE COLLECT
126.14/126.56 c #Conflicts: 111000 | #Constraints: 40761
126.14/126.56 c #Conflicts: 112000 | #Constraints: 41761
126.14/126.56 c #Conflicts: 113000 | #Constraints: 42761
126.14/126.56 c #Conflicts: 114000 | #Constraints: 43761
126.14/126.56 c #Conflicts: 115000 | #Constraints: 44761
126.14/126.56 c #Conflicts: 116000 | #Constraints: 45761
126.14/126.56 c #Conflicts: 117000 | #Constraints: 46761
126.14/126.56 c INPROCESSING
126.14/126.56 c GARBAGE COLLECT
126.14/126.56 c #Conflicts: 118000 | #Constraints: 40961
126.14/126.56 c #Conflicts: 119000 | #Constraints: 41961
126.14/126.56 c #Conflicts: 120000 | #Constraints: 42961
126.14/126.56 c #Conflicts: 121000 | #Constraints: 43961
126.14/126.56 c #Conflicts: 122000 | #Constraints: 44961
126.14/126.56 c #Conflicts: 123000 | #Constraints: 45961
126.14/126.56 c #Conflicts: 124000 | #Constraints: 46961
126.14/126.56 c INPROCESSING
126.14/126.56 c GARBAGE COLLECT
126.14/126.56 c #Conflicts: 125000 | #Constraints: 40977
126.14/126.56 c #Conflicts: 126000 | #Constraints: 41977
126.14/126.56 c #Conflicts: 127000 | #Constraints: 42977
126.14/126.56 c #Conflicts: 128000 | #Constraints: 43977
126.14/126.56 c #Conflicts: 129000 | #Constraints: 44977
126.14/126.56 c #Conflicts: 130000 | #Constraints: 45977
126.14/126.56 c #Conflicts: 131000 | #Constraints: 46977
126.14/126.56 c INPROCESSING
126.14/126.56 c GARBAGE COLLECT
126.14/126.56 c #Conflicts: 132000 | #Constraints: 40764
126.14/126.56 c #Conflicts: 133000 | #Constraints: 41764
126.14/126.56 c #Conflicts: 134000 | #Constraints: 42764
126.14/126.56 c #Conflicts: 135000 | #Constraints: 43764
126.14/126.56 c #Conflicts: 136000 | #Constraints: 44764
126.14/126.56 c #Conflicts: 137000 | #Constraints: 45764
126.14/126.56 c #Conflicts: 138000 | #Constraints: 46764
126.14/126.56 c #Conflicts: 139000 | #Constraints: 47764
126.14/126.56 c INPROCESSING
126.14/126.56 c GARBAGE COLLECT
126.14/126.56 c #Conflicts: 140000 | #Constraints: 41359
223.57/224.26 c #Conflicts: 141000 | #Constraints: 42359
223.57/224.26 c #Conflicts: 142000 | #Constraints: 43359
223.57/224.26 c #Conflicts: 143000 | #Constraints: 44359
223.57/224.26 c #Conflicts: 144000 | #Constraints: 45359
223.57/224.26 c #Conflicts: 145000 | #Constraints: 46359
223.57/224.26 c #Conflicts: 146000 | #Constraints: 47359
223.57/224.26 c #Conflicts: 147000 | #Constraints: 48359
223.57/224.26 c INPROCESSING
223.57/224.26 c GARBAGE COLLECT
223.57/224.26 c #Conflicts: 148000 | #Constraints: 41785
223.57/224.26 c #Conflicts: 149000 | #Constraints: 42785
223.57/224.26 c #Conflicts: 150000 | #Constraints: 43785
223.57/224.26 c #Conflicts: 151000 | #Constraints: 44785
223.57/224.26 c #Conflicts: 152000 | #Constraints: 45785
223.57/224.26 c #Conflicts: 153000 | #Constraints: 46785
223.57/224.26 c #Conflicts: 154000 | #Constraints: 47785
223.57/224.26 c #Conflicts: 155000 | #Constraints: 48785
223.57/224.26 c INPROCESSING
223.57/224.26 c GARBAGE COLLECT
223.57/224.26 c #Conflicts: 156000 | #Constraints: 41980
223.57/224.26 c #Conflicts: 157000 | #Constraints: 42980
223.57/224.26 c #Conflicts: 158000 | #Constraints: 43980
223.57/224.26 c #Conflicts: 159000 | #Constraints: 44980
223.57/224.26 c #Conflicts: 160000 | #Constraints: 45980
223.57/224.26 c #Conflicts: 161000 | #Constraints: 46980
223.57/224.26 c #Conflicts: 162000 | #Constraints: 47980
223.57/224.26 c #Conflicts: 163000 | #Constraints: 48980
223.57/224.26 c INPROCESSING
223.57/224.26 c GARBAGE COLLECT
223.57/224.26 c #Conflicts: 164000 | #Constraints: 41967
223.57/224.26 c #Conflicts: 165000 | #Constraints: 42967
223.57/224.26 c #Conflicts: 166000 | #Constraints: 43967
223.57/224.26 c #Conflicts: 167000 | #Constraints: 44967
223.57/224.26 c #Conflicts: 168000 | #Constraints: 45967
223.57/224.26 c #Conflicts: 169000 | #Constraints: 46967
223.57/224.26 c #Conflicts: 170000 | #Constraints: 47967
223.57/224.26 c #Conflicts: 171000 | #Constraints: 48967
223.57/224.26 c INPROCESSING
223.57/224.26 c GARBAGE COLLECT
223.57/224.26 c #Conflicts: 172000 | #Constraints: 41770
223.57/224.26 c #Conflicts: 173000 | #Constraints: 42770
223.57/224.26 c #Conflicts: 174000 | #Constraints: 43770
223.57/224.26 c #Conflicts: 175000 | #Constraints: 44770
223.57/224.26 c #Conflicts: 176000 | #Constraints: 45770
223.57/224.26 c #Conflicts: 177000 | #Constraints: 46770
223.57/224.26 c #Conflicts: 178000 | #Constraints: 47770
223.57/224.26 c #Conflicts: 179000 | #Constraints: 48770
223.57/224.26 c #Conflicts: 180000 | #Constraints: 49770
223.57/224.26 c INPROCESSING
223.57/224.26 c GARBAGE COLLECT
223.57/224.26 c #Conflicts: 181000 | #Constraints: 42365
223.57/224.26 c #Conflicts: 182000 | #Constraints: 43365
223.57/224.26 c #Conflicts: 183000 | #Constraints: 44365
223.57/224.26 c #Conflicts: 184000 | #Constraints: 45365
223.57/224.26 c #Conflicts: 185000 | #Constraints: 46365
223.57/224.26 c #Conflicts: 186000 | #Constraints: 47365
223.57/224.26 c #Conflicts: 187000 | #Constraints: 48365
223.57/224.26 c #Conflicts: 188000 | #Constraints: 49365
223.57/224.26 c #Conflicts: 189000 | #Constraints: 50365
223.57/224.26 c INPROCESSING
223.57/224.26 c GARBAGE COLLECT
223.57/224.26 c #Conflicts: 190000 | #Constraints: 42776
223.57/224.26 c #Conflicts: 191000 | #Constraints: 43776
223.57/224.26 c #Conflicts: 192000 | #Constraints: 44776
223.57/224.26 c #Conflicts: 193000 | #Constraints: 45776
223.57/224.26 c #Conflicts: 194000 | #Constraints: 46776
223.57/224.26 c #Conflicts: 195000 | #Constraints: 47776
223.57/224.26 c #Conflicts: 196000 | #Constraints: 48776
223.57/224.26 c #Conflicts: 197000 | #Constraints: 49776
223.57/224.26 c #Conflicts: 198000 | #Constraints: 50776
223.57/224.26 c INPROCESSING
223.57/224.26 c GARBAGE COLLECT
223.57/224.26 c #Conflicts: 199000 | #Constraints: 42973
223.57/224.26 c #Conflicts: 200000 | #Constraints: 43973
223.57/224.26 c #Conflicts: 201000 | #Constraints: 44973
223.57/224.26 c #Conflicts: 202000 | #Constraints: 45973
223.57/224.26 c #Conflicts: 203000 | #Constraints: 46973
223.57/224.26 c #Conflicts: 204000 | #Constraints: 47973
223.57/224.26 c #Conflicts: 205000 | #Constraints: 48973
223.57/224.26 c #Conflicts: 206000 | #Constraints: 49973
223.57/224.26 c #Conflicts: 207000 | #Constraints: 50973
223.57/224.26 c INPROCESSING
223.57/224.26 c GARBAGE COLLECT
223.57/224.26 c #Conflicts: 208000 | #Constraints: 42974
223.57/224.26 c #Conflicts: 209000 | #Constraints: 43974
223.57/224.26 c #Conflicts: 210000 | #Constraints: 44974
223.57/224.26 c #Conflicts: 211000 | #Constraints: 45974
223.57/224.26 c #Conflicts: 212000 | #Constraints: 46974
223.57/224.26 c #Conflicts: 213000 | #Constraints: 47974
360.79/361.86 c #Conflicts: 214000 | #Constraints: 48974
360.79/361.86 c #Conflicts: 215000 | #Constraints: 49974
360.79/361.86 c #Conflicts: 216000 | #Constraints: 50974
360.79/361.86 c INPROCESSING
360.79/361.86 c GARBAGE COLLECT
360.79/361.86 c #Conflicts: 217000 | #Constraints: 42778
360.79/361.86 c #Conflicts: 218000 | #Constraints: 43778
360.79/361.86 c #Conflicts: 219000 | #Constraints: 44778
360.79/361.86 c #Conflicts: 220000 | #Constraints: 45778
360.79/361.86 c #Conflicts: 221000 | #Constraints: 46778
360.79/361.86 c #Conflicts: 222000 | #Constraints: 47778
360.79/361.86 c #Conflicts: 223000 | #Constraints: 48778
360.79/361.86 c #Conflicts: 224000 | #Constraints: 49778
360.79/361.86 c #Conflicts: 225000 | #Constraints: 50778
360.79/361.86 c #Conflicts: 226000 | #Constraints: 51778
360.79/361.86 c INPROCESSING
360.79/361.86 c GARBAGE COLLECT
360.79/361.86 c #Conflicts: 227000 | #Constraints: 43383
360.79/361.86 c #Conflicts: 228000 | #Constraints: 44383
360.79/361.86 c #Conflicts: 229000 | #Constraints: 45383
360.79/361.86 c #Conflicts: 230000 | #Constraints: 46383
360.79/361.86 c #Conflicts: 231000 | #Constraints: 47383
360.79/361.86 c #Conflicts: 232000 | #Constraints: 48383
360.79/361.86 c #Conflicts: 233000 | #Constraints: 49383
360.79/361.86 c #Conflicts: 234000 | #Constraints: 50383
360.79/361.86 c #Conflicts: 235000 | #Constraints: 51383
360.79/361.86 c #Conflicts: 236000 | #Constraints: 52383
360.79/361.86 c INPROCESSING
360.79/361.86 c GARBAGE COLLECT
360.79/361.86 c #Conflicts: 237000 | #Constraints: 43784
360.79/361.86 c #Conflicts: 238000 | #Constraints: 44784
360.79/361.86 c #Conflicts: 239000 | #Constraints: 45784
360.79/361.86 c #Conflicts: 240000 | #Constraints: 46784
360.79/361.86 c #Conflicts: 241000 | #Constraints: 47784
360.79/361.86 c #Conflicts: 242000 | #Constraints: 48784
360.79/361.86 c #Conflicts: 243000 | #Constraints: 49784
360.79/361.86 c #Conflicts: 244000 | #Constraints: 50784
360.79/361.86 c #Conflicts: 245000 | #Constraints: 51784
360.79/361.86 c #Conflicts: 246000 | #Constraints: 52784
360.79/361.86 c INPROCESSING
360.79/361.86 c GARBAGE COLLECT
360.79/361.86 c #Conflicts: 247000 | #Constraints: 43978
360.79/361.86 c #Conflicts: 248000 | #Constraints: 44978
360.79/361.86 c #Conflicts: 249000 | #Constraints: 45978
360.79/361.86 c #Conflicts: 250000 | #Constraints: 46978
360.79/361.86 c #Conflicts: 251000 | #Constraints: 47978
360.79/361.86 c #Conflicts: 252000 | #Constraints: 48978
360.79/361.86 c #Conflicts: 253000 | #Constraints: 49978
360.79/361.86 c #Conflicts: 254000 | #Constraints: 50978
360.79/361.86 c #Conflicts: 255000 | #Constraints: 51978
360.79/361.86 c #Conflicts: 256000 | #Constraints: 52978
360.79/361.86 c INPROCESSING
360.79/361.86 c GARBAGE COLLECT
360.79/361.86 c #Conflicts: 257000 | #Constraints: 43977
360.79/361.86 c #Conflicts: 258000 | #Constraints: 44977
360.79/361.86 c #Conflicts: 259000 | #Constraints: 45977
360.79/361.86 c #Conflicts: 260000 | #Constraints: 46977
360.79/361.86 c #Conflicts: 261000 | #Constraints: 47977
360.79/361.86 c #Conflicts: 262000 | #Constraints: 48977
360.79/361.86 c #Conflicts: 263000 | #Constraints: 49977
360.79/361.86 c #Conflicts: 264000 | #Constraints: 50977
360.79/361.86 c #Conflicts: 265000 | #Constraints: 51977
360.79/361.86 c #Conflicts: 266000 | #Constraints: 52977
360.79/361.86 c INPROCESSING
360.79/361.86 c GARBAGE COLLECT
360.79/361.86 c #Conflicts: 267000 | #Constraints: 43774
360.79/361.86 c #Conflicts: 268000 | #Constraints: 44774
360.79/361.86 c #Conflicts: 269000 | #Constraints: 45774
360.79/361.86 c #Conflicts: 270000 | #Constraints: 46774
360.79/361.86 c #Conflicts: 271000 | #Constraints: 47774
360.79/361.86 c #Conflicts: 272000 | #Constraints: 48774
360.79/361.86 c #Conflicts: 273000 | #Constraints: 49774
360.79/361.86 c #Conflicts: 274000 | #Constraints: 50774
360.79/361.86 c #Conflicts: 275000 | #Constraints: 51774
360.79/361.86 c #Conflicts: 276000 | #Constraints: 52774
360.79/361.86 c #Conflicts: 277000 | #Constraints: 53774
360.79/361.86 c INPROCESSING
360.79/361.86 c GARBAGE COLLECT
360.79/361.86 c #Conflicts: 278000 | #Constraints: 44375
360.79/361.86 c #Conflicts: 279000 | #Constraints: 45375
360.79/361.86 c #Conflicts: 280000 | #Constraints: 46375
360.79/361.86 c #Conflicts: 281000 | #Constraints: 47375
360.79/361.86 c #Conflicts: 282000 | #Constraints: 48375
360.79/361.86 c #Conflicts: 283000 | #Constraints: 49375
360.79/361.86 c #Conflicts: 284000 | #Constraints: 50375
360.79/361.86 c #Conflicts: 285000 | #Constraints: 51375
360.79/361.86 c #Conflicts: 286000 | #Constraints: 52375
360.79/361.86 c #Conflicts: 287000 | #Constraints: 53375
360.79/361.86 c #Conflicts: 288000 | #Constraints: 54375
513.58/515.04 c INPROCESSING
513.58/515.04 c GARBAGE COLLECT
513.58/515.04 c #Conflicts: 289000 | #Constraints: 44783
513.58/515.04 c #Conflicts: 290000 | #Constraints: 45783
513.58/515.04 c #Conflicts: 291000 | #Constraints: 46783
513.58/515.04 c #Conflicts: 292000 | #Constraints: 47783
513.58/515.04 c #Conflicts: 293000 | #Constraints: 48783
513.58/515.04 c #Conflicts: 294000 | #Constraints: 49783
513.58/515.04 c #Conflicts: 295000 | #Constraints: 50783
513.58/515.04 c #Conflicts: 296000 | #Constraints: 51783
513.58/515.04 c #Conflicts: 297000 | #Constraints: 52783
513.58/515.04 c #Conflicts: 298000 | #Constraints: 53783
513.58/515.04 c #Conflicts: 299000 | #Constraints: 54783
513.58/515.04 c INPROCESSING
513.58/515.04 c GARBAGE COLLECT
513.58/515.04 c #Conflicts: 300000 | #Constraints: 44979
513.58/515.04 c #Conflicts: 301000 | #Constraints: 45979
513.58/515.04 c #Conflicts: 302000 | #Constraints: 46979
513.58/515.04 c #Conflicts: 303000 | #Constraints: 47979
513.58/515.04 c #Conflicts: 304000 | #Constraints: 48979
513.58/515.04 c #Conflicts: 305000 | #Constraints: 49979
513.58/515.04 c #Conflicts: 306000 | #Constraints: 50979
513.58/515.04 c #Conflicts: 307000 | #Constraints: 51979
513.58/515.04 c #Conflicts: 308000 | #Constraints: 52979
513.58/515.04 c #Conflicts: 309000 | #Constraints: 53979
513.58/515.04 c #Conflicts: 310000 | #Constraints: 54979
513.58/515.04 c INPROCESSING
513.58/515.04 c GARBAGE COLLECT
513.58/515.04 c #Conflicts: 311000 | #Constraints: 44974
513.58/515.04 c #Conflicts: 312000 | #Constraints: 45974
513.58/515.04 c #Conflicts: 313000 | #Constraints: 46974
513.58/515.04 c #Conflicts: 314000 | #Constraints: 47974
513.58/515.04 c #Conflicts: 315000 | #Constraints: 48974
513.58/515.04 c #Conflicts: 316000 | #Constraints: 49974
513.58/515.04 c #Conflicts: 317000 | #Constraints: 50974
513.58/515.04 c #Conflicts: 318000 | #Constraints: 51974
513.58/515.04 c #Conflicts: 319000 | #Constraints: 52974
513.58/515.04 c #Conflicts: 320000 | #Constraints: 53974
513.58/515.04 c #Conflicts: 321000 | #Constraints: 54974
513.58/515.04 c INPROCESSING
513.58/515.04 c GARBAGE COLLECT
513.58/515.04 c #Conflicts: 322000 | #Constraints: 44775
513.58/515.04 c #Conflicts: 323000 | #Constraints: 45775
513.58/515.04 c #Conflicts: 324000 | #Constraints: 46775
513.58/515.04 c #Conflicts: 325000 | #Constraints: 47775
513.58/515.04 c #Conflicts: 326000 | #Constraints: 48775
513.58/515.04 c #Conflicts: 327000 | #Constraints: 49775
513.58/515.04 c #Conflicts: 328000 | #Constraints: 50775
513.58/515.04 c #Conflicts: 329000 | #Constraints: 51775
513.58/515.04 c #Conflicts: 330000 | #Constraints: 52775
513.58/515.04 c #Conflicts: 331000 | #Constraints: 53775
513.58/515.04 c #Conflicts: 332000 | #Constraints: 54775
513.58/515.04 c #Conflicts: 333000 | #Constraints: 55775
513.58/515.04 c INPROCESSING
513.58/515.04 c GARBAGE COLLECT
513.58/515.04 c #Conflicts: 334000 | #Constraints: 45377
513.58/515.04 c #Conflicts: 335000 | #Constraints: 46377
513.58/515.04 c #Conflicts: 336000 | #Constraints: 47377
513.58/515.04 c #Conflicts: 337000 | #Constraints: 48377
513.58/515.04 c #Conflicts: 338000 | #Constraints: 49377
513.58/515.04 c #Conflicts: 339000 | #Constraints: 50377
513.58/515.04 c #Conflicts: 340000 | #Constraints: 51377
513.58/515.04 c #Conflicts: 341000 | #Constraints: 52377
513.58/515.04 c #Conflicts: 342000 | #Constraints: 53377
513.58/515.04 c #Conflicts: 343000 | #Constraints: 54377
513.58/515.04 c #Conflicts: 344000 | #Constraints: 55377
513.58/515.04 c #Conflicts: 345000 | #Constraints: 56377
513.58/515.04 c INPROCESSING
513.58/515.04 c GARBAGE COLLECT
513.58/515.04 c #Conflicts: 346000 | #Constraints: 45780
513.58/515.04 c #Conflicts: 347000 | #Constraints: 46780
513.58/515.04 c #Conflicts: 348000 | #Constraints: 47780
513.58/515.04 c #Conflicts: 349000 | #Constraints: 48780
513.58/515.04 c #Conflicts: 350000 | #Constraints: 49780
513.58/515.04 c #Conflicts: 351000 | #Constraints: 50780
513.58/515.04 c #Conflicts: 352000 | #Constraints: 51780
513.58/515.04 c #Conflicts: 353000 | #Constraints: 52780
513.58/515.04 c #Conflicts: 354000 | #Constraints: 53780
513.58/515.04 c #Conflicts: 355000 | #Constraints: 54780
513.58/515.04 c #Conflicts: 356000 | #Constraints: 55780
513.58/515.04 c #Conflicts: 357000 | #Constraints: 56780
513.58/515.04 c INPROCESSING
513.58/515.04 c GARBAGE COLLECT
513.58/515.04 c #Conflicts: 358000 | #Constraints: 45978
513.58/515.04 c #Conflicts: 359000 | #Constraints: 46978
513.58/515.04 c #Conflicts: 360000 | #Constraints: 47978
513.58/515.04 c #Conflicts: 361000 | #Constraints: 48978
513.58/515.04 c #Conflicts: 362000 | #Constraints: 49978
691.57/693.58 c #Conflicts: 363000 | #Constraints: 50978
691.57/693.58 c #Conflicts: 364000 | #Constraints: 51978
691.57/693.58 c #Conflicts: 365000 | #Constraints: 52978
691.57/693.58 c #Conflicts: 366000 | #Constraints: 53978
691.57/693.58 c #Conflicts: 367000 | #Constraints: 54978
691.57/693.58 c #Conflicts: 368000 | #Constraints: 55978
691.57/693.58 c #Conflicts: 369000 | #Constraints: 56978
691.57/693.58 c INPROCESSING
691.57/693.58 c GARBAGE COLLECT
691.57/693.58 c #Conflicts: 370000 | #Constraints: 45993
691.57/693.58 c #Conflicts: 371000 | #Constraints: 46993
691.57/693.58 c #Conflicts: 372000 | #Constraints: 47993
691.57/693.58 c #Conflicts: 373000 | #Constraints: 48993
691.57/693.58 c #Conflicts: 374000 | #Constraints: 49993
691.57/693.58 c #Conflicts: 375000 | #Constraints: 50993
691.57/693.58 c #Conflicts: 376000 | #Constraints: 51993
691.57/693.58 c #Conflicts: 377000 | #Constraints: 52993
691.57/693.58 c #Conflicts: 378000 | #Constraints: 53993
691.57/693.58 c #Conflicts: 379000 | #Constraints: 54993
691.57/693.58 c #Conflicts: 380000 | #Constraints: 55993
691.57/693.58 c #Conflicts: 381000 | #Constraints: 56993
691.57/693.58 c INPROCESSING
691.57/693.58 c GARBAGE COLLECT
691.57/693.58 c #Conflicts: 382000 | #Constraints: 45774
691.57/693.58 c #Conflicts: 383000 | #Constraints: 46774
691.57/693.58 c #Conflicts: 384000 | #Constraints: 47774
691.57/693.58 c #Conflicts: 385000 | #Constraints: 48774
691.57/693.58 c #Conflicts: 386000 | #Constraints: 49774
691.57/693.58 c #Conflicts: 387000 | #Constraints: 50774
691.57/693.58 c #Conflicts: 388000 | #Constraints: 51774
691.57/693.58 c #Conflicts: 389000 | #Constraints: 52774
691.57/693.58 c #Conflicts: 390000 | #Constraints: 53774
691.57/693.58 c #Conflicts: 391000 | #Constraints: 54774
691.57/693.58 c #Conflicts: 392000 | #Constraints: 55774
691.57/693.58 c #Conflicts: 393000 | #Constraints: 56774
691.57/693.58 c #Conflicts: 394000 | #Constraints: 57774
691.57/693.58 c INPROCESSING
691.57/693.58 c GARBAGE COLLECT
691.57/693.58 c #Conflicts: 395000 | #Constraints: 46370
691.57/693.58 c #Conflicts: 396000 | #Constraints: 47370
691.57/693.58 c #Conflicts: 397000 | #Constraints: 48370
691.57/693.58 c #Conflicts: 398000 | #Constraints: 49370
691.57/693.58 c #Conflicts: 399000 | #Constraints: 50370
691.57/693.58 c #Conflicts: 400000 | #Constraints: 51370
691.57/693.58 c #Conflicts: 401000 | #Constraints: 52370
691.57/693.58 c #Conflicts: 402000 | #Constraints: 53370
691.57/693.58 c #Conflicts: 403000 | #Constraints: 54370
691.57/693.58 c #Conflicts: 404000 | #Constraints: 55370
691.57/693.58 c #Conflicts: 405000 | #Constraints: 56370
691.57/693.58 c #Conflicts: 406000 | #Constraints: 57370
691.57/693.58 c #Conflicts: 407000 | #Constraints: 58370
691.57/693.58 c INPROCESSING
691.57/693.58 c GARBAGE COLLECT
691.57/693.58 c #Conflicts: 408000 | #Constraints: 46770
691.57/693.58 c #Conflicts: 409000 | #Constraints: 47770
691.57/693.58 c #Conflicts: 410000 | #Constraints: 48770
691.57/693.58 c #Conflicts: 411000 | #Constraints: 49770
691.57/693.58 c #Conflicts: 412000 | #Constraints: 50770
691.57/693.58 c #Conflicts: 413000 | #Constraints: 51770
691.57/693.58 c #Conflicts: 414000 | #Constraints: 52770
691.57/693.58 c #Conflicts: 415000 | #Constraints: 53770
691.57/693.58 c #Conflicts: 416000 | #Constraints: 54770
691.57/693.58 c #Conflicts: 417000 | #Constraints: 55770
691.57/693.58 c #Conflicts: 418000 | #Constraints: 56770
691.57/693.58 c #Conflicts: 419000 | #Constraints: 57770
691.57/693.58 c #Conflicts: 420000 | #Constraints: 58770
691.57/693.58 c INPROCESSING
691.57/693.58 c GARBAGE COLLECT
691.57/693.58 c #Conflicts: 421000 | #Constraints: 46964
691.57/693.58 c #Conflicts: 422000 | #Constraints: 47964
691.57/693.58 c #Conflicts: 423000 | #Constraints: 48964
691.57/693.58 c #Conflicts: 424000 | #Constraints: 49964
691.57/693.58 c #Conflicts: 425000 | #Constraints: 50964
691.57/693.58 c #Conflicts: 426000 | #Constraints: 51964
691.57/693.58 c #Conflicts: 427000 | #Constraints: 52964
691.57/693.58 c #Conflicts: 428000 | #Constraints: 53964
691.57/693.58 c #Conflicts: 429000 | #Constraints: 54964
691.57/693.58 c #Conflicts: 430000 | #Constraints: 55964
691.57/693.58 c #Conflicts: 431000 | #Constraints: 56964
691.57/693.58 c #Conflicts: 432000 | #Constraints: 57964
691.57/693.58 c #Conflicts: 433000 | #Constraints: 58964
691.57/693.58 c INPROCESSING
691.57/693.58 c GARBAGE COLLECT
691.57/693.58 c #Conflicts: 434000 | #Constraints: 46973
691.57/693.58 c #Conflicts: 435000 | #Constraints: 47973
691.57/693.58 c #Conflicts: 436000 | #Constraints: 48973
691.57/693.58 c #Conflicts: 437000 | #Constraints: 49973
881.57/884.08 c #Conflicts: 438000 | #Constraints: 50973
881.57/884.08 c #Conflicts: 439000 | #Constraints: 51973
881.57/884.08 c #Conflicts: 440000 | #Constraints: 52973
881.57/884.08 c #Conflicts: 441000 | #Constraints: 53973
881.57/884.08 c #Conflicts: 442000 | #Constraints: 54973
881.57/884.08 c #Conflicts: 443000 | #Constraints: 55973
881.57/884.08 c #Conflicts: 444000 | #Constraints: 56973
881.57/884.08 c #Conflicts: 445000 | #Constraints: 57973
881.57/884.08 c #Conflicts: 446000 | #Constraints: 58973
881.57/884.08 c INPROCESSING
881.57/884.08 c GARBAGE COLLECT
881.57/884.08 c #Conflicts: 447000 | #Constraints: 46781
881.57/884.08 c #Conflicts: 448000 | #Constraints: 47781
881.57/884.08 c #Conflicts: 449000 | #Constraints: 48781
881.57/884.08 c #Conflicts: 450000 | #Constraints: 49781
881.57/884.08 c #Conflicts: 451000 | #Constraints: 50781
881.57/884.08 c #Conflicts: 452000 | #Constraints: 51781
881.57/884.08 c #Conflicts: 453000 | #Constraints: 52781
881.57/884.08 c #Conflicts: 454000 | #Constraints: 53781
881.57/884.08 c #Conflicts: 455000 | #Constraints: 54781
881.57/884.08 c #Conflicts: 456000 | #Constraints: 55781
881.57/884.08 c #Conflicts: 457000 | #Constraints: 56781
881.57/884.08 c #Conflicts: 458000 | #Constraints: 57781
881.57/884.08 c #Conflicts: 459000 | #Constraints: 58781
881.57/884.08 c #Conflicts: 460000 | #Constraints: 59781
881.57/884.08 c INPROCESSING
881.57/884.08 c GARBAGE COLLECT
881.57/884.08 c #Conflicts: 461000 | #Constraints: 47384
881.57/884.08 c #Conflicts: 462000 | #Constraints: 48384
881.57/884.08 c #Conflicts: 463000 | #Constraints: 49384
881.57/884.08 c #Conflicts: 464000 | #Constraints: 50384
881.57/884.08 c #Conflicts: 465000 | #Constraints: 51384
881.57/884.08 c #Conflicts: 466000 | #Constraints: 52384
881.57/884.08 c #Conflicts: 467000 | #Constraints: 53384
881.57/884.08 c #Conflicts: 468000 | #Constraints: 54384
881.57/884.08 c #Conflicts: 469000 | #Constraints: 55384
881.57/884.08 c #Conflicts: 470000 | #Constraints: 56384
881.57/884.08 c #Conflicts: 471000 | #Constraints: 57384
881.57/884.08 c #Conflicts: 472000 | #Constraints: 58384
881.57/884.08 c #Conflicts: 473000 | #Constraints: 59384
881.57/884.08 c #Conflicts: 474000 | #Constraints: 60384
881.57/884.08 c INPROCESSING
881.57/884.08 c GARBAGE COLLECT
881.57/884.08 c #Conflicts: 475000 | #Constraints: 47784
881.57/884.08 c #Conflicts: 476000 | #Constraints: 48784
881.57/884.08 c #Conflicts: 477000 | #Constraints: 49784
881.57/884.08 c #Conflicts: 478000 | #Constraints: 50784
881.57/884.08 c #Conflicts: 479000 | #Constraints: 51784
881.57/884.08 c #Conflicts: 480000 | #Constraints: 52784
881.57/884.08 c #Conflicts: 481000 | #Constraints: 53784
881.57/884.08 c #Conflicts: 482000 | #Constraints: 54784
881.57/884.08 c #Conflicts: 483000 | #Constraints: 55784
881.57/884.08 c #Conflicts: 484000 | #Constraints: 56784
881.57/884.08 c #Conflicts: 485000 | #Constraints: 57784
881.57/884.08 c #Conflicts: 486000 | #Constraints: 58784
881.57/884.08 c #Conflicts: 487000 | #Constraints: 59784
881.57/884.08 c #Conflicts: 488000 | #Constraints: 60784
881.57/884.08 c INPROCESSING
881.57/884.08 c GARBAGE COLLECT
881.57/884.08 c #Conflicts: 489000 | #Constraints: 47982
881.57/884.08 c #Conflicts: 490000 | #Constraints: 48982
881.57/884.08 c #Conflicts: 491000 | #Constraints: 49982
881.57/884.08 c #Conflicts: 492000 | #Constraints: 50982
881.57/884.08 c #Conflicts: 493000 | #Constraints: 51982
881.57/884.08 c #Conflicts: 494000 | #Constraints: 52982
881.57/884.08 c #Conflicts: 495000 | #Constraints: 53982
881.57/884.08 c #Conflicts: 496000 | #Constraints: 54982
881.57/884.08 c #Conflicts: 497000 | #Constraints: 55982
881.57/884.08 c #Conflicts: 498000 | #Constraints: 56982
881.57/884.08 c #Conflicts: 499000 | #Constraints: 57982
881.57/884.08 c #Conflicts: 500000 | #Constraints: 58982
881.57/884.08 c #Conflicts: 501000 | #Constraints: 59982
881.57/884.08 c #Conflicts: 502000 | #Constraints: 60982
881.57/884.08 c INPROCESSING
881.57/884.08 c GARBAGE COLLECT
881.57/884.08 c #Conflicts: 503000 | #Constraints: 47978
881.57/884.08 c #Conflicts: 504000 | #Constraints: 48978
881.57/884.08 c #Conflicts: 505000 | #Constraints: 49978
881.57/884.08 c #Conflicts: 506000 | #Constraints: 50978
881.57/884.08 c #Conflicts: 507000 | #Constraints: 51978
881.57/884.08 c #Conflicts: 508000 | #Constraints: 52978
881.57/884.08 c #Conflicts: 509000 | #Constraints: 53978
881.57/884.08 c #Conflicts: 510000 | #Constraints: 54978
881.57/884.08 c #Conflicts: 511000 | #Constraints: 55978
881.57/884.08 c #Conflicts: 512000 | #Constraints: 56978
881.57/884.08 c #Conflicts: 513000 | #Constraints: 57978
1089.26/1092.35 c #Conflicts: 514000 | #Constraints: 58978
1089.26/1092.35 c #Conflicts: 515000 | #Constraints: 59978
1089.26/1092.35 c #Conflicts: 516000 | #Constraints: 60978
1089.26/1092.35 c INPROCESSING
1089.26/1092.35 c GARBAGE COLLECT
1089.26/1092.35 c #Conflicts: 517000 | #Constraints: 47781
1089.26/1092.35 c #Conflicts: 518000 | #Constraints: 48781
1089.26/1092.35 c #Conflicts: 519000 | #Constraints: 49781
1089.26/1092.35 c #Conflicts: 520000 | #Constraints: 50781
1089.26/1092.35 c #Conflicts: 521000 | #Constraints: 51781
1089.26/1092.35 c #Conflicts: 522000 | #Constraints: 52781
1089.26/1092.35 c #Conflicts: 523000 | #Constraints: 53781
1089.26/1092.35 c #Conflicts: 524000 | #Constraints: 54781
1089.26/1092.35 c #Conflicts: 525000 | #Constraints: 55781
1089.26/1092.35 c #Conflicts: 526000 | #Constraints: 56781
1089.26/1092.35 c #Conflicts: 527000 | #Constraints: 57781
1089.26/1092.35 c #Conflicts: 528000 | #Constraints: 58781
1089.26/1092.35 c #Conflicts: 529000 | #Constraints: 59781
1089.26/1092.35 c #Conflicts: 530000 | #Constraints: 60781
1089.26/1092.35 c #Conflicts: 531000 | #Constraints: 61781
1089.26/1092.35 c INPROCESSING
1089.26/1092.35 c GARBAGE COLLECT
1089.26/1092.35 c #Conflicts: 532000 | #Constraints: 48406
1089.26/1092.35 c #Conflicts: 533000 | #Constraints: 49406
1089.26/1092.35 c #Conflicts: 534000 | #Constraints: 50406
1089.26/1092.35 c #Conflicts: 535000 | #Constraints: 51406
1089.26/1092.35 c #Conflicts: 536000 | #Constraints: 52406
1089.26/1092.35 c #Conflicts: 537000 | #Constraints: 53406
1089.26/1092.35 c #Conflicts: 538000 | #Constraints: 54406
1089.26/1092.35 c #Conflicts: 539000 | #Constraints: 55406
1089.26/1092.35 c #Conflicts: 540000 | #Constraints: 56406
1089.26/1092.35 c #Conflicts: 541000 | #Constraints: 57406
1089.26/1092.35 c #Conflicts: 542000 | #Constraints: 58406
1089.26/1092.35 c #Conflicts: 543000 | #Constraints: 59406
1089.26/1092.35 c #Conflicts: 544000 | #Constraints: 60406
1089.26/1092.35 c #Conflicts: 545000 | #Constraints: 61406
1089.26/1092.35 c #Conflicts: 546000 | #Constraints: 62406
1089.26/1092.35 c INPROCESSING
1089.26/1092.35 c GARBAGE COLLECT
1089.26/1092.35 c #Conflicts: 547000 | #Constraints: 48814
1089.26/1092.35 c #Conflicts: 548000 | #Constraints: 49814
1089.26/1092.35 c #Conflicts: 549000 | #Constraints: 50814
1089.26/1092.35 c #Conflicts: 550000 | #Constraints: 51814
1089.26/1092.35 c #Conflicts: 551000 | #Constraints: 52814
1089.26/1092.35 c #Conflicts: 552000 | #Constraints: 53814
1089.26/1092.35 c #Conflicts: 553000 | #Constraints: 54814
1089.26/1092.35 c #Conflicts: 554000 | #Constraints: 55814
1089.26/1092.35 c #Conflicts: 555000 | #Constraints: 56814
1089.26/1092.35 c #Conflicts: 556000 | #Constraints: 57814
1089.26/1092.35 c #Conflicts: 557000 | #Constraints: 58814
1089.26/1092.35 c #Conflicts: 558000 | #Constraints: 59814
1089.26/1092.35 c #Conflicts: 559000 | #Constraints: 60814
1089.26/1092.35 c #Conflicts: 560000 | #Constraints: 61814
1089.26/1092.35 c #Conflicts: 561000 | #Constraints: 62814
1089.26/1092.35 c INPROCESSING
1089.26/1092.35 c GARBAGE COLLECT
1089.26/1092.35 c #Conflicts: 562000 | #Constraints: 48997
1089.26/1092.35 c #Conflicts: 563000 | #Constraints: 49997
1089.26/1092.35 c #Conflicts: 564000 | #Constraints: 50997
1089.26/1092.35 c #Conflicts: 565000 | #Constraints: 51997
1089.26/1092.35 c #Conflicts: 566000 | #Constraints: 52997
1089.26/1092.35 c #Conflicts: 567000 | #Constraints: 53997
1089.26/1092.35 c #Conflicts: 568000 | #Constraints: 54997
1089.26/1092.35 c #Conflicts: 569000 | #Constraints: 55997
1089.26/1092.35 c #Conflicts: 570000 | #Constraints: 56997
1089.26/1092.35 c #Conflicts: 571000 | #Constraints: 57997
1089.26/1092.35 c #Conflicts: 572000 | #Constraints: 58997
1089.26/1092.35 c #Conflicts: 573000 | #Constraints: 59997
1089.26/1092.35 c #Conflicts: 574000 | #Constraints: 60997
1089.26/1092.35 c #Conflicts: 575000 | #Constraints: 61997
1089.26/1092.35 c #Conflicts: 576000 | #Constraints: 62997
1089.26/1092.35 c INPROCESSING
1089.26/1092.35 c GARBAGE COLLECT
1089.26/1092.35 c #Conflicts: 577000 | #Constraints: 48994
1089.26/1092.35 c #Conflicts: 578000 | #Constraints: 49994
1089.26/1092.35 c #Conflicts: 579000 | #Constraints: 50994
1089.26/1092.35 c #Conflicts: 580000 | #Constraints: 51994
1089.26/1092.35 c #Conflicts: 581000 | #Constraints: 52994
1089.26/1092.35 c #Conflicts: 582000 | #Constraints: 53994
1089.26/1092.35 c #Conflicts: 583000 | #Constraints: 54994
1089.26/1092.35 c #Conflicts: 584000 | #Constraints: 55994
1089.26/1092.35 c #Conflicts: 585000 | #Constraints: 56994
1089.26/1092.35 c #Conflicts: 586000 | #Constraints: 57994
1089.26/1092.35 c #Conflicts: 587000 | #Constraints: 58994
1089.26/1092.35 c #Conflicts: 588000 | #Constraints: 59994
1322.51/1326.25 c #Conflicts: 589000 | #Constraints: 60994
1322.51/1326.25 c #Conflicts: 590000 | #Constraints: 61994
1322.51/1326.25 c #Conflicts: 591000 | #Constraints: 62994
1322.51/1326.25 c INPROCESSING
1322.51/1326.25 c GARBAGE COLLECT
1322.51/1326.25 c #Conflicts: 592000 | #Constraints: 48789
1322.51/1326.25 c #Conflicts: 593000 | #Constraints: 49789
1322.51/1326.25 c #Conflicts: 594000 | #Constraints: 50789
1322.51/1326.25 c #Conflicts: 595000 | #Constraints: 51789
1322.51/1326.25 c #Conflicts: 596000 | #Constraints: 52789
1322.51/1326.25 c #Conflicts: 597000 | #Constraints: 53789
1322.51/1326.25 c #Conflicts: 598000 | #Constraints: 54789
1322.51/1326.25 c #Conflicts: 599000 | #Constraints: 55789
1322.51/1326.25 c #Conflicts: 600000 | #Constraints: 56789
1322.51/1326.25 c #Conflicts: 601000 | #Constraints: 57789
1322.51/1326.25 c #Conflicts: 602000 | #Constraints: 58789
1322.51/1326.25 c #Conflicts: 603000 | #Constraints: 59789
1322.51/1326.25 c #Conflicts: 604000 | #Constraints: 60789
1322.51/1326.25 c #Conflicts: 605000 | #Constraints: 61789
1322.51/1326.25 c #Conflicts: 606000 | #Constraints: 62789
1322.51/1326.25 c #Conflicts: 607000 | #Constraints: 63789
1322.51/1326.25 c INPROCESSING
1322.51/1326.25 c GARBAGE COLLECT
1322.51/1326.25 c #Conflicts: 608000 | #Constraints: 49399
1322.51/1326.25 c #Conflicts: 609000 | #Constraints: 50399
1322.51/1326.25 c #Conflicts: 610000 | #Constraints: 51399
1322.51/1326.25 c #Conflicts: 611000 | #Constraints: 52399
1322.51/1326.25 c #Conflicts: 612000 | #Constraints: 53399
1322.51/1326.25 c #Conflicts: 613000 | #Constraints: 54399
1322.51/1326.25 c #Conflicts: 614000 | #Constraints: 55399
1322.51/1326.25 c #Conflicts: 615000 | #Constraints: 56399
1322.51/1326.25 c #Conflicts: 616000 | #Constraints: 57399
1322.51/1326.25 c #Conflicts: 617000 | #Constraints: 58399
1322.51/1326.25 c #Conflicts: 618000 | #Constraints: 59399
1322.51/1326.25 c #Conflicts: 619000 | #Constraints: 60399
1322.51/1326.25 c #Conflicts: 620000 | #Constraints: 61399
1322.51/1326.25 c #Conflicts: 621000 | #Constraints: 62399
1322.51/1326.25 c #Conflicts: 622000 | #Constraints: 63399
1322.51/1326.25 c #Conflicts: 623000 | #Constraints: 64399
1322.51/1326.25 c INPROCESSING
1322.51/1326.25 c GARBAGE COLLECT
1322.51/1326.25 c #Conflicts: 624000 | #Constraints: 49784
1322.51/1326.25 c #Conflicts: 625000 | #Constraints: 50784
1322.51/1326.25 c #Conflicts: 626000 | #Constraints: 51784
1322.51/1326.25 c #Conflicts: 627000 | #Constraints: 52784
1322.51/1326.25 c #Conflicts: 628000 | #Constraints: 53784
1322.51/1326.25 c #Conflicts: 629000 | #Constraints: 54784
1322.51/1326.25 c #Conflicts: 630000 | #Constraints: 55784
1322.51/1326.25 c #Conflicts: 631000 | #Constraints: 56784
1322.51/1326.25 c #Conflicts: 632000 | #Constraints: 57784
1322.51/1326.25 c #Conflicts: 633000 | #Constraints: 58784
1322.51/1326.25 c #Conflicts: 634000 | #Constraints: 59784
1322.51/1326.25 c #Conflicts: 635000 | #Constraints: 60784
1322.51/1326.25 c #Conflicts: 636000 | #Constraints: 61784
1322.51/1326.25 c #Conflicts: 637000 | #Constraints: 62784
1322.51/1326.25 c #Conflicts: 638000 | #Constraints: 63784
1322.51/1326.25 c #Conflicts: 639000 | #Constraints: 64784
1322.51/1326.25 c INPROCESSING
1322.51/1326.25 c GARBAGE COLLECT
1322.51/1326.25 c #Conflicts: 640000 | #Constraints: 49986
1322.51/1326.25 c #Conflicts: 641000 | #Constraints: 50986
1322.51/1326.25 c #Conflicts: 642000 | #Constraints: 51986
1322.51/1326.25 c #Conflicts: 643000 | #Constraints: 52986
1322.51/1326.25 c #Conflicts: 644000 | #Constraints: 53986
1322.51/1326.25 c #Conflicts: 645000 | #Constraints: 54986
1322.51/1326.25 c #Conflicts: 646000 | #Constraints: 55986
1322.51/1326.25 c #Conflicts: 647000 | #Constraints: 56986
1322.51/1326.25 c #Conflicts: 648000 | #Constraints: 57986
1322.51/1326.25 c #Conflicts: 649000 | #Constraints: 58986
1322.51/1326.25 c #Conflicts: 650000 | #Constraints: 59986
1322.51/1326.25 c #Conflicts: 651000 | #Constraints: 60986
1322.51/1326.25 c #Conflicts: 652000 | #Constraints: 61986
1322.51/1326.25 c #Conflicts: 653000 | #Constraints: 62986
1322.51/1326.25 c #Conflicts: 654000 | #Constraints: 63986
1322.51/1326.25 c #Conflicts: 655000 | #Constraints: 64986
1322.51/1326.25 c INPROCESSING
1322.51/1326.25 c GARBAGE COLLECT
1322.51/1326.25 c #Conflicts: 656000 | #Constraints: 49991
1322.51/1326.25 c #Conflicts: 657000 | #Constraints: 50991
1322.51/1326.25 c #Conflicts: 658000 | #Constraints: 51991
1322.51/1326.25 c #Conflicts: 659000 | #Constraints: 52991
1322.51/1326.25 c #Conflicts: 660000 | #Constraints: 53991
1322.51/1326.25 c #Conflicts: 661000 | #Constraints: 54991
1322.51/1326.25 c #Conflicts: 662000 | #Constraints: 55991
1322.51/1326.25 c #Conflicts: 663000 | #Constraints: 56991
1322.51/1326.25 c #Conflicts: 664000 | #Constraints: 57991
1563.31/1567.70 c #Conflicts: 665000 | #Constraints: 58991
1563.31/1567.70 c #Conflicts: 666000 | #Constraints: 59991
1563.31/1567.70 c #Conflicts: 667000 | #Constraints: 60991
1563.31/1567.70 c #Conflicts: 668000 | #Constraints: 61991
1563.31/1567.70 c #Conflicts: 669000 | #Constraints: 62991
1563.31/1567.70 c #Conflicts: 670000 | #Constraints: 63991
1563.31/1567.70 c #Conflicts: 671000 | #Constraints: 64991
1563.31/1567.70 c INPROCESSING
1563.31/1567.70 c GARBAGE COLLECT
1563.31/1567.70 c #Conflicts: 672000 | #Constraints: 49788
1563.31/1567.70 c #Conflicts: 673000 | #Constraints: 50788
1563.31/1567.70 c #Conflicts: 674000 | #Constraints: 51788
1563.31/1567.70 c #Conflicts: 675000 | #Constraints: 52788
1563.31/1567.70 c #Conflicts: 676000 | #Constraints: 53788
1563.31/1567.70 c #Conflicts: 677000 | #Constraints: 54788
1563.31/1567.70 c #Conflicts: 678000 | #Constraints: 55788
1563.31/1567.70 c #Conflicts: 679000 | #Constraints: 56788
1563.31/1567.70 c #Conflicts: 680000 | #Constraints: 57788
1563.31/1567.70 c #Conflicts: 681000 | #Constraints: 58788
1563.31/1567.70 c #Conflicts: 682000 | #Constraints: 59788
1563.31/1567.70 c #Conflicts: 683000 | #Constraints: 60788
1563.31/1567.70 c #Conflicts: 684000 | #Constraints: 61788
1563.31/1567.70 c #Conflicts: 685000 | #Constraints: 62788
1563.31/1567.70 c #Conflicts: 686000 | #Constraints: 63788
1563.31/1567.70 c #Conflicts: 687000 | #Constraints: 64788
1563.31/1567.70 c #Conflicts: 688000 | #Constraints: 65788
1563.31/1567.70 c INPROCESSING
1563.31/1567.70 c GARBAGE COLLECT
1563.31/1567.70 c #Conflicts: 689000 | #Constraints: 50386
1563.31/1567.70 c #Conflicts: 690000 | #Constraints: 51386
1563.31/1567.70 c #Conflicts: 691000 | #Constraints: 52386
1563.31/1567.70 c #Conflicts: 692000 | #Constraints: 53386
1563.31/1567.70 c #Conflicts: 693000 | #Constraints: 54386
1563.31/1567.70 c #Conflicts: 694000 | #Constraints: 55386
1563.31/1567.70 c #Conflicts: 695000 | #Constraints: 56386
1563.31/1567.70 c #Conflicts: 696000 | #Constraints: 57386
1563.31/1567.70 c #Conflicts: 697000 | #Constraints: 58386
1563.31/1567.70 c #Conflicts: 698000 | #Constraints: 59386
1563.31/1567.70 c #Conflicts: 699000 | #Constraints: 60386
1563.31/1567.70 c #Conflicts: 700000 | #Constraints: 61386
1563.31/1567.70 c #Conflicts: 701000 | #Constraints: 62386
1563.31/1567.70 c #Conflicts: 702000 | #Constraints: 63386
1563.31/1567.70 c #Conflicts: 703000 | #Constraints: 64386
1563.31/1567.70 c #Conflicts: 704000 | #Constraints: 65386
1563.31/1567.70 c #Conflicts: 705000 | #Constraints: 66386
1563.31/1567.70 c INPROCESSING
1563.31/1567.70 c GARBAGE COLLECT
1563.31/1567.70 c #Conflicts: 706000 | #Constraints: 50791
1563.31/1567.70 c #Conflicts: 707000 | #Constraints: 51791
1563.31/1567.70 c #Conflicts: 708000 | #Constraints: 52791
1563.31/1567.70 c #Conflicts: 709000 | #Constraints: 53791
1563.31/1567.70 c #Conflicts: 710000 | #Constraints: 54791
1563.31/1567.70 c #Conflicts: 711000 | #Constraints: 55791
1563.31/1567.70 c #Conflicts: 712000 | #Constraints: 56791
1563.31/1567.70 c #Conflicts: 713000 | #Constraints: 57791
1563.31/1567.70 c #Conflicts: 714000 | #Constraints: 58791
1563.31/1567.70 c #Conflicts: 715000 | #Constraints: 59791
1563.31/1567.70 c #Conflicts: 716000 | #Constraints: 60791
1563.31/1567.70 c #Conflicts: 717000 | #Constraints: 61791
1563.31/1567.70 c #Conflicts: 718000 | #Constraints: 62791
1563.31/1567.70 c #Conflicts: 719000 | #Constraints: 63791
1563.31/1567.70 c #Conflicts: 720000 | #Constraints: 64791
1563.31/1567.70 c #Conflicts: 721000 | #Constraints: 65791
1563.31/1567.70 c #Conflicts: 722000 | #Constraints: 66791
1563.31/1567.70 c INPROCESSING
1563.31/1567.70 c GARBAGE COLLECT
1563.31/1567.70 c #Conflicts: 723000 | #Constraints: 50985
1563.31/1567.70 c #Conflicts: 724000 | #Constraints: 51985
1563.31/1567.70 c #Conflicts: 725000 | #Constraints: 52985
1563.31/1567.70 c #Conflicts: 726000 | #Constraints: 53985
1563.31/1567.70 c #Conflicts: 727000 | #Constraints: 54985
1563.31/1567.70 c #Conflicts: 728000 | #Constraints: 55985
1563.31/1567.70 c #Conflicts: 729000 | #Constraints: 56985
1563.31/1567.70 c #Conflicts: 730000 | #Constraints: 57985
1563.31/1567.70 c #Conflicts: 731000 | #Constraints: 58985
1563.31/1567.70 c #Conflicts: 732000 | #Constraints: 59985
1563.31/1567.70 c #Conflicts: 733000 | #Constraints: 60985
1563.31/1567.70 c #Conflicts: 734000 | #Constraints: 61985
1563.31/1567.70 c #Conflicts: 735000 | #Constraints: 62985
1563.31/1567.70 c #Conflicts: 736000 | #Constraints: 63985
1563.31/1567.70 c #Conflicts: 737000 | #Constraints: 64985
1563.31/1567.70 c #Conflicts: 738000 | #Constraints: 65985
1563.31/1567.70 c #Conflicts: 739000 | #Constraints: 66985
1563.31/1567.70 c INPROCESSING
1563.31/1567.70 c GARBAGE COLLECT
1804.67/1809.77 c #Conflicts: 740000 | #Constraints: 50989
1804.67/1809.77 c #Conflicts: 741000 | #Constraints: 51989
1804.67/1809.77 c #Conflicts: 742000 | #Constraints: 52989
1804.67/1809.77 c #Conflicts: 743000 | #Constraints: 53989
1804.67/1809.77 c #Conflicts: 744000 | #Constraints: 54989
1804.67/1809.77 c #Conflicts: 745000 | #Constraints: 55989
1804.67/1809.77 c #Conflicts: 746000 | #Constraints: 56989
1804.67/1809.77 c #Conflicts: 747000 | #Constraints: 57989
1804.67/1809.77 c #Conflicts: 748000 | #Constraints: 58989
1804.67/1809.77 c #Conflicts: 749000 | #Constraints: 59989
1804.67/1809.77 c #Conflicts: 750000 | #Constraints: 60989
1804.67/1809.77 c #Conflicts: 751000 | #Constraints: 61989
1804.67/1809.77 c #Conflicts: 752000 | #Constraints: 62989
1804.67/1809.77 c #Conflicts: 753000 | #Constraints: 63989
1804.67/1809.77 c #Conflicts: 754000 | #Constraints: 64989
1804.67/1809.77 c #Conflicts: 755000 | #Constraints: 65989
1804.67/1809.77 c #Conflicts: 756000 | #Constraints: 66989
1804.67/1809.77 c INPROCESSING
1804.67/1809.77 c GARBAGE COLLECT
1804.67/1809.77 c #Conflicts: 757000 | #Constraints: 50792
1804.67/1809.77 c #Conflicts: 758000 | #Constraints: 51792
1804.67/1809.77 c #Conflicts: 759000 | #Constraints: 52792
1804.67/1809.77 c #Conflicts: 760000 | #Constraints: 53792
1804.67/1809.77 c #Conflicts: 761000 | #Constraints: 54792
1804.67/1809.77 c #Conflicts: 762000 | #Constraints: 55792
1804.67/1809.77 c #Conflicts: 763000 | #Constraints: 56792
1804.67/1809.77 c #Conflicts: 764000 | #Constraints: 57792
1804.67/1809.77 c #Conflicts: 765000 | #Constraints: 58792
1804.67/1809.77 c #Conflicts: 766000 | #Constraints: 59792
1804.67/1809.77 c #Conflicts: 767000 | #Constraints: 60792
1804.67/1809.77 c #Conflicts: 768000 | #Constraints: 61792
1804.67/1809.77 c #Conflicts: 769000 | #Constraints: 62792
1804.67/1809.77 c #Conflicts: 770000 | #Constraints: 63792
1804.67/1809.77 c #Conflicts: 771000 | #Constraints: 64792
1804.67/1809.77 c #Conflicts: 772000 | #Constraints: 65792
1804.67/1809.77 c #Conflicts: 773000 | #Constraints: 66792
1804.67/1809.77 c #Conflicts: 774000 | #Constraints: 67792
1804.67/1809.77 c INPROCESSING
1804.67/1809.77 c GARBAGE COLLECT
1804.67/1809.77 c #Conflicts: 775000 | #Constraints: 51380
1804.67/1809.77 c #Conflicts: 776000 | #Constraints: 52380
1804.67/1809.77 c #Conflicts: 777000 | #Constraints: 53380
1804.67/1809.77 c #Conflicts: 778000 | #Constraints: 54380
1804.67/1809.77 c #Conflicts: 779000 | #Constraints: 55380
1804.67/1809.77 c #Conflicts: 780000 | #Constraints: 56380
1804.67/1809.77 c #Conflicts: 781000 | #Constraints: 57380
1804.67/1809.77 c #Conflicts: 782000 | #Constraints: 58380
1804.67/1809.77 c #Conflicts: 783000 | #Constraints: 59380
1804.67/1809.77 c #Conflicts: 784000 | #Constraints: 60380
1804.67/1809.77 c #Conflicts: 785000 | #Constraints: 61380
1804.67/1809.77 c #Conflicts: 786000 | #Constraints: 62380
1804.67/1809.77 c #Conflicts: 787000 | #Constraints: 63380
1804.67/1809.77 c #Conflicts: 788000 | #Constraints: 64380
1804.67/1809.77 c #Conflicts: 789000 | #Constraints: 65380
1804.67/1809.77 c #Conflicts: 790000 | #Constraints: 66380
1804.67/1809.77 c #Conflicts: 791000 | #Constraints: 67380
1804.67/1809.77 c #Conflicts: 792000 | #Constraints: 68380
1804.67/1809.77 c INPROCESSING
1804.67/1809.77 c GARBAGE COLLECT
1804.67/1809.77 c #Conflicts: 793000 | #Constraints: 51783
1804.67/1809.77 c #Conflicts: 794000 | #Constraints: 52783
1804.67/1809.77 c #Conflicts: 795000 | #Constraints: 53783
1804.67/1809.77 c #Conflicts: 796000 | #Constraints: 54783
1804.67/1809.77 c #Conflicts: 797000 | #Constraints: 55783
1804.67/1809.77 c #Conflicts: 798000 | #Constraints: 56783
1804.67/1809.77 c #Conflicts: 799000 | #Constraints: 57783
1804.67/1809.77 c #Conflicts: 800000 | #Constraints: 58783
1804.67/1809.77 c #Conflicts: 801000 | #Constraints: 59783
1804.67/1809.77 c #Conflicts: 802000 | #Constraints: 60783
1804.67/1809.77 c #Conflicts: 803000 | #Constraints: 61783
1804.67/1809.77 c #Conflicts: 804000 | #Constraints: 62783
1804.67/1809.77 c #Conflicts: 805000 | #Constraints: 63783
1804.67/1809.77 c #Conflicts: 806000 | #Constraints: 64783
1804.67/1809.77 c #Conflicts: 807000 | #Constraints: 65783
1804.67/1809.77 c #Conflicts: 808000 | #Constraints: 66783
1804.67/1809.77 c #Conflicts: 809000 | #Constraints: 67783
1804.67/1809.77 c #Conflicts: 810000 | #Constraints: 68783
1804.67/1809.77 c INPROCESSING
1804.67/1809.77 c GARBAGE COLLECT
1804.67/1809.77 c #Conflicts: 811000 | #Constraints: 51985
1804.67/1809.77 c #Conflicts: 812000 | #Constraints: 52985
1804.67/1809.77 c #Conflicts: 813000 | #Constraints: 53985
1804.67/1809.77 c #Conflicts: 814000 | #Constraints: 54985
1804.67/1809.77 c #Conflicts: 815000 | #Constraints: 55985
1804.67/1809.77 c #Conflicts: 816000 | #Constraints: 56985
2064.32/2070.05 c #Conflicts: 817000 | #Constraints: 57985
2064.32/2070.05 c #Conflicts: 818000 | #Constraints: 58985
2064.32/2070.05 c #Conflicts: 819000 | #Constraints: 59985
2064.32/2070.05 c #Conflicts: 820000 | #Constraints: 60985
2064.32/2070.05 c #Conflicts: 821000 | #Constraints: 61985
2064.32/2070.05 c #Conflicts: 822000 | #Constraints: 62985
2064.32/2070.05 c #Conflicts: 823000 | #Constraints: 63985
2064.32/2070.05 c #Conflicts: 824000 | #Constraints: 64985
2064.32/2070.05 c #Conflicts: 825000 | #Constraints: 65985
2064.32/2070.05 c #Conflicts: 826000 | #Constraints: 66985
2064.32/2070.05 c #Conflicts: 827000 | #Constraints: 67985
2064.32/2070.05 c #Conflicts: 828000 | #Constraints: 68985
2064.32/2070.05 c INPROCESSING
2064.32/2070.05 c GARBAGE COLLECT
2064.32/2070.05 c #Conflicts: 829000 | #Constraints: 51986
2064.32/2070.05 c #Conflicts: 830000 | #Constraints: 52986
2064.32/2070.05 c #Conflicts: 831000 | #Constraints: 53986
2064.32/2070.05 c #Conflicts: 832000 | #Constraints: 54986
2064.32/2070.05 c #Conflicts: 833000 | #Constraints: 55986
2064.32/2070.05 c #Conflicts: 834000 | #Constraints: 56986
2064.32/2070.05 c #Conflicts: 835000 | #Constraints: 57986
2064.32/2070.05 c #Conflicts: 836000 | #Constraints: 58986
2064.32/2070.05 c #Conflicts: 837000 | #Constraints: 59986
2064.32/2070.05 c #Conflicts: 838000 | #Constraints: 60986
2064.32/2070.05 c #Conflicts: 839000 | #Constraints: 61986
2064.32/2070.05 c #Conflicts: 840000 | #Constraints: 62986
2064.32/2070.05 c #Conflicts: 841000 | #Constraints: 63986
2064.32/2070.05 c #Conflicts: 842000 | #Constraints: 64986
2064.32/2070.05 c #Conflicts: 843000 | #Constraints: 65986
2064.32/2070.05 c #Conflicts: 844000 | #Constraints: 66986
2064.32/2070.05 c #Conflicts: 845000 | #Constraints: 67986
2064.32/2070.05 c #Conflicts: 846000 | #Constraints: 68986
2064.32/2070.05 c INPROCESSING
2064.32/2070.05 c GARBAGE COLLECT
2064.32/2070.05 c #Conflicts: 847000 | #Constraints: 51796
2064.32/2070.05 c #Conflicts: 848000 | #Constraints: 52796
2064.32/2070.05 c #Conflicts: 849000 | #Constraints: 53796
2064.32/2070.05 c #Conflicts: 850000 | #Constraints: 54796
2064.32/2070.05 c #Conflicts: 851000 | #Constraints: 55796
2064.32/2070.05 c #Conflicts: 852000 | #Constraints: 56796
2064.32/2070.05 c #Conflicts: 853000 | #Constraints: 57796
2064.32/2070.05 c #Conflicts: 854000 | #Constraints: 58796
2064.32/2070.05 c #Conflicts: 855000 | #Constraints: 59796
2064.32/2070.05 c #Conflicts: 856000 | #Constraints: 60796
2064.32/2070.05 c #Conflicts: 857000 | #Constraints: 61796
2064.32/2070.05 c #Conflicts: 858000 | #Constraints: 62796
2064.32/2070.05 c #Conflicts: 859000 | #Constraints: 63796
2064.32/2070.05 c #Conflicts: 860000 | #Constraints: 64796
2064.32/2070.05 c #Conflicts: 861000 | #Constraints: 65796
2064.32/2070.05 c #Conflicts: 862000 | #Constraints: 66796
2064.32/2070.05 c #Conflicts: 863000 | #Constraints: 67796
2064.32/2070.05 c #Conflicts: 864000 | #Constraints: 68796
2064.32/2070.05 c #Conflicts: 865000 | #Constraints: 69796
2064.32/2070.05 c INPROCESSING
2064.32/2070.05 c GARBAGE COLLECT
2064.32/2070.05 c #Conflicts: 866000 | #Constraints: 52387
2064.32/2070.05 c #Conflicts: 867000 | #Constraints: 53387
2064.32/2070.05 c #Conflicts: 868000 | #Constraints: 54387
2064.32/2070.05 c #Conflicts: 869000 | #Constraints: 55387
2064.32/2070.05 c #Conflicts: 870000 | #Constraints: 56387
2064.32/2070.05 c #Conflicts: 871000 | #Constraints: 57387
2064.32/2070.05 c #Conflicts: 872000 | #Constraints: 58387
2064.32/2070.05 c #Conflicts: 873000 | #Constraints: 59387
2064.32/2070.05 c #Conflicts: 874000 | #Constraints: 60387
2064.32/2070.05 c #Conflicts: 875000 | #Constraints: 61387
2064.32/2070.05 c #Conflicts: 876000 | #Constraints: 62387
2064.32/2070.05 c #Conflicts: 877000 | #Constraints: 63387
2064.32/2070.05 c #Conflicts: 878000 | #Constraints: 64387
2064.32/2070.05 c #Conflicts: 879000 | #Constraints: 65387
2064.32/2070.05 c #Conflicts: 880000 | #Constraints: 66387
2064.32/2070.05 c #Conflicts: 881000 | #Constraints: 67387
2064.32/2070.05 c #Conflicts: 882000 | #Constraints: 68387
2064.32/2070.05 c #Conflicts: 883000 | #Constraints: 69387
2064.32/2070.05 c #Conflicts: 884000 | #Constraints: 70387
2064.32/2070.05 c INPROCESSING
2064.32/2070.05 c GARBAGE COLLECT
2064.32/2070.05 c #Conflicts: 885000 | #Constraints: 52794
2064.32/2070.05 c #Conflicts: 886000 | #Constraints: 53794
2064.32/2070.05 c #Conflicts: 887000 | #Constraints: 54794
2064.32/2070.05 c #Conflicts: 888000 | #Constraints: 55794
2064.32/2070.05 c #Conflicts: 889000 | #Constraints: 56794
2064.32/2070.05 c #Conflicts: 890000 | #Constraints: 57794
2064.32/2070.05 c #Conflicts: 891000 | #Constraints: 58794
2064.32/2070.05 c #Conflicts: 892000 | #Constraints: 59794
2326.55/2332.92 c #Conflicts: 893000 | #Constraints: 60794
2326.55/2332.92 c #Conflicts: 894000 | #Constraints: 61794
2326.55/2332.92 c #Conflicts: 895000 | #Constraints: 62794
2326.55/2332.92 c #Conflicts: 896000 | #Constraints: 63794
2326.55/2332.92 c #Conflicts: 897000 | #Constraints: 64794
2326.55/2332.92 c #Conflicts: 898000 | #Constraints: 65794
2326.55/2332.92 c #Conflicts: 899000 | #Constraints: 66794
2326.55/2332.92 c #Conflicts: 900000 | #Constraints: 67794
2326.55/2332.92 c #Conflicts: 901000 | #Constraints: 68794
2326.55/2332.92 c #Conflicts: 902000 | #Constraints: 69794
2326.55/2332.92 c #Conflicts: 903000 | #Constraints: 70794
2326.55/2332.92 c INPROCESSING
2326.55/2332.92 c GARBAGE COLLECT
2326.55/2332.92 c #Conflicts: 904000 | #Constraints: 52994
2326.55/2332.92 c #Conflicts: 905000 | #Constraints: 53994
2326.55/2332.92 c #Conflicts: 906000 | #Constraints: 54994
2326.55/2332.92 c #Conflicts: 907000 | #Constraints: 55994
2326.55/2332.92 c #Conflicts: 908000 | #Constraints: 56994
2326.55/2332.92 c #Conflicts: 909000 | #Constraints: 57994
2326.55/2332.92 c #Conflicts: 910000 | #Constraints: 58994
2326.55/2332.92 c #Conflicts: 911000 | #Constraints: 59994
2326.55/2332.92 c #Conflicts: 912000 | #Constraints: 60994
2326.55/2332.92 c #Conflicts: 913000 | #Constraints: 61994
2326.55/2332.92 c #Conflicts: 914000 | #Constraints: 62994
2326.55/2332.92 c #Conflicts: 915000 | #Constraints: 63994
2326.55/2332.92 c #Conflicts: 916000 | #Constraints: 64994
2326.55/2332.92 c #Conflicts: 917000 | #Constraints: 65994
2326.55/2332.92 c #Conflicts: 918000 | #Constraints: 66994
2326.55/2332.92 c #Conflicts: 919000 | #Constraints: 67994
2326.55/2332.92 c #Conflicts: 920000 | #Constraints: 68994
2326.55/2332.92 c #Conflicts: 921000 | #Constraints: 69994
2326.55/2332.92 c #Conflicts: 922000 | #Constraints: 70994
2326.55/2332.92 c INPROCESSING
2326.55/2332.92 c GARBAGE COLLECT
2326.55/2332.92 c #Conflicts: 923000 | #Constraints: 52973
2326.55/2332.92 c #Conflicts: 924000 | #Constraints: 53973
2326.55/2332.92 c #Conflicts: 925000 | #Constraints: 54973
2326.55/2332.92 c #Conflicts: 926000 | #Constraints: 55973
2326.55/2332.92 c #Conflicts: 927000 | #Constraints: 56973
2326.55/2332.92 c #Conflicts: 928000 | #Constraints: 57973
2326.55/2332.92 c #Conflicts: 929000 | #Constraints: 58973
2326.55/2332.92 c #Conflicts: 930000 | #Constraints: 59973
2326.55/2332.92 c #Conflicts: 931000 | #Constraints: 60973
2326.55/2332.92 c #Conflicts: 932000 | #Constraints: 61973
2326.55/2332.92 c #Conflicts: 933000 | #Constraints: 62973
2326.55/2332.92 c #Conflicts: 934000 | #Constraints: 63973
2326.55/2332.92 c #Conflicts: 935000 | #Constraints: 64973
2326.55/2332.92 c #Conflicts: 936000 | #Constraints: 65973
2326.55/2332.92 c #Conflicts: 937000 | #Constraints: 66973
2326.55/2332.92 c #Conflicts: 938000 | #Constraints: 67973
2326.55/2332.92 c #Conflicts: 939000 | #Constraints: 68973
2326.55/2332.92 c #Conflicts: 940000 | #Constraints: 69973
2326.55/2332.92 c #Conflicts: 941000 | #Constraints: 70973
2326.55/2332.92 c INPROCESSING
2326.55/2332.92 c GARBAGE COLLECT
2326.55/2332.92 c #Conflicts: 942000 | #Constraints: 52783
2326.55/2332.92 c #Conflicts: 943000 | #Constraints: 53783
2326.55/2332.92 c #Conflicts: 944000 | #Constraints: 54783
2326.55/2332.92 c #Conflicts: 945000 | #Constraints: 55783
2326.55/2332.92 c #Conflicts: 946000 | #Constraints: 56783
2326.55/2332.92 c #Conflicts: 947000 | #Constraints: 57783
2326.55/2332.92 c #Conflicts: 948000 | #Constraints: 58783
2326.55/2332.92 c #Conflicts: 949000 | #Constraints: 59783
2326.55/2332.92 c #Conflicts: 950000 | #Constraints: 60783
2326.55/2332.92 c #Conflicts: 951000 | #Constraints: 61783
2326.55/2332.92 c #Conflicts: 952000 | #Constraints: 62783
2326.55/2332.92 c #Conflicts: 953000 | #Constraints: 63783
2326.55/2332.92 c #Conflicts: 954000 | #Constraints: 64783
2326.55/2332.92 c #Conflicts: 955000 | #Constraints: 65783
2326.55/2332.92 c #Conflicts: 956000 | #Constraints: 66783
2326.55/2332.92 c #Conflicts: 957000 | #Constraints: 67783
2326.55/2332.92 c #Conflicts: 958000 | #Constraints: 68783
2326.55/2332.92 c #Conflicts: 959000 | #Constraints: 69783
2326.55/2332.92 c #Conflicts: 960000 | #Constraints: 70783
2326.55/2332.92 c #Conflicts: 961000 | #Constraints: 71783
2326.55/2332.92 c INPROCESSING
2326.55/2332.92 c GARBAGE COLLECT
2326.55/2332.92 c #Conflicts: 962000 | #Constraints: 53407
2326.55/2332.92 c #Conflicts: 963000 | #Constraints: 54407
2326.55/2332.92 c #Conflicts: 964000 | #Constraints: 55407
2326.55/2332.92 c #Conflicts: 965000 | #Constraints: 56407
2326.55/2332.92 c #Conflicts: 966000 | #Constraints: 57407
2326.55/2332.92 c #Conflicts: 967000 | #Constraints: 58407
2326.55/2332.92 c #Conflicts: 968000 | #Constraints: 59407
2611.22/2618.33 c #Conflicts: 969000 | #Constraints: 60407
2611.22/2618.33 c #Conflicts: 970000 | #Constraints: 61407
2611.22/2618.33 c #Conflicts: 971000 | #Constraints: 62407
2611.22/2618.33 c #Conflicts: 972000 | #Constraints: 63407
2611.22/2618.33 c #Conflicts: 973000 | #Constraints: 64407
2611.22/2618.33 c #Conflicts: 974000 | #Constraints: 65407
2611.22/2618.33 c #Conflicts: 975000 | #Constraints: 66407
2611.22/2618.33 c #Conflicts: 976000 | #Constraints: 67407
2611.22/2618.33 c #Conflicts: 977000 | #Constraints: 68407
2611.22/2618.33 c #Conflicts: 978000 | #Constraints: 69407
2611.22/2618.33 c #Conflicts: 979000 | #Constraints: 70407
2611.22/2618.33 c #Conflicts: 980000 | #Constraints: 71407
2611.22/2618.33 c #Conflicts: 981000 | #Constraints: 72407
2611.22/2618.33 c INPROCESSING
2611.22/2618.33 c GARBAGE COLLECT
2611.22/2618.33 c #Conflicts: 982000 | #Constraints: 53809
2611.22/2618.33 c #Conflicts: 983000 | #Constraints: 54809
2611.22/2618.33 c #Conflicts: 984000 | #Constraints: 55809
2611.22/2618.33 c #Conflicts: 985000 | #Constraints: 56809
2611.22/2618.33 c #Conflicts: 986000 | #Constraints: 57809
2611.22/2618.33 c #Conflicts: 987000 | #Constraints: 58809
2611.22/2618.33 c #Conflicts: 988000 | #Constraints: 59809
2611.22/2618.33 c #Conflicts: 989000 | #Constraints: 60809
2611.22/2618.33 c #Conflicts: 990000 | #Constraints: 61809
2611.22/2618.33 c #Conflicts: 991000 | #Constraints: 62809
2611.22/2618.33 c #Conflicts: 992000 | #Constraints: 63809
2611.22/2618.33 c #Conflicts: 993000 | #Constraints: 64809
2611.22/2618.33 c #Conflicts: 994000 | #Constraints: 65809
2611.22/2618.33 c #Conflicts: 995000 | #Constraints: 66809
2611.22/2618.33 c #Conflicts: 996000 | #Constraints: 67809
2611.22/2618.33 c #Conflicts: 997000 | #Constraints: 68809
2611.22/2618.33 c #Conflicts: 998000 | #Constraints: 69809
2611.22/2618.33 c #Conflicts: 999000 | #Constraints: 70809
2611.22/2618.33 c #Conflicts: 1000000 | #Constraints: 71809
2611.22/2618.33 c #Conflicts: 1001000 | #Constraints: 72809
2611.22/2618.33 c INPROCESSING
2611.22/2618.33 c GARBAGE COLLECT
2611.22/2618.33 c #Conflicts: 1002000 | #Constraints: 54035
2611.22/2618.33 c #Conflicts: 1003000 | #Constraints: 55035
2611.22/2618.33 c #Conflicts: 1004000 | #Constraints: 56035
2611.22/2618.33 c #Conflicts: 1005000 | #Constraints: 57035
2611.22/2618.33 c #Conflicts: 1006000 | #Constraints: 58035
2611.22/2618.33 c #Conflicts: 1007000 | #Constraints: 59035
2611.22/2618.33 c #Conflicts: 1008000 | #Constraints: 60035
2611.22/2618.33 c #Conflicts: 1009000 | #Constraints: 61035
2611.22/2618.33 c #Conflicts: 1010000 | #Constraints: 62035
2611.22/2618.33 c #Conflicts: 1011000 | #Constraints: 63035
2611.22/2618.33 c #Conflicts: 1012000 | #Constraints: 64035
2611.22/2618.33 c #Conflicts: 1013000 | #Constraints: 65035
2611.22/2618.33 c #Conflicts: 1014000 | #Constraints: 66035
2611.22/2618.33 c #Conflicts: 1015000 | #Constraints: 67035
2611.22/2618.33 c #Conflicts: 1016000 | #Constraints: 68035
2611.22/2618.33 c #Conflicts: 1017000 | #Constraints: 69035
2611.22/2618.33 c #Conflicts: 1018000 | #Constraints: 70035
2611.22/2618.33 c #Conflicts: 1019000 | #Constraints: 71035
2611.22/2618.33 c #Conflicts: 1020000 | #Constraints: 72035
2611.22/2618.33 c #Conflicts: 1021000 | #Constraints: 73035
2611.22/2618.33 c INPROCESSING
2611.22/2618.33 c GARBAGE COLLECT
2611.22/2618.33 c #Conflicts: 1022000 | #Constraints: 54036
2611.22/2618.33 c #Conflicts: 1023000 | #Constraints: 55036
2611.22/2618.33 c #Conflicts: 1024000 | #Constraints: 56036
2611.22/2618.33 c #Conflicts: 1025000 | #Constraints: 57036
2611.22/2618.33 c #Conflicts: 1026000 | #Constraints: 58036
2611.22/2618.33 c #Conflicts: 1027000 | #Constraints: 59036
2611.22/2618.33 c #Conflicts: 1028000 | #Constraints: 60036
2611.22/2618.33 c #Conflicts: 1029000 | #Constraints: 61036
2611.22/2618.33 c #Conflicts: 1030000 | #Constraints: 62036
2611.22/2618.33 c #Conflicts: 1031000 | #Constraints: 63036
2611.22/2618.33 c #Conflicts: 1032000 | #Constraints: 64036
2611.22/2618.33 c #Conflicts: 1033000 | #Constraints: 65036
2611.22/2618.33 c #Conflicts: 1034000 | #Constraints: 66036
2611.22/2618.33 c #Conflicts: 1035000 | #Constraints: 67036
2611.22/2618.33 c #Conflicts: 1036000 | #Constraints: 68036
2611.22/2618.33 c #Conflicts: 1037000 | #Constraints: 69036
2611.22/2618.33 c #Conflicts: 1038000 | #Constraints: 70036
2611.22/2618.33 c #Conflicts: 1039000 | #Constraints: 71036
2611.22/2618.33 c #Conflicts: 1040000 | #Constraints: 72036
2611.22/2618.33 c #Conflicts: 1041000 | #Constraints: 73036
2611.22/2618.33 c INPROCESSING
2611.22/2618.33 c GARBAGE COLLECT
2611.22/2618.33 c #Conflicts: 1042000 | #Constraints: 53835
2611.22/2618.33 c #Conflicts: 1043000 | #Constraints: 54835
2611.22/2618.33 c #Conflicts: 1044000 | #Constraints: 55835
2903.68/2911.51 c #Conflicts: 1045000 | #Constraints: 56835
2903.68/2911.51 c #Conflicts: 1046000 | #Constraints: 57835
2903.68/2911.51 c #Conflicts: 1047000 | #Constraints: 58835
2903.68/2911.51 c #Conflicts: 1048000 | #Constraints: 59835
2903.68/2911.51 c #Conflicts: 1049000 | #Constraints: 60835
2903.68/2911.51 c #Conflicts: 1050000 | #Constraints: 61835
2903.68/2911.51 c #Conflicts: 1051000 | #Constraints: 62835
2903.68/2911.51 c #Conflicts: 1052000 | #Constraints: 63835
2903.68/2911.51 c #Conflicts: 1053000 | #Constraints: 64835
2903.68/2911.51 c #Conflicts: 1054000 | #Constraints: 65835
2903.68/2911.51 c #Conflicts: 1055000 | #Constraints: 66835
2903.68/2911.51 c #Conflicts: 1056000 | #Constraints: 67835
2903.68/2911.51 c #Conflicts: 1057000 | #Constraints: 68835
2903.68/2911.51 c #Conflicts: 1058000 | #Constraints: 69835
2903.68/2911.51 c #Conflicts: 1059000 | #Constraints: 70835
2903.68/2911.51 c #Conflicts: 1060000 | #Constraints: 71835
2903.68/2911.51 c #Conflicts: 1061000 | #Constraints: 72835
2903.68/2911.51 c #Conflicts: 1062000 | #Constraints: 73835
2903.68/2911.51 c INPROCESSING
2903.68/2911.51 c GARBAGE COLLECT
2903.68/2911.51 c #Conflicts: 1063000 | #Constraints: 54417
2903.68/2911.51 c #Conflicts: 1064000 | #Constraints: 55417
2903.68/2911.51 c #Conflicts: 1065000 | #Constraints: 56417
2903.68/2911.51 c #Conflicts: 1066000 | #Constraints: 57417
2903.68/2911.51 c #Conflicts: 1067000 | #Constraints: 58417
2903.68/2911.51 c #Conflicts: 1068000 | #Constraints: 59417
2903.68/2911.51 c #Conflicts: 1069000 | #Constraints: 60417
2903.68/2911.51 c #Conflicts: 1070000 | #Constraints: 61417
2903.68/2911.51 c #Conflicts: 1071000 | #Constraints: 62417
2903.68/2911.51 c #Conflicts: 1072000 | #Constraints: 63417
2903.68/2911.51 c #Conflicts: 1073000 | #Constraints: 64417
2903.68/2911.51 c #Conflicts: 1074000 | #Constraints: 65417
2903.68/2911.51 c #Conflicts: 1075000 | #Constraints: 66417
2903.68/2911.51 c #Conflicts: 1076000 | #Constraints: 67417
2903.68/2911.51 c #Conflicts: 1077000 | #Constraints: 68417
2903.68/2911.51 c #Conflicts: 1078000 | #Constraints: 69417
2903.68/2911.51 c #Conflicts: 1079000 | #Constraints: 70417
2903.68/2911.51 c #Conflicts: 1080000 | #Constraints: 71417
2903.68/2911.51 c #Conflicts: 1081000 | #Constraints: 72417
2903.68/2911.51 c #Conflicts: 1082000 | #Constraints: 73417
2903.68/2911.51 c #Conflicts: 1083000 | #Constraints: 74417
2903.68/2911.51 c INPROCESSING
2903.68/2911.51 c GARBAGE COLLECT
2903.68/2911.51 c #Conflicts: 1084000 | #Constraints: 54808
2903.68/2911.51 c #Conflicts: 1085000 | #Constraints: 55808
2903.68/2911.51 c #Conflicts: 1086000 | #Constraints: 56808
2903.68/2911.51 c #Conflicts: 1087000 | #Constraints: 57808
2903.68/2911.51 c #Conflicts: 1088000 | #Constraints: 58808
2903.68/2911.51 c #Conflicts: 1089000 | #Constraints: 59808
2903.68/2911.51 c #Conflicts: 1090000 | #Constraints: 60808
2903.68/2911.51 c #Conflicts: 1091000 | #Constraints: 61808
2903.68/2911.51 c #Conflicts: 1092000 | #Constraints: 62808
2903.68/2911.51 c #Conflicts: 1093000 | #Constraints: 63808
2903.68/2911.51 c #Conflicts: 1094000 | #Constraints: 64808
2903.68/2911.51 c #Conflicts: 1095000 | #Constraints: 65808
2903.68/2911.51 c #Conflicts: 1096000 | #Constraints: 66808
2903.68/2911.51 c #Conflicts: 1097000 | #Constraints: 67808
2903.68/2911.51 c #Conflicts: 1098000 | #Constraints: 68808
2903.68/2911.51 c #Conflicts: 1099000 | #Constraints: 69808
2903.68/2911.51 c #Conflicts: 1100000 | #Constraints: 70808
2903.68/2911.51 c #Conflicts: 1101000 | #Constraints: 71808
2903.68/2911.51 c #Conflicts: 1102000 | #Constraints: 72808
2903.68/2911.51 c #Conflicts: 1103000 | #Constraints: 73808
2903.68/2911.51 c #Conflicts: 1104000 | #Constraints: 74808
2903.68/2911.51 c INPROCESSING
2903.68/2911.51 c GARBAGE COLLECT
2903.68/2911.51 c #Conflicts: 1105000 | #Constraints: 54999
2903.68/2911.51 c #Conflicts: 1106000 | #Constraints: 55999
2903.68/2911.51 c #Conflicts: 1107000 | #Constraints: 56999
2903.68/2911.51 c #Conflicts: 1108000 | #Constraints: 57999
2903.68/2911.51 c #Conflicts: 1109000 | #Constraints: 58999
2903.68/2911.51 c #Conflicts: 1110000 | #Constraints: 59999
2903.68/2911.51 c #Conflicts: 1111000 | #Constraints: 60999
2903.68/2911.51 c #Conflicts: 1112000 | #Constraints: 61999
2903.68/2911.51 c #Conflicts: 1113000 | #Constraints: 62999
2903.68/2911.51 c #Conflicts: 1114000 | #Constraints: 63999
2903.68/2911.51 c #Conflicts: 1115000 | #Constraints: 64999
2903.68/2911.51 c #Conflicts: 1116000 | #Constraints: 65999
2903.68/2911.51 c #Conflicts: 1117000 | #Constraints: 66999
2903.68/2911.51 c #Conflicts: 1118000 | #Constraints: 67999
2903.68/2911.51 c #Conflicts: 1119000 | #Constraints: 68999
2903.68/2911.51 c #Conflicts: 1120000 | #Constraints: 69999
2903.68/2911.51 c #Conflicts: 1121000 | #Constraints: 70999
3199.32/3207.92 c #Conflicts: 1122000 | #Constraints: 71999
3199.32/3207.92 c #Conflicts: 1123000 | #Constraints: 72999
3199.32/3207.92 c #Conflicts: 1124000 | #Constraints: 73999
3199.32/3207.92 c #Conflicts: 1125000 | #Constraints: 74999
3199.32/3207.92 c INPROCESSING
3199.32/3207.92 c GARBAGE COLLECT
3199.32/3207.92 c #Conflicts: 1126000 | #Constraints: 54996
3199.32/3207.92 c #Conflicts: 1127000 | #Constraints: 55996
3199.32/3207.92 c #Conflicts: 1128000 | #Constraints: 56996
3199.32/3207.92 c #Conflicts: 1129000 | #Constraints: 57996
3199.32/3207.92 c #Conflicts: 1130000 | #Constraints: 58996
3199.32/3207.92 c #Conflicts: 1131000 | #Constraints: 59996
3199.32/3207.92 c #Conflicts: 1132000 | #Constraints: 60996
3199.32/3207.92 c #Conflicts: 1133000 | #Constraints: 61996
3199.32/3207.92 c #Conflicts: 1134000 | #Constraints: 62996
3199.32/3207.92 c #Conflicts: 1135000 | #Constraints: 63996
3199.32/3207.92 c #Conflicts: 1136000 | #Constraints: 64996
3199.32/3207.92 c #Conflicts: 1137000 | #Constraints: 65996
3199.32/3207.92 c #Conflicts: 1138000 | #Constraints: 66996
3199.32/3207.92 c #Conflicts: 1139000 | #Constraints: 67996
3199.32/3207.92 c #Conflicts: 1140000 | #Constraints: 68996
3199.32/3207.92 c #Conflicts: 1141000 | #Constraints: 69996
3199.32/3207.92 c #Conflicts: 1142000 | #Constraints: 70996
3199.32/3207.92 c #Conflicts: 1143000 | #Constraints: 71996
3199.32/3207.92 c #Conflicts: 1144000 | #Constraints: 72996
3199.32/3207.92 c #Conflicts: 1145000 | #Constraints: 73996
3199.32/3207.92 c #Conflicts: 1146000 | #Constraints: 74996
3199.32/3207.92 c INPROCESSING
3199.32/3207.92 c GARBAGE COLLECT
3199.32/3207.92 c #Conflicts: 1147000 | #Constraints: 54795
3199.32/3207.92 c #Conflicts: 1148000 | #Constraints: 55795
3199.32/3207.92 c #Conflicts: 1149000 | #Constraints: 56795
3199.32/3207.92 c #Conflicts: 1150000 | #Constraints: 57795
3199.32/3207.92 c #Conflicts: 1151000 | #Constraints: 58795
3199.32/3207.92 c #Conflicts: 1152000 | #Constraints: 59795
3199.32/3207.92 c #Conflicts: 1153000 | #Constraints: 60795
3199.32/3207.92 c #Conflicts: 1154000 | #Constraints: 61795
3199.32/3207.92 c #Conflicts: 1155000 | #Constraints: 62795
3199.32/3207.92 c #Conflicts: 1156000 | #Constraints: 63795
3199.32/3207.92 c #Conflicts: 1157000 | #Constraints: 64795
3199.32/3207.92 c #Conflicts: 1158000 | #Constraints: 65795
3199.32/3207.92 c #Conflicts: 1159000 | #Constraints: 66795
3199.32/3207.92 c #Conflicts: 1160000 | #Constraints: 67795
3199.32/3207.92 c #Conflicts: 1161000 | #Constraints: 68795
3199.32/3207.92 c #Conflicts: 1162000 | #Constraints: 69795
3199.32/3207.92 c #Conflicts: 1163000 | #Constraints: 70795
3199.32/3207.92 c #Conflicts: 1164000 | #Constraints: 71795
3199.32/3207.92 c #Conflicts: 1165000 | #Constraints: 72795
3199.32/3207.92 c #Conflicts: 1166000 | #Constraints: 73795
3199.32/3207.92 c #Conflicts: 1167000 | #Constraints: 74795
3199.32/3207.92 c #Conflicts: 1168000 | #Constraints: 75795
3199.32/3207.92 c INPROCESSING
3199.32/3207.92 c GARBAGE COLLECT
3199.32/3207.92 c #Conflicts: 1169000 | #Constraints: 55419
3199.32/3207.92 c #Conflicts: 1170000 | #Constraints: 56419
3199.32/3207.92 c #Conflicts: 1171000 | #Constraints: 57419
3199.32/3207.92 c #Conflicts: 1172000 | #Constraints: 58419
3199.32/3207.92 c #Conflicts: 1173000 | #Constraints: 59419
3199.32/3207.92 c #Conflicts: 1174000 | #Constraints: 60419
3199.32/3207.92 c #Conflicts: 1175000 | #Constraints: 61419
3199.32/3207.92 c #Conflicts: 1176000 | #Constraints: 62419
3199.32/3207.92 c #Conflicts: 1177000 | #Constraints: 63419
3199.32/3207.92 c #Conflicts: 1178000 | #Constraints: 64419
3199.32/3207.92 c #Conflicts: 1179000 | #Constraints: 65419
3199.32/3207.92 c #Conflicts: 1180000 | #Constraints: 66419
3199.32/3207.92 c #Conflicts: 1181000 | #Constraints: 67419
3199.32/3207.92 c #Conflicts: 1182000 | #Constraints: 68419
3199.32/3207.92 c #Conflicts: 1183000 | #Constraints: 69419
3199.32/3207.92 c #Conflicts: 1184000 | #Constraints: 70419
3199.32/3207.92 c #Conflicts: 1185000 | #Constraints: 71419
3199.32/3207.92 c #Conflicts: 1186000 | #Constraints: 72419
3199.32/3207.92 c #Conflicts: 1187000 | #Constraints: 73419
3199.32/3207.92 c #Conflicts: 1188000 | #Constraints: 74419
3199.32/3207.92 c #Conflicts: 1189000 | #Constraints: 75419
3199.32/3207.92 c #Conflicts: 1190000 | #Constraints: 76419
3199.32/3207.92 c INPROCESSING
3199.32/3207.92 c GARBAGE COLLECT
3199.32/3207.92 c #Conflicts: 1191000 | #Constraints: 55805
3199.32/3207.92 c #Conflicts: 1192000 | #Constraints: 56805
3199.32/3207.92 c #Conflicts: 1193000 | #Constraints: 57805
3199.32/3207.92 c #Conflicts: 1194000 | #Constraints: 58805
3199.32/3207.92 c #Conflicts: 1195000 | #Constraints: 59805
3199.32/3207.92 c #Conflicts: 1196000 | #Constraints: 60805
3199.32/3207.92 c #Conflicts: 1197000 | #Constraints: 61805
3512.79/3522.25 c #Conflicts: 1198000 | #Constraints: 62805
3512.79/3522.25 c #Conflicts: 1199000 | #Constraints: 63805
3512.79/3522.25 c #Conflicts: 1200000 | #Constraints: 64805
3512.79/3522.25 c #Conflicts: 1201000 | #Constraints: 65805
3512.79/3522.25 c #Conflicts: 1202000 | #Constraints: 66805
3512.79/3522.25 c #Conflicts: 1203000 | #Constraints: 67805
3512.79/3522.25 c #Conflicts: 1204000 | #Constraints: 68805
3512.79/3522.25 c #Conflicts: 1205000 | #Constraints: 69805
3512.79/3522.25 c #Conflicts: 1206000 | #Constraints: 70805
3512.79/3522.25 c #Conflicts: 1207000 | #Constraints: 71805
3512.79/3522.25 c #Conflicts: 1208000 | #Constraints: 72805
3512.79/3522.25 c #Conflicts: 1209000 | #Constraints: 73805
3512.79/3522.25 c #Conflicts: 1210000 | #Constraints: 74805
3512.79/3522.25 c #Conflicts: 1211000 | #Constraints: 75805
3512.79/3522.25 c #Conflicts: 1212000 | #Constraints: 76805
3512.79/3522.25 c INPROCESSING
3512.79/3522.25 c GARBAGE COLLECT
3512.79/3522.25 c #Conflicts: 1213000 | #Constraints: 55991
3512.79/3522.25 c #Conflicts: 1214000 | #Constraints: 56991
3512.79/3522.25 c #Conflicts: 1215000 | #Constraints: 57991
3512.79/3522.25 c #Conflicts: 1216000 | #Constraints: 58991
3512.79/3522.25 c #Conflicts: 1217000 | #Constraints: 59991
3512.79/3522.25 c #Conflicts: 1218000 | #Constraints: 60991
3512.79/3522.25 c #Conflicts: 1219000 | #Constraints: 61991
3512.79/3522.25 c #Conflicts: 1220000 | #Constraints: 62991
3512.79/3522.25 c #Conflicts: 1221000 | #Constraints: 63991
3512.79/3522.25 c #Conflicts: 1222000 | #Constraints: 64991
3512.79/3522.25 c #Conflicts: 1223000 | #Constraints: 65991
3512.79/3522.25 c #Conflicts: 1224000 | #Constraints: 66991
3512.79/3522.25 c #Conflicts: 1225000 | #Constraints: 67991
3512.79/3522.25 c #Conflicts: 1226000 | #Constraints: 68991
3512.79/3522.25 c #Conflicts: 1227000 | #Constraints: 69991
3512.79/3522.25 c #Conflicts: 1228000 | #Constraints: 70991
3512.79/3522.25 c #Conflicts: 1229000 | #Constraints: 71991
3512.79/3522.25 c #Conflicts: 1230000 | #Constraints: 72991
3512.79/3522.25 c #Conflicts: 1231000 | #Constraints: 73991
3512.79/3522.25 c #Conflicts: 1232000 | #Constraints: 74991
3512.79/3522.25 c #Conflicts: 1233000 | #Constraints: 75991
3512.79/3522.25 c #Conflicts: 1234000 | #Constraints: 76991
3512.79/3522.25 c INPROCESSING
3512.79/3522.25 c GARBAGE COLLECT
3512.79/3522.25 c #Conflicts: 1235000 | #Constraints: 55989
3512.79/3522.25 c #Conflicts: 1236000 | #Constraints: 56989
3512.79/3522.25 c #Conflicts: 1237000 | #Constraints: 57989
3512.79/3522.25 c #Conflicts: 1238000 | #Constraints: 58989
3512.79/3522.25 c #Conflicts: 1239000 | #Constraints: 59989
3512.79/3522.25 c #Conflicts: 1240000 | #Constraints: 60989
3512.79/3522.25 c #Conflicts: 1241000 | #Constraints: 61989
3512.79/3522.25 c #Conflicts: 1242000 | #Constraints: 62989
3512.79/3522.25 c #Conflicts: 1243000 | #Constraints: 63989
3512.79/3522.25 c #Conflicts: 1244000 | #Constraints: 64989
3512.79/3522.25 c #Conflicts: 1245000 | #Constraints: 65989
3512.79/3522.25 c #Conflicts: 1246000 | #Constraints: 66989
3512.79/3522.25 c #Conflicts: 1247000 | #Constraints: 67989
3512.79/3522.25 c #Conflicts: 1248000 | #Constraints: 68989
3512.79/3522.25 c #Conflicts: 1249000 | #Constraints: 69989
3512.79/3522.25 c #Conflicts: 1250000 | #Constraints: 70989
3512.79/3522.25 c #Conflicts: 1251000 | #Constraints: 71989
3512.79/3522.25 c #Conflicts: 1252000 | #Constraints: 72989
3512.79/3522.25 c #Conflicts: 1253000 | #Constraints: 73989
3512.79/3522.25 c #Conflicts: 1254000 | #Constraints: 74989
3512.79/3522.25 c #Conflicts: 1255000 | #Constraints: 75989
3512.79/3522.25 c #Conflicts: 1256000 | #Constraints: 76989
3512.79/3522.25 c INPROCESSING
3512.79/3522.25 c GARBAGE COLLECT
3512.79/3522.25 c #Conflicts: 1257000 | #Constraints: 55796
3512.79/3522.25 c #Conflicts: 1258000 | #Constraints: 56796
3512.79/3522.25 c #Conflicts: 1259000 | #Constraints: 57796
3512.79/3522.25 c #Conflicts: 1260000 | #Constraints: 58796
3512.79/3522.25 c #Conflicts: 1261000 | #Constraints: 59796
3512.79/3522.25 c #Conflicts: 1262000 | #Constraints: 60796
3512.79/3522.25 c #Conflicts: 1263000 | #Constraints: 61796
3512.79/3522.25 c #Conflicts: 1264000 | #Constraints: 62796
3512.79/3522.25 c #Conflicts: 1265000 | #Constraints: 63796
3512.79/3522.25 c #Conflicts: 1266000 | #Constraints: 64796
3512.79/3522.25 c #Conflicts: 1267000 | #Constraints: 65796
3512.79/3522.25 c #Conflicts: 1268000 | #Constraints: 66796
3512.79/3522.25 c #Conflicts: 1269000 | #Constraints: 67796
3512.79/3522.25 c #Conflicts: 1270000 | #Constraints: 68796
3512.79/3522.25 c #Conflicts: 1271000 | #Constraints: 69796
3512.79/3522.25 c #Conflicts: 1272000 | #Constraints: 70796
3512.79/3522.25 c #Conflicts: 1273000 | #Constraints: 71796
3512.79/3522.25 c #Conflicts: 1274000 | #Constraints: 72796
3600.02/3609.70 c #Conflicts: 1275000 | #Constraints: 73796
3600.02/3609.70 c #Conflicts: 1276000 | #Constraints: 74796
3600.02/3609.70 c #Conflicts: 1277000 | #Constraints: 75796
3600.02/3609.70 c #Conflicts: 1278000 | #Constraints: 76796
3600.02/3609.70 c #Conflicts: 1279000 | #Constraints: 77796
3600.02/3609.70 c INPROCESSING
3600.02/3609.70 c GARBAGE COLLECT
3600.02/3609.70 c #Conflicts: 1280000 | #Constraints: 56397
3600.02/3609.70 c #Conflicts: 1281000 | #Constraints: 57397
3600.02/3609.70 c #Conflicts: 1282000 | #Constraints: 58397
3600.02/3609.70 c #Conflicts: 1283000 | #Constraints: 59397
3600.02/3609.70 c #Conflicts: 1284000 | #Constraints: 60397
3600.02/3609.70 c #Conflicts: 1285000 | #Constraints: 61397
3600.02/3609.70 c #Conflicts: 1286000 | #Constraints: 62397
3600.02/3609.70 c #Conflicts: 1287000 | #Constraints: 63397
3600.02/3609.70 c #Conflicts: 1288000 | #Constraints: 64397
3600.02/3609.70 c #Conflicts: 1289000 | #Constraints: 65397
3600.02/3609.70 c #Conflicts: 1290000 | #Constraints: 66397
3600.02/3609.70 c #Conflicts: 1291000 | #Constraints: 67397
3600.02/3609.70 c #Conflicts: 1292000 | #Constraints: 68397
3600.02/3609.70 c #Conflicts: 1293000 | #Constraints: 69397
3600.02/3609.70 c #Conflicts: 1294000 | #Constraints: 70397
3600.02/3609.70 c Program interrupted by user.
3600.02/3609.70 c cpu time 3591.29 s
3600.02/3609.70 c deterministic time 426304802396 4.26e+11
3600.02/3609.70 c optimization time 55.5595 s
3600.02/3609.70 c total solve time 3535.5 s
3600.02/3609.70 c core-guided solve time 3535.5 s
3600.02/3609.70 c propagation time 3402.13 s
3600.02/3609.70 c conflict analysis time 167.365 s
3600.02/3609.70 c propagations 1448115625
3600.02/3609.70 c resolve steps 19518865
3600.02/3609.70 c decisions 4450322
3600.02/3609.70 c conflicts 1294675
3600.02/3609.70 c restarts 2497
3600.02/3609.70 c inprocessing phases 104
3600.02/3609.70 c input clauses 18351
3600.02/3609.70 c input cardinalities 10
3600.02/3609.70 c input general constraints 14775
3600.02/3609.70 c input average constraint length 3.78
3600.02/3609.70 c input average constraint degree 1.89
3600.02/3609.70 c learned clauses 410489
3600.02/3609.70 c learned cardinalities 3473
3600.02/3609.70 c learned general constraints 880712
3600.02/3609.70 c learned average constraint length 234.45
3600.02/3609.70 c learned average constraint degree 56.69
3600.02/3609.70 c watched constraints 867286
3600.02/3609.70 c counting constraints 28201
3600.02/3609.70 c gcd simplifications 8412
3600.02/3609.70 c detected cardinalities 241
3600.02/3609.70 c weakened non-implied lits 23177821
3600.02/3609.70 c weakened non-implying lits 11665
3600.02/3609.70 c original variables 15725
3600.02/3609.70 c clausal propagations 106704572
3600.02/3609.70 c cardinality propagations 10018296
3600.02/3609.70 c watched propagations 22570554
3600.02/3609.70 c counting propagations 1304624907
3600.02/3609.70 c watch lookups 28174105746
3600.02/3609.70 c watch backjump lookups 5659674925
3600.02/3609.70 c watch checks 379347465810
3600.02/3609.70 c propagation checks 9613690103
3600.02/3609.70 c constraint additions 603453306
3600.02/3609.70 c trail pops 1453846558
3600.02/3609.70 c formula constraints 33136
3600.02/3609.70 c learned constraints 1294674
3600.02/3609.70 c bound constraints 0
3600.02/3609.70 c core-guided constraints 0
3600.02/3609.70 c encountered formula constraints 14067324
3600.02/3609.70 c encountered learned constraints 6746216
3600.02/3609.70 c encountered bound constraints 0
3600.02/3609.70 c encountered core-guided constraints 0
3600.02/3609.70 c LP total time 0 s
3600.02/3609.70 c LP solve time 0 s
3600.02/3609.70 c LP constraints added 0
3600.02/3609.70 c LP constraints removed 0
3600.02/3609.70 c LP pivots internal 0
3600.02/3609.70 c LP pivots root 0
3600.02/3609.70 c LP calls 0
3600.02/3609.70 c LP optimalities 0
3600.02/3609.70 c LP no pivot count 0
3600.02/3609.70 c LP infeasibilities 0
3600.02/3609.70 c LP valid Farkas constraints 0
3600.02/3609.70 c LP learned Farkas constraints 0
3600.02/3609.70 c LP basis resets 0
3600.02/3609.70 c LP cycling count 0
3600.02/3609.70 c LP singular count 0
3600.02/3609.70 c LP no primal count 0
3600.02/3609.70 c LP no farkas count 0
3600.02/3609.70 c LP other issue count 0
3600.02/3609.70 c LP Gomory cuts 0
3600.02/3609.70 c LP learned cuts 0
3600.02/3609.70 c LP deleted cuts 0
3600.02/3609.70 c LP encountered Gomory constraints 0
3600.02/3609.70 c LP encountered Farkas constraints 0
3600.02/3609.70 c LP encountered learned Farkas constraints 0
3600.02/3609.70 c CG auxiliary variables introduced 0
3600.02/3609.70 c CG solutions found 0
3600.02/3609.70 c CG cores constructed 0
3600.02/3609.70 c CG core cardinality constraints returned 0
3600.02/3609.70 c CG unit cores 0
3600.02/3609.70 c CG single cores 0
3600.02/3609.70 c CG blocks removed during cardinality reduction 0
3600.02/3609.70 c CG first core best 0
3600.02/3609.70 c CG decision core best 0
3600.02/3609.70 c CG core reduction tie 0
3600.02/3609.70 c CG core degree average 0.00
3600.02/3609.70 c CG core slack average 0.00
3600.02/3609.70 c CG exhausted 0
3600.02/3609.70 c CG exhaust time 0 s
3600.02/3609.70 c CG trimmed 0
3600.02/3609.70 c CG trim time 0 s
3600.02/3609.70 c CG minimized 0
3600.02/3609.70 c CG minimize time 0 s
3600.02/3609.70 c CG am1 prop time 0.00023 s
3600.02/3609.70 c CG # am1s reformulated 0
3600.02/3609.70 c CG lower bound derived from am1s 0
3600.02/3609.70 c CG # clausal cores 0
3600.02/3609.70 c CG # cardinality cores 0
3600.02/3609.70 c CG # pb cores 0
3600.02/3609.70 c CG # pb reforms 0
3600.02/3609.70 c CG # cores discarded because of pb reform 0
3600.02/3609.70 d LOWERBOUND 0
3600.02/3609.70 d NCORES 0
3600.02/3609.70 d NPBCORES 0
3600.02/3609.70 d NPBREFORM 0
3600.02/3609.70 d NTRIMMED 0
3600.02/3609.70 d NEXHAUSTED 0
3600.02/3609.70 d NAM1S 0
3600.02/3609.70 d AM1LB 0
3600.02/3609.70 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: 64096 MiB (60976 MiB free)
memory of node 1: 64473 MiB (61340 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436098-1721145824/watcher-4436098-1721145824 -o /tmp/evaluation-result-4436098-1721145824/solver-4436098-1721145824 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721145836-858086 --watchdog 3760 pb-oll-rs HOME/instance-4436098-1721145824.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=858123, runsolver pid=858120
Current StackSize limit: 8192 KiB
[startup+0.100098 s]*
/proc/loadavg: 1.19 1.14 1.77 5/236 858124
/proc/meminfo: memFree=125231972/131655788 swapFree=131071996/131071996
[pid=858123] ppid=858120 vsize=42652 memory=9820 CPUtime=0.1 cores=5,7
/proc/858123/stat : 858123 (pb-oll-rs) R 858120 858123 858073 0 -1 4194304 1449 0 0 0 8 2 0 0 20 0 1 0 166739567 43675648 2455 134679101440 4194304 5384005 140726647063136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12357632 140726647071767 140726647071844 140726647071844 140726647078859 0
/proc/858123/statm: 10663 2455 1183 291 0 2197 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42652 KiB
Current children cumulated memory: 9820 KiB
[startup+0.213479 s]*
/proc/loadavg: 1.19 1.14 1.77 5/237 858132
/proc/meminfo: memFree=125240396/131655788 swapFree=131071996/131071996
[pid=858123] ppid=858120 vsize=43048 memory=10876 CPUtime=0.22 cores=5,7
/proc/858123/stat : 858123 (pb-oll-rs) R 858120 858123 858073 0 -1 4194304 1768 0 0 0 17 5 0 0 20 0 1 0 166739567 44081152 2719 134679101440 4194304 5384005 140726647063136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12357632 140726647071767 140726647071844 140726647071844 140726647078859 0
/proc/858123/statm: 10762 2719 1183 291 0 2296 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 43048 KiB
Current children cumulated memory: 10876 KiB
[startup+0.314193 s]*
/proc/loadavg: 1.19 1.14 1.77 5/244 858146
/proc/meminfo: memFree=125185144/131655788 swapFree=131071996/131071996
[pid=858123] ppid=858120 vsize=44524 memory=15412 CPUtime=0.31 cores=5,7
/proc/858123/stat : 858123 (pb-oll-rs) R 858120 858123 858073 0 -1 4194304 2223 0 0 0 24 7 0 0 20 0 1 0 166739567 45592576 3853 134679101440 4194304 5384005 140726647063136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12357632 140726647071767 140726647071844 140726647071844 140726647078859 0
/proc/858123/statm: 11131 3853 1358 291 0 2665 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 44524 KiB
Current children cumulated memory: 15412 KiB
[startup+0.700291 s]
/proc/loadavg: 1.19 1.14 1.77 6/244 858146
/proc/meminfo: memFree=125172664/131655788 swapFree=131071996/131071996
[pid=858123] ppid=858120 vsize=45184 memory=15940 CPUtime=0.69 cores=5,7
/proc/858123/stat : 858123 (pb-oll-rs) R 858120 858123 858073 0 -1 4194304 2383 0 0 0 61 8 0 0 20 0 1 0 166739567 46268416 3985 134679101440 4194304 5384005 140726647063136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12357632 140726647071767 140726647071844 140726647071844 140726647078859 0
/proc/858123/statm: 11296 3985 1358 291 0 2830 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45184 KiB
Current children cumulated memory: 15940 KiB
[startup+1.50029 s]
/proc/loadavg: 1.19 1.14 1.77 5/244 858148
/proc/meminfo: memFree=125152208/131655788 swapFree=131071996/131071996
[pid=858123] ppid=858120 vsize=50288 memory=19640 CPUtime=1.49 cores=5,7
/proc/858123/stat : 858123 (pb-oll-rs) R 858120 858123 858073 0 -1 4194304 3393 0 0 0 139 10 0 0 20 0 1 0 166739567 51494912 4910 134679101440 4194304 5384005 140726647063136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12357632 140726647071767 140726647071844 140726647071844 140726647078859 0
/proc/858123/statm: 12572 4910 1358 291 0 4106 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 50288 KiB
Current children cumulated memory: 19640 KiB
[startup+3.11302 s]
/proc/loadavg: 1.42 1.18 1.78 5/244 858148
/proc/meminfo: memFree=125056304/131655788 swapFree=131071996/131071996
[pid=858123] ppid=858120 vsize=52312 memory=23560 CPUtime=3.09 cores=5,7
/proc/858123/stat : 858123 (pb-oll-rs) R 858120 858123 858073 0 -1 4194304 4346 0 0 0 297 12 0 0 20 0 1 0 166739567 53567488 5890 134679101440 4194304 5384005 140726647063136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12357632 140726647071767 140726647071844 140726647071844 140726647078859 0
/proc/858123/statm: 13078 5890 1419 291 0 4612 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 52312 KiB
Current children cumulated memory: 23560 KiB
[startup+6.30031 s]
/proc/loadavg: 1.42 1.18 1.78 5/244 858148
/proc/meminfo: memFree=124979564/131655788 swapFree=131071996/131071996
[pid=858123] ppid=858120 vsize=59460 memory=30732 CPUtime=6.26 cores=5,7
/proc/858123/stat : 858123 (pb-oll-rs) R 858120 858123 858073 0 -1 4194304 5090 0 0 0 610 16 0 0 20 0 1 0 166739567 60887040 7683 134679101440 4194304 5384005 140726647063136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12357632 140726647071767 140726647071844 140726647071844 140726647078859 0
/proc/858123/statm: 14865 7683 1419 291 0 6399 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 59460 KiB
Current children cumulated memory: 30732 KiB
[startup+12.7003 s]
/proc/loadavg: 1.62 1.23 1.79 5/243 858195
/proc/meminfo: memFree=124782572/131655788 swapFree=131071996/131071996
[pid=858123] ppid=858120 vsize=62512 memory=33620 CPUtime=12.65 cores=5,7
/proc/858123/stat : 858123 (pb-oll-rs) R 858120 858123 858073 0 -1 4194304 5842 0 0 0 1243 22 0 0 20 0 1 0 166739567 64012288 8405 134679101440 4194304 5384005 140726647063136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12357632 140726647071767 140726647071844 140726647071844 140726647078859 0
/proc/858123/statm: 15628 8405 1419 291 0 7162 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 62512 KiB
Current children cumulated memory: 33620 KiB
[startup+25.5003 s]
/proc/loadavg: 2.15 1.37 1.83 5/243 858197
/proc/meminfo: memFree=124581324/131655788 swapFree=131071996/131071996
[pid=858123] ppid=858120 vsize=72216 memory=38420 CPUtime=25.4 cores=5,7
/proc/858123/stat : 858123 (pb-oll-rs) R 858120 858123 858073 0 -1 4194304 6738 0 0 0 2510 30 0 0 20 0 1 0 166739567 73949184 9605 134679101440 4194304 5384005 140726647063136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12357632 140726647071767 140726647071844 140726647071844 140726647078859 0
/proc/858123/statm: 18054 9605 1419 291 0 9588 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 72216 KiB
Current children cumulated memory: 38420 KiB
[startup+51.1129 s]
/proc/loadavg: 2.85 1.60 1.89 5/243 858202
/proc/meminfo: memFree=124278928/131655788 swapFree=131071996/131071996
[pid=858123] ppid=858120 vsize=76632 memory=46536 CPUtime=50.94 cores=5,7
/proc/858123/stat : 858123 (pb-oll-rs) R 858120 858123 858073 0 -1 4194304 8456 0 0 0 5049 45 0 0 20 0 1 0 166739567 78471168 11634 134679101440 4194304 5384005 140726647063136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12357632 140726647071767 140726647071844 140726647071844 140726647078859 0
/proc/858123/statm: 19158 11634 1419 291 0 10692 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 76632 KiB
Current children cumulated memory: 46536 KiB
[startup+102.3 s]
/proc/loadavg: 3.56 1.99 2.01 5/243 858211
/proc/meminfo: memFree=124079444/131655788 swapFree=131071996/131071996
[pid=858123] ppid=858120 vsize=94300 memory=57564 CPUtime=101.99 cores=5,7
/proc/858123/stat : 858123 (pb-oll-rs) R 858120 858123 858073 0 -1 4194304 11198 0 0 0 10125 74 0 0 20 0 1 0 166739567 96563200 14391 134679101440 4194304 5384005 140726647063136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12357632 140726647071767 140726647071844 140726647071844 140726647078859 0
/proc/858123/statm: 23575 14391 1419 291 0 15109 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 94300 KiB
Current children cumulated memory: 57564 KiB
[startup+162.3 s]
/proc/loadavg: 3.92 2.38 2.15 5/241 858222
/proc/meminfo: memFree=123930840/131655788 swapFree=131071996/131071996
[pid=858123] ppid=858120 vsize=95968 memory=61692 CPUtime=161.84 cores=5,7
/proc/858123/stat : 858123 (pb-oll-rs) R 858120 858123 858073 0 -1 4194304 12490 0 0 0 16081 103 0 0 20 0 1 0 166739567 98271232 15423 134679101440 4194304 5384005 140726647063136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12357632 140726647071767 140726647071844 140726647071844 140726647078859 0
/proc/858123/statm: 23992 15423 1419 291 0 15526 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 95968 KiB
Current children cumulated memory: 61692 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 2.71 2.28 5/241 858232
/proc/meminfo: memFree=123772200/131655788 swapFree=131071996/131071996
[pid=858123] ppid=858120 vsize=119068 memory=69980 CPUtime=221.68 cores=5,7
/proc/858123/stat : 858123 (pb-oll-rs) R 858120 858123 858073 0 -1 4194304 14273 0 0 0 22040 128 0 0 20 0 1 0 166739567 121925632 17495 134679101440 4194304 5384005 140726647063136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12357632 140726647071767 140726647071844 140726647071844 140726647078859 0
/proc/858123/statm: 29767 17495 1419 291 0 21301 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 119068 KiB
Current children cumulated memory: 69980 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 2.96 2.39 5/241 858242
/proc/meminfo: memFree=123718172/131655788 swapFree=131071996/131071996
[pid=858123] ppid=858120 vsize=122336 memory=73200 CPUtime=281.51 cores=5,7
/proc/858123/stat : 858123 (pb-oll-rs) R 858120 858123 858073 0 -1 4194304 16213 0 0 0 28000 151 0 0 20 0 1 0 166739567 125272064 18300 134679101440 4194304 5384005 140726647063136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12357632 140726647071767 140726647071844 140726647071844 140726647078859 0
/proc/858123/statm: 30584 18300 1419 291 0 22118 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 122336 KiB
Current children cumulated memory: 73200 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.17 2.50 5/241 858253
/proc/meminfo: memFree=123623212/131655788 swapFree=131071996/131071996
[pid=858123] ppid=858120 vsize=125732 memory=78904 CPUtime=341.35 cores=5,7
/proc/858123/stat : 858123 (pb-oll-rs) R 858120 858123 858073 0 -1 4194304 17967 0 0 0 33962 173 0 0 20 0 1 0 166739567 128749568 19726 134679101440 4194304 5384005 140726647063136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12357632 140726647071767 140726647071844 140726647071844 140726647078859 0
/proc/858123/statm: 31433 19726 1419 291 0 22967 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 125732 KiB
Current children cumulated memory: 78904 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.34 2.60 5/241 858263
/proc/meminfo: memFree=123519376/131655788 swapFree=131071996/131071996
[pid=858123] ppid=858120 vsize=127592 memory=82552 CPUtime=401.19 cores=5,7
/proc/858123/stat : 858123 (pb-oll-rs) R 858120 858123 858073 0 -1 4194304 18936 0 0 0 39926 193 0 0 20 0 1 0 166739567 130654208 20638 134679101440 4194304 5384005 140726647063136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12357632 140726647071767 140726647071844 140726647071844 140726647078859 0
/proc/858123/statm: 31898 20638 1419 291 0 23432 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 127592 KiB
Current children cumulated memory: 82552 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 3.49 2.70 5/244 858278
/proc/meminfo: memFree=123457652/131655788 swapFree=131071996/131071996
[pid=858123] ppid=858120 vsize=129448 memory=86112 CPUtime=461.02 cores=5,7
/proc/858123/stat : 858123 (pb-oll-rs) R 858120 858123 858073 0 -1 4194304 20153 0 0 0 45887 215 0 0 20 0 1 0 166739567 132554752 21528 134679101440 4194304 5384005 140726647063136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12357632 140726647071767 140726647071844 140726647071844 140726647078859 0
/proc/858123/statm: 32362 21528 1419 291 0 23896 0
################
# More data... #
################
Current children cumulated memory: 143896 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.26 4.14 5/243 859333
/proc/meminfo: memFree=121702976/131655788 swapFree=131071996/131071996
[pid=858123] ppid=858120 vsize=194968 memory=145236 CPUtime=2914.45 cores=5,7
/proc/858123/stat : 858123 (pb-oll-rs) R 858120 858123 858073 0 -1 4194304 43146 0 0 0 290687 758 0 0 20 0 1 0 166739567 199647232 36309 134679101440 4194304 5384005 140726647063136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12357632 140726647071767 140726647071844 140726647071844 140726647078859 0
/proc/858123/statm: 48742 36309 1419 291 0 40276 0
Current children cumulated CPU time: 2914.45 s
Current children cumulated vsize: 194968 KiB
Current children cumulated memory: 145236 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.23 4.14 5/244 859346
/proc/meminfo: memFree=121695276/131655788 swapFree=131071996/131071996
[pid=858123] ppid=858120 vsize=195224 memory=147668 CPUtime=2974.29 cores=5,7
/proc/858123/stat : 858123 (pb-oll-rs) R 858120 858123 858073 0 -1 4194304 43610 0 0 0 296660 769 0 0 20 0 1 0 166739567 199909376 36917 134679101440 4194304 5384005 140726647063136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12357632 140726647071767 140726647071844 140726647071844 140726647078859 0
/proc/858123/statm: 48806 36917 1419 291 0 40340 0
Current children cumulated CPU time: 2974.29 s
Current children cumulated vsize: 195224 KiB
Current children cumulated memory: 147668 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.20 4.13 5/244 859357
/proc/meminfo: memFree=121669432/131655788 swapFree=131071996/131071996
[pid=858123] ppid=858120 vsize=195480 memory=147812 CPUtime=3034.14 cores=5,7
/proc/858123/stat : 858123 (pb-oll-rs) R 858120 858123 858073 0 -1 4194304 44037 0 0 0 302636 778 0 0 20 0 1 0 166739567 200171520 36953 134679101440 4194304 5384005 140726647063136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12357632 140726647071767 140726647071844 140726647071844 140726647078859 0
/proc/858123/statm: 48870 36953 1419 291 0 40404 0
Current children cumulated CPU time: 3034.14 s
Current children cumulated vsize: 195480 KiB
Current children cumulated memory: 147812 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.19 4.13 5/244 859368
/proc/meminfo: memFree=121665792/131655788 swapFree=131071996/131071996
[pid=858123] ppid=858120 vsize=196120 memory=148272 CPUtime=3093.99 cores=5,7
/proc/858123/stat : 858123 (pb-oll-rs) R 858120 858123 858073 0 -1 4194304 44558 0 0 0 308612 787 0 0 20 0 1 0 166739567 200826880 37068 134679101440 4194304 5384005 140726647063136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12357632 140726647071767 140726647071844 140726647071844 140726647078859 0
/proc/858123/statm: 49030 37068 1419 291 0 40564 0
Current children cumulated CPU time: 3093.99 s
Current children cumulated vsize: 196120 KiB
Current children cumulated memory: 148272 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.17 4.12 5/243 859761
/proc/meminfo: memFree=121620828/131655788 swapFree=131071996/131071996
[pid=858123] ppid=858120 vsize=196120 memory=148272 CPUtime=3153.84 cores=5,7
/proc/858123/stat : 858123 (pb-oll-rs) R 858120 858123 858073 0 -1 4194304 44615 0 0 0 314584 800 0 0 20 0 1 0 166739567 200826880 37068 134679101440 4194304 5384005 140726647063136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12357632 140726647071767 140726647071844 140726647071844 140726647078859 0
/proc/858123/statm: 49030 37068 1419 291 0 40564 0
Current children cumulated CPU time: 3153.84 s
Current children cumulated vsize: 196120 KiB
Current children cumulated memory: 148272 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.17 4.12 5/243 859771
/proc/meminfo: memFree=121601828/131655788 swapFree=131071996/131071996
[pid=858123] ppid=858120 vsize=197016 memory=150884 CPUtime=3213.69 cores=5,7
/proc/858123/stat : 858123 (pb-oll-rs) R 858120 858123 858073 0 -1 4194304 45149 0 0 0 320558 811 0 0 20 0 1 0 166739567 201744384 37721 134679101440 4194304 5384005 140726647063136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12357632 140726647071767 140726647071844 140726647071844 140726647078859 0
/proc/858123/statm: 49254 37721 1419 291 0 40788 0
Current children cumulated CPU time: 3213.69 s
Current children cumulated vsize: 197016 KiB
Current children cumulated memory: 150884 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.15 4.12 5/242 859781
/proc/meminfo: memFree=121601232/131655788 swapFree=131071996/131071996
[pid=858123] ppid=858120 vsize=197144 memory=151036 CPUtime=3273.53 cores=5,7
/proc/858123/stat : 858123 (pb-oll-rs) R 858120 858123 858073 0 -1 4194304 45593 0 0 0 326535 818 0 0 20 0 1 0 166739567 201875456 37759 134679101440 4194304 5384005 140726647063136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12357632 140726647071767 140726647071844 140726647071844 140726647078859 0
/proc/858123/statm: 49286 37759 1419 291 0 40820 0
Current children cumulated CPU time: 3273.53 s
Current children cumulated vsize: 197144 KiB
Current children cumulated memory: 151036 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.14 4.11 5/244 859962
/proc/meminfo: memFree=121595732/131655788 swapFree=131071996/131071996
[pid=858123] ppid=858120 vsize=197656 memory=151064 CPUtime=3333.38 cores=5,7
/proc/858123/stat : 858123 (pb-oll-rs) R 858120 858123 858073 0 -1 4194304 45706 0 0 0 332508 830 0 0 20 0 1 0 166739567 202399744 37766 134679101440 4194304 5384005 140726647063136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12357632 140726647071767 140726647071844 140726647071844 140726647078859 0
/proc/858123/statm: 49414 37766 1419 291 0 40948 0
Current children cumulated CPU time: 3333.38 s
Current children cumulated vsize: 197656 KiB
Current children cumulated memory: 151064 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/244 859974
/proc/meminfo: memFree=121562668/131655788 swapFree=131071996/131071996
[pid=858123] ppid=858120 vsize=197656 memory=151468 CPUtime=3393.22 cores=5,7
/proc/858123/stat : 858123 (pb-oll-rs) R 858120 858123 858073 0 -1 4194304 46154 0 0 0 338482 840 0 0 20 0 1 0 166739567 202399744 37867 134679101440 4194304 5384005 140726647063136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12357632 140726647071767 140726647071844 140726647071844 140726647078859 0
/proc/858123/statm: 49414 37867 1419 291 0 40948 0
Current children cumulated CPU time: 3393.22 s
Current children cumulated vsize: 197656 KiB
Current children cumulated memory: 151468 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/243 859995
/proc/meminfo: memFree=121559588/131655788 swapFree=131071996/131071996
[pid=858123] ppid=858120 vsize=198424 memory=151952 CPUtime=3453.07 cores=5,7
/proc/858123/stat : 858123 (pb-oll-rs) R 858120 858123 858073 0 -1 4194304 46681 0 0 0 344458 849 0 0 20 0 1 0 166739567 203186176 37988 134679101440 4194304 5384005 140726647063136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12357632 140726647071767 140726647071844 140726647071844 140726647078859 0
/proc/858123/statm: 49606 37988 1419 291 0 41140 0
Current children cumulated CPU time: 3453.07 s
Current children cumulated vsize: 198424 KiB
Current children cumulated memory: 151952 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/243 860007
/proc/meminfo: memFree=121527388/131655788 swapFree=131071996/131071996
[pid=858123] ppid=858120 vsize=198424 memory=151952 CPUtime=3512.89 cores=5,7
/proc/858123/stat : 858123 (pb-oll-rs) R 858120 858123 858073 0 -1 4194304 46741 0 0 0 350428 861 0 0 20 0 1 0 166739567 203186176 37988 134679101440 4194304 5384005 140726647063136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12357632 140726647071767 140726647071844 140726647071844 140726647078859 0
/proc/858123/statm: 49606 37988 1419 291 0 41140 0
Current children cumulated CPU time: 3512.89 s
Current children cumulated vsize: 198424 KiB
Current children cumulated memory: 151952 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/243 860017
/proc/meminfo: memFree=121490512/131655788 swapFree=131071996/131071996
[pid=858123] ppid=858120 vsize=199320 memory=154644 CPUtime=3572.71 cores=5,7
/proc/858123/stat : 858123 (pb-oll-rs) R 858120 858123 858073 0 -1 4194304 47295 0 0 0 356401 870 0 0 20 0 1 0 166739567 204103680 38661 134679101440 4194304 5384005 140726647063136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12357632 140726647071767 140726647071844 140726647071844 140726647078859 0
/proc/858123/statm: 49830 38661 1419 291 0 41364 0
Current children cumulated CPU time: 3572.71 s
Current children cumulated vsize: 199320 KiB
Current children cumulated memory: 154644 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.20 4.13 4.10 5/243 860020
/proc/meminfo: memFree=121477352/131655788 swapFree=131071996/131071996
[pid=858123] ppid=858120 vsize=199320 memory=154644 CPUtime=3600.02 cores=5,7
/proc/858123/stat : 858123 (pb-oll-rs) R 858120 858123 858073 0 -1 4194304 47300 0 0 0 359128 874 0 0 20 0 1 0 166739567 204103680 38661 134679101440 4194304 5384005 140726647063136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12357632 140726647071767 140726647071844 140726647071844 140726647078859 0
/proc/858123/statm: 49830 38661 1419 291 0 41364 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 199320 KiB
Current children cumulated memory: 154644 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.71 s]
# the end of solver process 858123 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.29 s, system=8.75101 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.20 4.13 4.10 5/243 860020
/proc/meminfo: memFree=121477352/131655788 swapFree=131071996/131071996
[pid=858123] ppid=858120 vsize=199320 memory=154644 CPUtime=3600.02 cores=5,7
/proc/858123/stat : 858123 (pb-oll-rs) R 858120 858123 858073 0 -1 4194304 47300 0 0 0 359128 874 0 0 20 0 1 0 166739567 204103680 38661 134679101440 4194304 5384005 140726647063136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 12357632 140726647071767 140726647071844 140726647071844 140726647078859 0
/proc/858123/statm: 49830 38661 1419 291 0 41364 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 199320 KiB
Current children cumulated memory: 154644 KiB
Child status: 0
Real time (s): 3609.71
CPU time (s): 3600.04
CPU user time (s): 3591.29
CPU system time (s): 8.75101
CPU usage (%): 99.7321
Max. virtual memory (cumulated for all children) (KiB): 200032
Max. memory (cumulated for all children) (KiB): 154644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.29
system time used= 8.75101
maximum resident set size= 155856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47316
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= 55
involuntary context switches= 2525
# summary of solver processes directly reported to runsolver:
# pid: 858123
# total CPU time (s): 3600.04
# total CPU user time (s): 3591.29
# total CPU system time (s): 8.75101
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8014 second user time and 36.5635 second system time
The end
Begin job on nodeC011 at 2024-07-16 18:03:57
IDJOB=4436098
IDBENCH=155717
IDSOLVER=3067
FILE ID=nodeC011/4436098-1721145824
RUNJOBID= nodeC011-1721145836-858086
SLURM_JOB_ID= 7505737
Free space on /tmp= 723776 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
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-4436098-1721145824/watcher-4436098-1721145824 -o /tmp/evaluation-result-4436098-1721145824/solver-4436098-1721145824 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721145836-858086 --watchdog 3760 pb-oll-rs HOME/instance-4436098-1721145824.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ee8f5ca8a7564b2d122e7dc0e93c6e43
RANDOM SEED=946665264
nodeC011.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 : 3491.701
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 : 6983.20
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 : 1197.273
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.31
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.120
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 : 6983.20
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.120
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.120
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 : 6983.20
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 : 1197.129
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.31
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.207
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 : 6983.20
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.122
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 125264252 kB
MemAvailable: 129884464 kB
Buffers: 445188 kB
Cached: 4958776 kB
SwapCached: 0 kB
Active: 836768 kB
Inactive: 4898924 kB
Active(anon): 1340 kB
Inactive(anon): 367760 kB
Active(file): 835428 kB
Inactive(file): 4531164 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 11404 kB
Writeback: 0 kB
AnonPages: 331624 kB
Mapped: 103852 kB
Shmem: 37704 kB
KReclaimable: 187640 kB
Slab: 296928 kB
SReclaimable: 187640 kB
SUnreclaim: 109288 kB
KernelStack: 3696 kB
PageTables: 9096 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 727204 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 53344 kB
HardwareCorrupted: 0 kB
AnonHugePages: 208896 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: 277320 kB
DirectMap2M: 33181696 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 723736 MiB
End job on nodeC011 at 2024-07-16 19:04:07