0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.01/21.01 c #variables 2970 #constraints 5940
0.01/21.01 c objective is ce32
0.01/21.03 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.01/21.03 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.01/21.03 c GLOBAL bounds - >= 0 @ 0.030678
0.01/21.03 c GLOBAL bounds - >= 0 @ 0.032172
115.45/136.82 c #Conflicts: 1000 | #Constraints: 6940
115.45/136.82 c #Conflicts: 2000 | #Constraints: 7940
115.45/136.82 c INPROCESSING
115.45/136.82 c GARBAGE COLLECT
115.45/136.82 c #Conflicts: 3000 | #Constraints: 8025
115.45/136.82 c #Conflicts: 4000 | #Constraints: 9025
115.45/136.82 c INPROCESSING
115.45/136.82 c GARBAGE COLLECT
115.45/136.82 c #Conflicts: 5000 | #Constraints: 8454
115.45/136.82 c #Conflicts: 6000 | #Constraints: 9454
115.45/136.82 c INPROCESSING
115.45/136.82 c GARBAGE COLLECT
115.45/136.82 c #Conflicts: 7000 | #Constraints: 8469
115.45/136.82 c #Conflicts: 8000 | #Constraints: 9469
115.45/136.82 c #Conflicts: 9000 | #Constraints: 10469
115.45/136.82 c INPROCESSING
115.45/136.82 c GARBAGE COLLECT
115.45/136.82 c #Conflicts: 10000 | #Constraints: 9175
115.45/136.82 c #Conflicts: 11000 | #Constraints: 10175
115.45/136.82 c #Conflicts: 12000 | #Constraints: 11175
115.45/136.82 c INPROCESSING
115.45/136.82 c GARBAGE COLLECT
115.45/136.82 c #Conflicts: 13000 | #Constraints: 9628
115.45/136.82 c #Conflicts: 14000 | #Constraints: 10628
115.45/136.82 c #Conflicts: 15000 | #Constraints: 11628
115.45/136.82 c INPROCESSING
115.45/136.82 c GARBAGE COLLECT
115.45/136.82 c #Conflicts: 16000 | #Constraints: 9867
115.45/136.82 c #Conflicts: 17000 | #Constraints: 10867
115.45/136.82 c #Conflicts: 18000 | #Constraints: 11867
115.45/136.82 c INPROCESSING
115.45/136.82 c GARBAGE COLLECT
115.45/136.82 c #Conflicts: 19000 | #Constraints: 9897
115.45/136.82 c #Conflicts: 20000 | #Constraints: 10897
115.45/136.82 c #Conflicts: 21000 | #Constraints: 11897
115.45/136.82 c INPROCESSING
115.45/136.82 c GARBAGE COLLECT
115.45/136.82 c #Conflicts: 22000 | #Constraints: 9710
115.45/136.82 c #Conflicts: 23000 | #Constraints: 10710
115.45/136.82 c #Conflicts: 24000 | #Constraints: 11710
115.45/136.82 c #Conflicts: 25000 | #Constraints: 12710
115.45/136.82 c INPROCESSING
115.45/136.82 c GARBAGE COLLECT
115.45/136.82 c #Conflicts: 26000 | #Constraints: 10319
115.45/136.82 c #Conflicts: 27000 | #Constraints: 11319
115.45/136.82 c #Conflicts: 28000 | #Constraints: 12319
115.45/136.82 c #Conflicts: 29000 | #Constraints: 13319
115.45/136.82 c INPROCESSING
115.45/136.82 c GARBAGE COLLECT
115.45/136.82 c #Conflicts: 30000 | #Constraints: 10716
115.45/136.82 c #Conflicts: 31000 | #Constraints: 11716
115.45/136.82 c #Conflicts: 32000 | #Constraints: 12716
115.45/136.82 c #Conflicts: 33000 | #Constraints: 13716
115.45/136.82 c INPROCESSING
115.45/136.82 c GARBAGE COLLECT
115.45/136.82 c #Conflicts: 34000 | #Constraints: 10894
115.45/136.82 c #Conflicts: 35000 | #Constraints: 11894
115.45/136.82 c #Conflicts: 36000 | #Constraints: 12894
115.45/136.82 c #Conflicts: 37000 | #Constraints: 13894
115.45/136.82 c INPROCESSING
115.45/136.82 c GARBAGE COLLECT
115.45/136.82 c #Conflicts: 38000 | #Constraints: 10883
115.45/136.82 c #Conflicts: 39000 | #Constraints: 11883
115.45/136.82 c #Conflicts: 40000 | #Constraints: 12883
115.45/136.82 c #Conflicts: 41000 | #Constraints: 13883
115.45/136.82 c INPROCESSING
115.45/136.82 c GARBAGE COLLECT
115.45/136.82 c #Conflicts: 42000 | #Constraints: 10678
115.45/136.82 c #Conflicts: 43000 | #Constraints: 11678
115.45/136.82 c #Conflicts: 44000 | #Constraints: 12678
115.45/136.82 c #Conflicts: 45000 | #Constraints: 13678
115.45/136.82 c #Conflicts: 46000 | #Constraints: 14678
115.45/136.82 c INPROCESSING
115.45/136.82 c GARBAGE COLLECT
115.45/136.82 c #Conflicts: 47000 | #Constraints: 11281
115.45/136.82 c #Conflicts: 48000 | #Constraints: 12281
115.45/136.82 c #Conflicts: 49000 | #Constraints: 13281
115.45/136.82 c #Conflicts: 50000 | #Constraints: 14281
115.45/136.82 c #Conflicts: 51000 | #Constraints: 15281
115.45/136.82 c INPROCESSING
115.45/136.82 c GARBAGE COLLECT
115.45/136.82 c #Conflicts: 52000 | #Constraints: 11662
115.45/136.82 c #Conflicts: 53000 | #Constraints: 12662
115.45/136.82 c #Conflicts: 54000 | #Constraints: 13662
115.45/136.82 c #Conflicts: 55000 | #Constraints: 14662
115.45/136.82 c #Conflicts: 56000 | #Constraints: 15662
115.45/136.82 c INPROCESSING
115.45/136.82 c GARBAGE COLLECT
115.45/136.82 c #Conflicts: 57000 | #Constraints: 11864
115.45/136.82 c #Conflicts: 58000 | #Constraints: 12864
115.45/136.82 c #Conflicts: 59000 | #Constraints: 13864
115.45/136.82 c #Conflicts: 60000 | #Constraints: 14864
115.45/136.82 c #Conflicts: 61000 | #Constraints: 15864
115.45/136.82 c INPROCESSING
115.45/136.82 c GARBAGE COLLECT
115.45/136.82 c #Conflicts: 62000 | #Constraints: 11848
115.45/136.82 c #Conflicts: 63000 | #Constraints: 12848
115.45/136.82 c #Conflicts: 64000 | #Constraints: 13848
115.45/136.82 c #Conflicts: 65000 | #Constraints: 14848
115.45/136.82 c #Conflicts: 66000 | #Constraints: 15848
115.45/136.82 c INPROCESSING
115.45/136.82 c GARBAGE COLLECT
115.45/136.82 c #Conflicts: 67000 | #Constraints: 11641
115.45/136.82 c #Conflicts: 68000 | #Constraints: 12641
322.91/344.83 c #Conflicts: 69000 | #Constraints: 13641
322.91/344.83 c #Conflicts: 70000 | #Constraints: 14641
322.91/344.83 c #Conflicts: 71000 | #Constraints: 15641
322.91/344.83 c #Conflicts: 72000 | #Constraints: 16641
322.91/344.83 c INPROCESSING
322.91/344.83 c GARBAGE COLLECT
322.91/344.83 c #Conflicts: 73000 | #Constraints: 12273
322.91/344.83 c #Conflicts: 74000 | #Constraints: 13273
322.91/344.83 c #Conflicts: 75000 | #Constraints: 14273
322.91/344.83 c #Conflicts: 76000 | #Constraints: 15273
322.91/344.83 c #Conflicts: 77000 | #Constraints: 16273
322.91/344.83 c #Conflicts: 78000 | #Constraints: 17273
322.91/344.83 c INPROCESSING
322.91/344.83 c GARBAGE COLLECT
322.91/344.83 c #Conflicts: 79000 | #Constraints: 12662
322.91/344.83 c #Conflicts: 80000 | #Constraints: 13662
322.91/344.83 c #Conflicts: 81000 | #Constraints: 14662
322.91/344.83 c #Conflicts: 82000 | #Constraints: 15662
322.91/344.83 c #Conflicts: 83000 | #Constraints: 16662
322.91/344.83 c #Conflicts: 84000 | #Constraints: 17662
322.91/344.83 c INPROCESSING
322.91/344.83 c GARBAGE COLLECT
322.91/344.83 c #Conflicts: 85000 | #Constraints: 12829
322.91/344.83 c #Conflicts: 86000 | #Constraints: 13829
322.91/344.83 c #Conflicts: 87000 | #Constraints: 14829
322.91/344.83 c #Conflicts: 88000 | #Constraints: 15829
322.91/344.83 c #Conflicts: 89000 | #Constraints: 16829
322.91/344.83 c #Conflicts: 90000 | #Constraints: 17829
322.91/344.83 c INPROCESSING
322.91/344.83 c GARBAGE COLLECT
322.91/344.83 c #Conflicts: 91000 | #Constraints: 12823
322.91/344.83 c #Conflicts: 92000 | #Constraints: 13823
322.91/344.83 c #Conflicts: 93000 | #Constraints: 14823
322.91/344.83 c #Conflicts: 94000 | #Constraints: 15823
322.91/344.83 c #Conflicts: 95000 | #Constraints: 16823
322.91/344.83 c #Conflicts: 96000 | #Constraints: 17823
322.91/344.83 c INPROCESSING
322.91/344.83 c GARBAGE COLLECT
322.91/344.83 c #Conflicts: 97000 | #Constraints: 12616
322.91/344.83 c #Conflicts: 98000 | #Constraints: 13616
322.91/344.83 c #Conflicts: 99000 | #Constraints: 14616
322.91/344.83 c #Conflicts: 100000 | #Constraints: 15616
322.91/344.83 c #Conflicts: 101000 | #Constraints: 16616
322.91/344.83 c #Conflicts: 102000 | #Constraints: 17616
322.91/344.83 c #Conflicts: 103000 | #Constraints: 18616
322.91/344.83 c INPROCESSING
322.91/344.83 c GARBAGE COLLECT
322.91/344.83 c #Conflicts: 104000 | #Constraints: 13220
322.91/344.83 c #Conflicts: 105000 | #Constraints: 14220
322.91/344.83 c #Conflicts: 106000 | #Constraints: 15220
322.91/344.83 c #Conflicts: 107000 | #Constraints: 16220
322.91/344.83 c #Conflicts: 108000 | #Constraints: 17220
322.91/344.83 c #Conflicts: 109000 | #Constraints: 18220
322.91/344.83 c #Conflicts: 110000 | #Constraints: 19220
322.91/344.83 c INPROCESSING
322.91/344.83 c GARBAGE COLLECT
322.91/344.83 c #Conflicts: 111000 | #Constraints: 13626
322.91/344.83 c #Conflicts: 112000 | #Constraints: 14626
322.91/344.83 c #Conflicts: 113000 | #Constraints: 15626
322.91/344.83 c #Conflicts: 114000 | #Constraints: 16626
322.91/344.83 c #Conflicts: 115000 | #Constraints: 17626
322.91/344.83 c #Conflicts: 116000 | #Constraints: 18626
322.91/344.83 c #Conflicts: 117000 | #Constraints: 19626
322.91/344.83 c INPROCESSING
322.91/344.83 c GARBAGE COLLECT
322.91/344.83 c #Conflicts: 118000 | #Constraints: 13830
322.91/344.83 c #Conflicts: 119000 | #Constraints: 14830
322.91/344.83 c #Conflicts: 120000 | #Constraints: 15830
322.91/344.83 c #Conflicts: 121000 | #Constraints: 16830
322.91/344.83 c #Conflicts: 122000 | #Constraints: 17830
322.91/344.83 c #Conflicts: 123000 | #Constraints: 18830
322.91/344.83 c #Conflicts: 124000 | #Constraints: 19830
322.91/344.83 c INPROCESSING
322.91/344.83 c GARBAGE COLLECT
322.91/344.83 c #Conflicts: 125000 | #Constraints: 13820
322.91/344.83 c #Conflicts: 126000 | #Constraints: 14820
322.91/344.83 c #Conflicts: 127000 | #Constraints: 15820
322.91/344.83 c #Conflicts: 128000 | #Constraints: 16820
322.91/344.83 c #Conflicts: 129000 | #Constraints: 17820
322.91/344.83 c #Conflicts: 130000 | #Constraints: 18820
322.91/344.83 c #Conflicts: 131000 | #Constraints: 19820
322.91/344.83 c INPROCESSING
322.91/344.83 c GARBAGE COLLECT
322.91/344.83 c #Conflicts: 132000 | #Constraints: 13612
322.91/344.83 c #Conflicts: 133000 | #Constraints: 14612
322.91/344.83 c #Conflicts: 134000 | #Constraints: 15612
322.91/344.83 c #Conflicts: 135000 | #Constraints: 16612
322.91/344.83 c #Conflicts: 136000 | #Constraints: 17612
322.91/344.83 c #Conflicts: 137000 | #Constraints: 18612
322.91/344.83 c #Conflicts: 138000 | #Constraints: 19612
322.91/344.83 c #Conflicts: 139000 | #Constraints: 20612
322.91/344.83 c INPROCESSING
322.91/344.83 c GARBAGE COLLECT
322.91/344.83 c #Conflicts: 140000 | #Constraints: 14261
589.00/611.63 c #Conflicts: 141000 | #Constraints: 15261
589.00/611.63 c #Conflicts: 142000 | #Constraints: 16261
589.00/611.63 c #Conflicts: 143000 | #Constraints: 17261
589.00/611.63 c #Conflicts: 144000 | #Constraints: 18261
589.00/611.63 c #Conflicts: 145000 | #Constraints: 19261
589.00/611.63 c #Conflicts: 146000 | #Constraints: 20261
589.00/611.63 c #Conflicts: 147000 | #Constraints: 21261
589.00/611.63 c INPROCESSING
589.00/611.63 c GARBAGE COLLECT
589.00/611.63 c #Conflicts: 148000 | #Constraints: 14635
589.00/611.63 c #Conflicts: 149000 | #Constraints: 15635
589.00/611.63 c #Conflicts: 150000 | #Constraints: 16635
589.00/611.63 c #Conflicts: 151000 | #Constraints: 17635
589.00/611.63 c #Conflicts: 152000 | #Constraints: 18635
589.00/611.63 c #Conflicts: 153000 | #Constraints: 19635
589.00/611.63 c #Conflicts: 154000 | #Constraints: 20635
589.00/611.63 c #Conflicts: 155000 | #Constraints: 21635
589.00/611.63 c INPROCESSING
589.00/611.63 c GARBAGE COLLECT
589.00/611.63 c #Conflicts: 156000 | #Constraints: 14855
589.00/611.63 c #Conflicts: 157000 | #Constraints: 15855
589.00/611.63 c #Conflicts: 158000 | #Constraints: 16855
589.00/611.63 c #Conflicts: 159000 | #Constraints: 17855
589.00/611.63 c #Conflicts: 160000 | #Constraints: 18855
589.00/611.63 c #Conflicts: 161000 | #Constraints: 19855
589.00/611.63 c #Conflicts: 162000 | #Constraints: 20855
589.00/611.63 c #Conflicts: 163000 | #Constraints: 21855
589.00/611.63 c INPROCESSING
589.00/611.63 c GARBAGE COLLECT
589.00/611.63 c #Conflicts: 164000 | #Constraints: 14828
589.00/611.63 c #Conflicts: 165000 | #Constraints: 15828
589.00/611.63 c #Conflicts: 166000 | #Constraints: 16828
589.00/611.63 c #Conflicts: 167000 | #Constraints: 17828
589.00/611.63 c #Conflicts: 168000 | #Constraints: 18828
589.00/611.63 c #Conflicts: 169000 | #Constraints: 19828
589.00/611.63 c #Conflicts: 170000 | #Constraints: 20828
589.00/611.63 c #Conflicts: 171000 | #Constraints: 21828
589.00/611.63 c INPROCESSING
589.00/611.63 c GARBAGE COLLECT
589.00/611.63 c #Conflicts: 172000 | #Constraints: 14621
589.00/611.63 c #Conflicts: 173000 | #Constraints: 15621
589.00/611.63 c #Conflicts: 174000 | #Constraints: 16621
589.00/611.63 c #Conflicts: 175000 | #Constraints: 17621
589.00/611.63 c #Conflicts: 176000 | #Constraints: 18621
589.00/611.63 c #Conflicts: 177000 | #Constraints: 19621
589.00/611.63 c #Conflicts: 178000 | #Constraints: 20621
589.00/611.63 c #Conflicts: 179000 | #Constraints: 21621
589.00/611.63 c #Conflicts: 180000 | #Constraints: 22621
589.00/611.63 c INPROCESSING
589.00/611.63 c GARBAGE COLLECT
589.00/611.63 c #Conflicts: 181000 | #Constraints: 15217
589.00/611.63 c #Conflicts: 182000 | #Constraints: 16217
589.00/611.63 c #Conflicts: 183000 | #Constraints: 17217
589.00/611.63 c #Conflicts: 184000 | #Constraints: 18217
589.00/611.63 c #Conflicts: 185000 | #Constraints: 19217
589.00/611.63 c #Conflicts: 186000 | #Constraints: 20217
589.00/611.63 c #Conflicts: 187000 | #Constraints: 21217
589.00/611.63 c #Conflicts: 188000 | #Constraints: 22217
589.00/611.63 c #Conflicts: 189000 | #Constraints: 23217
589.00/611.63 c INPROCESSING
589.00/611.63 c GARBAGE COLLECT
589.00/611.63 c #Conflicts: 190000 | #Constraints: 15639
589.00/611.63 c #Conflicts: 191000 | #Constraints: 16639
589.00/611.63 c #Conflicts: 192000 | #Constraints: 17639
589.00/611.63 c #Conflicts: 193000 | #Constraints: 18639
589.00/611.63 c #Conflicts: 194000 | #Constraints: 19639
589.00/611.63 c #Conflicts: 195000 | #Constraints: 20639
589.00/611.63 c #Conflicts: 196000 | #Constraints: 21639
589.00/611.63 c #Conflicts: 197000 | #Constraints: 22639
589.00/611.63 c #Conflicts: 198000 | #Constraints: 23639
589.00/611.63 c INPROCESSING
589.00/611.63 c GARBAGE COLLECT
589.00/611.63 c #Conflicts: 199000 | #Constraints: 15843
589.00/611.63 c #Conflicts: 200000 | #Constraints: 16843
589.00/611.63 c #Conflicts: 201000 | #Constraints: 17843
589.00/611.63 c #Conflicts: 202000 | #Constraints: 18843
589.00/611.63 c #Conflicts: 203000 | #Constraints: 19843
589.00/611.63 c #Conflicts: 204000 | #Constraints: 20843
589.00/611.63 c #Conflicts: 205000 | #Constraints: 21843
589.00/611.63 c #Conflicts: 206000 | #Constraints: 22843
589.00/611.63 c #Conflicts: 207000 | #Constraints: 23843
589.00/611.63 c INPROCESSING
589.00/611.63 c GARBAGE COLLECT
589.00/611.63 c #Conflicts: 208000 | #Constraints: 15866
589.00/611.63 c #Conflicts: 209000 | #Constraints: 16866
589.00/611.63 c #Conflicts: 210000 | #Constraints: 17866
589.00/611.63 c #Conflicts: 211000 | #Constraints: 18866
589.00/611.63 c #Conflicts: 212000 | #Constraints: 19866
589.00/611.63 c #Conflicts: 213000 | #Constraints: 20866
913.05/936.53 c #Conflicts: 214000 | #Constraints: 21866
913.05/936.53 c #Conflicts: 215000 | #Constraints: 22866
913.05/936.53 c #Conflicts: 216000 | #Constraints: 23866
913.05/936.53 c INPROCESSING
913.05/936.53 c GARBAGE COLLECT
913.05/936.53 c #Conflicts: 217000 | #Constraints: 15634
913.05/936.53 c #Conflicts: 218000 | #Constraints: 16634
913.05/936.53 c #Conflicts: 219000 | #Constraints: 17634
913.05/936.53 c #Conflicts: 220000 | #Constraints: 18634
913.05/936.53 c #Conflicts: 221000 | #Constraints: 19634
913.05/936.53 c #Conflicts: 222000 | #Constraints: 20634
913.05/936.53 c #Conflicts: 223000 | #Constraints: 21634
913.05/936.53 c #Conflicts: 224000 | #Constraints: 22634
913.05/936.53 c #Conflicts: 225000 | #Constraints: 23634
913.05/936.53 c #Conflicts: 226000 | #Constraints: 24634
913.05/936.53 c INPROCESSING
913.05/936.53 c GARBAGE COLLECT
913.05/936.53 c #Conflicts: 227000 | #Constraints: 16252
913.05/936.53 c #Conflicts: 228000 | #Constraints: 17252
913.05/936.53 c #Conflicts: 229000 | #Constraints: 18252
913.05/936.53 c #Conflicts: 230000 | #Constraints: 19252
913.05/936.53 c #Conflicts: 231000 | #Constraints: 20252
913.05/936.53 c #Conflicts: 232000 | #Constraints: 21252
913.05/936.53 c #Conflicts: 233000 | #Constraints: 22252
913.05/936.53 c #Conflicts: 234000 | #Constraints: 23252
913.05/936.53 c #Conflicts: 235000 | #Constraints: 24252
913.05/936.53 c #Conflicts: 236000 | #Constraints: 25252
913.05/936.53 c INPROCESSING
913.05/936.53 c GARBAGE COLLECT
913.05/936.53 c #Conflicts: 237000 | #Constraints: 16640
913.05/936.53 c #Conflicts: 238000 | #Constraints: 17640
913.05/936.53 c #Conflicts: 239000 | #Constraints: 18640
913.05/936.53 c #Conflicts: 240000 | #Constraints: 19640
913.05/936.53 c #Conflicts: 241000 | #Constraints: 20640
913.05/936.53 c #Conflicts: 242000 | #Constraints: 21640
913.05/936.53 c #Conflicts: 243000 | #Constraints: 22640
913.05/936.53 c #Conflicts: 244000 | #Constraints: 23640
913.05/936.53 c #Conflicts: 245000 | #Constraints: 24640
913.05/936.53 c #Conflicts: 246000 | #Constraints: 25640
913.05/936.53 c INPROCESSING
913.05/936.53 c GARBAGE COLLECT
913.05/936.53 c #Conflicts: 247000 | #Constraints: 16861
913.05/936.53 c #Conflicts: 248000 | #Constraints: 17861
913.05/936.53 c #Conflicts: 249000 | #Constraints: 18861
913.05/936.53 c #Conflicts: 250000 | #Constraints: 19861
913.05/936.53 c #Conflicts: 251000 | #Constraints: 20861
913.05/936.53 c #Conflicts: 252000 | #Constraints: 21861
913.05/936.53 c #Conflicts: 253000 | #Constraints: 22861
913.05/936.53 c #Conflicts: 254000 | #Constraints: 23861
913.05/936.53 c #Conflicts: 255000 | #Constraints: 24861
913.05/936.53 c #Conflicts: 256000 | #Constraints: 25861
913.05/936.53 c INPROCESSING
913.05/936.53 c GARBAGE COLLECT
913.05/936.53 c #Conflicts: 257000 | #Constraints: 16909
913.05/936.53 c #Conflicts: 258000 | #Constraints: 17909
913.05/936.53 c #Conflicts: 259000 | #Constraints: 18909
913.05/936.53 c #Conflicts: 260000 | #Constraints: 19909
913.05/936.53 c #Conflicts: 261000 | #Constraints: 20909
913.05/936.53 c #Conflicts: 262000 | #Constraints: 21909
913.05/936.53 c #Conflicts: 263000 | #Constraints: 22909
913.05/936.53 c #Conflicts: 264000 | #Constraints: 23909
913.05/936.53 c #Conflicts: 265000 | #Constraints: 24909
913.05/936.53 c #Conflicts: 266000 | #Constraints: 25909
913.05/936.53 c INPROCESSING
913.05/936.53 c GARBAGE COLLECT
913.05/936.53 c #Conflicts: 267000 | #Constraints: 16674
913.05/936.53 c #Conflicts: 268000 | #Constraints: 17674
913.05/936.53 c #Conflicts: 269000 | #Constraints: 18674
913.05/936.53 c #Conflicts: 270000 | #Constraints: 19674
913.05/936.53 c #Conflicts: 271000 | #Constraints: 20674
913.05/936.53 c #Conflicts: 272000 | #Constraints: 21674
913.05/936.53 c #Conflicts: 273000 | #Constraints: 22674
913.05/936.53 c #Conflicts: 274000 | #Constraints: 23674
913.05/936.53 c #Conflicts: 275000 | #Constraints: 24674
913.05/936.53 c #Conflicts: 276000 | #Constraints: 25674
913.05/936.53 c #Conflicts: 277000 | #Constraints: 26674
913.05/936.53 c INPROCESSING
913.05/936.53 c GARBAGE COLLECT
913.05/936.53 c #Conflicts: 278000 | #Constraints: 17239
913.05/936.53 c #Conflicts: 279000 | #Constraints: 18239
913.05/936.53 c #Conflicts: 280000 | #Constraints: 19239
913.05/936.53 c #Conflicts: 281000 | #Constraints: 20239
913.05/936.53 c #Conflicts: 282000 | #Constraints: 21239
913.05/936.53 c #Conflicts: 283000 | #Constraints: 22239
913.05/936.53 c #Conflicts: 284000 | #Constraints: 23239
913.05/936.53 c #Conflicts: 285000 | #Constraints: 24239
913.05/936.53 c #Conflicts: 286000 | #Constraints: 25239
913.05/936.53 c #Conflicts: 287000 | #Constraints: 26239
913.05/936.53 c #Conflicts: 288000 | #Constraints: 27239
1287.35/1311.85 c INPROCESSING
1287.35/1311.85 c GARBAGE COLLECT
1287.35/1311.85 c #Conflicts: 289000 | #Constraints: 17669
1287.35/1311.85 c #Conflicts: 290000 | #Constraints: 18669
1287.35/1311.85 c #Conflicts: 291000 | #Constraints: 19669
1287.35/1311.85 c #Conflicts: 292000 | #Constraints: 20669
1287.35/1311.85 c #Conflicts: 293000 | #Constraints: 21669
1287.35/1311.85 c #Conflicts: 294000 | #Constraints: 22669
1287.35/1311.85 c #Conflicts: 295000 | #Constraints: 23669
1287.35/1311.85 c #Conflicts: 296000 | #Constraints: 24669
1287.35/1311.85 c #Conflicts: 297000 | #Constraints: 25669
1287.35/1311.85 c #Conflicts: 298000 | #Constraints: 26669
1287.35/1311.85 c #Conflicts: 299000 | #Constraints: 27669
1287.35/1311.85 c INPROCESSING
1287.35/1311.85 c GARBAGE COLLECT
1287.35/1311.85 c #Conflicts: 300000 | #Constraints: 17844
1287.35/1311.85 c #Conflicts: 301000 | #Constraints: 18844
1287.35/1311.85 c #Conflicts: 302000 | #Constraints: 19844
1287.35/1311.85 c #Conflicts: 303000 | #Constraints: 20844
1287.35/1311.85 c #Conflicts: 304000 | #Constraints: 21844
1287.35/1311.85 c #Conflicts: 305000 | #Constraints: 22844
1287.35/1311.85 c #Conflicts: 306000 | #Constraints: 23844
1287.35/1311.85 c #Conflicts: 307000 | #Constraints: 24844
1287.35/1311.85 c #Conflicts: 308000 | #Constraints: 25844
1287.35/1311.85 c #Conflicts: 309000 | #Constraints: 26844
1287.35/1311.85 c #Conflicts: 310000 | #Constraints: 27844
1287.35/1311.85 c INPROCESSING
1287.35/1311.85 c GARBAGE COLLECT
1287.35/1311.85 c #Conflicts: 311000 | #Constraints: 17833
1287.35/1311.85 c #Conflicts: 312000 | #Constraints: 18833
1287.35/1311.85 c #Conflicts: 313000 | #Constraints: 19833
1287.35/1311.85 c #Conflicts: 314000 | #Constraints: 20833
1287.35/1311.85 c #Conflicts: 315000 | #Constraints: 21833
1287.35/1311.85 c #Conflicts: 316000 | #Constraints: 22833
1287.35/1311.85 c #Conflicts: 317000 | #Constraints: 23833
1287.35/1311.85 c #Conflicts: 318000 | #Constraints: 24833
1287.35/1311.85 c #Conflicts: 319000 | #Constraints: 25833
1287.35/1311.85 c #Conflicts: 320000 | #Constraints: 26833
1287.35/1311.85 c #Conflicts: 321000 | #Constraints: 27833
1287.35/1311.85 c INPROCESSING
1287.35/1311.85 c GARBAGE COLLECT
1287.35/1311.85 c #Conflicts: 322000 | #Constraints: 17621
1287.35/1311.85 c #Conflicts: 323000 | #Constraints: 18621
1287.35/1311.85 c #Conflicts: 324000 | #Constraints: 19621
1287.35/1311.85 c #Conflicts: 325000 | #Constraints: 20621
1287.35/1311.85 c #Conflicts: 326000 | #Constraints: 21621
1287.35/1311.85 c #Conflicts: 327000 | #Constraints: 22621
1287.35/1311.85 c #Conflicts: 328000 | #Constraints: 23621
1287.35/1311.85 c #Conflicts: 329000 | #Constraints: 24621
1287.35/1311.85 c #Conflicts: 330000 | #Constraints: 25621
1287.35/1311.85 c #Conflicts: 331000 | #Constraints: 26621
1287.35/1311.85 c #Conflicts: 332000 | #Constraints: 27621
1287.35/1311.85 c #Conflicts: 333000 | #Constraints: 28621
1287.35/1311.85 c INPROCESSING
1287.35/1311.85 c GARBAGE COLLECT
1287.35/1311.85 c #Conflicts: 334000 | #Constraints: 18210
1287.35/1311.85 c #Conflicts: 335000 | #Constraints: 19210
1287.35/1311.85 c #Conflicts: 336000 | #Constraints: 20210
1287.35/1311.85 c #Conflicts: 337000 | #Constraints: 21210
1287.35/1311.85 c #Conflicts: 338000 | #Constraints: 22210
1287.35/1311.85 c #Conflicts: 339000 | #Constraints: 23210
1287.35/1311.85 c #Conflicts: 340000 | #Constraints: 24210
1287.35/1311.85 c #Conflicts: 341000 | #Constraints: 25210
1287.35/1311.85 c #Conflicts: 342000 | #Constraints: 26210
1287.35/1311.85 c #Conflicts: 343000 | #Constraints: 27210
1287.35/1311.85 c #Conflicts: 344000 | #Constraints: 28210
1287.35/1311.85 c #Conflicts: 345000 | #Constraints: 29210
1287.35/1311.85 c INPROCESSING
1287.35/1311.85 c GARBAGE COLLECT
1287.35/1311.85 c #Conflicts: 346000 | #Constraints: 18638
1287.35/1311.85 c #Conflicts: 347000 | #Constraints: 19638
1287.35/1311.85 c #Conflicts: 348000 | #Constraints: 20638
1287.35/1311.85 c #Conflicts: 349000 | #Constraints: 21638
1287.35/1311.85 c #Conflicts: 350000 | #Constraints: 22638
1287.35/1311.85 c #Conflicts: 351000 | #Constraints: 23638
1287.35/1311.85 c #Conflicts: 352000 | #Constraints: 24638
1287.35/1311.85 c #Conflicts: 353000 | #Constraints: 25638
1287.35/1311.85 c #Conflicts: 354000 | #Constraints: 26638
1287.35/1311.85 c #Conflicts: 355000 | #Constraints: 27638
1287.35/1311.85 c #Conflicts: 356000 | #Constraints: 28638
1287.35/1311.85 c #Conflicts: 357000 | #Constraints: 29638
1287.35/1311.85 c INPROCESSING
1287.35/1311.85 c GARBAGE COLLECT
1287.35/1311.85 c #Conflicts: 358000 | #Constraints: 18858
1287.35/1311.85 c #Conflicts: 359000 | #Constraints: 19858
1287.35/1311.85 c #Conflicts: 360000 | #Constraints: 20858
1287.35/1311.85 c #Conflicts: 361000 | #Constraints: 21858
1287.35/1311.85 c #Conflicts: 362000 | #Constraints: 22858
1574.50/1599.75 c #Conflicts: 363000 | #Constraints: 23858
1574.50/1599.75 c #Conflicts: 364000 | #Constraints: 24858
1574.50/1599.75 c #Conflicts: 365000 | #Constraints: 25858
1574.50/1599.75 c #Conflicts: 366000 | #Constraints: 26858
1574.50/1599.75 c #Conflicts: 367000 | #Constraints: 27858
1574.50/1599.75 c #Conflicts: 368000 | #Constraints: 28858
1574.50/1599.75 c #Conflicts: 369000 | #Constraints: 29858
1574.50/1599.75 c INPROCESSING
1574.50/1599.75 c GARBAGE COLLECT
1574.50/1599.75 c #Conflicts: 370000 | #Constraints: 18829
1574.50/1599.75 c #Conflicts: 371000 | #Constraints: 19829
1574.50/1599.75 c #Conflicts: 372000 | #Constraints: 20829
1574.50/1599.75 c #Conflicts: 373000 | #Constraints: 21829
1574.50/1599.75 c #Conflicts: 374000 | #Constraints: 22829
1574.50/1599.75 c #Conflicts: 375000 | #Constraints: 23829
1574.50/1599.75 c #Conflicts: 376000 | #Constraints: 24829
1574.50/1599.75 c #Conflicts: 377000 | #Constraints: 25829
1574.50/1599.75 c #Conflicts: 378000 | #Constraints: 26829
1574.50/1599.75 c #Conflicts: 379000 | #Constraints: 27829
1574.50/1599.75 c #Conflicts: 380000 | #Constraints: 28829
1574.50/1599.75 c #Conflicts: 381000 | #Constraints: 29829
1574.50/1599.75 c INPROCESSING
1574.50/1599.75 c GARBAGE COLLECT
1574.50/1599.75 c #Conflicts: 382000 | #Constraints: 18629
1574.50/1599.75 c #Conflicts: 383000 | #Constraints: 19629
1574.50/1599.75 c #Conflicts: 384000 | #Constraints: 20629
1574.50/1599.75 c #Conflicts: 385000 | #Constraints: 21629
1574.50/1599.75 c #Conflicts: 386000 | #Constraints: 22629
1574.50/1599.75 c #Conflicts: 387000 | #Constraints: 23629
1574.50/1599.75 c #Conflicts: 388000 | #Constraints: 24629
1574.50/1599.75 c #Conflicts: 389000 | #Constraints: 25629
1574.50/1599.75 c #Conflicts: 390000 | #Constraints: 26629
1574.50/1599.75 c #Conflicts: 391000 | #Constraints: 27629
1574.50/1599.75 c #Conflicts: 392000 | #Constraints: 28629
1574.50/1599.75 c #Conflicts: 393000 | #Constraints: 29629
1574.50/1599.75 c #Conflicts: 394000 | #Constraints: 30629
1574.50/1599.75 c INPROCESSING
1574.50/1599.75 c GARBAGE COLLECT
1574.50/1599.75 c #Conflicts: 395000 | #Constraints: 19228
1574.50/1599.75 c #Conflicts: 396000 | #Constraints: 20228
1574.50/1599.75 c #Conflicts: 397000 | #Constraints: 21228
1574.50/1599.75 c #Conflicts: 398000 | #Constraints: 22228
1574.50/1599.75 c #Conflicts: 399000 | #Constraints: 23228
1574.50/1599.75 c #Conflicts: 400000 | #Constraints: 24228
1574.50/1599.75 c #Conflicts: 401000 | #Constraints: 25228
1574.50/1599.75 c #Conflicts: 402000 | #Constraints: 26228
1574.50/1599.75 c #Conflicts: 403000 | #Constraints: 27228
1574.50/1599.75 c #Conflicts: 404000 | #Constraints: 28228
1574.50/1599.75 c #Conflicts: 405000 | #Constraints: 29228
1574.50/1599.75 c #Conflicts: 406000 | #Constraints: 30228
1574.50/1599.75 c #Conflicts: 407000 | #Constraints: 31228
1574.50/1599.75 c INPROCESSING
1574.50/1599.75 c GARBAGE COLLECT
1574.50/1599.75 c #Conflicts: 408000 | #Constraints: 19623
1574.50/1599.75 c #Conflicts: 409000 | #Constraints: 20623
1574.50/1599.75 c #Conflicts: 410000 | #Constraints: 21623
1574.50/1599.75 c #Conflicts: 411000 | #Constraints: 22623
1574.50/1599.75 c #Conflicts: 412000 | #Constraints: 23623
1574.50/1599.75 c #Conflicts: 413000 | #Constraints: 24623
1574.50/1599.75 c #Conflicts: 414000 | #Constraints: 25623
1574.50/1599.75 c #Conflicts: 415000 | #Constraints: 26623
1574.50/1599.75 c #Conflicts: 416000 | #Constraints: 27623
1574.50/1599.75 c #Conflicts: 417000 | #Constraints: 28623
1574.50/1599.75 c #Conflicts: 418000 | #Constraints: 29623
1574.50/1599.75 c #Conflicts: 419000 | #Constraints: 30623
1574.50/1599.75 c #Conflicts: 420000 | #Constraints: 31623
1574.50/1599.75 c INPROCESSING
1574.50/1599.75 c GARBAGE COLLECT
1574.50/1599.75 c #Conflicts: 421000 | #Constraints: 19831
1574.50/1599.75 c #Conflicts: 422000 | #Constraints: 20831
1574.50/1599.75 c #Conflicts: 423000 | #Constraints: 21831
1574.50/1599.75 c #Conflicts: 424000 | #Constraints: 22831
1574.50/1599.75 c #Conflicts: 425000 | #Constraints: 23831
1574.50/1599.75 c #Conflicts: 426000 | #Constraints: 24831
1574.50/1599.75 c #Conflicts: 427000 | #Constraints: 25831
1574.50/1599.75 c #Conflicts: 428000 | #Constraints: 26831
1574.50/1599.75 c #Conflicts: 429000 | #Constraints: 27831
1574.50/1599.75 c #Conflicts: 430000 | #Constraints: 28831
1574.50/1599.75 c #Conflicts: 431000 | #Constraints: 29831
1574.50/1599.75 c #Conflicts: 432000 | #Constraints: 30831
1574.50/1599.75 c #Conflicts: 433000 | #Constraints: 31831
1574.50/1599.75 c INPROCESSING
1574.50/1599.75 c GARBAGE COLLECT
1574.50/1599.75 c #Conflicts: 434000 | #Constraints: 19826
1574.50/1599.75 c #Conflicts: 435000 | #Constraints: 20826
1574.50/1599.75 c #Conflicts: 436000 | #Constraints: 21826
1574.50/1599.75 c #Conflicts: 437000 | #Constraints: 22826
1764.68/1790.40 c #Conflicts: 438000 | #Constraints: 23826
1764.68/1790.40 c #Conflicts: 439000 | #Constraints: 24826
1764.68/1790.40 c #Conflicts: 440000 | #Constraints: 25826
1764.68/1790.40 c #Conflicts: 441000 | #Constraints: 26826
1764.68/1790.40 c #Conflicts: 442000 | #Constraints: 27826
1764.68/1790.40 c #Conflicts: 443000 | #Constraints: 28826
1764.68/1790.40 c #Conflicts: 444000 | #Constraints: 29826
1764.68/1790.40 c #Conflicts: 445000 | #Constraints: 30826
1764.68/1790.40 c #Conflicts: 446000 | #Constraints: 31826
1764.68/1790.40 c INPROCESSING
1764.68/1790.40 c GARBAGE COLLECT
1764.68/1790.40 c #Conflicts: 447000 | #Constraints: 19639
1764.68/1790.40 c #Conflicts: 448000 | #Constraints: 20639
1764.68/1790.40 c #Conflicts: 449000 | #Constraints: 21639
1764.68/1790.40 c #Conflicts: 450000 | #Constraints: 22639
1764.68/1790.40 c #Conflicts: 451000 | #Constraints: 23639
1764.68/1790.40 c #Conflicts: 452000 | #Constraints: 24639
1764.68/1790.40 c #Conflicts: 453000 | #Constraints: 25639
1764.68/1790.40 c #Conflicts: 454000 | #Constraints: 26639
1764.68/1790.40 c #Conflicts: 455000 | #Constraints: 27639
1764.68/1790.40 c #Conflicts: 456000 | #Constraints: 28639
1764.68/1790.40 c #Conflicts: 457000 | #Constraints: 29639
1764.68/1790.40 c #Conflicts: 458000 | #Constraints: 30639
1764.68/1790.40 c #Conflicts: 459000 | #Constraints: 31639
1764.68/1790.40 c #Conflicts: 460000 | #Constraints: 32639
1764.68/1790.40 c INPROCESSING
1764.68/1790.40 c GARBAGE COLLECT
1764.68/1790.40 c #Conflicts: 461000 | #Constraints: 20232
1764.68/1790.40 c #Conflicts: 462000 | #Constraints: 21232
1764.68/1790.40 c #Conflicts: 463000 | #Constraints: 22232
1764.68/1790.40 c #Conflicts: 464000 | #Constraints: 23232
1764.68/1790.40 c #Conflicts: 465000 | #Constraints: 24232
1764.68/1790.40 c #Conflicts: 466000 | #Constraints: 25232
1764.68/1790.40 c #Conflicts: 467000 | #Constraints: 26232
1764.68/1790.40 c #Conflicts: 468000 | #Constraints: 27232
1764.68/1790.40 c #Conflicts: 469000 | #Constraints: 28232
1764.68/1790.40 c #Conflicts: 470000 | #Constraints: 29232
1764.68/1790.40 c #Conflicts: 471000 | #Constraints: 30232
1764.68/1790.40 c #Conflicts: 472000 | #Constraints: 31232
1764.68/1790.40 c #Conflicts: 473000 | #Constraints: 32232
1764.68/1790.40 c #Conflicts: 474000 | #Constraints: 33232
1764.68/1790.40 c INPROCESSING
1764.68/1790.40 c GARBAGE COLLECT
1764.68/1790.40 c #Conflicts: 475000 | #Constraints: 20626
1764.68/1790.40 c #Conflicts: 476000 | #Constraints: 21626
1764.68/1790.40 c #Conflicts: 477000 | #Constraints: 22626
1764.68/1790.40 c #Conflicts: 478000 | #Constraints: 23626
1764.68/1790.40 c #Conflicts: 479000 | #Constraints: 24626
1764.68/1790.40 c #Conflicts: 480000 | #Constraints: 25626
1764.68/1790.40 c #Conflicts: 481000 | #Constraints: 26626
1764.68/1790.40 c #Conflicts: 482000 | #Constraints: 27626
1764.68/1790.40 c #Conflicts: 483000 | #Constraints: 28626
1764.68/1790.40 c #Conflicts: 484000 | #Constraints: 29626
1764.68/1790.40 c #Conflicts: 485000 | #Constraints: 30626
1764.68/1790.40 c #Conflicts: 486000 | #Constraints: 31626
1764.68/1790.40 c #Conflicts: 487000 | #Constraints: 32626
1764.68/1790.40 c #Conflicts: 488000 | #Constraints: 33626
1764.68/1790.40 c INPROCESSING
1764.68/1790.40 c GARBAGE COLLECT
1764.68/1790.40 c #Conflicts: 489000 | #Constraints: 20816
1764.68/1790.40 c #Conflicts: 490000 | #Constraints: 21816
1764.68/1790.40 c #Conflicts: 491000 | #Constraints: 22816
1764.68/1790.40 c #Conflicts: 492000 | #Constraints: 23816
1764.68/1790.40 c #Conflicts: 493000 | #Constraints: 24816
1764.68/1790.40 c #Conflicts: 494000 | #Constraints: 25816
1764.68/1790.40 c #Conflicts: 495000 | #Constraints: 26816
1764.68/1790.40 c #Conflicts: 496000 | #Constraints: 27816
1764.68/1790.40 c #Conflicts: 497000 | #Constraints: 28816
1764.68/1790.40 c #Conflicts: 498000 | #Constraints: 29816
1764.68/1790.40 c #Conflicts: 499000 | #Constraints: 30816
1764.68/1790.40 c #Conflicts: 500000 | #Constraints: 31816
1764.68/1790.40 c #Conflicts: 501000 | #Constraints: 32816
1764.68/1790.40 c #Conflicts: 502000 | #Constraints: 33816
1764.68/1790.40 c INPROCESSING
1764.68/1790.40 c GARBAGE COLLECT
1764.68/1790.40 c #Conflicts: 503000 | #Constraints: 20817
1764.68/1790.40 c #Conflicts: 504000 | #Constraints: 21817
1764.68/1790.40 c #Conflicts: 505000 | #Constraints: 22817
1764.68/1790.40 c #Conflicts: 506000 | #Constraints: 23817
1764.68/1790.40 c #Conflicts: 507000 | #Constraints: 24817
1764.68/1790.40 c #Conflicts: 508000 | #Constraints: 25817
1764.68/1790.40 c #Conflicts: 509000 | #Constraints: 26817
1764.68/1790.40 c #Conflicts: 510000 | #Constraints: 27817
1764.68/1790.40 c #Conflicts: 511000 | #Constraints: 28817
1764.68/1790.40 c #Conflicts: 512000 | #Constraints: 29817
1764.68/1790.40 c #Conflicts: 513000 | #Constraints: 30817
2048.89/2075.33 c #Conflicts: 514000 | #Constraints: 31817
2048.89/2075.33 c #Conflicts: 515000 | #Constraints: 32817
2048.89/2075.33 c #Conflicts: 516000 | #Constraints: 33817
2048.89/2075.33 c INPROCESSING
2048.89/2075.33 c GARBAGE COLLECT
2048.89/2075.33 c #Conflicts: 517000 | #Constraints: 20603
2048.89/2075.33 c #Conflicts: 518000 | #Constraints: 21603
2048.89/2075.33 c #Conflicts: 519000 | #Constraints: 22603
2048.89/2075.33 c #Conflicts: 520000 | #Constraints: 23603
2048.89/2075.33 c #Conflicts: 521000 | #Constraints: 24603
2048.89/2075.33 c #Conflicts: 522000 | #Constraints: 25603
2048.89/2075.33 c #Conflicts: 523000 | #Constraints: 26603
2048.89/2075.33 c #Conflicts: 524000 | #Constraints: 27603
2048.89/2075.33 c #Conflicts: 525000 | #Constraints: 28603
2048.89/2075.33 c #Conflicts: 526000 | #Constraints: 29603
2048.89/2075.33 c #Conflicts: 527000 | #Constraints: 30603
2048.89/2075.33 c #Conflicts: 528000 | #Constraints: 31603
2048.89/2075.33 c #Conflicts: 529000 | #Constraints: 32603
2048.89/2075.33 c #Conflicts: 530000 | #Constraints: 33603
2048.89/2075.33 c #Conflicts: 531000 | #Constraints: 34603
2048.89/2075.33 c INPROCESSING
2048.89/2075.33 c GARBAGE COLLECT
2048.89/2075.33 c #Conflicts: 532000 | #Constraints: 21222
2048.89/2075.33 c #Conflicts: 533000 | #Constraints: 22222
2048.89/2075.33 c #Conflicts: 534000 | #Constraints: 23222
2048.89/2075.33 c #Conflicts: 535000 | #Constraints: 24222
2048.89/2075.33 c #Conflicts: 536000 | #Constraints: 25222
2048.89/2075.33 c #Conflicts: 537000 | #Constraints: 26222
2048.89/2075.33 c #Conflicts: 538000 | #Constraints: 27222
2048.89/2075.33 c #Conflicts: 539000 | #Constraints: 28222
2048.89/2075.33 c #Conflicts: 540000 | #Constraints: 29222
2048.89/2075.33 c #Conflicts: 541000 | #Constraints: 30222
2048.89/2075.33 c #Conflicts: 542000 | #Constraints: 31222
2048.89/2075.33 c #Conflicts: 543000 | #Constraints: 32222
2048.89/2075.33 c #Conflicts: 544000 | #Constraints: 33222
2048.89/2075.33 c #Conflicts: 545000 | #Constraints: 34222
2048.89/2075.33 c #Conflicts: 546000 | #Constraints: 35222
2048.89/2075.33 c INPROCESSING
2048.89/2075.33 c GARBAGE COLLECT
2048.89/2075.33 c #Conflicts: 547000 | #Constraints: 21620
2048.89/2075.33 c #Conflicts: 548000 | #Constraints: 22620
2048.89/2075.33 c #Conflicts: 549000 | #Constraints: 23620
2048.89/2075.33 c #Conflicts: 550000 | #Constraints: 24620
2048.89/2075.33 c #Conflicts: 551000 | #Constraints: 25620
2048.89/2075.33 c #Conflicts: 552000 | #Constraints: 26620
2048.89/2075.33 c #Conflicts: 553000 | #Constraints: 27620
2048.89/2075.33 c #Conflicts: 554000 | #Constraints: 28620
2048.89/2075.33 c #Conflicts: 555000 | #Constraints: 29620
2048.89/2075.33 c #Conflicts: 556000 | #Constraints: 30620
2048.89/2075.33 c #Conflicts: 557000 | #Constraints: 31620
2048.89/2075.33 c #Conflicts: 558000 | #Constraints: 32620
2048.89/2075.33 c #Conflicts: 559000 | #Constraints: 33620
2048.89/2075.33 c #Conflicts: 560000 | #Constraints: 34620
2048.89/2075.33 c #Conflicts: 561000 | #Constraints: 35620
2048.89/2075.33 c INPROCESSING
2048.89/2075.33 c GARBAGE COLLECT
2048.89/2075.33 c #Conflicts: 562000 | #Constraints: 21824
2048.89/2075.33 c #Conflicts: 563000 | #Constraints: 22824
2048.89/2075.33 c #Conflicts: 564000 | #Constraints: 23824
2048.89/2075.33 c #Conflicts: 565000 | #Constraints: 24824
2048.89/2075.33 c #Conflicts: 566000 | #Constraints: 25824
2048.89/2075.33 c #Conflicts: 567000 | #Constraints: 26824
2048.89/2075.33 c #Conflicts: 568000 | #Constraints: 27824
2048.89/2075.33 c #Conflicts: 569000 | #Constraints: 28824
2048.89/2075.33 c #Conflicts: 570000 | #Constraints: 29824
2048.89/2075.33 c #Conflicts: 571000 | #Constraints: 30824
2048.89/2075.33 c #Conflicts: 572000 | #Constraints: 31824
2048.89/2075.33 c #Conflicts: 573000 | #Constraints: 32824
2048.89/2075.33 c #Conflicts: 574000 | #Constraints: 33824
2048.89/2075.33 c #Conflicts: 575000 | #Constraints: 34824
2048.89/2075.33 c #Conflicts: 576000 | #Constraints: 35824
2048.89/2075.33 c INPROCESSING
2048.89/2075.33 c GARBAGE COLLECT
2048.89/2075.33 c #Conflicts: 577000 | #Constraints: 21822
2048.89/2075.33 c #Conflicts: 578000 | #Constraints: 22822
2048.89/2075.33 c #Conflicts: 579000 | #Constraints: 23822
2048.89/2075.33 c #Conflicts: 580000 | #Constraints: 24822
2048.89/2075.33 c #Conflicts: 581000 | #Constraints: 25822
2048.89/2075.33 c #Conflicts: 582000 | #Constraints: 26822
2048.89/2075.33 c #Conflicts: 583000 | #Constraints: 27822
2048.89/2075.33 c #Conflicts: 584000 | #Constraints: 28822
2048.89/2075.33 c #Conflicts: 585000 | #Constraints: 29822
2048.89/2075.33 c #Conflicts: 586000 | #Constraints: 30822
2048.89/2075.33 c #Conflicts: 587000 | #Constraints: 31822
2048.89/2075.33 c #Conflicts: 588000 | #Constraints: 32822
2328.50/2355.65 c #Conflicts: 589000 | #Constraints: 33822
2328.50/2355.65 c #Conflicts: 590000 | #Constraints: 34822
2328.50/2355.65 c #Conflicts: 591000 | #Constraints: 35822
2328.50/2355.65 c INPROCESSING
2328.50/2355.65 c GARBAGE COLLECT
2328.50/2355.65 c #Conflicts: 592000 | #Constraints: 21628
2328.50/2355.65 c #Conflicts: 593000 | #Constraints: 22628
2328.50/2355.65 c #Conflicts: 594000 | #Constraints: 23628
2328.50/2355.65 c #Conflicts: 595000 | #Constraints: 24628
2328.50/2355.65 c #Conflicts: 596000 | #Constraints: 25628
2328.50/2355.65 c #Conflicts: 597000 | #Constraints: 26628
2328.50/2355.65 c #Conflicts: 598000 | #Constraints: 27628
2328.50/2355.65 c #Conflicts: 599000 | #Constraints: 28628
2328.50/2355.65 c #Conflicts: 600000 | #Constraints: 29628
2328.50/2355.65 c #Conflicts: 601000 | #Constraints: 30628
2328.50/2355.65 c #Conflicts: 602000 | #Constraints: 31628
2328.50/2355.65 c #Conflicts: 603000 | #Constraints: 32628
2328.50/2355.65 c #Conflicts: 604000 | #Constraints: 33628
2328.50/2355.65 c #Conflicts: 605000 | #Constraints: 34628
2328.50/2355.65 c #Conflicts: 606000 | #Constraints: 35628
2328.50/2355.65 c #Conflicts: 607000 | #Constraints: 36628
2328.50/2355.65 c INPROCESSING
2328.50/2355.65 c GARBAGE COLLECT
2328.50/2355.65 c #Conflicts: 608000 | #Constraints: 22227
2328.50/2355.65 c #Conflicts: 609000 | #Constraints: 23227
2328.50/2355.65 c #Conflicts: 610000 | #Constraints: 24227
2328.50/2355.65 c #Conflicts: 611000 | #Constraints: 25227
2328.50/2355.65 c #Conflicts: 612000 | #Constraints: 26227
2328.50/2355.65 c #Conflicts: 613000 | #Constraints: 27227
2328.50/2355.65 c #Conflicts: 614000 | #Constraints: 28227
2328.50/2355.65 c #Conflicts: 615000 | #Constraints: 29227
2328.50/2355.65 c #Conflicts: 616000 | #Constraints: 30227
2328.50/2355.65 c #Conflicts: 617000 | #Constraints: 31227
2328.50/2355.65 c #Conflicts: 618000 | #Constraints: 32227
2328.50/2355.65 c #Conflicts: 619000 | #Constraints: 33227
2328.50/2355.65 c #Conflicts: 620000 | #Constraints: 34227
2328.50/2355.65 c #Conflicts: 621000 | #Constraints: 35227
2328.50/2355.65 c #Conflicts: 622000 | #Constraints: 36227
2328.50/2355.65 c #Conflicts: 623000 | #Constraints: 37227
2328.50/2355.65 c INPROCESSING
2328.50/2355.65 c GARBAGE COLLECT
2328.50/2355.65 c #Conflicts: 624000 | #Constraints: 22626
2328.50/2355.65 c #Conflicts: 625000 | #Constraints: 23626
2328.50/2355.65 c #Conflicts: 626000 | #Constraints: 24626
2328.50/2355.65 c #Conflicts: 627000 | #Constraints: 25626
2328.50/2355.65 c #Conflicts: 628000 | #Constraints: 26626
2328.50/2355.65 c #Conflicts: 629000 | #Constraints: 27626
2328.50/2355.65 c #Conflicts: 630000 | #Constraints: 28626
2328.50/2355.65 c #Conflicts: 631000 | #Constraints: 29626
2328.50/2355.65 c #Conflicts: 632000 | #Constraints: 30626
2328.50/2355.65 c #Conflicts: 633000 | #Constraints: 31626
2328.50/2355.65 c #Conflicts: 634000 | #Constraints: 32626
2328.50/2355.65 c #Conflicts: 635000 | #Constraints: 33626
2328.50/2355.65 c #Conflicts: 636000 | #Constraints: 34626
2328.50/2355.65 c #Conflicts: 637000 | #Constraints: 35626
2328.50/2355.65 c #Conflicts: 638000 | #Constraints: 36626
2328.50/2355.65 c #Conflicts: 639000 | #Constraints: 37626
2328.50/2355.65 c INPROCESSING
2328.50/2355.65 c GARBAGE COLLECT
2328.50/2355.65 c #Conflicts: 640000 | #Constraints: 22822
2328.50/2355.65 c #Conflicts: 641000 | #Constraints: 23822
2328.50/2355.65 c #Conflicts: 642000 | #Constraints: 24822
2328.50/2355.65 c #Conflicts: 643000 | #Constraints: 25822
2328.50/2355.65 c #Conflicts: 644000 | #Constraints: 26822
2328.50/2355.65 c #Conflicts: 645000 | #Constraints: 27822
2328.50/2355.65 c #Conflicts: 646000 | #Constraints: 28822
2328.50/2355.65 c #Conflicts: 647000 | #Constraints: 29822
2328.50/2355.65 c #Conflicts: 648000 | #Constraints: 30822
2328.50/2355.65 c #Conflicts: 649000 | #Constraints: 31822
2328.50/2355.65 c #Conflicts: 650000 | #Constraints: 32822
2328.50/2355.65 c #Conflicts: 651000 | #Constraints: 33822
2328.50/2355.65 c #Conflicts: 652000 | #Constraints: 34822
2328.50/2355.65 c #Conflicts: 653000 | #Constraints: 35822
2328.50/2355.65 c #Conflicts: 654000 | #Constraints: 36822
2328.50/2355.65 c #Conflicts: 655000 | #Constraints: 37822
2328.50/2355.65 c INPROCESSING
2328.50/2355.65 c GARBAGE COLLECT
2328.50/2355.65 c #Conflicts: 656000 | #Constraints: 22829
2328.50/2355.65 c #Conflicts: 657000 | #Constraints: 23829
2328.50/2355.65 c #Conflicts: 658000 | #Constraints: 24829
2328.50/2355.65 c #Conflicts: 659000 | #Constraints: 25829
2328.50/2355.65 c #Conflicts: 660000 | #Constraints: 26829
2328.50/2355.65 c #Conflicts: 661000 | #Constraints: 27829
2328.50/2355.65 c #Conflicts: 662000 | #Constraints: 28829
2328.50/2355.65 c #Conflicts: 663000 | #Constraints: 29829
2328.50/2355.65 c #Conflicts: 664000 | #Constraints: 30829
2727.81/2755.92 c #Conflicts: 665000 | #Constraints: 31829
2727.81/2755.92 c #Conflicts: 666000 | #Constraints: 32829
2727.81/2755.92 c #Conflicts: 667000 | #Constraints: 33829
2727.81/2755.92 c #Conflicts: 668000 | #Constraints: 34829
2727.81/2755.92 c #Conflicts: 669000 | #Constraints: 35829
2727.81/2755.92 c #Conflicts: 670000 | #Constraints: 36829
2727.81/2755.92 c #Conflicts: 671000 | #Constraints: 37829
2727.81/2755.92 c INPROCESSING
2727.81/2755.92 c GARBAGE COLLECT
2727.81/2755.92 c #Conflicts: 672000 | #Constraints: 22625
2727.81/2755.92 c #Conflicts: 673000 | #Constraints: 23625
2727.81/2755.92 c #Conflicts: 674000 | #Constraints: 24625
2727.81/2755.92 c #Conflicts: 675000 | #Constraints: 25625
2727.81/2755.92 c #Conflicts: 676000 | #Constraints: 26625
2727.81/2755.92 c #Conflicts: 677000 | #Constraints: 27625
2727.81/2755.92 c #Conflicts: 678000 | #Constraints: 28625
2727.81/2755.92 c #Conflicts: 679000 | #Constraints: 29625
2727.81/2755.92 c #Conflicts: 680000 | #Constraints: 30625
2727.81/2755.92 c #Conflicts: 681000 | #Constraints: 31625
2727.81/2755.92 c #Conflicts: 682000 | #Constraints: 32625
2727.81/2755.92 c #Conflicts: 683000 | #Constraints: 33625
2727.81/2755.92 c #Conflicts: 684000 | #Constraints: 34625
2727.81/2755.92 c #Conflicts: 685000 | #Constraints: 35625
2727.81/2755.92 c #Conflicts: 686000 | #Constraints: 36625
2727.81/2755.92 c #Conflicts: 687000 | #Constraints: 37625
2727.81/2755.92 c #Conflicts: 688000 | #Constraints: 38625
2727.81/2755.92 c INPROCESSING
2727.81/2755.92 c GARBAGE COLLECT
2727.81/2755.92 c #Conflicts: 689000 | #Constraints: 23214
2727.81/2755.92 c #Conflicts: 690000 | #Constraints: 24214
2727.81/2755.92 c #Conflicts: 691000 | #Constraints: 25214
2727.81/2755.92 c #Conflicts: 692000 | #Constraints: 26214
2727.81/2755.92 c #Conflicts: 693000 | #Constraints: 27214
2727.81/2755.92 c #Conflicts: 694000 | #Constraints: 28214
2727.81/2755.92 c #Conflicts: 695000 | #Constraints: 29214
2727.81/2755.92 c #Conflicts: 696000 | #Constraints: 30214
2727.81/2755.92 c #Conflicts: 697000 | #Constraints: 31214
2727.81/2755.92 c #Conflicts: 698000 | #Constraints: 32214
2727.81/2755.92 c #Conflicts: 699000 | #Constraints: 33214
2727.81/2755.92 c #Conflicts: 700000 | #Constraints: 34214
2727.81/2755.92 c #Conflicts: 701000 | #Constraints: 35214
2727.81/2755.92 c #Conflicts: 702000 | #Constraints: 36214
2727.81/2755.92 c #Conflicts: 703000 | #Constraints: 37214
2727.81/2755.92 c #Conflicts: 704000 | #Constraints: 38214
2727.81/2755.92 c #Conflicts: 705000 | #Constraints: 39214
2727.81/2755.92 c INPROCESSING
2727.81/2755.92 c GARBAGE COLLECT
2727.81/2755.92 c #Conflicts: 706000 | #Constraints: 23623
2727.81/2755.92 c #Conflicts: 707000 | #Constraints: 24623
2727.81/2755.92 c #Conflicts: 708000 | #Constraints: 25623
2727.81/2755.92 c #Conflicts: 709000 | #Constraints: 26623
2727.81/2755.92 c #Conflicts: 710000 | #Constraints: 27623
2727.81/2755.92 c #Conflicts: 711000 | #Constraints: 28623
2727.81/2755.92 c #Conflicts: 712000 | #Constraints: 29623
2727.81/2755.92 c #Conflicts: 713000 | #Constraints: 30623
2727.81/2755.92 c #Conflicts: 714000 | #Constraints: 31623
2727.81/2755.92 c #Conflicts: 715000 | #Constraints: 32623
2727.81/2755.92 c #Conflicts: 716000 | #Constraints: 33623
2727.81/2755.92 c #Conflicts: 717000 | #Constraints: 34623
2727.81/2755.92 c #Conflicts: 718000 | #Constraints: 35623
2727.81/2755.92 c #Conflicts: 719000 | #Constraints: 36623
2727.81/2755.92 c #Conflicts: 720000 | #Constraints: 37623
2727.81/2755.92 c #Conflicts: 721000 | #Constraints: 38623
2727.81/2755.92 c #Conflicts: 722000 | #Constraints: 39623
2727.81/2755.92 c INPROCESSING
2727.81/2755.92 c GARBAGE COLLECT
2727.81/2755.92 c #Conflicts: 723000 | #Constraints: 23838
2727.81/2755.92 c #Conflicts: 724000 | #Constraints: 24838
2727.81/2755.92 c #Conflicts: 725000 | #Constraints: 25838
2727.81/2755.92 c #Conflicts: 726000 | #Constraints: 26838
2727.81/2755.92 c #Conflicts: 727000 | #Constraints: 27838
2727.81/2755.92 c #Conflicts: 728000 | #Constraints: 28838
2727.81/2755.92 c #Conflicts: 729000 | #Constraints: 29838
2727.81/2755.92 c #Conflicts: 730000 | #Constraints: 30838
2727.81/2755.92 c #Conflicts: 731000 | #Constraints: 31838
2727.81/2755.92 c #Conflicts: 732000 | #Constraints: 32838
2727.81/2755.92 c #Conflicts: 733000 | #Constraints: 33838
2727.81/2755.92 c #Conflicts: 734000 | #Constraints: 34838
2727.81/2755.92 c #Conflicts: 735000 | #Constraints: 35838
2727.81/2755.92 c #Conflicts: 736000 | #Constraints: 36838
2727.81/2755.92 c #Conflicts: 737000 | #Constraints: 37838
2727.81/2755.92 c #Conflicts: 738000 | #Constraints: 38838
2727.81/2755.92 c #Conflicts: 739000 | #Constraints: 39838
2727.81/2755.92 c INPROCESSING
2727.81/2755.92 c GARBAGE COLLECT
3113.25/3142.39 c #Conflicts: 740000 | #Constraints: 23843
3113.25/3142.39 c #Conflicts: 741000 | #Constraints: 24843
3113.25/3142.39 c #Conflicts: 742000 | #Constraints: 25843
3113.25/3142.39 c #Conflicts: 743000 | #Constraints: 26843
3113.25/3142.39 c #Conflicts: 744000 | #Constraints: 27843
3113.25/3142.39 c #Conflicts: 745000 | #Constraints: 28843
3113.25/3142.39 c #Conflicts: 746000 | #Constraints: 29843
3113.25/3142.39 c #Conflicts: 747000 | #Constraints: 30843
3113.25/3142.39 c #Conflicts: 748000 | #Constraints: 31843
3113.25/3142.39 c #Conflicts: 749000 | #Constraints: 32843
3113.25/3142.39 c #Conflicts: 750000 | #Constraints: 33843
3113.25/3142.39 c #Conflicts: 751000 | #Constraints: 34843
3113.25/3142.39 c #Conflicts: 752000 | #Constraints: 35843
3113.25/3142.39 c #Conflicts: 753000 | #Constraints: 36843
3113.25/3142.39 c #Conflicts: 754000 | #Constraints: 37843
3113.25/3142.39 c #Conflicts: 755000 | #Constraints: 38843
3113.25/3142.39 c #Conflicts: 756000 | #Constraints: 39843
3113.25/3142.39 c INPROCESSING
3113.25/3142.39 c GARBAGE COLLECT
3113.25/3142.39 c #Conflicts: 757000 | #Constraints: 23627
3113.25/3142.39 c #Conflicts: 758000 | #Constraints: 24627
3113.25/3142.39 c #Conflicts: 759000 | #Constraints: 25627
3113.25/3142.39 c #Conflicts: 760000 | #Constraints: 26627
3113.25/3142.39 c #Conflicts: 761000 | #Constraints: 27627
3113.25/3142.39 c #Conflicts: 762000 | #Constraints: 28627
3113.25/3142.39 c #Conflicts: 763000 | #Constraints: 29627
3113.25/3142.39 c #Conflicts: 764000 | #Constraints: 30627
3113.25/3142.39 c #Conflicts: 765000 | #Constraints: 31627
3113.25/3142.39 c #Conflicts: 766000 | #Constraints: 32627
3113.25/3142.39 c #Conflicts: 767000 | #Constraints: 33627
3113.25/3142.39 c #Conflicts: 768000 | #Constraints: 34627
3113.25/3142.39 c #Conflicts: 769000 | #Constraints: 35627
3113.25/3142.39 c #Conflicts: 770000 | #Constraints: 36627
3113.25/3142.39 c #Conflicts: 771000 | #Constraints: 37627
3113.25/3142.39 c #Conflicts: 772000 | #Constraints: 38627
3113.25/3142.39 c #Conflicts: 773000 | #Constraints: 39627
3113.25/3142.39 c #Conflicts: 774000 | #Constraints: 40627
3113.25/3142.39 c INPROCESSING
3113.25/3142.39 c GARBAGE COLLECT
3113.25/3142.39 c #Conflicts: 775000 | #Constraints: 24213
3113.25/3142.39 c #Conflicts: 776000 | #Constraints: 25213
3113.25/3142.39 c #Conflicts: 777000 | #Constraints: 26213
3113.25/3142.39 c #Conflicts: 778000 | #Constraints: 27213
3113.25/3142.39 c #Conflicts: 779000 | #Constraints: 28213
3113.25/3142.39 c #Conflicts: 780000 | #Constraints: 29213
3113.25/3142.39 c #Conflicts: 781000 | #Constraints: 30213
3113.25/3142.39 c #Conflicts: 782000 | #Constraints: 31213
3113.25/3142.39 c #Conflicts: 783000 | #Constraints: 32213
3113.25/3142.39 c #Conflicts: 784000 | #Constraints: 33213
3113.25/3142.39 c #Conflicts: 785000 | #Constraints: 34213
3113.25/3142.39 c #Conflicts: 786000 | #Constraints: 35213
3113.25/3142.39 c #Conflicts: 787000 | #Constraints: 36213
3113.25/3142.39 c #Conflicts: 788000 | #Constraints: 37213
3113.25/3142.39 c #Conflicts: 789000 | #Constraints: 38213
3113.25/3142.39 c #Conflicts: 790000 | #Constraints: 39213
3113.25/3142.39 c #Conflicts: 791000 | #Constraints: 40213
3113.25/3142.39 c #Conflicts: 792000 | #Constraints: 41213
3113.25/3142.39 c INPROCESSING
3113.25/3142.39 c GARBAGE COLLECT
3113.25/3142.39 c #Conflicts: 793000 | #Constraints: 24620
3113.25/3142.39 c #Conflicts: 794000 | #Constraints: 25620
3113.25/3142.39 c #Conflicts: 795000 | #Constraints: 26620
3113.25/3142.39 c #Conflicts: 796000 | #Constraints: 27620
3113.25/3142.39 c #Conflicts: 797000 | #Constraints: 28620
3113.25/3142.39 c #Conflicts: 798000 | #Constraints: 29620
3113.25/3142.39 c #Conflicts: 799000 | #Constraints: 30620
3113.25/3142.39 c #Conflicts: 800000 | #Constraints: 31620
3113.25/3142.39 c #Conflicts: 801000 | #Constraints: 32620
3113.25/3142.39 c #Conflicts: 802000 | #Constraints: 33620
3113.25/3142.39 c #Conflicts: 803000 | #Constraints: 34620
3113.25/3142.39 c #Conflicts: 804000 | #Constraints: 35620
3113.25/3142.39 c #Conflicts: 805000 | #Constraints: 36620
3113.25/3142.39 c #Conflicts: 806000 | #Constraints: 37620
3113.25/3142.39 c #Conflicts: 807000 | #Constraints: 38620
3113.25/3142.39 c #Conflicts: 808000 | #Constraints: 39620
3113.25/3142.39 c #Conflicts: 809000 | #Constraints: 40620
3113.25/3142.39 c #Conflicts: 810000 | #Constraints: 41620
3113.25/3142.39 c INPROCESSING
3113.25/3142.39 c GARBAGE COLLECT
3113.25/3142.39 c #Conflicts: 811000 | #Constraints: 24832
3113.25/3142.39 c #Conflicts: 812000 | #Constraints: 25832
3113.25/3142.39 c #Conflicts: 813000 | #Constraints: 26832
3113.25/3142.39 c #Conflicts: 814000 | #Constraints: 27832
3113.25/3142.39 c #Conflicts: 815000 | #Constraints: 28832
3113.25/3142.39 c #Conflicts: 816000 | #Constraints: 29832
3395.94/3425.75 c #Conflicts: 817000 | #Constraints: 30832
3395.94/3425.75 c #Conflicts: 818000 | #Constraints: 31832
3395.94/3425.75 c #Conflicts: 819000 | #Constraints: 32832
3395.94/3425.75 c #Conflicts: 820000 | #Constraints: 33832
3395.94/3425.75 c #Conflicts: 821000 | #Constraints: 34832
3395.94/3425.75 c #Conflicts: 822000 | #Constraints: 35832
3395.94/3425.75 c #Conflicts: 823000 | #Constraints: 36832
3395.94/3425.75 c #Conflicts: 824000 | #Constraints: 37832
3395.94/3425.75 c #Conflicts: 825000 | #Constraints: 38832
3395.94/3425.75 c #Conflicts: 826000 | #Constraints: 39832
3395.94/3425.75 c #Conflicts: 827000 | #Constraints: 40832
3395.94/3425.75 c #Conflicts: 828000 | #Constraints: 41832
3395.94/3425.75 c INPROCESSING
3395.94/3425.75 c GARBAGE COLLECT
3395.94/3425.75 c #Conflicts: 829000 | #Constraints: 24834
3395.94/3425.75 c #Conflicts: 830000 | #Constraints: 25834
3395.94/3425.75 c #Conflicts: 831000 | #Constraints: 26834
3395.94/3425.75 c #Conflicts: 832000 | #Constraints: 27834
3395.94/3425.75 c #Conflicts: 833000 | #Constraints: 28834
3395.94/3425.75 c #Conflicts: 834000 | #Constraints: 29834
3395.94/3425.75 c #Conflicts: 835000 | #Constraints: 30834
3395.94/3425.75 c #Conflicts: 836000 | #Constraints: 31834
3395.94/3425.75 c #Conflicts: 837000 | #Constraints: 32834
3395.94/3425.75 c #Conflicts: 838000 | #Constraints: 33834
3395.94/3425.75 c #Conflicts: 839000 | #Constraints: 34834
3395.94/3425.75 c #Conflicts: 840000 | #Constraints: 35834
3395.94/3425.75 c #Conflicts: 841000 | #Constraints: 36834
3395.94/3425.75 c #Conflicts: 842000 | #Constraints: 37834
3395.94/3425.75 c #Conflicts: 843000 | #Constraints: 38834
3395.94/3425.75 c #Conflicts: 844000 | #Constraints: 39834
3395.94/3425.75 c #Conflicts: 845000 | #Constraints: 40834
3395.94/3425.75 c #Conflicts: 846000 | #Constraints: 41834
3395.94/3425.75 c INPROCESSING
3395.94/3425.75 c GARBAGE COLLECT
3395.94/3425.75 c #Conflicts: 847000 | #Constraints: 24613
3395.94/3425.75 c #Conflicts: 848000 | #Constraints: 25613
3395.94/3425.75 c #Conflicts: 849000 | #Constraints: 26613
3395.94/3425.75 c #Conflicts: 850000 | #Constraints: 27613
3395.94/3425.75 c #Conflicts: 851000 | #Constraints: 28613
3395.94/3425.75 c #Conflicts: 852000 | #Constraints: 29613
3395.94/3425.75 c #Conflicts: 853000 | #Constraints: 30613
3395.94/3425.75 c #Conflicts: 854000 | #Constraints: 31613
3395.94/3425.75 c #Conflicts: 855000 | #Constraints: 32613
3395.94/3425.75 c #Conflicts: 856000 | #Constraints: 33613
3395.94/3425.75 c #Conflicts: 857000 | #Constraints: 34613
3395.94/3425.75 c #Conflicts: 858000 | #Constraints: 35613
3395.94/3425.75 c #Conflicts: 859000 | #Constraints: 36613
3395.94/3425.75 c #Conflicts: 860000 | #Constraints: 37613
3395.94/3425.75 c #Conflicts: 861000 | #Constraints: 38613
3395.94/3425.75 c #Conflicts: 862000 | #Constraints: 39613
3395.94/3425.75 c #Conflicts: 863000 | #Constraints: 40613
3395.94/3425.75 c #Conflicts: 864000 | #Constraints: 41613
3395.94/3425.75 c #Conflicts: 865000 | #Constraints: 42613
3395.94/3425.75 c INPROCESSING
3395.94/3425.75 c GARBAGE COLLECT
3395.94/3425.75 c #Conflicts: 866000 | #Constraints: 25225
3395.94/3425.75 c #Conflicts: 867000 | #Constraints: 26225
3395.94/3425.75 c #Conflicts: 868000 | #Constraints: 27225
3395.94/3425.75 c #Conflicts: 869000 | #Constraints: 28225
3395.94/3425.75 c #Conflicts: 870000 | #Constraints: 29225
3395.94/3425.75 c #Conflicts: 871000 | #Constraints: 30225
3395.94/3425.75 c #Conflicts: 872000 | #Constraints: 31225
3395.94/3425.75 c #Conflicts: 873000 | #Constraints: 32225
3395.94/3425.75 c #Conflicts: 874000 | #Constraints: 33225
3395.94/3425.75 c #Conflicts: 875000 | #Constraints: 34225
3395.94/3425.75 c #Conflicts: 876000 | #Constraints: 35225
3395.94/3425.75 c #Conflicts: 877000 | #Constraints: 36225
3395.94/3425.75 c #Conflicts: 878000 | #Constraints: 37225
3395.94/3425.75 c #Conflicts: 879000 | #Constraints: 38225
3395.94/3425.75 c #Conflicts: 880000 | #Constraints: 39225
3395.94/3425.75 c #Conflicts: 881000 | #Constraints: 40225
3395.94/3425.75 c #Conflicts: 882000 | #Constraints: 41225
3395.94/3425.75 c #Conflicts: 883000 | #Constraints: 42225
3395.94/3425.75 c #Conflicts: 884000 | #Constraints: 43225
3395.94/3425.75 c INPROCESSING
3395.94/3425.75 c GARBAGE COLLECT
3395.94/3425.75 c #Conflicts: 885000 | #Constraints: 25635
3395.94/3425.75 c #Conflicts: 886000 | #Constraints: 26635
3395.94/3425.75 c #Conflicts: 887000 | #Constraints: 27635
3395.94/3425.75 c #Conflicts: 888000 | #Constraints: 28635
3395.94/3425.75 c #Conflicts: 889000 | #Constraints: 29635
3395.94/3425.75 c #Conflicts: 890000 | #Constraints: 30635
3395.94/3425.75 c #Conflicts: 891000 | #Constraints: 31635
3395.94/3425.75 c #Conflicts: 892000 | #Constraints: 32635
3600.03/3630.30 c #Conflicts: 893000 | #Constraints: 33635
3600.03/3630.30 c #Conflicts: 894000 | #Constraints: 34635
3600.03/3630.30 c #Conflicts: 895000 | #Constraints: 35635
3600.03/3630.30 c #Conflicts: 896000 | #Constraints: 36635
3600.03/3630.30 c #Conflicts: 897000 | #Constraints: 37635
3600.03/3630.30 c #Conflicts: 898000 | #Constraints: 38635
3600.03/3630.30 c #Conflicts: 899000 | #Constraints: 39635
3600.03/3630.30 c #Conflicts: 900000 | #Constraints: 40635
3600.03/3630.30 c #Conflicts: 901000 | #Constraints: 41635
3600.03/3630.30 c #Conflicts: 902000 | #Constraints: 42635
3600.03/3630.30 c #Conflicts: 903000 | #Constraints: 43635
3600.03/3630.30 c INPROCESSING
3600.03/3630.30 c GARBAGE COLLECT
3600.03/3630.30 c #Conflicts: 904000 | #Constraints: 25845
3600.03/3630.30 c #Conflicts: 905000 | #Constraints: 26845
3600.03/3630.30 c #Conflicts: 906000 | #Constraints: 27845
3600.03/3630.30 c #Conflicts: 907000 | #Constraints: 28845
3600.03/3630.30 c #Conflicts: 908000 | #Constraints: 29845
3600.03/3630.30 c #Conflicts: 909000 | #Constraints: 30845
3600.03/3630.30 c #Conflicts: 910000 | #Constraints: 31845
3600.03/3630.30 c #Conflicts: 911000 | #Constraints: 32845
3600.03/3630.30 c #Conflicts: 912000 | #Constraints: 33845
3600.03/3630.30 c #Conflicts: 913000 | #Constraints: 34845
3600.03/3630.30 c #Conflicts: 914000 | #Constraints: 35845
3600.03/3630.30 c #Conflicts: 915000 | #Constraints: 36845
3600.03/3630.30 c #Conflicts: 916000 | #Constraints: 37845
3600.03/3630.30 c #Conflicts: 917000 | #Constraints: 38845
3600.03/3630.30 c #Conflicts: 918000 | #Constraints: 39845
3600.03/3630.30 c #Conflicts: 919000 | #Constraints: 40845
3600.03/3630.30 c #Conflicts: 920000 | #Constraints: 41845
3600.03/3630.30 c #Conflicts: 921000 | #Constraints: 42845
3600.03/3630.30 c #Conflicts: 922000 | #Constraints: 43845
3600.03/3630.30 c INPROCESSING
3600.03/3630.30 c GARBAGE COLLECT
3600.03/3630.30 c #Conflicts: 923000 | #Constraints: 25842
3600.03/3630.30 c #Conflicts: 924000 | #Constraints: 26842
3600.03/3630.30 c #Conflicts: 925000 | #Constraints: 27842
3600.03/3630.30 c #Conflicts: 926000 | #Constraints: 28842
3600.03/3630.30 c #Conflicts: 927000 | #Constraints: 29842
3600.03/3630.30 c #Conflicts: 928000 | #Constraints: 30842
3600.03/3630.30 c #Conflicts: 929000 | #Constraints: 31842
3600.03/3630.30 c #Conflicts: 930000 | #Constraints: 32842
3600.03/3630.30 c #Conflicts: 931000 | #Constraints: 33842
3600.03/3630.30 c #Conflicts: 932000 | #Constraints: 34842
3600.03/3630.30 c #Conflicts: 933000 | #Constraints: 35842
3600.03/3630.30 c #Conflicts: 934000 | #Constraints: 36842
3600.03/3630.30 c #Conflicts: 935000 | #Constraints: 37842
3600.03/3630.30 c #Conflicts: 936000 | #Constraints: 38842
3600.03/3630.30 c #Conflicts: 937000 | #Constraints: 39842
3600.03/3630.30 c #Conflicts: 938000 | #Constraints: 40842
3600.03/3630.30 c #Conflicts: 939000 | #Constraints: 41842
3600.03/3630.30 c #Conflicts: 940000 | #Constraints: 42842
3600.03/3630.30 c #Conflicts: 941000 | #Constraints: 43842
3600.03/3630.30 c INPROCESSING
3600.03/3630.30 c GARBAGE COLLECT
3600.03/3630.30 c #Conflicts: 942000 | #Constraints: 25652
3600.03/3630.30 c #Conflicts: 943000 | #Constraints: 26652
3600.03/3630.30 c #Conflicts: 944000 | #Constraints: 27652
3600.03/3630.30 c #Conflicts: 945000 | #Constraints: 28652
3600.03/3630.30 c cpu time 3580.66 s
3600.03/3630.30 c deterministic time 1 1.00e+00
3600.03/3630.30 c optimization time 3580.64 s
3600.03/3630.30 c total solve time 0 s
3600.03/3630.30 c core-guided solve time 0 s
3600.03/3630.30 c propagation time 0.002146 s
3600.03/3630.30 c conflict analysis time 0 s
3600.03/3630.30 c propagations 0
3600.03/3630.30 c resolve steps 0
3600.03/3630.30 c decisions 0
3600.03/3630.30 c conflicts 0
3600.03/3630.30 c restarts 0
3600.03/3630.30 c inprocessing phases 0
3600.03/3630.30 c garbage collections 0 ,( -nan )
3600.03/3630.30 c input clauses 5940 ,( 100.00 )
3600.03/3630.30 c input cardinalities 0 ,( 0.00 )
3600.03/3630.30 c input general constraints 0 ,( 0.00 )
3600.03/3630.30 c input average constraint length 2.00
3600.03/3630.30 c input average constraint degree 1.00
3600.03/3630.30 c learned clauses 0 ,( 0.00 )
3600.03/3630.30 c learned cardinalities 0 ,( 0.00 )
3600.03/3630.30 c learned general constraints 0 ,( 0.00 )
3600.03/3630.30 c learned average constraint length 0.00
3600.03/3630.30 c learned average constraint degree 0.00
3600.03/3630.30 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.03/3630.30 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.03/3630.30 c watched constraints 0 ,( -nan )
3600.03/3630.30 c counting constraints 0 ,( -nan )
3600.03/3630.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.03/3630.30 c gcd simplifications 0
3600.03/3630.30 c detected cardinalities 0
3600.03/3630.30 c weakened non-implied lits 0
3600.03/3630.30 c weakened non-implying lits 0
3600.03/3630.30 c original variables 2970
3600.03/3630.30 c clausal propagations 0
3600.03/3630.30 c cardinality propagations 0
3600.03/3630.30 c watched propagations 0
3600.03/3630.30 c counting propagations 0
3600.03/3630.30 c watch lookups 0
3600.03/3630.30 c watch backjump lookups 0
3600.03/3630.30 c watch checks 0
3600.03/3630.30 c propagation checks 0
3600.03/3630.30 c constraint additions 0
3600.03/3630.30 c trail pops 0
3600.03/3630.30 c formula constraints 5940
3600.03/3630.30 c learned constraints 0
3600.03/3630.30 c bound constraints 0
3600.03/3630.30 c core-guided constraints 0
3600.03/3630.30 c encountered formula constraints 0
3600.03/3630.30 c encountered learned constraints 0
3600.03/3630.30 c encountered bound constraints 0
3600.03/3630.30 c encountered core-guided constraints 0
3600.03/3630.30 c LP total time 0 s
3600.03/3630.30 c LP solve time 0 s
3600.03/3630.30 c LP constraints added 0
3600.03/3630.30 c LP constraints removed 0
3600.03/3630.30 c LP pivots internal 0
3600.03/3630.30 c LP pivots root 0
3600.03/3630.30 c LP calls 0
3600.03/3630.30 c LP optimalities 0
3600.03/3630.30 c LP no pivot count 0
3600.03/3630.30 c LP infeasibilities 0
3600.03/3630.30 c LP valid Farkas constraints 0
3600.03/3630.30 c LP learned Farkas constraints 0
3600.03/3630.30 c LP basis resets 0
3600.03/3630.30 c LP cycling count 0
3600.03/3630.30 c LP singular count 0
3600.03/3630.30 c LP no primal count 0
3600.03/3630.30 c LP no farkas count 0
3600.03/3630.30 c LP other issue count 0
3600.03/3630.30 c LP Gomory cuts 0
3600.03/3630.30 c LP learned cuts 0
3600.03/3630.30 c LP deleted cuts 0
3600.03/3630.30 c LP encountered Gomory constraints 0
3600.03/3630.30 c LP encountered Farkas constraints 0
3600.03/3630.30 c LP encountered learned Farkas constraints 0
3600.03/3630.30 c CG auxiliary variables introduced 0
3600.03/3630.30 c CG solutions found 0
3600.03/3630.30 c CG cores constructed 0
3600.03/3630.30 c CG core cardinality constraints returned 0
3600.03/3630.30 c CG unit cores 0
3600.03/3630.30 c CG single cores 0
3600.03/3630.30 c CG blocks removed during cardinality reduction 0
3600.03/3630.30 c CG first core best 0
3600.03/3630.30 c CG decision core best 0
3600.03/3630.30 c CG core reduction tie 0
3600.03/3630.30 c CG core degree average 0.00
3600.03/3630.30 c CG core slack average 0.00
3600.03/3630.30 c CG core upper bound improvements 0
3600.03/3630.30 c STR number of successful calls 0
3600.03/3630.30 c STR number of unsuccessful calls 0
3600.03/3630.30 c STR number of inconclusive calls 0
3600.03/3630.30 c STR number of successful attempts 0
3600.03/3630.30 c STR number of unsuccessful attempts 0
3600.03/3630.30 c STR number of inconclusive attempts 0
3600.03/3630.30 c STR average degree increase per successful call inf
3600.03/3630.30 c STR average degree increase per successful attempt inf
3600.03/3630.30 c STR total number of conflicts for successful attempts 0
3600.03/3630.30 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3630.30 c STR total number of conflicts for inconclusive attempts 0
3600.03/3630.30 c STR average number of conflicts per successful attempt inf
3600.03/3630.30 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3630.30 c STR average number of conflicts per inconclusive attempt inf
3600.03/3630.30 c AVG.sumWPerc -nan
3600.03/3630.30 c bigint constraints 0
3600.03/3630.30 s UNKNOWN
3600.03/3630.30 c Program interrupted by user.
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: 63708 MiB (41724 MiB free)
memory of node 1: 64465 MiB (52487 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521585-1751586286/watcher-4521585-1751586286 -o /tmp/evaluation-result-4521585-1751586286/solver-4521585-1751586286 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751579055-83033 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4521585-1751586286.opb PROOFDIR/proof-4521585-1751586286
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=83847, runsolver pid=83844
Current StackSize limit: 8192 KiB
[startup+0.100072 s]*
/proc/loadavg: 4.11 4.13 4.10 4/267 83849
/proc/meminfo: memFree=98316132/131249988 swapFree=33010160/33010684
[pid=83847] ppid=83844 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83847/stat : 83847 (run-opt-log.sh) S 83844 83847 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74306167 4292608 768 18446744073709551615 93904887943168 93904888837701 140727384153152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93904889076752 93904889124496 93904907931648 140727384156449 140727384156644 140727384156644 140727384162246 0
/proc/83847/statm: 1048 768 704 219 0 110 0
[pid=83849] ppid=83847 vsize=50796 memory=7552 CPUtime=0 cores=1,3
/proc/83849/stat : 83849 (roundingsat) D 83847 83847 83021 0 -1 4456448 299 0 0 0 0 0 0 0 20 0 1 0 74306167 52015104 1888 18446744073709551615 4227072 8923433 140721669454112 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 14176256 140721669458258 140721669458472 140721669458472 140721669464042 0
/proc/83849/statm: 12699 1888 1792 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10624 KiB
[startup+0.205775 s]*
/proc/loadavg: 4.11 4.13 4.10 4/267 83849
/proc/meminfo: memFree=100327144/131249988 swapFree=33010160/33010684
[pid=83847] ppid=83844 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83847/stat : 83847 (run-opt-log.sh) S 83844 83847 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74306167 4292608 768 18446744073709551615 93904887943168 93904888837701 140727384153152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93904889076752 93904889124496 93904907931648 140727384156449 140727384156644 140727384156644 140727384162246 0
/proc/83847/statm: 1048 768 704 219 0 110 0
[pid=83849] ppid=83847 vsize=50796 memory=7552 CPUtime=0 cores=1,3
/proc/83849/stat : 83849 (roundingsat) D 83847 83847 83021 0 -1 4456448 299 0 0 0 0 0 0 0 20 0 1 0 74306167 52015104 1888 18446744073709551615 4227072 8923433 140721669454112 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 14176256 140721669458258 140721669458472 140721669458472 140721669464042 0
/proc/83849/statm: 12699 1888 1792 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10624 KiB
[startup+0.305937 s]*
/proc/loadavg: 4.11 4.13 4.10 4/267 83849
/proc/meminfo: memFree=102226536/131249988 swapFree=33010160/33010684
[pid=83847] ppid=83844 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83847/stat : 83847 (run-opt-log.sh) S 83844 83847 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74306167 4292608 768 18446744073709551615 93904887943168 93904888837701 140727384153152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93904889076752 93904889124496 93904907931648 140727384156449 140727384156644 140727384156644 140727384162246 0
/proc/83847/statm: 1048 768 704 219 0 110 0
[pid=83849] ppid=83847 vsize=50796 memory=7552 CPUtime=0 cores=1,3
/proc/83849/stat : 83849 (roundingsat) D 83847 83847 83021 0 -1 4456448 299 0 0 0 0 0 0 0 20 0 1 0 74306167 52015104 1888 18446744073709551615 4227072 8923433 140721669454112 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 14176256 140721669458258 140721669458472 140721669458472 140721669464042 0
/proc/83849/statm: 12699 1888 1792 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10624 KiB
[startup+0.700196 s]
/proc/loadavg: 4.11 4.13 4.10 4/267 83849
/proc/meminfo: memFree=106012916/131249988 swapFree=33010160/33010684
[pid=83847] ppid=83844 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83847/stat : 83847 (run-opt-log.sh) S 83844 83847 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74306167 4292608 768 18446744073709551615 93904887943168 93904888837701 140727384153152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93904889076752 93904889124496 93904907931648 140727384156449 140727384156644 140727384156644 140727384162246 0
/proc/83847/statm: 1048 768 704 219 0 110 0
[pid=83849] ppid=83847 vsize=50796 memory=7552 CPUtime=0 cores=1,3
/proc/83849/stat : 83849 (roundingsat) D 83847 83847 83021 0 -1 4456448 299 0 0 0 0 0 0 0 20 0 1 0 74306167 52015104 1888 18446744073709551615 4227072 8923433 140721669454112 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 14176256 140721669458258 140721669458472 140721669458472 140721669464042 0
/proc/83849/statm: 12699 1888 1792 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10624 KiB
[startup+1.50022 s]
/proc/loadavg: 4.11 4.13 4.10 3/273 83869
/proc/meminfo: memFree=108055260/131249988 swapFree=33010160/33010684
[pid=83847] ppid=83844 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83847/stat : 83847 (run-opt-log.sh) S 83844 83847 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74306167 4292608 768 18446744073709551615 93904887943168 93904888837701 140727384153152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93904889076752 93904889124496 93904907931648 140727384156449 140727384156644 140727384156644 140727384162246 0
/proc/83847/statm: 1048 768 704 219 0 110 0
[pid=83849] ppid=83847 vsize=50796 memory=7552 CPUtime=0 cores=1,3
/proc/83849/stat : 83849 (roundingsat) D 83847 83847 83021 0 -1 4456448 299 0 0 0 0 0 0 0 20 0 1 0 74306167 52015104 1888 18446744073709551615 4227072 8923433 140721669454112 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 14176256 140721669458258 140721669458472 140721669458472 140721669464042 0
/proc/83849/statm: 12699 1888 1792 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10624 KiB
[startup+3.10457 s]
/proc/loadavg: 4.10 4.13 4.10 2/268 83877
/proc/meminfo: memFree=108645540/131249988 swapFree=33010160/33010684
[pid=83847] ppid=83844 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83847/stat : 83847 (run-opt-log.sh) S 83844 83847 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74306167 4292608 768 18446744073709551615 93904887943168 93904888837701 140727384153152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93904889076752 93904889124496 93904907931648 140727384156449 140727384156644 140727384156644 140727384162246 0
/proc/83847/statm: 1048 768 704 219 0 110 0
[pid=83849] ppid=83847 vsize=50796 memory=7552 CPUtime=0 cores=1,3
/proc/83849/stat : 83849 (roundingsat) D 83847 83847 83021 0 -1 4456448 299 0 0 0 0 0 0 0 20 0 1 0 74306167 52015104 1888 18446744073709551615 4227072 8923433 140721669454112 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 14176256 140721669458258 140721669458472 140721669458472 140721669464042 0
/proc/83849/statm: 12699 1888 1792 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10624 KiB
heavy processes:
[startup+6.3002 s]
/proc/loadavg: 4.10 4.13 4.10 2/267 83895
/proc/meminfo: memFree=108640744/131249988 swapFree=33010160/33010684
[pid=83847] ppid=83844 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83847/stat : 83847 (run-opt-log.sh) S 83844 83847 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74306167 4292608 768 18446744073709551615 93904887943168 93904888837701 140727384153152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93904889076752 93904889124496 93904907931648 140727384156449 140727384156644 140727384156644 140727384162246 0
/proc/83847/statm: 1048 768 704 219 0 110 0
[pid=83849] ppid=83847 vsize=50796 memory=7552 CPUtime=0 cores=1,3
/proc/83849/stat : 83849 (roundingsat) D 83847 83847 83021 0 -1 4456448 299 0 0 0 0 0 0 0 20 0 1 0 74306167 52015104 1888 18446744073709551615 4227072 8923433 140721669454112 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 14176256 140721669458258 140721669458472 140721669458472 140721669464042 0
/proc/83849/statm: 12699 1888 1792 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10624 KiB
heavy processes:
[startup+12.7002 s]
/proc/loadavg: 4.16 4.14 4.11 1/265 83895
/proc/meminfo: memFree=108639552/131249988 swapFree=33010160/33010684
[pid=83847] ppid=83844 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83847/stat : 83847 (run-opt-log.sh) S 83844 83847 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74306167 4292608 768 18446744073709551615 93904887943168 93904888837701 140727384153152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93904889076752 93904889124496 93904907931648 140727384156449 140727384156644 140727384156644 140727384162246 0
/proc/83847/statm: 1048 768 704 219 0 110 0
[pid=83849] ppid=83847 vsize=50796 memory=7552 CPUtime=0 cores=1,3
/proc/83849/stat : 83849 (roundingsat) D 83847 83847 83021 0 -1 4456448 299 0 0 0 0 0 0 0 20 0 1 0 74306167 52015104 1888 18446744073709551615 4227072 8923433 140721669454112 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 14176256 140721669458258 140721669458472 140721669458472 140721669464042 0
/proc/83849/statm: 12699 1888 1792 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10624 KiB
heavy processes:
[startup+25.5002 s]
/proc/loadavg: 4.14 4.14 4.11 5/273 83962
/proc/meminfo: memFree=129339952/131249988 swapFree=33010160/33010684
[pid=83847] ppid=83844 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83847/stat : 83847 (run-opt-log.sh) S 83844 83847 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74306167 4292608 768 18446744073709551615 93904887943168 93904888837701 140727384153152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93904889076752 93904889124496 93904907931648 140727384156449 140727384156644 140727384156644 140727384162246 0
/proc/83847/statm: 1048 768 704 219 0 110 0
[pid=83849] ppid=83847 vsize=194988 memory=137008 CPUtime=4.46 cores=1,3
/proc/83849/stat : 83849 (roundingsat) R 83847 83847 83021 0 -1 4194304 25548 0 0 0 436 10 0 0 20 0 1 0 74306167 199667712 34252 18446744073709551615 4227072 8923433 140721669454112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14176256 140721669458258 140721669458472 140721669458472 140721669464042 0
/proc/83849/statm: 48747 34252 2400 1147 0 36174 0
Current children cumulated CPU time: 4.46 s
Current children cumulated vsize: 199180 KiB
Current children cumulated memory: 140080 KiB
heavy processes:
[startup+51.1057 s]
/proc/loadavg: 4.16 4.14 4.11 5/273 83962
/proc/meminfo: memFree=128662704/131249988 swapFree=33010160/33010684
[pid=83847] ppid=83844 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83847/stat : 83847 (run-opt-log.sh) S 83844 83847 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74306167 4292608 768 18446744073709551615 93904887943168 93904888837701 140727384153152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93904889076752 93904889124496 93904907931648 140727384156449 140727384156644 140727384156644 140727384162246 0
/proc/83847/statm: 1048 768 704 219 0 110 0
[pid=83849] ppid=83847 vsize=286016 memory=201736 CPUtime=30 cores=1,3
/proc/83849/stat : 83849 (roundingsat) R 83847 83847 83021 0 -1 4194304 38178 0 0 0 2956 44 0 0 20 0 1 0 74306167 292880384 50434 18446744073709551615 4227072 8923433 140721669454112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14176256 140721669458258 140721669458472 140721669458472 140721669464042 0
/proc/83849/statm: 71504 50434 2400 1147 0 58931 0
Current children cumulated CPU time: 30 s
Current children cumulated vsize: 290208 KiB
Current children cumulated memory: 204808 KiB
heavy processes:
[startup+102.3 s]
/proc/loadavg: 4.36 4.18 4.12 5/273 83964
/proc/meminfo: memFree=127940652/131249988 swapFree=33010160/33010684
[pid=83847] ppid=83844 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83847/stat : 83847 (run-opt-log.sh) S 83844 83847 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74306167 4292608 768 18446744073709551615 93904887943168 93904888837701 140727384153152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93904889076752 93904889124496 93904907931648 140727384156449 140727384156644 140727384156644 140727384162246 0
/proc/83847/statm: 1048 768 704 219 0 110 0
[pid=83849] ppid=83847 vsize=290916 memory=219692 CPUtime=81.05 cores=1,3
/proc/83849/stat : 83849 (roundingsat) R 83847 83847 83021 0 -1 4194304 40386 0 0 0 8013 92 0 0 20 0 1 0 74306167 297897984 54923 18446744073709551615 4227072 8923433 140721669454112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14176256 140721669458258 140721669458472 140721669458472 140721669464042 0
/proc/83849/statm: 72729 54923 2400 1147 0 60156 0
Current children cumulated CPU time: 81.05 s
Current children cumulated vsize: 295108 KiB
Current children cumulated memory: 222764 KiB
heavy processes:
[startup+162.3 s]
/proc/loadavg: 4.25 4.19 4.13 5/272 83972
/proc/meminfo: memFree=127265280/131249988 swapFree=33010160/33010684
[pid=83847] ppid=83844 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83847/stat : 83847 (run-opt-log.sh) S 83844 83847 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74306167 4292608 768 18446744073709551615 93904887943168 93904888837701 140727384153152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93904889076752 93904889124496 93904907931648 140727384156449 140727384156644 140727384156644 140727384162246 0
/proc/83847/statm: 1048 768 704 219 0 110 0
[pid=83849] ppid=83847 vsize=415860 memory=310008 CPUtime=140.88 cores=1,3
/proc/83849/stat : 83849 (roundingsat) R 83847 83847 83021 0 -1 4194304 52691 0 0 0 13943 145 0 0 20 0 1 0 74306167 425840640 77502 18446744073709551615 4227072 8923433 140721669454112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14176256 140721669458258 140721669458472 140721669458472 140721669464042 0
/proc/83849/statm: 103965 77502 2400 1147 0 91392 0
Current children cumulated CPU time: 140.88 s
Current children cumulated vsize: 420052 KiB
Current children cumulated memory: 313080 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.17 4.12 5/271 83974
/proc/meminfo: memFree=126760956/131249988 swapFree=33010160/33010684
################
# More data... #
################
/proc/83849/statm: 247226 206810 2400 1147 0 234653 0
Current children cumulated CPU time: 3073.35 s
Current children cumulated vsize: 993096 KiB
Current children cumulated memory: 830312 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/271 84133
/proc/meminfo: memFree=108139080/131249988 swapFree=33010160/33010684
[pid=83847] ppid=83844 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83847/stat : 83847 (run-opt-log.sh) S 83844 83847 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74306167 4292608 768 18446744073709551615 93904887943168 93904888837701 140727384153152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93904889076752 93904889124496 93904907931648 140727384156449 140727384156644 140727384156644 140727384162246 0
/proc/83847/statm: 1048 768 704 219 0 110 0
[pid=83849] ppid=83847 vsize=988904 memory=835440 CPUtime=3133.19 cores=1,3
/proc/83849/stat : 83849 (roundingsat) R 83847 83847 83021 0 -1 4194304 117521 0 0 0 311604 1715 0 0 20 0 1 0 74306167 1012637696 208860 18446744073709551615 4227072 8923433 140721669454112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14176256 140721669458258 140721669458472 140721669458472 140721669464042 0
/proc/83849/statm: 247226 208860 2400 1147 0 234653 0
Current children cumulated CPU time: 3133.19 s
Current children cumulated vsize: 993096 KiB
Current children cumulated memory: 838512 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/271 84135
/proc/meminfo: memFree=107815580/131249988 swapFree=33010160/33010684
[pid=83847] ppid=83844 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83847/stat : 83847 (run-opt-log.sh) S 83844 83847 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74306167 4292608 768 18446744073709551615 93904887943168 93904888837701 140727384153152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93904889076752 93904889124496 93904907931648 140727384156449 140727384156644 140727384156644 140727384162246 0
/proc/83847/statm: 1048 768 704 219 0 110 0
[pid=83849] ppid=83847 vsize=988904 memory=835440 CPUtime=3193.05 cores=1,3
/proc/83849/stat : 83849 (roundingsat) R 83847 83847 83021 0 -1 4194304 117522 0 0 0 317560 1745 0 0 20 0 1 0 74306167 1012637696 208860 18446744073709551615 4227072 8923433 140721669454112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14176256 140721669458258 140721669458472 140721669458472 140721669464042 0
/proc/83849/statm: 247226 208860 2400 1147 0 234653 0
Current children cumulated CPU time: 3193.05 s
Current children cumulated vsize: 993096 KiB
Current children cumulated memory: 838512 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/271 84137
/proc/meminfo: memFree=107574540/131249988 swapFree=33010160/33010684
[pid=83847] ppid=83844 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83847/stat : 83847 (run-opt-log.sh) S 83844 83847 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74306167 4292608 768 18446744073709551615 93904887943168 93904888837701 140727384153152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93904889076752 93904889124496 93904907931648 140727384156449 140727384156644 140727384156644 140727384162246 0
/proc/83847/statm: 1048 768 704 219 0 110 0
[pid=83849] ppid=83847 vsize=990080 memory=836336 CPUtime=3252.9 cores=1,3
/proc/83849/stat : 83849 (roundingsat) R 83847 83847 83021 0 -1 4194304 117859 0 0 0 323515 1775 0 0 20 0 1 0 74306167 1013841920 209084 18446744073709551615 4227072 8923433 140721669454112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14176256 140721669458258 140721669458472 140721669458472 140721669464042 0
/proc/83849/statm: 247520 209084 2400 1147 0 234947 0
Current children cumulated CPU time: 3252.9 s
Current children cumulated vsize: 994272 KiB
Current children cumulated memory: 839408 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/271 84139
/proc/meminfo: memFree=107234384/131249988 swapFree=33010160/33010684
[pid=83847] ppid=83844 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83847/stat : 83847 (run-opt-log.sh) S 83844 83847 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74306167 4292608 768 18446744073709551615 93904887943168 93904888837701 140727384153152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93904889076752 93904889124496 93904907931648 140727384156449 140727384156644 140727384156644 140727384162246 0
/proc/83847/statm: 1048 768 704 219 0 110 0
[pid=83849] ppid=83847 vsize=990080 memory=836336 CPUtime=3312.75 cores=1,3
/proc/83849/stat : 83849 (roundingsat) R 83847 83847 83021 0 -1 4194304 117891 0 0 0 329473 1802 0 0 20 0 1 0 74306167 1013841920 209084 18446744073709551615 4227072 8923433 140721669454112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14176256 140721669458258 140721669458472 140721669458472 140721669464042 0
/proc/83849/statm: 247520 209084 2400 1147 0 234947 0
Current children cumulated CPU time: 3312.75 s
Current children cumulated vsize: 994272 KiB
Current children cumulated memory: 839408 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/270 84141
/proc/meminfo: memFree=106962240/131249988 swapFree=33010160/33010684
[pid=83847] ppid=83844 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83847/stat : 83847 (run-opt-log.sh) S 83844 83847 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74306167 4292608 768 18446744073709551615 93904887943168 93904888837701 140727384153152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93904889076752 93904889124496 93904907931648 140727384156449 140727384156644 140727384156644 140727384162246 0
/proc/83847/statm: 1048 768 704 219 0 110 0
[pid=83849] ppid=83847 vsize=990080 memory=836336 CPUtime=3372.6 cores=1,3
/proc/83849/stat : 83849 (roundingsat) R 83847 83847 83021 0 -1 4194304 117891 0 0 0 335430 1830 0 0 20 0 1 0 74306167 1013841920 209084 18446744073709551615 4227072 8923433 140721669454112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14176256 140721669458258 140721669458472 140721669458472 140721669464042 0
/proc/83849/statm: 247520 209084 2400 1147 0 234947 0
Current children cumulated CPU time: 3372.6 s
Current children cumulated vsize: 994272 KiB
Current children cumulated memory: 839408 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/271 84144
/proc/meminfo: memFree=106638992/131249988 swapFree=33010160/33010684
[pid=83847] ppid=83844 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83847/stat : 83847 (run-opt-log.sh) S 83844 83847 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74306167 4292608 768 18446744073709551615 93904887943168 93904888837701 140727384153152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93904889076752 93904889124496 93904907931648 140727384156449 140727384156644 140727384156644 140727384162246 0
/proc/83847/statm: 1048 768 704 219 0 110 0
[pid=83849] ppid=83847 vsize=990080 memory=836336 CPUtime=3432.45 cores=1,3
/proc/83849/stat : 83849 (roundingsat) R 83847 83847 83021 0 -1 4194304 117892 0 0 0 341386 1859 0 0 20 0 1 0 74306167 1013841920 209084 18446744073709551615 4227072 8923433 140721669454112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14176256 140721669458258 140721669458472 140721669458472 140721669464042 0
/proc/83849/statm: 247520 209084 2400 1147 0 234947 0
Current children cumulated CPU time: 3432.45 s
Current children cumulated vsize: 994272 KiB
Current children cumulated memory: 839408 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/272 84148
/proc/meminfo: memFree=106401504/131249988 swapFree=33010160/33010684
[pid=83847] ppid=83844 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83847/stat : 83847 (run-opt-log.sh) S 83844 83847 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74306167 4292608 768 18446744073709551615 93904887943168 93904888837701 140727384153152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93904889076752 93904889124496 93904907931648 140727384156449 140727384156644 140727384156644 140727384162246 0
/proc/83847/statm: 1048 768 704 219 0 110 0
[pid=83849] ppid=83847 vsize=990080 memory=836336 CPUtime=3492.3 cores=1,3
/proc/83849/stat : 83849 (roundingsat) R 83847 83847 83021 0 -1 4194304 117895 0 0 0 347341 1889 0 0 20 0 1 0 74306167 1013841920 209084 18446744073709551615 4227072 8923433 140721669454112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14176256 140721669458258 140721669458472 140721669458472 140721669464042 0
/proc/83849/statm: 247520 209084 2400 1147 0 234947 0
Current children cumulated CPU time: 3492.3 s
Current children cumulated vsize: 994272 KiB
Current children cumulated memory: 839408 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/272 84150
/proc/meminfo: memFree=106109168/131249988 swapFree=33010160/33010684
[pid=83847] ppid=83844 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83847/stat : 83847 (run-opt-log.sh) S 83844 83847 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74306167 4292608 768 18446744073709551615 93904887943168 93904888837701 140727384153152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93904889076752 93904889124496 93904907931648 140727384156449 140727384156644 140727384156644 140727384162246 0
/proc/83847/statm: 1048 768 704 219 0 110 0
[pid=83849] ppid=83847 vsize=990080 memory=836336 CPUtime=3552.15 cores=1,3
/proc/83849/stat : 83849 (roundingsat) R 83847 83847 83021 0 -1 4194304 117896 0 0 0 353300 1915 0 0 20 0 1 0 74306167 1013841920 209084 18446744073709551615 4227072 8923433 140721669454112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14176256 140721669458258 140721669458472 140721669458472 140721669464042 0
/proc/83849/statm: 247520 209084 2400 1147 0 234947 0
Current children cumulated CPU time: 3552.15 s
Current children cumulated vsize: 994272 KiB
Current children cumulated memory: 839408 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3630.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/272 84151
/proc/meminfo: memFree=105899860/131249988 swapFree=33010160/33010684
[pid=83847] ppid=83844 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83847/stat : 83847 (run-opt-log.sh) S 83844 83847 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74306167 4292608 768 18446744073709551615 93904887943168 93904888837701 140727384153152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93904889076752 93904889124496 93904907931648 140727384156449 140727384156644 140727384156644 140727384162246 0
/proc/83847/statm: 1048 768 704 219 0 110 0
[pid=83849] ppid=83847 vsize=990080 memory=836464 CPUtime=3600.03 cores=1,3
/proc/83849/stat : 83849 (roundingsat) R 83847 83847 83021 0 -1 4194304 117899 0 0 0 358066 1937 0 0 20 0 1 0 74306167 1013841920 209116 18446744073709551615 4227072 8923433 140721669454112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14176256 140721669458258 140721669458472 140721669458472 140721669464042 0
/proc/83849/statm: 247520 209116 2400 1147 0 234947 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 994272 KiB
Current children cumulated memory: 839536 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3630.3 s]
# the end of solver process 83847 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002202 s
[startup+3630.37 s]
# the end of solver process 83849 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3580.67 s, system=19.3903 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3630.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/272 84151
/proc/meminfo: memFree=105899860/131249988 swapFree=33010160/33010684
[pid=83847] ppid=83844 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83847/stat : 83847 (run-opt-log.sh) S 83844 83847 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74306167 4292608 768 18446744073709551615 93904887943168 93904888837701 140727384153152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93904889076752 93904889124496 93904907931648 140727384156449 140727384156644 140727384156644 140727384162246 0
/proc/83847/statm: 1048 768 704 219 0 110 0
[pid=83849] ppid=83847 vsize=990080 memory=836464 CPUtime=3600.03 cores=1,3
/proc/83849/stat : 83849 (roundingsat) R 83847 83847 83021 0 -1 4194304 117899 0 0 0 358066 1937 0 0 20 0 1 0 74306167 1013841920 209116 18446744073709551615 4227072 8923433 140721669454112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14176256 140721669458258 140721669458472 140721669458472 140721669464042 0
/proc/83849/statm: 247520 209116 2400 1147 0 234947 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 994272 KiB
Current children cumulated memory: 839536 KiB
Child status: 2
Real time (s): 3630.37
CPU time (s): 3600.06
CPU user time (s): 3580.67
CPU system time (s): 19.3903
CPU usage (%): 99.1651
Max. virtual memory (cumulated for all children) (KiB): 994272
Max. memory (cumulated for all children) (KiB): 839536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.67
system time used= 19.3903
maximum resident set size= 836720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118130
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13571856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1146
involuntary context switches= 8201
# summary of solver processes directly reported to runsolver:
# pid: 83847,83849
# total CPU time (s): 3600.06
# total CPU user time (s): 3580.67
# total CPU system time (s): 19.3903
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.73452 second user time and 16.7661 second system time
The end
Begin job on nodeC020 at 2025-07-04 01:44:46
IDJOB=4521585
IDBENCH=178385
IDSOLVER=3351
FILE ID=nodeC020/4521585-1751586286
RUNJOBID= nodeC020-1751579055-83033
SLURM_JOB_ID= 9598813
Free space on /tmp= 431736 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_054.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521585-1751586286/watcher-4521585-1751586286 -o /tmp/evaluation-result-4521585-1751586286/solver-4521585-1751586286 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751579055-83033 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4521585-1751586286.opb PROOFDIR/proof-4521585-1751586286
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8209c0ad8f9bd935962228118681b22b
RANDOM SEED=1389317034
nodeC020 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.895
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.890
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3533.220
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.528
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.894
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.500
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3597.870
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.281
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 95844444 kB
MemAvailable: 128909296 kB
Buffers: 2128 kB
Cached: 33825420 kB
SwapCached: 8 kB
Active: 1492000 kB
Inactive: 33260228 kB
Active(anon): 917932 kB
Inactive(anon): 24568 kB
Active(file): 574068 kB
Inactive(file): 33235660 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 35116 kB
Writeback: 4 kB
AnonPages: 925096 kB
Mapped: 113488 kB
Shmem: 18044 kB
KReclaimable: 188728 kB
Slab: 282244 kB
SReclaimable: 188728 kB
SUnreclaim: 93516 kB
KernelStack: 4272 kB
PageTables: 4792 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 1416348 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 770048 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431748 MiB
End job on nodeC020 at 2025-07-04 02:45:17