0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.06 c #variables 14400 #constraints 1088
92.75/93.02 c #Conflicts: 1000 | #Constraints: 2087
92.75/93.02 c #Conflicts: 2000 | #Constraints: 3087
92.75/93.02 c INPROCESSING
92.75/93.02 c GARBAGE COLLECT
92.75/93.02 c #Conflicts: 3000 | #Constraints: 3121
92.75/93.02 c #Conflicts: 4000 | #Constraints: 4121
92.75/93.02 c INPROCESSING
92.75/93.02 c GARBAGE COLLECT
92.75/93.02 c #Conflicts: 5000 | #Constraints: 3564
92.75/93.02 c #Conflicts: 6000 | #Constraints: 4564
92.75/93.02 c INPROCESSING
92.75/93.02 c GARBAGE COLLECT
92.75/93.02 c #Conflicts: 7000 | #Constraints: 3580
92.75/93.02 c #Conflicts: 8000 | #Constraints: 4580
92.75/93.02 c #Conflicts: 9000 | #Constraints: 5580
92.75/93.02 c INPROCESSING
92.75/93.02 c GARBAGE COLLECT
92.75/93.02 c #Conflicts: 10000 | #Constraints: 4290
92.75/93.02 c #Conflicts: 11000 | #Constraints: 5290
92.75/93.02 c #Conflicts: 12000 | #Constraints: 6290
92.75/93.02 c INPROCESSING
92.75/93.02 c GARBAGE COLLECT
92.75/93.02 c #Conflicts: 13000 | #Constraints: 4744
92.75/93.02 c #Conflicts: 14000 | #Constraints: 5744
92.75/93.02 c #Conflicts: 15000 | #Constraints: 6744
92.75/93.02 c INPROCESSING
92.75/93.02 c GARBAGE COLLECT
92.75/93.02 c #Conflicts: 16000 | #Constraints: 4994
92.75/93.02 c #Conflicts: 17000 | #Constraints: 5994
92.75/93.02 c #Conflicts: 18000 | #Constraints: 6994
92.75/93.02 c INPROCESSING
92.75/93.02 c GARBAGE COLLECT
92.75/93.02 c #Conflicts: 19000 | #Constraints: 5044
92.75/93.02 c #Conflicts: 20000 | #Constraints: 6044
92.75/93.02 c #Conflicts: 21000 | #Constraints: 7045
92.75/93.02 c INPROCESSING
92.75/93.02 c GARBAGE COLLECT
92.75/93.02 c #Conflicts: 22000 | #Constraints: 4829
92.75/93.02 c #Conflicts: 23000 | #Constraints: 5829
92.75/93.02 c #Conflicts: 24000 | #Constraints: 6829
92.75/93.02 c #Conflicts: 25000 | #Constraints: 7829
92.75/93.02 c INPROCESSING
92.75/93.02 c GARBAGE COLLECT
92.75/93.02 c #Conflicts: 26000 | #Constraints: 5437
92.75/93.02 c #Conflicts: 27000 | #Constraints: 6437
92.75/93.02 c #Conflicts: 28000 | #Constraints: 7437
92.75/93.02 c #Conflicts: 29000 | #Constraints: 8437
92.75/93.02 c INPROCESSING
92.75/93.02 c GARBAGE COLLECT
92.75/93.02 c #Conflicts: 30000 | #Constraints: 5830
92.75/93.02 c #Conflicts: 31000 | #Constraints: 6830
92.75/93.02 c #Conflicts: 32000 | #Constraints: 7830
92.75/93.02 c #Conflicts: 33000 | #Constraints: 8830
92.75/93.02 c INPROCESSING
92.75/93.02 c GARBAGE COLLECT
92.75/93.02 c #Conflicts: 34000 | #Constraints: 6028
92.75/93.02 c #Conflicts: 35000 | #Constraints: 7028
92.75/93.02 c #Conflicts: 36000 | #Constraints: 8028
92.75/93.02 c #Conflicts: 37000 | #Constraints: 9028
92.75/93.02 c INPROCESSING
92.75/93.02 c GARBAGE COLLECT
92.75/93.02 c #Conflicts: 38000 | #Constraints: 6065
92.75/93.02 c #Conflicts: 39000 | #Constraints: 7065
92.75/93.02 c #Conflicts: 40000 | #Constraints: 8065
92.75/93.02 c #Conflicts: 41000 | #Constraints: 9065
92.75/93.02 c INPROCESSING
92.75/93.02 c GARBAGE COLLECT
92.75/93.02 c #Conflicts: 42000 | #Constraints: 5874
92.75/93.02 c #Conflicts: 43000 | #Constraints: 6874
92.75/93.02 c #Conflicts: 44000 | #Constraints: 7874
92.75/93.02 c #Conflicts: 45000 | #Constraints: 8874
92.75/93.02 c #Conflicts: 46000 | #Constraints: 9874
92.75/93.02 c INPROCESSING
92.75/93.02 c GARBAGE COLLECT
92.75/93.02 c #Conflicts: 47000 | #Constraints: 6437
92.75/93.02 c #Conflicts: 48000 | #Constraints: 7437
92.75/93.02 c #Conflicts: 49000 | #Constraints: 8437
92.75/93.02 c #Conflicts: 50000 | #Constraints: 9437
92.75/93.02 c #Conflicts: 51000 | #Constraints: 10437
92.75/93.02 c INPROCESSING
92.75/93.02 c GARBAGE COLLECT
92.75/93.02 c #Conflicts: 52000 | #Constraints: 6834
92.75/93.02 c #Conflicts: 53000 | #Constraints: 7834
92.75/93.02 c #Conflicts: 54000 | #Constraints: 8834
92.75/93.02 c #Conflicts: 55000 | #Constraints: 9834
92.75/93.02 c #Conflicts: 56000 | #Constraints: 10834
92.75/93.02 c INPROCESSING
92.75/93.02 c GARBAGE COLLECT
92.75/93.02 c #Conflicts: 57000 | #Constraints: 7023
92.75/93.02 c #Conflicts: 58000 | #Constraints: 8023
92.75/93.02 c #Conflicts: 59000 | #Constraints: 9023
92.75/93.02 c #Conflicts: 60000 | #Constraints: 10023
92.75/93.02 c #Conflicts: 61000 | #Constraints: 11023
92.75/93.02 c INPROCESSING
92.75/93.02 c GARBAGE COLLECT
92.75/93.02 c #Conflicts: 62000 | #Constraints: 7039
92.75/93.02 c #Conflicts: 63000 | #Constraints: 8039
92.75/93.02 c #Conflicts: 64000 | #Constraints: 9039
92.75/93.02 c #Conflicts: 65000 | #Constraints: 10039
92.75/93.02 c #Conflicts: 66000 | #Constraints: 11039
92.75/93.02 c INPROCESSING
92.75/93.02 c GARBAGE COLLECT
92.75/93.02 c #Conflicts: 67000 | #Constraints: 6838
92.75/93.02 c #Conflicts: 68000 | #Constraints: 7838
213.03/213.60 c #Conflicts: 69000 | #Constraints: 8838
213.03/213.60 c #Conflicts: 70000 | #Constraints: 9838
213.03/213.60 c #Conflicts: 71000 | #Constraints: 10838
213.03/213.60 c #Conflicts: 72000 | #Constraints: 11838
213.03/213.60 c INPROCESSING
213.03/213.60 c GARBAGE COLLECT
213.03/213.60 c #Conflicts: 73000 | #Constraints: 7443
213.03/213.60 c #Conflicts: 74000 | #Constraints: 8443
213.03/213.60 c #Conflicts: 75000 | #Constraints: 9443
213.03/213.60 c #Conflicts: 76000 | #Constraints: 10443
213.03/213.60 c #Conflicts: 77000 | #Constraints: 11443
213.03/213.60 c #Conflicts: 78000 | #Constraints: 12443
213.03/213.60 c INPROCESSING
213.03/213.60 c GARBAGE COLLECT
213.03/213.60 c #Conflicts: 79000 | #Constraints: 7852
213.03/213.60 c #Conflicts: 80000 | #Constraints: 8852
213.03/213.60 c #Conflicts: 81000 | #Constraints: 9852
213.03/213.60 c #Conflicts: 82000 | #Constraints: 10852
213.03/213.60 c #Conflicts: 83000 | #Constraints: 11852
213.03/213.60 c #Conflicts: 84000 | #Constraints: 12852
213.03/213.60 c INPROCESSING
213.03/213.60 c GARBAGE COLLECT
213.03/213.60 c #Conflicts: 85000 | #Constraints: 8074
213.03/213.60 c #Conflicts: 86000 | #Constraints: 9074
213.03/213.60 c #Conflicts: 87000 | #Constraints: 10074
213.03/213.60 c #Conflicts: 88000 | #Constraints: 11074
213.03/213.60 c #Conflicts: 89000 | #Constraints: 12074
213.03/213.60 c #Conflicts: 90000 | #Constraints: 13075
213.03/213.60 c INPROCESSING
213.03/213.60 c GARBAGE COLLECT
213.03/213.60 c #Conflicts: 91000 | #Constraints: 8067
213.03/213.60 c #Conflicts: 92000 | #Constraints: 9067
213.03/213.60 c #Conflicts: 93000 | #Constraints: 10067
213.03/213.60 c #Conflicts: 94000 | #Constraints: 11067
213.03/213.60 c #Conflicts: 95000 | #Constraints: 12067
213.03/213.60 c #Conflicts: 96000 | #Constraints: 13067
213.03/213.60 c INPROCESSING
213.03/213.60 c GARBAGE COLLECT
213.03/213.60 c #Conflicts: 97000 | #Constraints: 7899
213.03/213.60 c #Conflicts: 98000 | #Constraints: 8899
213.03/213.60 c #Conflicts: 99000 | #Constraints: 9899
213.03/213.60 c #Conflicts: 100000 | #Constraints: 10899
213.03/213.60 c #Conflicts: 101000 | #Constraints: 11899
213.03/213.60 c #Conflicts: 102000 | #Constraints: 12899
213.03/213.60 c #Conflicts: 103000 | #Constraints: 13899
213.03/213.60 c INPROCESSING
213.03/213.60 c GARBAGE COLLECT
213.03/213.60 c #Conflicts: 104000 | #Constraints: 8478
213.03/213.60 c #Conflicts: 105000 | #Constraints: 9478
213.03/213.60 c #Conflicts: 106000 | #Constraints: 10478
213.03/213.60 c #Conflicts: 107000 | #Constraints: 11478
213.03/213.60 c #Conflicts: 108000 | #Constraints: 12478
213.03/213.60 c #Conflicts: 109000 | #Constraints: 13478
213.03/213.60 c #Conflicts: 110000 | #Constraints: 14478
213.03/213.60 c INPROCESSING
213.03/213.60 c GARBAGE COLLECT
213.03/213.60 c #Conflicts: 111000 | #Constraints: 8871
213.03/213.60 c #Conflicts: 112000 | #Constraints: 9871
213.03/213.60 c #Conflicts: 113000 | #Constraints: 10871
213.03/213.60 c #Conflicts: 114000 | #Constraints: 11871
213.03/213.60 c #Conflicts: 115000 | #Constraints: 12871
213.03/213.60 c #Conflicts: 116000 | #Constraints: 13871
213.03/213.60 c #Conflicts: 117000 | #Constraints: 14871
213.03/213.60 c INPROCESSING
213.03/213.60 c GARBAGE COLLECT
213.03/213.60 c #Conflicts: 118000 | #Constraints: 9067
213.03/213.60 c #Conflicts: 119000 | #Constraints: 10067
213.03/213.60 c #Conflicts: 120000 | #Constraints: 11067
213.03/213.60 c #Conflicts: 121000 | #Constraints: 12067
213.03/213.60 c #Conflicts: 122000 | #Constraints: 13067
213.03/213.60 c #Conflicts: 123000 | #Constraints: 14067
213.03/213.60 c #Conflicts: 124000 | #Constraints: 15067
213.03/213.60 c INPROCESSING
213.03/213.60 c GARBAGE COLLECT
213.03/213.60 c #Conflicts: 125000 | #Constraints: 9068
213.03/213.60 c #Conflicts: 126000 | #Constraints: 10068
213.03/213.60 c #Conflicts: 127000 | #Constraints: 11068
213.03/213.60 c #Conflicts: 128000 | #Constraints: 12068
213.03/213.60 c #Conflicts: 129000 | #Constraints: 13068
213.03/213.60 c #Conflicts: 130000 | #Constraints: 14068
213.03/213.60 c #Conflicts: 131000 | #Constraints: 15068
213.03/213.60 c INPROCESSING
213.03/213.60 c GARBAGE COLLECT
213.03/213.60 c rational objective 120
365.10/366.18 c #Conflicts: 132000 | #Constraints: 8852
365.10/366.18 c #Conflicts: 133000 | #Constraints: 9852
365.10/366.18 c #Conflicts: 134000 | #Constraints: 10852
365.10/366.18 c #Conflicts: 135000 | #Constraints: 11852
365.10/366.18 c #Conflicts: 136000 | #Constraints: 12852
365.10/366.18 c #Conflicts: 137000 | #Constraints: 13852
365.10/366.18 c #Conflicts: 138000 | #Constraints: 14852
365.10/366.18 c #Conflicts: 139000 | #Constraints: 15852
365.10/366.18 c INPROCESSING
365.10/366.18 c GARBAGE COLLECT
365.10/366.18 c #Conflicts: 140000 | #Constraints: 9472
365.10/366.18 c #Conflicts: 141000 | #Constraints: 10472
365.10/366.18 c #Conflicts: 142000 | #Constraints: 11472
365.10/366.18 c #Conflicts: 143000 | #Constraints: 12472
365.10/366.18 c #Conflicts: 144000 | #Constraints: 13472
365.10/366.18 c #Conflicts: 145000 | #Constraints: 14472
365.10/366.18 c #Conflicts: 146000 | #Constraints: 15472
365.10/366.18 c #Conflicts: 147000 | #Constraints: 16472
365.10/366.18 c INPROCESSING
365.10/366.18 c GARBAGE COLLECT
365.10/366.18 c #Conflicts: 148000 | #Constraints: 9901
365.10/366.18 c #Conflicts: 149000 | #Constraints: 10901
365.10/366.18 c #Conflicts: 150000 | #Constraints: 11901
365.10/366.18 c #Conflicts: 151000 | #Constraints: 12901
365.10/366.18 c #Conflicts: 152000 | #Constraints: 13901
365.10/366.18 c #Conflicts: 153000 | #Constraints: 14901
365.10/366.18 c #Conflicts: 154000 | #Constraints: 15901
365.10/366.18 c #Conflicts: 155000 | #Constraints: 16901
365.10/366.18 c INPROCESSING
365.10/366.18 c GARBAGE COLLECT
365.10/366.18 c #Conflicts: 156000 | #Constraints: 10097
365.10/366.18 c #Conflicts: 157000 | #Constraints: 11097
365.10/366.18 c #Conflicts: 158000 | #Constraints: 12097
365.10/366.18 c #Conflicts: 159000 | #Constraints: 13097
365.10/366.18 c #Conflicts: 160000 | #Constraints: 14097
365.10/366.18 c #Conflicts: 161000 | #Constraints: 15097
365.10/366.18 c #Conflicts: 162000 | #Constraints: 16097
365.10/366.18 c #Conflicts: 163000 | #Constraints: 17097
365.10/366.18 c INPROCESSING
365.10/366.18 c GARBAGE COLLECT
365.10/366.18 c #Conflicts: 164000 | #Constraints: 10077
365.10/366.18 c #Conflicts: 165000 | #Constraints: 11077
365.10/366.18 c #Conflicts: 166000 | #Constraints: 12077
365.10/366.18 c #Conflicts: 167000 | #Constraints: 13077
365.10/366.18 c #Conflicts: 168000 | #Constraints: 14077
365.10/366.18 c #Conflicts: 169000 | #Constraints: 15077
365.10/366.18 c #Conflicts: 170000 | #Constraints: 16077
365.10/366.18 c #Conflicts: 171000 | #Constraints: 17077
365.10/366.18 c INPROCESSING
365.10/366.18 c GARBAGE COLLECT
365.10/366.18 c #Conflicts: 172000 | #Constraints: 9867
365.10/366.18 c #Conflicts: 173000 | #Constraints: 10867
365.10/366.18 c #Conflicts: 174000 | #Constraints: 11867
365.10/366.18 c #Conflicts: 175000 | #Constraints: 12867
365.10/366.18 c #Conflicts: 176000 | #Constraints: 13867
365.10/366.18 c #Conflicts: 177000 | #Constraints: 14867
365.10/366.18 c #Conflicts: 178000 | #Constraints: 15867
365.10/366.18 c #Conflicts: 179000 | #Constraints: 16867
365.10/366.18 c #Conflicts: 180000 | #Constraints: 17867
365.10/366.18 c INPROCESSING
365.10/366.18 c GARBAGE COLLECT
365.10/366.18 c #Conflicts: 181000 | #Constraints: 10460
365.10/366.18 c #Conflicts: 182000 | #Constraints: 11460
365.10/366.18 c #Conflicts: 183000 | #Constraints: 12460
365.10/366.18 c #Conflicts: 184000 | #Constraints: 13460
365.10/366.18 c #Conflicts: 185000 | #Constraints: 14460
365.10/366.18 c #Conflicts: 186000 | #Constraints: 15460
365.10/366.18 c #Conflicts: 187000 | #Constraints: 16460
365.10/366.18 c #Conflicts: 188000 | #Constraints: 17460
365.10/366.18 c #Conflicts: 189000 | #Constraints: 18460
365.10/366.18 c INPROCESSING
365.10/366.18 c GARBAGE COLLECT
365.10/366.18 c #Conflicts: 190000 | #Constraints: 10879
365.10/366.18 c #Conflicts: 191000 | #Constraints: 11879
365.10/366.18 c #Conflicts: 192000 | #Constraints: 12879
365.10/366.18 c #Conflicts: 193000 | #Constraints: 13879
365.10/366.18 c #Conflicts: 194000 | #Constraints: 14879
365.10/366.18 c #Conflicts: 195000 | #Constraints: 15879
365.10/366.18 c #Conflicts: 196000 | #Constraints: 16880
365.10/366.18 c #Conflicts: 197000 | #Constraints: 17880
365.10/366.18 c #Conflicts: 198000 | #Constraints: 18880
365.10/366.18 c INPROCESSING
365.10/366.18 c GARBAGE COLLECT
365.10/366.18 c #Conflicts: 199000 | #Constraints: 11118
365.10/366.18 c #Conflicts: 200000 | #Constraints: 12118
365.10/366.18 c #Conflicts: 201000 | #Constraints: 13118
365.10/366.18 c #Conflicts: 202000 | #Constraints: 14118
365.10/366.18 c #Conflicts: 203000 | #Constraints: 15118
365.10/366.18 c #Conflicts: 204000 | #Constraints: 16118
365.10/366.18 c #Conflicts: 205000 | #Constraints: 17118
538.11/539.68 c #Conflicts: 206000 | #Constraints: 18118
538.11/539.68 c #Conflicts: 207000 | #Constraints: 19118
538.11/539.68 c INPROCESSING
538.11/539.68 c GARBAGE COLLECT
538.11/539.68 c #Conflicts: 208000 | #Constraints: 11115
538.11/539.68 c #Conflicts: 209000 | #Constraints: 12115
538.11/539.68 c #Conflicts: 210000 | #Constraints: 13115
538.11/539.68 c #Conflicts: 211000 | #Constraints: 14115
538.11/539.68 c #Conflicts: 212000 | #Constraints: 15115
538.11/539.68 c #Conflicts: 213000 | #Constraints: 16115
538.11/539.68 c #Conflicts: 214000 | #Constraints: 17115
538.11/539.68 c #Conflicts: 215000 | #Constraints: 18115
538.11/539.68 c #Conflicts: 216000 | #Constraints: 19115
538.11/539.68 c INPROCESSING
538.11/539.68 c GARBAGE COLLECT
538.11/539.68 c #Conflicts: 217000 | #Constraints: 10937
538.11/539.68 c #Conflicts: 218000 | #Constraints: 11937
538.11/539.68 c #Conflicts: 219000 | #Constraints: 12937
538.11/539.68 c #Conflicts: 220000 | #Constraints: 13937
538.11/539.68 c #Conflicts: 221000 | #Constraints: 14937
538.11/539.68 c #Conflicts: 222000 | #Constraints: 15937
538.11/539.68 c #Conflicts: 223000 | #Constraints: 16937
538.11/539.68 c #Conflicts: 224000 | #Constraints: 17937
538.11/539.68 c #Conflicts: 225000 | #Constraints: 18937
538.11/539.68 c #Conflicts: 226000 | #Constraints: 19937
538.11/539.68 c INPROCESSING
538.11/539.68 c GARBAGE COLLECT
538.11/539.68 c #Conflicts: 227000 | #Constraints: 11529
538.11/539.68 c #Conflicts: 228000 | #Constraints: 12529
538.11/539.68 c #Conflicts: 229000 | #Constraints: 13529
538.11/539.68 c #Conflicts: 230000 | #Constraints: 14529
538.11/539.68 c #Conflicts: 231000 | #Constraints: 15529
538.11/539.68 c #Conflicts: 232000 | #Constraints: 16530
538.11/539.68 c #Conflicts: 233000 | #Constraints: 17530
538.11/539.68 c #Conflicts: 234000 | #Constraints: 18530
538.11/539.68 c #Conflicts: 235000 | #Constraints: 19530
538.11/539.68 c #Conflicts: 236000 | #Constraints: 20530
538.11/539.68 c INPROCESSING
538.11/539.68 c GARBAGE COLLECT
538.11/539.68 c #Conflicts: 237000 | #Constraints: 11910
538.11/539.68 c #Conflicts: 238000 | #Constraints: 12910
538.11/539.68 c #Conflicts: 239000 | #Constraints: 13910
538.11/539.68 c #Conflicts: 240000 | #Constraints: 14910
538.11/539.68 c #Conflicts: 241000 | #Constraints: 15910
538.11/539.68 c #Conflicts: 242000 | #Constraints: 16910
538.11/539.68 c #Conflicts: 243000 | #Constraints: 17910
538.11/539.68 c #Conflicts: 244000 | #Constraints: 18910
538.11/539.68 c #Conflicts: 245000 | #Constraints: 19910
538.11/539.68 c #Conflicts: 246000 | #Constraints: 20910
538.11/539.68 c INPROCESSING
538.11/539.68 c GARBAGE COLLECT
538.11/539.68 c #Conflicts: 247000 | #Constraints: 12101
538.11/539.68 c #Conflicts: 248000 | #Constraints: 13101
538.11/539.68 c #Conflicts: 249000 | #Constraints: 14101
538.11/539.68 c #Conflicts: 250000 | #Constraints: 15101
538.11/539.68 c #Conflicts: 251000 | #Constraints: 16101
538.11/539.68 c #Conflicts: 252000 | #Constraints: 17101
538.11/539.68 c #Conflicts: 253000 | #Constraints: 18101
538.11/539.68 c #Conflicts: 254000 | #Constraints: 19101
538.11/539.68 c #Conflicts: 255000 | #Constraints: 20101
538.11/539.68 c #Conflicts: 256000 | #Constraints: 21101
538.11/539.68 c INPROCESSING
538.11/539.68 c GARBAGE COLLECT
538.11/539.68 c #Conflicts: 257000 | #Constraints: 12101
538.11/539.68 c #Conflicts: 258000 | #Constraints: 13101
538.11/539.68 c #Conflicts: 259000 | #Constraints: 14101
538.11/539.68 c #Conflicts: 260000 | #Constraints: 15101
538.11/539.68 c #Conflicts: 261000 | #Constraints: 16101
538.11/539.68 c #Conflicts: 262000 | #Constraints: 17101
538.11/539.68 c #Conflicts: 263000 | #Constraints: 18101
538.11/539.68 c #Conflicts: 264000 | #Constraints: 19101
538.11/539.68 c #Conflicts: 265000 | #Constraints: 20101
538.11/539.68 c #Conflicts: 266000 | #Constraints: 21101
538.11/539.68 c INPROCESSING
538.11/539.68 c GARBAGE COLLECT
538.11/539.68 c #Conflicts: 267000 | #Constraints: 11899
538.11/539.68 c #Conflicts: 268000 | #Constraints: 12899
538.11/539.68 c #Conflicts: 269000 | #Constraints: 13899
538.11/539.68 c #Conflicts: 270000 | #Constraints: 14899
538.11/539.68 c #Conflicts: 271000 | #Constraints: 15899
538.11/539.68 c #Conflicts: 272000 | #Constraints: 16899
538.11/539.68 c #Conflicts: 273000 | #Constraints: 17899
538.11/539.68 c #Conflicts: 274000 | #Constraints: 18899
538.11/539.68 c #Conflicts: 275000 | #Constraints: 19899
538.11/539.68 c #Conflicts: 276000 | #Constraints: 20899
538.11/539.68 c #Conflicts: 277000 | #Constraints: 21899
538.11/539.68 c INPROCESSING
538.11/539.68 c GARBAGE COLLECT
538.11/539.68 c #Conflicts: 278000 | #Constraints: 12493
538.11/539.68 c #Conflicts: 279000 | #Constraints: 13493
562.24/563.81 c #Conflicts: 280000 | #Constraints: 14493
562.24/563.81 c #Conflicts: 281000 | #Constraints: 15493
562.24/563.81 c #Conflicts: 282000 | #Constraints: 16493
562.24/563.81 c #Conflicts: 283000 | #Constraints: 17493
562.24/563.81 c #Conflicts: 284000 | #Constraints: 18493
562.24/563.81 c #Conflicts: 285000 | #Constraints: 19493
562.24/563.81 c #Conflicts: 286000 | #Constraints: 20493
562.24/563.81 c #Conflicts: 287000 | #Constraints: 21493
562.24/563.81 c #Conflicts: 288000 | #Constraints: 22493
562.24/563.81 c INPROCESSING
562.24/563.81 c GARBAGE COLLECT
562.24/563.81 c rational objective 120
746.19/748.32 c #Conflicts: 289000 | #Constraints: 12881
746.19/748.32 c #Conflicts: 290000 | #Constraints: 13881
746.19/748.32 c #Conflicts: 291000 | #Constraints: 14881
746.19/748.32 c #Conflicts: 292000 | #Constraints: 15881
746.19/748.32 c #Conflicts: 293000 | #Constraints: 16881
746.19/748.32 c #Conflicts: 294000 | #Constraints: 17881
746.19/748.32 c #Conflicts: 295000 | #Constraints: 18881
746.19/748.32 c #Conflicts: 296000 | #Constraints: 19881
746.19/748.32 c #Conflicts: 297000 | #Constraints: 20881
746.19/748.32 c #Conflicts: 298000 | #Constraints: 21881
746.19/748.32 c #Conflicts: 299000 | #Constraints: 22881
746.19/748.32 c INPROCESSING
746.19/748.32 c GARBAGE COLLECT
746.19/748.32 c #Conflicts: 300000 | #Constraints: 13099
746.19/748.32 c #Conflicts: 301000 | #Constraints: 14099
746.19/748.32 c #Conflicts: 302000 | #Constraints: 15099
746.19/748.32 c #Conflicts: 303000 | #Constraints: 16099
746.19/748.32 c #Conflicts: 304000 | #Constraints: 17099
746.19/748.32 c #Conflicts: 305000 | #Constraints: 18099
746.19/748.32 c #Conflicts: 306000 | #Constraints: 19099
746.19/748.32 c #Conflicts: 307000 | #Constraints: 20099
746.19/748.32 c #Conflicts: 308000 | #Constraints: 21099
746.19/748.32 c #Conflicts: 309000 | #Constraints: 22099
746.19/748.32 c #Conflicts: 310000 | #Constraints: 23099
746.19/748.32 c INPROCESSING
746.19/748.32 c GARBAGE COLLECT
746.19/748.32 c #Conflicts: 311000 | #Constraints: 13109
746.19/748.32 c #Conflicts: 312000 | #Constraints: 14109
746.19/748.32 c #Conflicts: 313000 | #Constraints: 15109
746.19/748.32 c #Conflicts: 314000 | #Constraints: 16109
746.19/748.32 c #Conflicts: 315000 | #Constraints: 17109
746.19/748.32 c #Conflicts: 316000 | #Constraints: 18109
746.19/748.32 c #Conflicts: 317000 | #Constraints: 19109
746.19/748.32 c #Conflicts: 318000 | #Constraints: 20109
746.19/748.32 c #Conflicts: 319000 | #Constraints: 21109
746.19/748.32 c #Conflicts: 320000 | #Constraints: 22109
746.19/748.32 c #Conflicts: 321000 | #Constraints: 23109
746.19/748.32 c INPROCESSING
746.19/748.32 c GARBAGE COLLECT
746.19/748.32 c #Conflicts: 322000 | #Constraints: 12923
746.19/748.32 c #Conflicts: 323000 | #Constraints: 13923
746.19/748.32 c #Conflicts: 324000 | #Constraints: 14923
746.19/748.32 c #Conflicts: 325000 | #Constraints: 15923
746.19/748.32 c #Conflicts: 326000 | #Constraints: 16923
746.19/748.32 c #Conflicts: 327000 | #Constraints: 17923
746.19/748.32 c #Conflicts: 328000 | #Constraints: 18923
746.19/748.32 c #Conflicts: 329000 | #Constraints: 19923
746.19/748.32 c #Conflicts: 330000 | #Constraints: 20923
746.19/748.32 c #Conflicts: 331000 | #Constraints: 21923
746.19/748.32 c #Conflicts: 332000 | #Constraints: 22923
746.19/748.32 c #Conflicts: 333000 | #Constraints: 23923
746.19/748.32 c INPROCESSING
746.19/748.32 c GARBAGE COLLECT
746.19/748.32 c #Conflicts: 334000 | #Constraints: 13508
746.19/748.32 c #Conflicts: 335000 | #Constraints: 14508
746.19/748.32 c #Conflicts: 336000 | #Constraints: 15508
746.19/748.32 c #Conflicts: 337000 | #Constraints: 16508
746.19/748.32 c #Conflicts: 338000 | #Constraints: 17508
746.19/748.32 c #Conflicts: 339000 | #Constraints: 18508
746.19/748.32 c #Conflicts: 340000 | #Constraints: 19508
746.19/748.32 c #Conflicts: 341000 | #Constraints: 20508
746.19/748.32 c #Conflicts: 342000 | #Constraints: 21508
746.19/748.32 c #Conflicts: 343000 | #Constraints: 22508
746.19/748.32 c #Conflicts: 344000 | #Constraints: 23508
746.19/748.32 c #Conflicts: 345000 | #Constraints: 24508
746.19/748.32 c INPROCESSING
746.19/748.32 c GARBAGE COLLECT
746.19/748.32 c #Conflicts: 346000 | #Constraints: 13900
746.19/748.32 c #Conflicts: 347000 | #Constraints: 14900
746.19/748.32 c #Conflicts: 348000 | #Constraints: 15900
746.19/748.32 c #Conflicts: 349000 | #Constraints: 16900
746.19/748.32 c #Conflicts: 350000 | #Constraints: 17900
746.19/748.32 c #Conflicts: 351000 | #Constraints: 18900
746.19/748.32 c #Conflicts: 352000 | #Constraints: 19900
746.19/748.32 c #Conflicts: 353000 | #Constraints: 20900
746.19/748.32 c #Conflicts: 354000 | #Constraints: 21900
746.19/748.32 c #Conflicts: 355000 | #Constraints: 22900
746.19/748.32 c #Conflicts: 356000 | #Constraints: 23900
746.19/748.32 c #Conflicts: 357000 | #Constraints: 24900
746.19/748.32 c INPROCESSING
746.19/748.32 c GARBAGE COLLECT
746.19/748.32 c #Conflicts: 358000 | #Constraints: 14074
746.19/748.32 c #Conflicts: 359000 | #Constraints: 15074
746.19/748.32 c #Conflicts: 360000 | #Constraints: 16074
746.19/748.32 c #Conflicts: 361000 | #Constraints: 17074
746.19/748.32 c #Conflicts: 362000 | #Constraints: 18074
746.19/748.32 c #Conflicts: 363000 | #Constraints: 19074
879.76/882.26 c #Conflicts: 364000 | #Constraints: 20074
879.76/882.26 c #Conflicts: 365000 | #Constraints: 21074
879.76/882.26 c #Conflicts: 366000 | #Constraints: 22074
879.76/882.26 c #Conflicts: 367000 | #Constraints: 23074
879.76/882.26 c #Conflicts: 368000 | #Constraints: 24074
879.76/882.26 c #Conflicts: 369000 | #Constraints: 25074
879.76/882.26 c INPROCESSING
879.76/882.26 c GARBAGE COLLECT
879.76/882.26 c #Conflicts: 370000 | #Constraints: 14089
879.76/882.26 c #Conflicts: 371000 | #Constraints: 15089
879.76/882.26 c #Conflicts: 372000 | #Constraints: 16089
879.76/882.26 c #Conflicts: 373000 | #Constraints: 17089
879.76/882.26 c #Conflicts: 374000 | #Constraints: 18089
879.76/882.26 c #Conflicts: 375000 | #Constraints: 19089
879.76/882.26 c #Conflicts: 376000 | #Constraints: 20089
879.76/882.26 c #Conflicts: 377000 | #Constraints: 21089
879.76/882.26 c #Conflicts: 378000 | #Constraints: 22089
879.76/882.26 c #Conflicts: 379000 | #Constraints: 23089
879.76/882.26 c #Conflicts: 380000 | #Constraints: 24089
879.76/882.26 c #Conflicts: 381000 | #Constraints: 25089
879.76/882.26 c INPROCESSING
879.76/882.26 c GARBAGE COLLECT
879.76/882.26 c #Conflicts: 382000 | #Constraints: 13897
879.76/882.26 c #Conflicts: 383000 | #Constraints: 14897
879.76/882.26 c #Conflicts: 384000 | #Constraints: 15897
879.76/882.26 c #Conflicts: 385000 | #Constraints: 16897
879.76/882.26 c #Conflicts: 386000 | #Constraints: 17897
879.76/882.26 c #Conflicts: 387000 | #Constraints: 18897
879.76/882.26 c #Conflicts: 388000 | #Constraints: 19897
879.76/882.26 c #Conflicts: 389000 | #Constraints: 20897
879.76/882.26 c #Conflicts: 390000 | #Constraints: 21897
879.76/882.26 c #Conflicts: 391000 | #Constraints: 22897
879.76/882.26 c #Conflicts: 392000 | #Constraints: 23897
879.76/882.26 c #Conflicts: 393000 | #Constraints: 24897
879.76/882.26 c #Conflicts: 394000 | #Constraints: 25897
879.76/882.26 c INPROCESSING
879.76/882.26 c GARBAGE COLLECT
879.76/882.26 c #Conflicts: 395000 | #Constraints: 14499
879.76/882.26 c #Conflicts: 396000 | #Constraints: 15499
879.76/882.26 c #Conflicts: 397000 | #Constraints: 16499
879.76/882.26 c #Conflicts: 398000 | #Constraints: 17499
879.76/882.26 c #Conflicts: 399000 | #Constraints: 18499
879.76/882.26 c #Conflicts: 400000 | #Constraints: 19499
879.76/882.26 c #Conflicts: 401000 | #Constraints: 20499
879.76/882.26 c #Conflicts: 402000 | #Constraints: 21499
879.76/882.26 c #Conflicts: 403000 | #Constraints: 22499
879.76/882.26 c #Conflicts: 404000 | #Constraints: 23499
879.76/882.26 c #Conflicts: 405000 | #Constraints: 24499
879.76/882.26 c #Conflicts: 406000 | #Constraints: 25499
879.76/882.26 c #Conflicts: 407000 | #Constraints: 26499
879.76/882.26 c INPROCESSING
879.76/882.26 c GARBAGE COLLECT
879.76/882.26 c #Conflicts: 408000 | #Constraints: 14891
879.76/882.26 c #Conflicts: 409000 | #Constraints: 15891
879.76/882.26 c #Conflicts: 410000 | #Constraints: 16891
879.76/882.26 c #Conflicts: 411000 | #Constraints: 17891
879.76/882.26 c #Conflicts: 412000 | #Constraints: 18891
879.76/882.26 c #Conflicts: 413000 | #Constraints: 19891
879.76/882.26 c #Conflicts: 414000 | #Constraints: 20891
879.76/882.26 c #Conflicts: 415000 | #Constraints: 21891
879.76/882.26 c #Conflicts: 416000 | #Constraints: 22891
879.76/882.26 c #Conflicts: 417000 | #Constraints: 23891
879.76/882.26 c #Conflicts: 418000 | #Constraints: 24891
879.76/882.26 c #Conflicts: 419000 | #Constraints: 25891
879.76/882.26 c #Conflicts: 420000 | #Constraints: 26891
879.76/882.26 c INPROCESSING
879.76/882.26 c GARBAGE COLLECT
879.76/882.26 c rational objective 120
1131.16/1134.25 c #Conflicts: 421000 | #Constraints: 15112
1131.16/1134.25 c #Conflicts: 422000 | #Constraints: 16112
1131.16/1134.25 c #Conflicts: 423000 | #Constraints: 17112
1131.16/1134.25 c #Conflicts: 424000 | #Constraints: 18112
1131.16/1134.25 c #Conflicts: 425000 | #Constraints: 19112
1131.16/1134.25 c #Conflicts: 426000 | #Constraints: 20112
1131.16/1134.25 c #Conflicts: 427000 | #Constraints: 21112
1131.16/1134.25 c #Conflicts: 428000 | #Constraints: 22112
1131.16/1134.25 c #Conflicts: 429000 | #Constraints: 23112
1131.16/1134.25 c #Conflicts: 430000 | #Constraints: 24112
1131.16/1134.25 c #Conflicts: 431000 | #Constraints: 25112
1131.16/1134.25 c #Conflicts: 432000 | #Constraints: 26112
1131.16/1134.25 c #Conflicts: 433000 | #Constraints: 27112
1131.16/1134.25 c INPROCESSING
1131.16/1134.25 c GARBAGE COLLECT
1131.16/1134.25 c #Conflicts: 434000 | #Constraints: 15133
1131.16/1134.25 c #Conflicts: 435000 | #Constraints: 16133
1131.16/1134.25 c #Conflicts: 436000 | #Constraints: 17133
1131.16/1134.25 c #Conflicts: 437000 | #Constraints: 18133
1131.16/1134.25 c #Conflicts: 438000 | #Constraints: 19133
1131.16/1134.25 c #Conflicts: 439000 | #Constraints: 20133
1131.16/1134.25 c #Conflicts: 440000 | #Constraints: 21133
1131.16/1134.25 c #Conflicts: 441000 | #Constraints: 22133
1131.16/1134.25 c #Conflicts: 442000 | #Constraints: 23133
1131.16/1134.25 c #Conflicts: 443000 | #Constraints: 24133
1131.16/1134.25 c #Conflicts: 444000 | #Constraints: 25133
1131.16/1134.25 c #Conflicts: 445000 | #Constraints: 26133
1131.16/1134.25 c #Conflicts: 446000 | #Constraints: 27133
1131.16/1134.25 c INPROCESSING
1131.16/1134.25 c GARBAGE COLLECT
1131.16/1134.25 c #Conflicts: 447000 | #Constraints: 14969
1131.16/1134.25 c #Conflicts: 448000 | #Constraints: 15969
1131.16/1134.25 c #Conflicts: 449000 | #Constraints: 16969
1131.16/1134.25 c #Conflicts: 450000 | #Constraints: 17969
1131.16/1134.25 c #Conflicts: 451000 | #Constraints: 18969
1131.16/1134.25 c #Conflicts: 452000 | #Constraints: 19969
1131.16/1134.25 c #Conflicts: 453000 | #Constraints: 20969
1131.16/1134.25 c #Conflicts: 454000 | #Constraints: 21969
1131.16/1134.25 c #Conflicts: 455000 | #Constraints: 22969
1131.16/1134.25 c #Conflicts: 456000 | #Constraints: 23969
1131.16/1134.25 c #Conflicts: 457000 | #Constraints: 24969
1131.16/1134.25 c #Conflicts: 458000 | #Constraints: 25969
1131.16/1134.25 c #Conflicts: 459000 | #Constraints: 26969
1131.16/1134.25 c #Conflicts: 460000 | #Constraints: 27969
1131.16/1134.25 c INPROCESSING
1131.16/1134.25 c GARBAGE COLLECT
1131.16/1134.25 c #Conflicts: 461000 | #Constraints: 15575
1131.16/1134.25 c #Conflicts: 462000 | #Constraints: 16575
1131.16/1134.25 c #Conflicts: 463000 | #Constraints: 17575
1131.16/1134.25 c #Conflicts: 464000 | #Constraints: 18575
1131.16/1134.25 c #Conflicts: 465000 | #Constraints: 19575
1131.16/1134.25 c #Conflicts: 466000 | #Constraints: 20575
1131.16/1134.25 c #Conflicts: 467000 | #Constraints: 21575
1131.16/1134.25 c #Conflicts: 468000 | #Constraints: 22575
1131.16/1134.25 c #Conflicts: 469000 | #Constraints: 23575
1131.16/1134.25 c #Conflicts: 470000 | #Constraints: 24575
1131.16/1134.25 c #Conflicts: 471000 | #Constraints: 25575
1131.16/1134.25 c #Conflicts: 472000 | #Constraints: 26575
1131.16/1134.25 c #Conflicts: 473000 | #Constraints: 27575
1131.16/1134.25 c #Conflicts: 474000 | #Constraints: 28575
1131.16/1134.25 c INPROCESSING
1131.16/1134.25 c GARBAGE COLLECT
1131.16/1134.25 c #Conflicts: 475000 | #Constraints: 15959
1131.16/1134.25 c #Conflicts: 476000 | #Constraints: 16959
1131.16/1134.25 c #Conflicts: 477000 | #Constraints: 17959
1131.16/1134.25 c #Conflicts: 478000 | #Constraints: 18959
1131.16/1134.25 c #Conflicts: 479000 | #Constraints: 19959
1131.16/1134.25 c #Conflicts: 480000 | #Constraints: 20959
1131.16/1134.25 c #Conflicts: 481000 | #Constraints: 21959
1131.16/1134.25 c #Conflicts: 482000 | #Constraints: 22959
1131.16/1134.25 c #Conflicts: 483000 | #Constraints: 23959
1131.16/1134.25 c #Conflicts: 484000 | #Constraints: 24959
1131.16/1134.25 c #Conflicts: 485000 | #Constraints: 25959
1131.16/1134.25 c #Conflicts: 486000 | #Constraints: 26959
1131.16/1134.25 c #Conflicts: 487000 | #Constraints: 27959
1131.16/1134.25 c #Conflicts: 488000 | #Constraints: 28959
1131.16/1134.25 c INPROCESSING
1131.16/1134.25 c GARBAGE COLLECT
1131.16/1134.25 c #Conflicts: 489000 | #Constraints: 16165
1131.16/1134.25 c #Conflicts: 490000 | #Constraints: 17165
1131.16/1134.25 c #Conflicts: 491000 | #Constraints: 18165
1131.16/1134.25 c #Conflicts: 492000 | #Constraints: 19165
1131.16/1134.25 c #Conflicts: 493000 | #Constraints: 20165
1131.16/1134.25 c #Conflicts: 494000 | #Constraints: 21165
1131.16/1134.25 c #Conflicts: 495000 | #Constraints: 22165
1131.16/1134.25 c #Conflicts: 496000 | #Constraints: 23165
1340.89/1344.53 c #Conflicts: 497000 | #Constraints: 24165
1340.89/1344.53 c #Conflicts: 498000 | #Constraints: 25165
1340.89/1344.53 c #Conflicts: 499000 | #Constraints: 26165
1340.89/1344.53 c #Conflicts: 500000 | #Constraints: 27165
1340.89/1344.53 c #Conflicts: 501000 | #Constraints: 28165
1340.89/1344.53 c #Conflicts: 502000 | #Constraints: 29165
1340.89/1344.53 c INPROCESSING
1340.89/1344.53 c GARBAGE COLLECT
1340.89/1344.53 c #Conflicts: 503000 | #Constraints: 16189
1340.89/1344.53 c #Conflicts: 504000 | #Constraints: 17189
1340.89/1344.53 c #Conflicts: 505000 | #Constraints: 18189
1340.89/1344.53 c #Conflicts: 506000 | #Constraints: 19189
1340.89/1344.53 c #Conflicts: 507000 | #Constraints: 20189
1340.89/1344.53 c #Conflicts: 508000 | #Constraints: 21189
1340.89/1344.53 c #Conflicts: 509000 | #Constraints: 22189
1340.89/1344.53 c #Conflicts: 510000 | #Constraints: 23189
1340.89/1344.53 c #Conflicts: 511000 | #Constraints: 24189
1340.89/1344.53 c #Conflicts: 512000 | #Constraints: 25189
1340.89/1344.53 c #Conflicts: 513000 | #Constraints: 26189
1340.89/1344.53 c #Conflicts: 514000 | #Constraints: 27189
1340.89/1344.53 c #Conflicts: 515000 | #Constraints: 28189
1340.89/1344.53 c #Conflicts: 516000 | #Constraints: 29189
1340.89/1344.53 c INPROCESSING
1340.89/1344.53 c GARBAGE COLLECT
1340.89/1344.53 c #Conflicts: 517000 | #Constraints: 15943
1340.89/1344.53 c #Conflicts: 518000 | #Constraints: 16943
1340.89/1344.53 c #Conflicts: 519000 | #Constraints: 17943
1340.89/1344.53 c #Conflicts: 520000 | #Constraints: 18943
1340.89/1344.53 c #Conflicts: 521000 | #Constraints: 19943
1340.89/1344.53 c #Conflicts: 522000 | #Constraints: 20943
1340.89/1344.53 c #Conflicts: 523000 | #Constraints: 21943
1340.89/1344.53 c #Conflicts: 524000 | #Constraints: 22943
1340.89/1344.53 c #Conflicts: 525000 | #Constraints: 23943
1340.89/1344.53 c #Conflicts: 526000 | #Constraints: 24943
1340.89/1344.53 c #Conflicts: 527000 | #Constraints: 25943
1340.89/1344.53 c #Conflicts: 528000 | #Constraints: 26943
1340.89/1344.53 c #Conflicts: 529000 | #Constraints: 27943
1340.89/1344.53 c #Conflicts: 530000 | #Constraints: 28943
1340.89/1344.53 c #Conflicts: 531000 | #Constraints: 29943
1340.89/1344.53 c INPROCESSING
1340.89/1344.53 c GARBAGE COLLECT
1340.89/1344.53 c #Conflicts: 532000 | #Constraints: 16559
1340.89/1344.53 c #Conflicts: 533000 | #Constraints: 17559
1340.89/1344.53 c #Conflicts: 534000 | #Constraints: 18559
1340.89/1344.53 c #Conflicts: 535000 | #Constraints: 19559
1340.89/1344.53 c #Conflicts: 536000 | #Constraints: 20559
1340.89/1344.53 c #Conflicts: 537000 | #Constraints: 21559
1340.89/1344.53 c #Conflicts: 538000 | #Constraints: 22559
1340.89/1344.53 c #Conflicts: 539000 | #Constraints: 23559
1340.89/1344.53 c #Conflicts: 540000 | #Constraints: 24559
1340.89/1344.53 c #Conflicts: 541000 | #Constraints: 25559
1340.89/1344.53 c #Conflicts: 542000 | #Constraints: 26559
1340.89/1344.53 c #Conflicts: 543000 | #Constraints: 27559
1340.89/1344.53 c #Conflicts: 544000 | #Constraints: 28559
1340.89/1344.53 c #Conflicts: 545000 | #Constraints: 29559
1340.89/1344.53 c #Conflicts: 546000 | #Constraints: 30559
1340.89/1344.53 c INPROCESSING
1340.89/1344.53 c GARBAGE COLLECT
1340.89/1344.53 c #Conflicts: 547000 | #Constraints: 16913
1340.89/1344.53 c #Conflicts: 548000 | #Constraints: 17913
1340.89/1344.53 c #Conflicts: 549000 | #Constraints: 18913
1340.89/1344.53 c #Conflicts: 550000 | #Constraints: 19913
1340.89/1344.53 c #Conflicts: 551000 | #Constraints: 20913
1340.89/1344.53 c #Conflicts: 552000 | #Constraints: 21913
1340.89/1344.53 c #Conflicts: 553000 | #Constraints: 22913
1340.89/1344.53 c #Conflicts: 554000 | #Constraints: 23913
1340.89/1344.53 c #Conflicts: 555000 | #Constraints: 24913
1340.89/1344.53 c #Conflicts: 556000 | #Constraints: 25913
1340.89/1344.53 c #Conflicts: 557000 | #Constraints: 26913
1340.89/1344.53 c #Conflicts: 558000 | #Constraints: 27913
1340.89/1344.53 c #Conflicts: 559000 | #Constraints: 28913
1340.89/1344.53 c #Conflicts: 560000 | #Constraints: 29913
1340.89/1344.53 c #Conflicts: 561000 | #Constraints: 30913
1340.89/1344.53 c INPROCESSING
1340.89/1344.53 c GARBAGE COLLECT
1340.89/1344.53 c #Conflicts: 562000 | #Constraints: 17112
1340.89/1344.53 c #Conflicts: 563000 | #Constraints: 18112
1340.89/1344.53 c #Conflicts: 564000 | #Constraints: 19112
1340.89/1344.53 c #Conflicts: 565000 | #Constraints: 20112
1340.89/1344.53 c #Conflicts: 566000 | #Constraints: 21112
1340.89/1344.53 c #Conflicts: 567000 | #Constraints: 22112
1340.89/1344.53 c #Conflicts: 568000 | #Constraints: 23112
1340.89/1344.53 c #Conflicts: 569000 | #Constraints: 24112
1340.89/1344.53 c #Conflicts: 570000 | #Constraints: 25112
1340.89/1344.53 c #Conflicts: 571000 | #Constraints: 26112
1340.89/1344.53 c #Conflicts: 572000 | #Constraints: 27112
1511.60/1515.72 c #Conflicts: 573000 | #Constraints: 28112
1511.60/1515.72 c #Conflicts: 574000 | #Constraints: 29112
1511.60/1515.72 c #Conflicts: 575000 | #Constraints: 30112
1511.60/1515.72 c #Conflicts: 576000 | #Constraints: 31112
1511.60/1515.72 c INPROCESSING
1511.60/1515.72 c GARBAGE COLLECT
1511.60/1515.72 c #Conflicts: 577000 | #Constraints: 17113
1511.60/1515.72 c #Conflicts: 578000 | #Constraints: 18114
1511.60/1515.72 c #Conflicts: 579000 | #Constraints: 19114
1511.60/1515.72 c #Conflicts: 580000 | #Constraints: 20114
1511.60/1515.72 c #Conflicts: 581000 | #Constraints: 21114
1511.60/1515.72 c #Conflicts: 582000 | #Constraints: 22114
1511.60/1515.72 c #Conflicts: 583000 | #Constraints: 23114
1511.60/1515.72 c #Conflicts: 584000 | #Constraints: 24114
1511.60/1515.72 c #Conflicts: 585000 | #Constraints: 25114
1511.60/1515.72 c #Conflicts: 586000 | #Constraints: 26114
1511.60/1515.72 c #Conflicts: 587000 | #Constraints: 27114
1511.60/1515.72 c #Conflicts: 588000 | #Constraints: 28114
1511.60/1515.72 c #Conflicts: 589000 | #Constraints: 29114
1511.60/1515.72 c #Conflicts: 590000 | #Constraints: 30114
1511.60/1515.72 c #Conflicts: 591000 | #Constraints: 31114
1511.60/1515.72 c INPROCESSING
1511.60/1515.72 c GARBAGE COLLECT
1511.60/1515.72 c #Conflicts: 592000 | #Constraints: 16902
1511.60/1515.72 c #Conflicts: 593000 | #Constraints: 17902
1511.60/1515.72 c #Conflicts: 594000 | #Constraints: 18902
1511.60/1515.72 c #Conflicts: 595000 | #Constraints: 19902
1511.60/1515.72 c #Conflicts: 596000 | #Constraints: 20902
1511.60/1515.72 c #Conflicts: 597000 | #Constraints: 21902
1511.60/1515.72 c #Conflicts: 598000 | #Constraints: 22902
1511.60/1515.72 c #Conflicts: 599000 | #Constraints: 23902
1511.60/1515.72 c #Conflicts: 600000 | #Constraints: 24902
1511.60/1515.72 c #Conflicts: 601000 | #Constraints: 25902
1511.60/1515.72 c #Conflicts: 602000 | #Constraints: 26902
1511.60/1515.72 c #Conflicts: 603000 | #Constraints: 27902
1511.60/1515.72 c #Conflicts: 604000 | #Constraints: 28902
1511.60/1515.72 c #Conflicts: 605000 | #Constraints: 29902
1511.60/1515.72 c #Conflicts: 606000 | #Constraints: 30902
1511.60/1515.72 c #Conflicts: 607000 | #Constraints: 31902
1511.60/1515.72 c INPROCESSING
1511.60/1515.72 c GARBAGE COLLECT
1511.60/1515.72 c #Conflicts: 608000 | #Constraints: 17513
1511.60/1515.72 c #Conflicts: 609000 | #Constraints: 18513
1511.60/1515.72 c #Conflicts: 610000 | #Constraints: 19513
1511.60/1515.72 c #Conflicts: 611000 | #Constraints: 20513
1511.60/1515.72 c #Conflicts: 612000 | #Constraints: 21513
1511.60/1515.72 c #Conflicts: 613000 | #Constraints: 22513
1511.60/1515.72 c #Conflicts: 614000 | #Constraints: 23513
1511.60/1515.72 c #Conflicts: 615000 | #Constraints: 24513
1511.60/1515.72 c #Conflicts: 616000 | #Constraints: 25513
1511.60/1515.72 c #Conflicts: 617000 | #Constraints: 26513
1511.60/1515.72 c #Conflicts: 618000 | #Constraints: 27513
1511.60/1515.72 c #Conflicts: 619000 | #Constraints: 28513
1511.60/1515.72 c #Conflicts: 620000 | #Constraints: 29513
1511.60/1515.72 c #Conflicts: 621000 | #Constraints: 30513
1511.60/1515.72 c #Conflicts: 622000 | #Constraints: 31513
1511.60/1515.72 c #Conflicts: 623000 | #Constraints: 32513
1511.60/1515.72 c INPROCESSING
1511.60/1515.72 c GARBAGE COLLECT
1511.60/1515.72 c #Conflicts: 624000 | #Constraints: 17930
1511.60/1515.72 c #Conflicts: 625000 | #Constraints: 18930
1511.60/1515.72 c #Conflicts: 626000 | #Constraints: 19930
1511.60/1515.72 c #Conflicts: 627000 | #Constraints: 20930
1511.60/1515.72 c #Conflicts: 628000 | #Constraints: 21930
1511.60/1515.72 c #Conflicts: 629000 | #Constraints: 22930
1511.60/1515.72 c #Conflicts: 630000 | #Constraints: 23930
1511.60/1515.72 c #Conflicts: 631000 | #Constraints: 24930
1511.60/1515.72 c #Conflicts: 632000 | #Constraints: 25930
1511.60/1515.72 c #Conflicts: 633000 | #Constraints: 26930
1511.60/1515.72 c #Conflicts: 634000 | #Constraints: 27930
1511.60/1515.72 c #Conflicts: 635000 | #Constraints: 28930
1511.60/1515.72 c #Conflicts: 636000 | #Constraints: 29930
1511.60/1515.72 c #Conflicts: 637000 | #Constraints: 30930
1511.60/1515.72 c #Conflicts: 638000 | #Constraints: 31930
1511.60/1515.72 c #Conflicts: 639000 | #Constraints: 32930
1511.60/1515.72 c INPROCESSING
1511.60/1515.72 c GARBAGE COLLECT
1511.60/1515.72 c rational objective 120
1563.87/1568.16 c #Conflicts: 640000 | #Constraints: 18130
1563.87/1568.16 c #Conflicts: 641000 | #Constraints: 19130
1563.87/1568.16 c #Conflicts: 642000 | #Constraints: 20130
1563.87/1568.16 c #Conflicts: 643000 | #Constraints: 21130
1563.87/1568.16 c #Conflicts: 644000 | #Constraints: 22130
1563.87/1568.16 c #Conflicts: 645000 | #Constraints: 23130
1563.87/1568.16 c #Conflicts: 646000 | #Constraints: 24130
1563.87/1568.16 c #Conflicts: 647000 | #Constraints: 25130
1563.87/1568.16 c #Conflicts: 648000 | #Constraints: 26130
1563.87/1568.16 c #Conflicts: 649000 | #Constraints: 27130
1563.87/1568.16 c #Conflicts: 650000 | #Constraints: 28130
1563.87/1568.16 c #Conflicts: 651000 | #Constraints: 29130
1563.87/1568.16 c #Conflicts: 652000 | #Constraints: 30130
1563.87/1568.16 c #Conflicts: 653000 | #Constraints: 31130
1563.87/1568.16 c #Conflicts: 654000 | #Constraints: 32130
1563.87/1568.16 c #Conflicts: 655000 | #Constraints: 33130
1563.87/1568.16 c INPROCESSING
1563.87/1568.16 c GARBAGE COLLECT
1563.87/1568.16 c rational objective 120
1792.73/1797.66 c #Conflicts: 656000 | #Constraints: 18133
1792.73/1797.66 c #Conflicts: 657000 | #Constraints: 19133
1792.73/1797.66 c #Conflicts: 658000 | #Constraints: 20133
1792.73/1797.66 c #Conflicts: 659000 | #Constraints: 21133
1792.73/1797.66 c #Conflicts: 660000 | #Constraints: 22133
1792.73/1797.66 c #Conflicts: 661000 | #Constraints: 23133
1792.73/1797.66 c #Conflicts: 662000 | #Constraints: 24133
1792.73/1797.66 c #Conflicts: 663000 | #Constraints: 25133
1792.73/1797.66 c #Conflicts: 664000 | #Constraints: 26133
1792.73/1797.66 c #Conflicts: 665000 | #Constraints: 27133
1792.73/1797.66 c #Conflicts: 666000 | #Constraints: 28133
1792.73/1797.66 c #Conflicts: 667000 | #Constraints: 29133
1792.73/1797.66 c #Conflicts: 668000 | #Constraints: 30133
1792.73/1797.66 c #Conflicts: 669000 | #Constraints: 31133
1792.73/1797.66 c #Conflicts: 670000 | #Constraints: 32133
1792.73/1797.66 c #Conflicts: 671000 | #Constraints: 33133
1792.73/1797.66 c INPROCESSING
1792.73/1797.66 c GARBAGE COLLECT
1792.73/1797.66 c #Conflicts: 672000 | #Constraints: 17899
1792.73/1797.66 c #Conflicts: 673000 | #Constraints: 18899
1792.73/1797.66 c #Conflicts: 674000 | #Constraints: 19899
1792.73/1797.66 c #Conflicts: 675000 | #Constraints: 20899
1792.73/1797.66 c #Conflicts: 676000 | #Constraints: 21899
1792.73/1797.66 c #Conflicts: 677000 | #Constraints: 22899
1792.73/1797.66 c #Conflicts: 678000 | #Constraints: 23899
1792.73/1797.66 c #Conflicts: 679000 | #Constraints: 24899
1792.73/1797.66 c #Conflicts: 680000 | #Constraints: 25899
1792.73/1797.66 c #Conflicts: 681000 | #Constraints: 26899
1792.73/1797.66 c #Conflicts: 682000 | #Constraints: 27899
1792.73/1797.66 c #Conflicts: 683000 | #Constraints: 28899
1792.73/1797.66 c #Conflicts: 684000 | #Constraints: 29899
1792.73/1797.66 c #Conflicts: 685000 | #Constraints: 30899
1792.73/1797.66 c #Conflicts: 686000 | #Constraints: 31899
1792.73/1797.66 c #Conflicts: 687000 | #Constraints: 32899
1792.73/1797.66 c #Conflicts: 688000 | #Constraints: 33899
1792.73/1797.66 c INPROCESSING
1792.73/1797.66 c GARBAGE COLLECT
1792.73/1797.66 c #Conflicts: 689000 | #Constraints: 18505
1792.73/1797.66 c #Conflicts: 690000 | #Constraints: 19505
1792.73/1797.66 c #Conflicts: 691000 | #Constraints: 20505
1792.73/1797.66 c #Conflicts: 692000 | #Constraints: 21505
1792.73/1797.66 c #Conflicts: 693000 | #Constraints: 22505
1792.73/1797.66 c #Conflicts: 694000 | #Constraints: 23505
1792.73/1797.66 c #Conflicts: 695000 | #Constraints: 24505
1792.73/1797.66 c #Conflicts: 696000 | #Constraints: 25505
1792.73/1797.66 c #Conflicts: 697000 | #Constraints: 26505
1792.73/1797.66 c #Conflicts: 698000 | #Constraints: 27505
1792.73/1797.66 c #Conflicts: 699000 | #Constraints: 28505
1792.73/1797.66 c #Conflicts: 700000 | #Constraints: 29505
1792.73/1797.66 c #Conflicts: 701000 | #Constraints: 30505
1792.73/1797.66 c #Conflicts: 702000 | #Constraints: 31505
1792.73/1797.66 c #Conflicts: 703000 | #Constraints: 32505
1792.73/1797.66 c #Conflicts: 704000 | #Constraints: 33505
1792.73/1797.66 c #Conflicts: 705000 | #Constraints: 34505
1792.73/1797.66 c INPROCESSING
1792.73/1797.66 c GARBAGE COLLECT
1792.73/1797.66 c #Conflicts: 706000 | #Constraints: 18918
1792.73/1797.66 c #Conflicts: 707000 | #Constraints: 19918
1792.73/1797.66 c #Conflicts: 708000 | #Constraints: 20918
1792.73/1797.66 c #Conflicts: 709000 | #Constraints: 21918
1792.73/1797.66 c #Conflicts: 710000 | #Constraints: 22918
1792.73/1797.66 c #Conflicts: 711000 | #Constraints: 23918
1792.73/1797.66 c #Conflicts: 712000 | #Constraints: 24918
1792.73/1797.66 c #Conflicts: 713000 | #Constraints: 25918
1792.73/1797.66 c #Conflicts: 714000 | #Constraints: 26918
1792.73/1797.66 c #Conflicts: 715000 | #Constraints: 27918
1792.73/1797.66 c #Conflicts: 716000 | #Constraints: 28918
1792.73/1797.66 c #Conflicts: 717000 | #Constraints: 29918
1792.73/1797.66 c #Conflicts: 718000 | #Constraints: 30918
1792.73/1797.66 c #Conflicts: 719000 | #Constraints: 31918
1792.73/1797.66 c #Conflicts: 720000 | #Constraints: 32918
1792.73/1797.66 c #Conflicts: 721000 | #Constraints: 33918
1792.73/1797.66 c #Conflicts: 722000 | #Constraints: 34918
1792.73/1797.66 c INPROCESSING
1792.73/1797.66 c GARBAGE COLLECT
1792.73/1797.66 c #Conflicts: 723000 | #Constraints: 19108
1792.73/1797.66 c #Conflicts: 724000 | #Constraints: 20108
1792.73/1797.66 c #Conflicts: 725000 | #Constraints: 21108
1792.73/1797.66 c #Conflicts: 726000 | #Constraints: 22108
1792.73/1797.66 c #Conflicts: 727000 | #Constraints: 23108
1792.73/1797.66 c #Conflicts: 728000 | #Constraints: 24108
1792.73/1797.66 c #Conflicts: 729000 | #Constraints: 25108
1792.73/1797.66 c #Conflicts: 730000 | #Constraints: 26108
1792.73/1797.66 c #Conflicts: 731000 | #Constraints: 27108
1792.73/1797.66 c #Conflicts: 732000 | #Constraints: 28108
2018.30/2023.84 c #Conflicts: 733000 | #Constraints: 29108
2018.30/2023.84 c #Conflicts: 734000 | #Constraints: 30108
2018.30/2023.84 c #Conflicts: 735000 | #Constraints: 31108
2018.30/2023.84 c #Conflicts: 736000 | #Constraints: 32108
2018.30/2023.84 c #Conflicts: 737000 | #Constraints: 33108
2018.30/2023.84 c #Conflicts: 738000 | #Constraints: 34108
2018.30/2023.84 c #Conflicts: 739000 | #Constraints: 35108
2018.30/2023.84 c INPROCESSING
2018.30/2023.84 c GARBAGE COLLECT
2018.30/2023.84 c #Conflicts: 740000 | #Constraints: 19134
2018.30/2023.84 c #Conflicts: 741000 | #Constraints: 20134
2018.30/2023.84 c #Conflicts: 742000 | #Constraints: 21134
2018.30/2023.84 c #Conflicts: 743000 | #Constraints: 22134
2018.30/2023.84 c #Conflicts: 744000 | #Constraints: 23134
2018.30/2023.84 c #Conflicts: 745000 | #Constraints: 24134
2018.30/2023.84 c #Conflicts: 746000 | #Constraints: 25134
2018.30/2023.84 c #Conflicts: 747000 | #Constraints: 26134
2018.30/2023.84 c #Conflicts: 748000 | #Constraints: 27134
2018.30/2023.84 c #Conflicts: 749000 | #Constraints: 28134
2018.30/2023.84 c #Conflicts: 750000 | #Constraints: 29134
2018.30/2023.84 c #Conflicts: 751000 | #Constraints: 30134
2018.30/2023.84 c #Conflicts: 752000 | #Constraints: 31134
2018.30/2023.84 c #Conflicts: 753000 | #Constraints: 32134
2018.30/2023.84 c #Conflicts: 754000 | #Constraints: 33134
2018.30/2023.84 c #Conflicts: 755000 | #Constraints: 34134
2018.30/2023.84 c #Conflicts: 756000 | #Constraints: 35134
2018.30/2023.84 c INPROCESSING
2018.30/2023.84 c GARBAGE COLLECT
2018.30/2023.84 c #Conflicts: 757000 | #Constraints: 18929
2018.30/2023.84 c #Conflicts: 758000 | #Constraints: 19929
2018.30/2023.84 c #Conflicts: 759000 | #Constraints: 20929
2018.30/2023.84 c #Conflicts: 760000 | #Constraints: 21929
2018.30/2023.84 c #Conflicts: 761000 | #Constraints: 22929
2018.30/2023.84 c #Conflicts: 762000 | #Constraints: 23929
2018.30/2023.84 c #Conflicts: 763000 | #Constraints: 24929
2018.30/2023.84 c #Conflicts: 764000 | #Constraints: 25929
2018.30/2023.84 c #Conflicts: 765000 | #Constraints: 26929
2018.30/2023.84 c #Conflicts: 766000 | #Constraints: 27929
2018.30/2023.84 c #Conflicts: 767000 | #Constraints: 28929
2018.30/2023.84 c #Conflicts: 768000 | #Constraints: 29929
2018.30/2023.84 c #Conflicts: 769000 | #Constraints: 30929
2018.30/2023.84 c #Conflicts: 770000 | #Constraints: 31929
2018.30/2023.84 c #Conflicts: 771000 | #Constraints: 32929
2018.30/2023.84 c #Conflicts: 772000 | #Constraints: 33929
2018.30/2023.84 c #Conflicts: 773000 | #Constraints: 34929
2018.30/2023.84 c #Conflicts: 774000 | #Constraints: 35929
2018.30/2023.84 c INPROCESSING
2018.30/2023.84 c GARBAGE COLLECT
2018.30/2023.84 c #Conflicts: 775000 | #Constraints: 19526
2018.30/2023.84 c #Conflicts: 776000 | #Constraints: 20526
2018.30/2023.84 c #Conflicts: 777000 | #Constraints: 21526
2018.30/2023.84 c #Conflicts: 778000 | #Constraints: 22526
2018.30/2023.84 c #Conflicts: 779000 | #Constraints: 23526
2018.30/2023.84 c #Conflicts: 780000 | #Constraints: 24526
2018.30/2023.84 c #Conflicts: 781000 | #Constraints: 25526
2018.30/2023.84 c #Conflicts: 782000 | #Constraints: 26526
2018.30/2023.84 c #Conflicts: 783000 | #Constraints: 27526
2018.30/2023.84 c #Conflicts: 784000 | #Constraints: 28526
2018.30/2023.84 c #Conflicts: 785000 | #Constraints: 29526
2018.30/2023.84 c #Conflicts: 786000 | #Constraints: 30526
2018.30/2023.84 c #Conflicts: 787000 | #Constraints: 31526
2018.30/2023.84 c #Conflicts: 788000 | #Constraints: 32526
2018.30/2023.84 c #Conflicts: 789000 | #Constraints: 33526
2018.30/2023.84 c #Conflicts: 790000 | #Constraints: 34526
2018.30/2023.84 c #Conflicts: 791000 | #Constraints: 35526
2018.30/2023.84 c #Conflicts: 792000 | #Constraints: 36526
2018.30/2023.84 c INPROCESSING
2018.30/2023.84 c GARBAGE COLLECT
2018.30/2023.84 c #Conflicts: 793000 | #Constraints: 19919
2018.30/2023.84 c #Conflicts: 794000 | #Constraints: 20919
2018.30/2023.84 c #Conflicts: 795000 | #Constraints: 21919
2018.30/2023.84 c #Conflicts: 796000 | #Constraints: 22919
2018.30/2023.84 c #Conflicts: 797000 | #Constraints: 23919
2018.30/2023.84 c #Conflicts: 798000 | #Constraints: 24919
2018.30/2023.84 c #Conflicts: 799000 | #Constraints: 25919
2018.30/2023.84 c #Conflicts: 800000 | #Constraints: 26919
2018.30/2023.84 c #Conflicts: 801000 | #Constraints: 27919
2018.30/2023.84 c #Conflicts: 802000 | #Constraints: 28919
2018.30/2023.84 c #Conflicts: 803000 | #Constraints: 29919
2018.30/2023.84 c #Conflicts: 804000 | #Constraints: 30919
2018.30/2023.84 c #Conflicts: 805000 | #Constraints: 31919
2018.30/2023.84 c #Conflicts: 806000 | #Constraints: 32919
2018.30/2023.84 c #Conflicts: 807000 | #Constraints: 33919
2018.30/2023.84 c #Conflicts: 808000 | #Constraints: 34919
2083.62/2089.37 c #Conflicts: 809000 | #Constraints: 35919
2083.62/2089.37 c #Conflicts: 810000 | #Constraints: 36919
2083.62/2089.37 c INPROCESSING
2083.62/2089.37 c GARBAGE COLLECT
2083.62/2089.37 c #Conflicts: 811000 | #Constraints: 20147
2083.62/2089.37 c #Conflicts: 812000 | #Constraints: 21147
2083.62/2089.37 c #Conflicts: 813000 | #Constraints: 22147
2083.62/2089.37 c #Conflicts: 814000 | #Constraints: 23147
2083.62/2089.37 c #Conflicts: 815000 | #Constraints: 24147
2083.62/2089.37 c #Conflicts: 816000 | #Constraints: 25147
2083.62/2089.37 c #Conflicts: 817000 | #Constraints: 26147
2083.62/2089.37 c #Conflicts: 818000 | #Constraints: 27147
2083.62/2089.37 c #Conflicts: 819000 | #Constraints: 28147
2083.62/2089.37 c #Conflicts: 820000 | #Constraints: 29147
2083.62/2089.37 c #Conflicts: 821000 | #Constraints: 30147
2083.62/2089.37 c #Conflicts: 822000 | #Constraints: 31147
2083.62/2089.37 c #Conflicts: 823000 | #Constraints: 32147
2083.62/2089.37 c #Conflicts: 824000 | #Constraints: 33147
2083.62/2089.37 c #Conflicts: 825000 | #Constraints: 34147
2083.62/2089.37 c #Conflicts: 826000 | #Constraints: 35147
2083.62/2089.37 c #Conflicts: 827000 | #Constraints: 36147
2083.62/2089.37 c #Conflicts: 828000 | #Constraints: 37147
2083.62/2089.37 c INPROCESSING
2083.62/2089.37 c GARBAGE COLLECT
2083.62/2089.37 c rational objective 120
2155.23/2161.15 c #Conflicts: 829000 | #Constraints: 20152
2155.23/2161.15 c #Conflicts: 830000 | #Constraints: 21152
2155.23/2161.15 c #Conflicts: 831000 | #Constraints: 22152
2155.23/2161.15 c #Conflicts: 832000 | #Constraints: 23152
2155.23/2161.15 c #Conflicts: 833000 | #Constraints: 24152
2155.23/2161.15 c #Conflicts: 834000 | #Constraints: 25152
2155.23/2161.15 c #Conflicts: 835000 | #Constraints: 26152
2155.23/2161.15 c #Conflicts: 836000 | #Constraints: 27152
2155.23/2161.15 c #Conflicts: 837000 | #Constraints: 28152
2155.23/2161.15 c #Conflicts: 838000 | #Constraints: 29152
2155.23/2161.15 c #Conflicts: 839000 | #Constraints: 30152
2155.23/2161.15 c #Conflicts: 840000 | #Constraints: 31152
2155.23/2161.15 c #Conflicts: 841000 | #Constraints: 32152
2155.23/2161.15 c #Conflicts: 842000 | #Constraints: 33152
2155.23/2161.15 c #Conflicts: 843000 | #Constraints: 34152
2155.23/2161.15 c #Conflicts: 844000 | #Constraints: 35152
2155.23/2161.15 c #Conflicts: 845000 | #Constraints: 36152
2155.23/2161.15 c #Conflicts: 846000 | #Constraints: 37152
2155.23/2161.15 c INPROCESSING
2155.23/2161.15 c GARBAGE COLLECT
2155.23/2161.15 c rational objective 120
2216.56/2222.61 c #Conflicts: 847000 | #Constraints: 19924
2216.56/2222.61 c #Conflicts: 848000 | #Constraints: 20924
2216.56/2222.61 c #Conflicts: 849000 | #Constraints: 21924
2216.56/2222.61 c #Conflicts: 850000 | #Constraints: 22924
2216.56/2222.61 c #Conflicts: 851000 | #Constraints: 23924
2216.56/2222.61 c #Conflicts: 852000 | #Constraints: 24924
2216.56/2222.61 c #Conflicts: 853000 | #Constraints: 25924
2216.56/2222.61 c #Conflicts: 854000 | #Constraints: 26924
2216.56/2222.61 c #Conflicts: 855000 | #Constraints: 27924
2216.56/2222.61 c #Conflicts: 856000 | #Constraints: 28924
2216.56/2222.61 c #Conflicts: 857000 | #Constraints: 29924
2216.56/2222.61 c #Conflicts: 858000 | #Constraints: 30924
2216.56/2222.61 c #Conflicts: 859000 | #Constraints: 31924
2216.56/2222.61 c #Conflicts: 860000 | #Constraints: 32924
2216.56/2222.61 c #Conflicts: 861000 | #Constraints: 33924
2216.56/2222.61 c #Conflicts: 862000 | #Constraints: 34924
2216.56/2222.61 c #Conflicts: 863000 | #Constraints: 35924
2216.56/2222.61 c #Conflicts: 864000 | #Constraints: 36924
2216.56/2222.61 c #Conflicts: 865000 | #Constraints: 37924
2216.56/2222.61 c INPROCESSING
2216.56/2222.61 c GARBAGE COLLECT
2216.56/2222.61 c rational objective 120
2386.48/2393.10 c #Conflicts: 866000 | #Constraints: 20514
2386.48/2393.10 c #Conflicts: 867000 | #Constraints: 21514
2386.48/2393.10 c #Conflicts: 868000 | #Constraints: 22514
2386.48/2393.10 c #Conflicts: 869000 | #Constraints: 23514
2386.48/2393.10 c #Conflicts: 870000 | #Constraints: 24514
2386.48/2393.10 c #Conflicts: 871000 | #Constraints: 25514
2386.48/2393.10 c #Conflicts: 872000 | #Constraints: 26514
2386.48/2393.10 c #Conflicts: 873000 | #Constraints: 27514
2386.48/2393.10 c #Conflicts: 874000 | #Constraints: 28514
2386.48/2393.10 c #Conflicts: 875000 | #Constraints: 29514
2386.48/2393.10 c #Conflicts: 876000 | #Constraints: 30514
2386.48/2393.10 c #Conflicts: 877000 | #Constraints: 31514
2386.48/2393.10 c #Conflicts: 878000 | #Constraints: 32514
2386.48/2393.10 c #Conflicts: 879000 | #Constraints: 33514
2386.48/2393.10 c #Conflicts: 880000 | #Constraints: 34514
2386.48/2393.10 c #Conflicts: 881000 | #Constraints: 35514
2386.48/2393.10 c #Conflicts: 882000 | #Constraints: 36514
2386.48/2393.10 c #Conflicts: 883000 | #Constraints: 37514
2386.48/2393.10 c #Conflicts: 884000 | #Constraints: 38514
2386.48/2393.10 c INPROCESSING
2386.48/2393.10 c GARBAGE COLLECT
2386.48/2393.10 c #Conflicts: 885000 | #Constraints: 20927
2386.48/2393.10 c #Conflicts: 886000 | #Constraints: 21927
2386.48/2393.10 c #Conflicts: 887000 | #Constraints: 22927
2386.48/2393.10 c #Conflicts: 888000 | #Constraints: 23927
2386.48/2393.10 c #Conflicts: 889000 | #Constraints: 24927
2386.48/2393.10 c #Conflicts: 890000 | #Constraints: 25927
2386.48/2393.10 c #Conflicts: 891000 | #Constraints: 26927
2386.48/2393.10 c #Conflicts: 892000 | #Constraints: 27927
2386.48/2393.10 c #Conflicts: 893000 | #Constraints: 28927
2386.48/2393.10 c #Conflicts: 894000 | #Constraints: 29927
2386.48/2393.10 c #Conflicts: 895000 | #Constraints: 30927
2386.48/2393.10 c #Conflicts: 896000 | #Constraints: 31927
2386.48/2393.10 c #Conflicts: 897000 | #Constraints: 32927
2386.48/2393.10 c #Conflicts: 898000 | #Constraints: 33927
2386.48/2393.10 c #Conflicts: 899000 | #Constraints: 34927
2386.48/2393.10 c #Conflicts: 900000 | #Constraints: 35927
2386.48/2393.10 c #Conflicts: 901000 | #Constraints: 36927
2386.48/2393.10 c #Conflicts: 902000 | #Constraints: 37927
2386.48/2393.10 c #Conflicts: 903000 | #Constraints: 38927
2386.48/2393.10 c INPROCESSING
2386.48/2393.10 c GARBAGE COLLECT
2386.48/2393.10 c #Conflicts: 904000 | #Constraints: 21123
2386.48/2393.10 c #Conflicts: 905000 | #Constraints: 22123
2386.48/2393.10 c #Conflicts: 906000 | #Constraints: 23123
2386.48/2393.10 c #Conflicts: 907000 | #Constraints: 24123
2386.48/2393.10 c #Conflicts: 908000 | #Constraints: 25123
2386.48/2393.10 c #Conflicts: 909000 | #Constraints: 26123
2386.48/2393.10 c #Conflicts: 910000 | #Constraints: 27123
2386.48/2393.10 c #Conflicts: 911000 | #Constraints: 28123
2386.48/2393.10 c #Conflicts: 912000 | #Constraints: 29123
2386.48/2393.10 c #Conflicts: 913000 | #Constraints: 30123
2386.48/2393.10 c #Conflicts: 914000 | #Constraints: 31123
2386.48/2393.10 c #Conflicts: 915000 | #Constraints: 32123
2386.48/2393.10 c #Conflicts: 916000 | #Constraints: 33123
2386.48/2393.10 c #Conflicts: 917000 | #Constraints: 34123
2386.48/2393.10 c #Conflicts: 918000 | #Constraints: 35123
2386.48/2393.10 c #Conflicts: 919000 | #Constraints: 36123
2386.48/2393.10 c #Conflicts: 920000 | #Constraints: 37123
2386.48/2393.10 c #Conflicts: 921000 | #Constraints: 38123
2386.48/2393.10 c #Conflicts: 922000 | #Constraints: 39123
2386.48/2393.10 c INPROCESSING
2386.48/2393.10 c GARBAGE COLLECT
2386.48/2393.10 c rational objective 120
2453.39/2460.18 c #Conflicts: 923000 | #Constraints: 21124
2453.39/2460.18 c #Conflicts: 924000 | #Constraints: 22124
2453.39/2460.18 c #Conflicts: 925000 | #Constraints: 23124
2453.39/2460.18 c #Conflicts: 926000 | #Constraints: 24124
2453.39/2460.18 c #Conflicts: 927000 | #Constraints: 25124
2453.39/2460.18 c #Conflicts: 928000 | #Constraints: 26124
2453.39/2460.18 c #Conflicts: 929000 | #Constraints: 27124
2453.39/2460.18 c #Conflicts: 930000 | #Constraints: 28124
2453.39/2460.18 c #Conflicts: 931000 | #Constraints: 29124
2453.39/2460.18 c #Conflicts: 932000 | #Constraints: 30124
2453.39/2460.18 c #Conflicts: 933000 | #Constraints: 31124
2453.39/2460.18 c #Conflicts: 934000 | #Constraints: 32124
2453.39/2460.18 c #Conflicts: 935000 | #Constraints: 33124
2453.39/2460.18 c #Conflicts: 936000 | #Constraints: 34124
2453.39/2460.18 c #Conflicts: 937000 | #Constraints: 35124
2453.39/2460.18 c #Conflicts: 938000 | #Constraints: 36124
2453.39/2460.18 c #Conflicts: 939000 | #Constraints: 37124
2453.39/2460.18 c #Conflicts: 940000 | #Constraints: 38124
2453.39/2460.18 c #Conflicts: 941000 | #Constraints: 39124
2453.39/2460.18 c INPROCESSING
2453.39/2460.18 c GARBAGE COLLECT
2453.39/2460.18 c rational objective 120
2677.97/2685.39 c #Conflicts: 942000 | #Constraints: 20947
2677.97/2685.39 c #Conflicts: 943000 | #Constraints: 21947
2677.97/2685.39 c #Conflicts: 944000 | #Constraints: 22947
2677.97/2685.39 c #Conflicts: 945000 | #Constraints: 23947
2677.97/2685.39 c #Conflicts: 946000 | #Constraints: 24947
2677.97/2685.39 c #Conflicts: 947000 | #Constraints: 25947
2677.97/2685.39 c #Conflicts: 948000 | #Constraints: 26947
2677.97/2685.39 c #Conflicts: 949000 | #Constraints: 27947
2677.97/2685.39 c #Conflicts: 950000 | #Constraints: 28947
2677.97/2685.39 c #Conflicts: 951000 | #Constraints: 29947
2677.97/2685.39 c #Conflicts: 952000 | #Constraints: 30947
2677.97/2685.39 c #Conflicts: 953000 | #Constraints: 31947
2677.97/2685.39 c #Conflicts: 954000 | #Constraints: 32947
2677.97/2685.39 c #Conflicts: 955000 | #Constraints: 33947
2677.97/2685.39 c #Conflicts: 956000 | #Constraints: 34947
2677.97/2685.39 c #Conflicts: 957000 | #Constraints: 35947
2677.97/2685.39 c #Conflicts: 958000 | #Constraints: 36947
2677.97/2685.39 c #Conflicts: 959000 | #Constraints: 37947
2677.97/2685.39 c #Conflicts: 960000 | #Constraints: 38947
2677.97/2685.39 c #Conflicts: 961000 | #Constraints: 39947
2677.97/2685.39 c INPROCESSING
2677.97/2685.39 c GARBAGE COLLECT
2677.97/2685.39 c #Conflicts: 962000 | #Constraints: 21552
2677.97/2685.39 c #Conflicts: 963000 | #Constraints: 22552
2677.97/2685.39 c #Conflicts: 964000 | #Constraints: 23552
2677.97/2685.39 c #Conflicts: 965000 | #Constraints: 24552
2677.97/2685.39 c #Conflicts: 966000 | #Constraints: 25552
2677.97/2685.39 c #Conflicts: 967000 | #Constraints: 26552
2677.97/2685.39 c #Conflicts: 968000 | #Constraints: 27552
2677.97/2685.39 c #Conflicts: 969000 | #Constraints: 28552
2677.97/2685.39 c #Conflicts: 970000 | #Constraints: 29552
2677.97/2685.39 c #Conflicts: 971000 | #Constraints: 30552
2677.97/2685.39 c #Conflicts: 972000 | #Constraints: 31552
2677.97/2685.39 c #Conflicts: 973000 | #Constraints: 32552
2677.97/2685.39 c #Conflicts: 974000 | #Constraints: 33552
2677.97/2685.39 c #Conflicts: 975000 | #Constraints: 34552
2677.97/2685.39 c #Conflicts: 976000 | #Constraints: 35552
2677.97/2685.39 c #Conflicts: 977000 | #Constraints: 36552
2677.97/2685.39 c #Conflicts: 978000 | #Constraints: 37552
2677.97/2685.39 c #Conflicts: 979000 | #Constraints: 38552
2677.97/2685.39 c #Conflicts: 980000 | #Constraints: 39552
2677.97/2685.39 c #Conflicts: 981000 | #Constraints: 40552
2677.97/2685.39 c INPROCESSING
2677.97/2685.39 c GARBAGE COLLECT
2677.97/2685.39 c #Conflicts: 982000 | #Constraints: 21964
2677.97/2685.39 c #Conflicts: 983000 | #Constraints: 22964
2677.97/2685.39 c #Conflicts: 984000 | #Constraints: 23964
2677.97/2685.39 c #Conflicts: 985000 | #Constraints: 24964
2677.97/2685.39 c #Conflicts: 986000 | #Constraints: 25964
2677.97/2685.39 c #Conflicts: 987000 | #Constraints: 26964
2677.97/2685.39 c #Conflicts: 988000 | #Constraints: 27964
2677.97/2685.39 c #Conflicts: 989000 | #Constraints: 28964
2677.97/2685.39 c #Conflicts: 990000 | #Constraints: 29964
2677.97/2685.39 c #Conflicts: 991000 | #Constraints: 30964
2677.97/2685.39 c #Conflicts: 992000 | #Constraints: 31964
2677.97/2685.39 c #Conflicts: 993000 | #Constraints: 32964
2677.97/2685.39 c #Conflicts: 994000 | #Constraints: 33964
2677.97/2685.39 c #Conflicts: 995000 | #Constraints: 34964
2677.97/2685.39 c #Conflicts: 996000 | #Constraints: 35964
2677.97/2685.39 c #Conflicts: 997000 | #Constraints: 36964
2677.97/2685.39 c #Conflicts: 998000 | #Constraints: 37964
2677.97/2685.39 c #Conflicts: 999000 | #Constraints: 38964
2677.97/2685.39 c #Conflicts: 1000000 | #Constraints: 39964
2677.97/2685.39 c #Conflicts: 1001000 | #Constraints: 40964
2677.97/2685.39 c INPROCESSING
2677.97/2685.39 c GARBAGE COLLECT
2677.97/2685.39 c rational objective 120
2761.85/2769.48 c #Conflicts: 1002000 | #Constraints: 22175
2761.85/2769.48 c #Conflicts: 1003000 | #Constraints: 23175
2761.85/2769.48 c #Conflicts: 1004000 | #Constraints: 24175
2761.85/2769.48 c #Conflicts: 1005000 | #Constraints: 25175
2761.85/2769.48 c #Conflicts: 1006000 | #Constraints: 26175
2761.85/2769.48 c #Conflicts: 1007000 | #Constraints: 27175
2761.85/2769.48 c #Conflicts: 1008000 | #Constraints: 28175
2761.85/2769.48 c #Conflicts: 1009000 | #Constraints: 29175
2761.85/2769.48 c #Conflicts: 1010000 | #Constraints: 30175
2761.85/2769.48 c #Conflicts: 1011000 | #Constraints: 31175
2761.85/2769.48 c #Conflicts: 1012000 | #Constraints: 32175
2761.85/2769.48 c #Conflicts: 1013000 | #Constraints: 33175
2761.85/2769.48 c #Conflicts: 1014000 | #Constraints: 34175
2761.85/2769.48 c #Conflicts: 1015000 | #Constraints: 35175
2761.85/2769.48 c #Conflicts: 1016000 | #Constraints: 36175
2761.85/2769.48 c #Conflicts: 1017000 | #Constraints: 37175
2761.85/2769.48 c #Conflicts: 1018000 | #Constraints: 38175
2761.85/2769.48 c #Conflicts: 1019000 | #Constraints: 39175
2761.85/2769.48 c #Conflicts: 1020000 | #Constraints: 40175
2761.85/2769.48 c #Conflicts: 1021000 | #Constraints: 41175
2761.85/2769.48 c INPROCESSING
2761.85/2769.48 c GARBAGE COLLECT
2761.85/2769.48 c rational objective 120
3114.39/3122.87 c #Conflicts: 1022000 | #Constraints: 22186
3114.39/3122.87 c #Conflicts: 1023000 | #Constraints: 23186
3114.39/3122.87 c #Conflicts: 1024000 | #Constraints: 24186
3114.39/3122.87 c #Conflicts: 1025000 | #Constraints: 25186
3114.39/3122.87 c #Conflicts: 1026000 | #Constraints: 26186
3114.39/3122.87 c #Conflicts: 1027000 | #Constraints: 27186
3114.39/3122.87 c #Conflicts: 1028000 | #Constraints: 28186
3114.39/3122.87 c #Conflicts: 1029000 | #Constraints: 29186
3114.39/3122.87 c #Conflicts: 1030000 | #Constraints: 30186
3114.39/3122.87 c #Conflicts: 1031000 | #Constraints: 31186
3114.39/3122.87 c #Conflicts: 1032000 | #Constraints: 32186
3114.39/3122.87 c #Conflicts: 1033000 | #Constraints: 33186
3114.39/3122.87 c #Conflicts: 1034000 | #Constraints: 34186
3114.39/3122.87 c #Conflicts: 1035000 | #Constraints: 35186
3114.39/3122.87 c #Conflicts: 1036000 | #Constraints: 36186
3114.39/3122.87 c #Conflicts: 1037000 | #Constraints: 37186
3114.39/3122.87 c #Conflicts: 1038000 | #Constraints: 38186
3114.39/3122.87 c #Conflicts: 1039000 | #Constraints: 39186
3114.39/3122.87 c #Conflicts: 1040000 | #Constraints: 40186
3114.39/3122.87 c #Conflicts: 1041000 | #Constraints: 41186
3114.39/3122.87 c INPROCESSING
3114.39/3122.87 c GARBAGE COLLECT
3114.39/3122.87 c #Conflicts: 1042000 | #Constraints: 22001
3114.39/3122.87 c #Conflicts: 1043000 | #Constraints: 23001
3114.39/3122.87 c #Conflicts: 1044000 | #Constraints: 24001
3114.39/3122.87 c #Conflicts: 1045000 | #Constraints: 25001
3114.39/3122.87 c #Conflicts: 1046000 | #Constraints: 26001
3114.39/3122.87 c #Conflicts: 1047000 | #Constraints: 27001
3114.39/3122.87 c #Conflicts: 1048000 | #Constraints: 28001
3114.39/3122.87 c #Conflicts: 1049000 | #Constraints: 29001
3114.39/3122.87 c #Conflicts: 1050000 | #Constraints: 30001
3114.39/3122.87 c #Conflicts: 1051000 | #Constraints: 31001
3114.39/3122.87 c #Conflicts: 1052000 | #Constraints: 32001
3114.39/3122.87 c #Conflicts: 1053000 | #Constraints: 33001
3114.39/3122.87 c #Conflicts: 1054000 | #Constraints: 34001
3114.39/3122.87 c #Conflicts: 1055000 | #Constraints: 35001
3114.39/3122.87 c #Conflicts: 1056000 | #Constraints: 36001
3114.39/3122.87 c #Conflicts: 1057000 | #Constraints: 37001
3114.39/3122.87 c #Conflicts: 1058000 | #Constraints: 38001
3114.39/3122.87 c #Conflicts: 1059000 | #Constraints: 39001
3114.39/3122.87 c #Conflicts: 1060000 | #Constraints: 40001
3114.39/3122.87 c #Conflicts: 1061000 | #Constraints: 41001
3114.39/3122.87 c #Conflicts: 1062000 | #Constraints: 42001
3114.39/3122.87 c INPROCESSING
3114.39/3122.87 c GARBAGE COLLECT
3114.39/3122.87 c #Conflicts: 1063000 | #Constraints: 22606
3114.39/3122.87 c #Conflicts: 1064000 | #Constraints: 23606
3114.39/3122.87 c #Conflicts: 1065000 | #Constraints: 24606
3114.39/3122.87 c #Conflicts: 1066000 | #Constraints: 25606
3114.39/3122.87 c #Conflicts: 1067000 | #Constraints: 26606
3114.39/3122.87 c #Conflicts: 1068000 | #Constraints: 27606
3114.39/3122.87 c #Conflicts: 1069000 | #Constraints: 28606
3114.39/3122.87 c #Conflicts: 1070000 | #Constraints: 29606
3114.39/3122.87 c #Conflicts: 1071000 | #Constraints: 30606
3114.39/3122.87 c #Conflicts: 1072000 | #Constraints: 31606
3114.39/3122.87 c #Conflicts: 1073000 | #Constraints: 32606
3114.39/3122.87 c #Conflicts: 1074000 | #Constraints: 33606
3114.39/3122.87 c #Conflicts: 1075000 | #Constraints: 34606
3114.39/3122.87 c #Conflicts: 1076000 | #Constraints: 35606
3114.39/3122.87 c #Conflicts: 1077000 | #Constraints: 36606
3114.39/3122.87 c #Conflicts: 1078000 | #Constraints: 37606
3114.39/3122.87 c #Conflicts: 1079000 | #Constraints: 38606
3114.39/3122.87 c #Conflicts: 1080000 | #Constraints: 39606
3114.39/3122.87 c #Conflicts: 1081000 | #Constraints: 40606
3114.39/3122.87 c #Conflicts: 1082000 | #Constraints: 41606
3114.39/3122.87 c #Conflicts: 1083000 | #Constraints: 42606
3114.39/3122.87 c INPROCESSING
3114.39/3122.87 c GARBAGE COLLECT
3114.39/3122.87 c #Conflicts: 1084000 | #Constraints: 23003
3114.39/3122.87 c #Conflicts: 1085000 | #Constraints: 24003
3114.39/3122.87 c #Conflicts: 1086000 | #Constraints: 25003
3114.39/3122.87 c #Conflicts: 1087000 | #Constraints: 26003
3114.39/3122.87 c #Conflicts: 1088000 | #Constraints: 27003
3114.39/3122.87 c #Conflicts: 1089000 | #Constraints: 28003
3114.39/3122.87 c #Conflicts: 1090000 | #Constraints: 29003
3114.39/3122.87 c #Conflicts: 1091000 | #Constraints: 30003
3114.39/3122.87 c #Conflicts: 1092000 | #Constraints: 31003
3114.39/3122.87 c #Conflicts: 1093000 | #Constraints: 32003
3114.39/3122.87 c #Conflicts: 1094000 | #Constraints: 33003
3114.39/3122.87 c #Conflicts: 1095000 | #Constraints: 34003
3114.39/3122.87 c #Conflicts: 1096000 | #Constraints: 35003
3114.39/3122.87 c #Conflicts: 1097000 | #Constraints: 36003
3114.39/3122.87 c #Conflicts: 1098000 | #Constraints: 37003
3392.82/3401.94 c #Conflicts: 1099000 | #Constraints: 38003
3392.82/3401.94 c #Conflicts: 1100000 | #Constraints: 39003
3392.82/3401.94 c #Conflicts: 1101000 | #Constraints: 40003
3392.82/3401.94 c #Conflicts: 1102000 | #Constraints: 41003
3392.82/3401.94 c #Conflicts: 1103000 | #Constraints: 42003
3392.82/3401.94 c #Conflicts: 1104000 | #Constraints: 43003
3392.82/3401.94 c INPROCESSING
3392.82/3401.94 c GARBAGE COLLECT
3392.82/3401.94 c #Conflicts: 1105000 | #Constraints: 23197
3392.82/3401.94 c #Conflicts: 1106000 | #Constraints: 24197
3392.82/3401.94 c #Conflicts: 1107000 | #Constraints: 25197
3392.82/3401.94 c #Conflicts: 1108000 | #Constraints: 26197
3392.82/3401.94 c #Conflicts: 1109000 | #Constraints: 27197
3392.82/3401.94 c #Conflicts: 1110000 | #Constraints: 28197
3392.82/3401.94 c #Conflicts: 1111000 | #Constraints: 29197
3392.82/3401.94 c #Conflicts: 1112000 | #Constraints: 30197
3392.82/3401.94 c #Conflicts: 1113000 | #Constraints: 31197
3392.82/3401.94 c #Conflicts: 1114000 | #Constraints: 32197
3392.82/3401.94 c #Conflicts: 1115000 | #Constraints: 33197
3392.82/3401.94 c #Conflicts: 1116000 | #Constraints: 34197
3392.82/3401.94 c #Conflicts: 1117000 | #Constraints: 35197
3392.82/3401.94 c #Conflicts: 1118000 | #Constraints: 36197
3392.82/3401.94 c #Conflicts: 1119000 | #Constraints: 37197
3392.82/3401.94 c #Conflicts: 1120000 | #Constraints: 38197
3392.82/3401.94 c #Conflicts: 1121000 | #Constraints: 39197
3392.82/3401.94 c #Conflicts: 1122000 | #Constraints: 40197
3392.82/3401.94 c #Conflicts: 1123000 | #Constraints: 41197
3392.82/3401.94 c #Conflicts: 1124000 | #Constraints: 42197
3392.82/3401.94 c #Conflicts: 1125000 | #Constraints: 43197
3392.82/3401.94 c INPROCESSING
3392.82/3401.94 c GARBAGE COLLECT
3392.82/3401.94 c #Conflicts: 1126000 | #Constraints: 23181
3392.82/3401.94 c #Conflicts: 1127000 | #Constraints: 24181
3392.82/3401.94 c #Conflicts: 1128000 | #Constraints: 25181
3392.82/3401.94 c #Conflicts: 1129000 | #Constraints: 26181
3392.82/3401.94 c #Conflicts: 1130000 | #Constraints: 27181
3392.82/3401.94 c #Conflicts: 1131000 | #Constraints: 28181
3392.82/3401.94 c #Conflicts: 1132000 | #Constraints: 29181
3392.82/3401.94 c #Conflicts: 1133000 | #Constraints: 30181
3392.82/3401.94 c #Conflicts: 1134000 | #Constraints: 31181
3392.82/3401.94 c #Conflicts: 1135000 | #Constraints: 32181
3392.82/3401.94 c #Conflicts: 1136000 | #Constraints: 33181
3392.82/3401.94 c #Conflicts: 1137000 | #Constraints: 34181
3392.82/3401.94 c #Conflicts: 1138000 | #Constraints: 35181
3392.82/3401.94 c #Conflicts: 1139000 | #Constraints: 36181
3392.82/3401.94 c #Conflicts: 1140000 | #Constraints: 37181
3392.82/3401.94 c #Conflicts: 1141000 | #Constraints: 38181
3392.82/3401.94 c #Conflicts: 1142000 | #Constraints: 39181
3392.82/3401.94 c #Conflicts: 1143000 | #Constraints: 40181
3392.82/3401.94 c #Conflicts: 1144000 | #Constraints: 41181
3392.82/3401.94 c #Conflicts: 1145000 | #Constraints: 42181
3392.82/3401.94 c #Conflicts: 1146000 | #Constraints: 43181
3392.82/3401.94 c INPROCESSING
3392.82/3401.94 c GARBAGE COLLECT
3392.82/3401.94 c #Conflicts: 1147000 | #Constraints: 22980
3392.82/3401.94 c #Conflicts: 1148000 | #Constraints: 23980
3392.82/3401.94 c #Conflicts: 1149000 | #Constraints: 24980
3392.82/3401.94 c #Conflicts: 1150000 | #Constraints: 25980
3392.82/3401.94 c #Conflicts: 1151000 | #Constraints: 26980
3392.82/3401.94 c #Conflicts: 1152000 | #Constraints: 27980
3392.82/3401.94 c #Conflicts: 1153000 | #Constraints: 28980
3392.82/3401.94 c #Conflicts: 1154000 | #Constraints: 29980
3392.82/3401.94 c #Conflicts: 1155000 | #Constraints: 30980
3392.82/3401.94 c #Conflicts: 1156000 | #Constraints: 31980
3392.82/3401.94 c #Conflicts: 1157000 | #Constraints: 32980
3392.82/3401.94 c #Conflicts: 1158000 | #Constraints: 33980
3392.82/3401.94 c #Conflicts: 1159000 | #Constraints: 34980
3392.82/3401.94 c #Conflicts: 1160000 | #Constraints: 35980
3392.82/3401.94 c #Conflicts: 1161000 | #Constraints: 36980
3392.82/3401.94 c #Conflicts: 1162000 | #Constraints: 37980
3392.82/3401.94 c #Conflicts: 1163000 | #Constraints: 38980
3392.82/3401.94 c #Conflicts: 1164000 | #Constraints: 39980
3392.82/3401.94 c #Conflicts: 1165000 | #Constraints: 40980
3392.82/3401.94 c #Conflicts: 1166000 | #Constraints: 41980
3392.82/3401.94 c #Conflicts: 1167000 | #Constraints: 42980
3392.82/3401.94 c #Conflicts: 1168000 | #Constraints: 43980
3392.82/3401.94 c INPROCESSING
3392.82/3401.94 c GARBAGE COLLECT
3392.82/3401.94 c #Conflicts: 1169000 | #Constraints: 23585
3392.82/3401.94 c #Conflicts: 1170000 | #Constraints: 24585
3392.82/3401.94 c #Conflicts: 1171000 | #Constraints: 25585
3392.82/3401.94 c #Conflicts: 1172000 | #Constraints: 26585
3392.82/3401.94 c #Conflicts: 1173000 | #Constraints: 27585
3392.82/3401.94 c #Conflicts: 1174000 | #Constraints: 28585
3392.82/3401.94 c #Conflicts: 1175000 | #Constraints: 29585
3600.02/3609.60 c #Conflicts: 1176000 | #Constraints: 30585
3600.02/3609.60 c #Conflicts: 1177000 | #Constraints: 31585
3600.02/3609.60 c #Conflicts: 1178000 | #Constraints: 32585
3600.02/3609.60 c #Conflicts: 1179000 | #Constraints: 33585
3600.02/3609.60 c #Conflicts: 1180000 | #Constraints: 34585
3600.02/3609.60 c #Conflicts: 1181000 | #Constraints: 35585
3600.02/3609.60 c #Conflicts: 1182000 | #Constraints: 36585
3600.02/3609.60 c #Conflicts: 1183000 | #Constraints: 37585
3600.02/3609.60 c #Conflicts: 1184000 | #Constraints: 38585
3600.02/3609.60 c #Conflicts: 1185000 | #Constraints: 39585
3600.02/3609.60 c #Conflicts: 1186000 | #Constraints: 40585
3600.02/3609.60 c #Conflicts: 1187000 | #Constraints: 41585
3600.02/3609.60 c #Conflicts: 1188000 | #Constraints: 42585
3600.02/3609.60 c #Conflicts: 1189000 | #Constraints: 43585
3600.02/3609.60 c #Conflicts: 1190000 | #Constraints: 44585
3600.02/3609.60 c INPROCESSING
3600.02/3609.60 c GARBAGE COLLECT
3600.02/3609.60 c #Conflicts: 1191000 | #Constraints: 23966
3600.02/3609.60 c #Conflicts: 1192000 | #Constraints: 24966
3600.02/3609.60 c #Conflicts: 1193000 | #Constraints: 25966
3600.02/3609.60 c #Conflicts: 1194000 | #Constraints: 26966
3600.02/3609.60 c #Conflicts: 1195000 | #Constraints: 27966
3600.02/3609.60 c #Conflicts: 1196000 | #Constraints: 28966
3600.02/3609.60 c #Conflicts: 1197000 | #Constraints: 29966
3600.02/3609.60 c #Conflicts: 1198000 | #Constraints: 30966
3600.02/3609.60 c #Conflicts: 1199000 | #Constraints: 31966
3600.02/3609.60 c #Conflicts: 1200000 | #Constraints: 32966
3600.02/3609.60 c #Conflicts: 1201000 | #Constraints: 33966
3600.02/3609.60 c #Conflicts: 1202000 | #Constraints: 34966
3600.02/3609.60 c #Conflicts: 1203000 | #Constraints: 35966
3600.02/3609.60 c #Conflicts: 1204000 | #Constraints: 36966
3600.02/3609.60 c #Conflicts: 1205000 | #Constraints: 37966
3600.02/3609.60 c #Conflicts: 1206000 | #Constraints: 38966
3600.02/3609.60 c #Conflicts: 1207000 | #Constraints: 39966
3600.02/3609.60 c #Conflicts: 1208000 | #Constraints: 40966
3600.02/3609.60 c #Conflicts: 1209000 | #Constraints: 41966
3600.02/3609.60 c #Conflicts: 1210000 | #Constraints: 42966
3600.02/3609.60 c #Conflicts: 1211000 | #Constraints: 43966
3600.02/3609.60 c #Conflicts: 1212000 | #Constraints: 44966
3600.02/3609.60 c INPROCESSING
3600.02/3609.60 c GARBAGE COLLECT
3600.02/3609.60 c #Conflicts: 1213000 | #Constraints: 24168
3600.02/3609.60 c #Conflicts: 1214000 | #Constraints: 25168
3600.02/3609.60 c #Conflicts: 1215000 | #Constraints: 26169
3600.02/3609.60 c #Conflicts: 1216000 | #Constraints: 27169
3600.02/3609.60 c #Conflicts: 1217000 | #Constraints: 28169
3600.02/3609.60 c #Conflicts: 1218000 | #Constraints: 29169
3600.02/3609.60 c #Conflicts: 1219000 | #Constraints: 30169
3600.02/3609.60 c #Conflicts: 1220000 | #Constraints: 31169
3600.02/3609.60 c #Conflicts: 1221000 | #Constraints: 32169
3600.02/3609.60 c #Conflicts: 1222000 | #Constraints: 33169
3600.02/3609.60 c #Conflicts: 1223000 | #Constraints: 34169
3600.02/3609.60 c #Conflicts: 1224000 | #Constraints: 35169
3600.02/3609.60 c #Conflicts: 1225000 | #Constraints: 36169
3600.02/3609.60 c #Conflicts: 1226000 | #Constraints: 37169
3600.02/3609.60 c #Conflicts: 1227000 | #Constraints: 38169
3600.02/3609.60 c #Conflicts: 1228000 | #Constraints: 39169
3600.02/3609.60 c #Conflicts: 1229000 | #Constraints: 40169
3600.02/3609.60 c #Conflicts: 1230000 | #Constraints: 41169
3600.02/3609.60 c #Conflicts: 1231000 | #Constraints: 42169
3600.02/3609.60 c #Conflicts: 1232000 | #Constraints: 43169
3600.02/3609.60 c #Conflicts: 1233000 | #Constraints: 44169
3600.02/3609.60 c #Conflicts: 1234000 | #Constraints: 45169
3600.02/3609.60 c INPROCESSING
3600.02/3609.60 c GARBAGE COLLECT
3600.02/3609.60 c #Conflicts: 1235000 | #Constraints: 24143
3600.02/3609.60 c cpu time 3586.63 s
3600.02/3609.60 c deterministic time 447541035824 4.48e+11
3600.02/3609.60 c optimization time 1.61022 s
3600.02/3609.60 c total solve time 3584.98 s
3600.02/3609.60 c core-guided solve time 0 s
3600.02/3609.60 c propagation time 1964.76 s
3600.02/3609.60 c conflict analysis time 1349.11 s
3600.02/3609.60 c propagations 300954686
3600.02/3609.60 c resolve steps 15204293
3600.02/3609.60 c decisions 9775816
3600.02/3609.60 c conflicts 1235078
3600.02/3609.60 c restarts 2328
3600.02/3609.60 c inprocessing phases 102
3600.02/3609.60 c garbage collections 102 ,( 100.00 )
3600.02/3609.60 c input clauses 480 ,( 44.12 )
3600.02/3609.60 c input cardinalities 608 ,( 55.88 )
3600.02/3609.60 c input general constraints 0 ,( 0.00 )
3600.02/3609.60 c input average constraint length 132.35
3600.02/3609.60 c input average constraint degree 79.18
3600.02/3609.60 c learned clauses 175835 ,( 14.24 )
3600.02/3609.60 c learned cardinalities 50576 ,( 4.09 )
3600.02/3609.60 c learned general constraints 1008685 ,( 81.67 )
3600.02/3609.60 c learned average constraint length 1982.00
3600.02/3609.60 c learned average constraint degree 6858744.30
3600.02/3609.60 c watched CF 32, 64, 128, Arb: 534626 , 0 , 0 , 0
3600.02/3609.60 c counting CF 32, 64, 128, Arb: 474059 , 0 , 0 , 0
3600.02/3609.60 c watched constraints 534626 ,( 53.00 )
3600.02/3609.60 c counting constraints 474059 ,( 47.00 )
3600.02/3609.60 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 85517329 , 1260545327 , 1040021629 ,( 288173371 , 751848258 )
3600.02/3609.60 c gcd simplifications 119
3600.02/3609.60 c detected cardinalities 1
3600.02/3609.60 c weakened non-implied lits 1873789591
3600.02/3609.60 c weakened non-implying lits 656233
3600.02/3609.60 c original variables 14400
3600.02/3609.60 c clausal propagations 1735326
3600.02/3609.60 c cardinality propagations 220165718
3600.02/3609.60 c watched propagations 7561742
3600.02/3609.60 c counting propagations 66235862
3600.02/3609.60 c watch lookups 53691072697
3600.02/3609.60 c watch backjump lookups 0
3600.02/3609.60 c watch checks 125644116924
3600.02/3609.60 c propagation checks 259163115928
3600.02/3609.60 c constraint additions 8419791929
3600.02/3609.60 c trail pops 311951633
3600.02/3609.60 c formula constraints 1088
3600.02/3609.60 c learned constraints 1235070
3600.02/3609.60 c bound constraints 0
3600.02/3609.60 c core-guided constraints 0
3600.02/3609.60 c encountered formula constraints 5143034
3600.02/3609.60 c encountered learned constraints 11296301
3600.02/3609.60 c encountered bound constraints 0
3600.02/3609.60 c encountered core-guided constraints 0
3600.02/3609.60 c LP total time 146.123 s
3600.02/3609.60 c LP solve time 114.38 s
3600.02/3609.60 c LP constraints added 1105
3600.02/3609.60 c LP constraints removed 15
3600.02/3609.60 c LP pivots internal 124250
3600.02/3609.60 c LP pivots root 131960
3600.02/3609.60 c LP calls 33
3600.02/3609.60 c LP optimalities 20
3600.02/3609.60 c LP no pivot count 4
3600.02/3609.60 c LP infeasibilities 7
3600.02/3609.60 c LP valid Farkas constraints 7
3600.02/3609.60 c LP learned Farkas constraints 7
3600.02/3609.60 c LP basis resets 0
3600.02/3609.60 c LP cycling count 0
3600.02/3609.60 c LP singular count 0
3600.02/3609.60 c LP no primal count 0
3600.02/3609.60 c LP no farkas count 0
3600.02/3609.60 c LP other issue count 0
3600.02/3609.60 c LP Gomory cuts 12
3600.02/3609.60 c LP learned cuts 5
3600.02/3609.60 c LP deleted cuts 15
3600.02/3609.60 c LP encountered Gomory constraints 0
3600.02/3609.60 c LP encountered Farkas constraints 22
3600.02/3609.60 c LP encountered learned Farkas constraints 7
3600.02/3609.60 c CG auxiliary variables introduced 0
3600.02/3609.60 c CG solutions found 0
3600.02/3609.60 c CG cores constructed 0
3600.02/3609.60 c CG core cardinality constraints returned 0
3600.02/3609.60 c CG unit cores 0
3600.02/3609.60 c CG single cores 0
3600.02/3609.60 c CG blocks removed during cardinality reduction 0
3600.02/3609.60 c CG first core best 0
3600.02/3609.60 c CG decision core best 0
3600.02/3609.60 c CG core reduction tie 0
3600.02/3609.60 c CG core degree average 0.00
3600.02/3609.60 c CG core slack average 0.00
3600.02/3609.60 c CG core upper bound improvements 0
3600.02/3609.60 c STR number of successful calls 0
3600.02/3609.60 c STR number of unsuccessful calls 0
3600.02/3609.60 c STR number of inconclusive calls 0
3600.02/3609.60 c STR number of successful attempts 0
3600.02/3609.60 c STR number of unsuccessful attempts 0
3600.02/3609.60 c STR number of inconclusive attempts 0
3600.02/3609.60 c STR average degree increase per successful call inf
3600.02/3609.60 c STR average degree increase per successful attempt inf
3600.02/3609.60 c STR total number of conflicts for successful attempts 0
3600.02/3609.60 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3609.60 c STR total number of conflicts for inconclusive attempts 0
3600.02/3609.60 c STR average number of conflicts per successful attempt inf
3600.02/3609.60 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3609.60 c STR average number of conflicts per inconclusive attempt inf
3600.02/3609.60 c AVG.sumWPerc 40.25
3600.02/3609.60 c bigint constraints 0
3600.02/3609.60 s UNKNOWN
3600.02/3609.60 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 (62984 MiB free)
memory of node 1: 64465 MiB (63845 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493444-1751150293/watcher-4493444-1751150293 -o /tmp/evaluation-result-4493444-1751150293/solver-4493444-1751150293 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751146666-14637 --watchdog 3760 run-dec.sh HOME/instance-4493444-1751150293.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=15553, runsolver pid=15550
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 4.10 4.11 4.08 5/268 15555
/proc/meminfo: memFree=129842532/131249996 swapFree=33010684/33010684
[pid=15553] ppid=15550 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/15553/stat : 15553 (run-dec.sh) S 15550 15553 14621 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30706832 4292608 672 18446744073709551615 94741802057728 94741802952261 140728701329136 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94741803191312 94741803239056 94741831409664 140728701335917 140728701336040 140728701336040 140728701341642 0
/proc/15553/statm: 1048 672 640 219 0 110 0
[pid=15555] ppid=15553 vsize=73224 memory=29180 CPUtime=0.08 cores=4,6
/proc/15555/stat : 15555 (roundingsat) R 15553 15553 14621 0 -1 4194304 7634 0 0 0 7 1 0 0 20 0 1 0 30706833 74981376 7295 18446744073709551615 4227072 8923433 140729962604240 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 32415744 140729962613175 140729962613288 140729962613288 140729962618858 0
/proc/15555/statm: 18306 7295 2240 1147 0 5733 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 77416 KiB
Current children cumulated memory: 31868 KiB
[startup+0.205622 s]*
/proc/loadavg: 4.10 4.11 4.08 5/268 15555
/proc/meminfo: memFree=129842532/131249996 swapFree=33010684/33010684
[pid=15553] ppid=15550 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/15553/stat : 15553 (run-dec.sh) S 15550 15553 14621 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30706832 4292608 672 18446744073709551615 94741802057728 94741802952261 140728701329136 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94741803191312 94741803239056 94741831409664 140728701335917 140728701336040 140728701336040 140728701341642 0
/proc/15553/statm: 1048 672 640 219 0 110 0
[pid=15555] ppid=15553 vsize=73724 memory=29564 CPUtime=0.17 cores=4,6
/proc/15555/stat : 15555 (roundingsat) R 15553 15553 14621 0 -1 4194304 7730 0 0 0 16 1 0 0 20 0 1 0 30706833 75493376 7391 18446744073709551615 4227072 8923433 140729962604240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32415744 140729962613175 140729962613288 140729962613288 140729962618858 0
/proc/15555/statm: 18431 7391 2240 1147 0 5858 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 77916 KiB
Current children cumulated memory: 32252 KiB
[startup+0.305419 s]*
/proc/loadavg: 4.10 4.11 4.08 5/268 15555
/proc/meminfo: memFree=129842532/131249996 swapFree=33010684/33010684
[pid=15553] ppid=15550 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/15553/stat : 15553 (run-dec.sh) S 15550 15553 14621 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30706832 4292608 672 18446744073709551615 94741802057728 94741802952261 140728701329136 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94741803191312 94741803239056 94741831409664 140728701335917 140728701336040 140728701336040 140728701341642 0
/proc/15553/statm: 1048 672 640 219 0 110 0
[pid=15555] ppid=15553 vsize=73860 memory=29820 CPUtime=0.28 cores=4,6
/proc/15555/stat : 15555 (roundingsat) R 15553 15553 14621 0 -1 4194304 7766 0 0 0 26 2 0 0 20 0 1 0 30706833 75632640 7455 18446744073709551615 4227072 8923433 140729962604240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32415744 140729962613175 140729962613288 140729962613288 140729962618858 0
/proc/15555/statm: 18465 7455 2272 1147 0 5892 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 78052 KiB
Current children cumulated memory: 32508 KiB
[startup+0.700135 s]
/proc/loadavg: 4.10 4.11 4.08 5/268 15555
/proc/meminfo: memFree=129842532/131249996 swapFree=33010684/33010684
[pid=15553] ppid=15550 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/15553/stat : 15553 (run-dec.sh) S 15550 15553 14621 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30706832 4292608 672 18446744073709551615 94741802057728 94741802952261 140728701329136 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94741803191312 94741803239056 94741831409664 140728701335917 140728701336040 140728701336040 140728701341642 0
/proc/15553/statm: 1048 672 640 219 0 110 0
[pid=15555] ppid=15553 vsize=74588 memory=30332 CPUtime=0.67 cores=4,6
/proc/15555/stat : 15555 (roundingsat) R 15553 15553 14621 0 -1 4194304 7909 0 0 0 65 2 0 0 20 0 1 0 30706833 76378112 7583 18446744073709551615 4227072 8923433 140729962604240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32415744 140729962613175 140729962613288 140729962613288 140729962618858 0
/proc/15555/statm: 18647 7583 2272 1147 0 6074 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 78780 KiB
Current children cumulated memory: 33020 KiB
[startup+1.50013 s]
/proc/loadavg: 4.10 4.11 4.08 5/268 15555
/proc/meminfo: memFree=129842532/131249996 swapFree=33010684/33010684
[pid=15553] ppid=15550 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/15553/stat : 15553 (run-dec.sh) S 15550 15553 14621 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30706832 4292608 672 18446744073709551615 94741802057728 94741802952261 140728701329136 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94741803191312 94741803239056 94741831409664 140728701335917 140728701336040 140728701336040 140728701341642 0
/proc/15553/statm: 1048 672 640 219 0 110 0
[pid=15555] ppid=15553 vsize=74588 memory=30460 CPUtime=1.47 cores=4,6
/proc/15555/stat : 15555 (roundingsat) R 15553 15553 14621 0 -1 4194304 7910 0 0 0 144 3 0 0 20 0 1 0 30706833 76378112 7615 18446744073709551615 4227072 8923433 140729962604240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32415744 140729962613175 140729962613288 140729962613288 140729962618858 0
/proc/15555/statm: 18647 7615 2272 1147 0 6074 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 78780 KiB
Current children cumulated memory: 33148 KiB
[startup+3.10537 s]
/proc/loadavg: 4.10 4.11 4.08 5/268 15555
/proc/meminfo: memFree=129823764/131249996 swapFree=33010684/33010684
[pid=15553] ppid=15550 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/15553/stat : 15553 (run-dec.sh) S 15550 15553 14621 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30706832 4292608 672 18446744073709551615 94741802057728 94741802952261 140728701329136 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94741803191312 94741803239056 94741831409664 140728701335917 140728701336040 140728701336040 140728701341642 0
/proc/15553/statm: 1048 672 640 219 0 110 0
[pid=15555] ppid=15553 vsize=96632 memory=54256 CPUtime=3.07 cores=4,6
/proc/15555/stat : 15555 (roundingsat) R 15553 15553 14621 0 -1 4194304 12781 0 0 0 299 8 0 0 20 0 1 0 30706833 98951168 13564 18446744073709551615 4227072 8923433 140729962604240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32415744 140729962613175 140729962613288 140729962613288 140729962618858 0
/proc/15555/statm: 24158 13564 2336 1147 0 11585 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 100824 KiB
Current children cumulated memory: 56944 KiB
[startup+6.30016 s]
/proc/loadavg: 4.09 4.11 4.08 5/269 15556
/proc/meminfo: memFree=129774844/131249996 swapFree=33010684/33010684
[pid=15553] ppid=15550 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/15553/stat : 15553 (run-dec.sh) S 15550 15553 14621 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30706832 4292608 672 18446744073709551615 94741802057728 94741802952261 140728701329136 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94741803191312 94741803239056 94741831409664 140728701335917 140728701336040 140728701336040 140728701341642 0
/proc/15553/statm: 1048 672 640 219 0 110 0
[pid=15555] ppid=15553 vsize=121076 memory=79236 CPUtime=6.25 cores=4,6
/proc/15555/stat : 15555 (roundingsat) R 15553 15553 14621 0 -1 4194304 18008 0 0 0 611 14 0 0 20 0 1 0 30706833 123981824 19809 18446744073709551615 4227072 8923433 140729962604240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32415744 140729962613175 140729962613288 140729962613288 140729962618858 0
/proc/15555/statm: 30269 19809 2336 1147 0 17696 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 125268 KiB
Current children cumulated memory: 81924 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.11 4.08 5/269 15556
/proc/meminfo: memFree=129702196/131249996 swapFree=33010684/33010684
[pid=15553] ppid=15550 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/15553/stat : 15553 (run-dec.sh) S 15550 15553 14621 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30706832 4292608 672 18446744073709551615 94741802057728 94741802952261 140728701329136 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94741803191312 94741803239056 94741831409664 140728701335917 140728701336040 140728701336040 140728701341642 0
/proc/15553/statm: 1048 672 640 219 0 110 0
[pid=15555] ppid=15553 vsize=152868 memory=105988 CPUtime=12.64 cores=4,6
/proc/15555/stat : 15555 (roundingsat) R 15553 15553 14621 0 -1 4194304 23163 0 0 0 1240 24 0 0 20 0 1 0 30706833 156536832 26497 18446744073709551615 4227072 8923433 140729962604240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32415744 140729962613175 140729962613288 140729962613288 140729962618858 0
/proc/15555/statm: 38217 26497 2336 1147 0 25644 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 157060 KiB
Current children cumulated memory: 108676 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.12 4.08 5/269 15557
/proc/meminfo: memFree=129613316/131249996 swapFree=33010684/33010684
[pid=15553] ppid=15550 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/15553/stat : 15553 (run-dec.sh) S 15550 15553 14621 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30706832 4292608 672 18446744073709551615 94741802057728 94741802952261 140728701329136 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94741803191312 94741803239056 94741831409664 140728701335917 140728701336040 140728701336040 140728701341642 0
/proc/15553/statm: 1048 672 640 219 0 110 0
[pid=15555] ppid=15553 vsize=219560 memory=157944 CPUtime=25.41 cores=4,6
/proc/15555/stat : 15555 (roundingsat) R 15553 15553 14621 0 -1 4194304 28505 0 0 0 2508 33 0 0 20 0 1 0 30706833 224829440 39486 18446744073709551615 4227072 8923433 140729962604240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32415744 140729962613175 140729962613288 140729962613288 140729962618858 0
/proc/15555/statm: 54890 39486 2336 1147 0 42317 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 223752 KiB
Current children cumulated memory: 160632 KiB
[startup+51.1055 s]
/proc/loadavg: 4.09 4.11 4.08 5/269 15557
/proc/meminfo: memFree=129490648/131249996 swapFree=33010684/33010684
[pid=15553] ppid=15550 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/15553/stat : 15553 (run-dec.sh) S 15550 15553 14621 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30706832 4292608 672 18446744073709551615 94741802057728 94741802952261 140728701329136 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94741803191312 94741803239056 94741831409664 140728701335917 140728701336040 140728701336040 140728701341642 0
/proc/15553/statm: 1048 672 640 219 0 110 0
[pid=15555] ppid=15553 vsize=249064 memory=191516 CPUtime=50.96 cores=4,6
/proc/15555/stat : 15555 (roundingsat) R 15553 15553 14621 0 -1 4194304 35853 0 0 0 5035 61 0 0 20 0 1 0 30706833 255041536 47879 18446744073709551615 4227072 8923433 140729962604240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32415744 140729962613175 140729962613288 140729962613288 140729962618858 0
/proc/15555/statm: 62266 47879 2368 1147 0 49693 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 253256 KiB
Current children cumulated memory: 194204 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.08 5/269 15559
/proc/meminfo: memFree=129259284/131249996 swapFree=33010684/33010684
[pid=15553] ppid=15550 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/15553/stat : 15553 (run-dec.sh) S 15550 15553 14621 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30706832 4292608 672 18446744073709551615 94741802057728 94741802952261 140728701329136 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94741803191312 94741803239056 94741831409664 140728701335917 140728701336040 140728701336040 140728701341642 0
/proc/15553/statm: 1048 672 640 219 0 110 0
[pid=15555] ppid=15553 vsize=275580 memory=217884 CPUtime=102.03 cores=4,6
/proc/15555/stat : 15555 (roundingsat) R 15553 15553 14621 0 -1 4194304 42455 0 0 0 10097 106 0 0 20 0 1 0 30706833 282193920 54471 18446744073709551615 4227072 8923433 140729962604240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32415744 140729962613175 140729962613288 140729962613288 140729962618858 0
/proc/15555/statm: 68895 54471 2368 1147 0 56322 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 279772 KiB
Current children cumulated memory: 220572 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.08 5/269 15655
/proc/meminfo: memFree=129244500/131249996 swapFree=33010684/33010684
[pid=15553] ppid=15550 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/15553/stat : 15553 (run-dec.sh) S 15550 15553 14621 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30706832 4292608 672 18446744073709551615 94741802057728 94741802952261 140728701329136 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94741803191312 94741803239056 94741831409664 140728701335917 140728701336040 140728701336040 140728701341642 0
/proc/15553/statm: 1048 672 640 219 0 110 0
[pid=15555] ppid=15553 vsize=383452 memory=315528 CPUtime=161.87 cores=4,6
/proc/15555/stat : 15555 (roundingsat) R 15553 15553 14621 0 -1 4194304 57681 0 0 0 16048 139 0 0 20 0 1 0 30706833 392654848 78882 18446744073709551615 4227072 8923433 140729962604240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32415744 140729962613175 140729962613288 140729962613288 140729962618858 0
/proc/15555/statm: 95863 78882 2368 1147 0 83290 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 387644 KiB
Current children cumulated memory: 318216 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.08 5/269 15657
/proc/meminfo: memFree=129068452/131249996 swapFree=33010684/33010684
[pid=15553] ppid=15550 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/15553/stat : 15553 (run-dec.sh) S 15550 15553 14621 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30706832 4292608 672 18446744073709551615 94741802057728 94741802952261 140728701329136 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94741803191312 94741803239056 94741831409664 140728701335917 140728701336040 140728701336040 140728701341642 0
/proc/15553/statm: 1048 672 640 219 0 110 0
[pid=15555] ppid=15553 vsize=460096 memory=392072 CPUtime=221.71 cores=4,6
/proc/15555/stat : 15555 (roundingsat) R 15553 15553 14621 0 -1 4194304 76816 0 0 0 21980 191 0 0 20 0 1 0 30706833 471138304 98018 18446744073709551615 4227072 8923433 140729962604240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32415744 140729962613175 140729962613288 140729962613288 140729962618858 0
/proc/15555/statm: 115024 98018 2368 1147 0 102451 0
Current children cumulated CPU time: 221.71 s
################
# More data... #
################
/proc/15555/statm: 377737 338105 2368 1147 0 365164 0
Current children cumulated CPU time: 3034.08 s
Current children cumulated vsize: 1515140 KiB
Current children cumulated memory: 1355108 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/266 16030
/proc/meminfo: memFree=126337140/131249996 swapFree=33010684/33010684
[pid=15553] ppid=15550 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/15553/stat : 15553 (run-dec.sh) S 15550 15553 14621 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30706832 4292608 672 18446744073709551615 94741802057728 94741802952261 140728701329136 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94741803191312 94741803239056 94741831409664 140728701335917 140728701336040 140728701336040 140728701341642 0
/proc/15553/statm: 1048 672 640 219 0 110 0
[pid=15555] ppid=15553 vsize=1515148 memory=1403664 CPUtime=3093.95 cores=4,6
/proc/15555/stat : 15555 (roundingsat) R 15553 15553 14621 0 -1 4194304 230675 0 0 0 308198 1197 0 0 20 0 1 0 30706833 1551511552 350916 18446744073709551615 4227072 8923433 140729962604240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32415744 140729962613175 140729962613288 140729962613288 140729962618858 0
/proc/15555/statm: 378787 350916 2368 1147 0 366214 0
Current children cumulated CPU time: 3093.95 s
Current children cumulated vsize: 1519340 KiB
Current children cumulated memory: 1406352 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/267 16038
/proc/meminfo: memFree=126271680/131249996 swapFree=33010684/33010684
[pid=15553] ppid=15550 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/15553/stat : 15553 (run-dec.sh) S 15550 15553 14621 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30706832 4292608 672 18446744073709551615 94741802057728 94741802952261 140728701329136 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94741803191312 94741803239056 94741831409664 140728701335917 140728701336040 140728701336040 140728701341642 0
/proc/15553/statm: 1048 672 640 219 0 110 0
[pid=15555] ppid=15553 vsize=1551744 memory=1436304 CPUtime=3153.8 cores=4,6
/proc/15555/stat : 15555 (roundingsat) R 15553 15553 14621 0 -1 4194304 238846 0 0 0 314171 1209 0 0 20 0 1 0 30706833 1588985856 359076 18446744073709551615 4227072 8923433 140729962604240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32415744 140729962613175 140729962613288 140729962613288 140729962618858 0
/proc/15555/statm: 387936 359076 2368 1147 0 375363 0
Current children cumulated CPU time: 3153.8 s
Current children cumulated vsize: 1555936 KiB
Current children cumulated memory: 1438992 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/267 16040
/proc/meminfo: memFree=126207816/131249996 swapFree=33010684/33010684
[pid=15553] ppid=15550 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/15553/stat : 15553 (run-dec.sh) S 15550 15553 14621 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30706832 4292608 672 18446744073709551615 94741802057728 94741802952261 140728701329136 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94741803191312 94741803239056 94741831409664 140728701335917 140728701336040 140728701336040 140728701341642 0
/proc/15553/statm: 1048 672 640 219 0 110 0
[pid=15555] ppid=15553 vsize=1552380 memory=1437072 CPUtime=3213.65 cores=4,6
/proc/15555/stat : 15555 (roundingsat) R 15553 15553 14621 0 -1 4194304 239137 0 0 0 320149 1216 0 0 20 0 1 0 30706833 1589637120 359268 18446744073709551615 4227072 8923433 140729962604240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32415744 140729962613175 140729962613288 140729962613288 140729962618858 0
/proc/15555/statm: 388095 359268 2368 1147 0 375522 0
Current children cumulated CPU time: 3213.65 s
Current children cumulated vsize: 1556572 KiB
Current children cumulated memory: 1439760 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/267 16044
/proc/meminfo: memFree=126065048/131249996 swapFree=33010684/33010684
[pid=15553] ppid=15550 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/15553/stat : 15553 (run-dec.sh) S 15550 15553 14621 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30706832 4292608 672 18446744073709551615 94741802057728 94741802952261 140728701329136 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94741803191312 94741803239056 94741831409664 140728701335917 140728701336040 140728701336040 140728701341642 0
/proc/15553/statm: 1048 672 640 219 0 110 0
[pid=15555] ppid=15553 vsize=1558368 memory=1471340 CPUtime=3273.51 cores=4,6
/proc/15555/stat : 15555 (roundingsat) R 15553 15553 14621 0 -1 4194304 241013 0 0 0 326116 1235 0 0 20 0 1 0 30706833 1595768832 367835 18446744073709551615 4227072 8923433 140729962604240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32415744 140729962613175 140729962613288 140729962613288 140729962618858 0
/proc/15555/statm: 389592 367835 2368 1147 0 377019 0
Current children cumulated CPU time: 3273.51 s
Current children cumulated vsize: 1562560 KiB
Current children cumulated memory: 1474028 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/268 16047
/proc/meminfo: memFree=126044048/131249996 swapFree=33010684/33010684
[pid=15553] ppid=15550 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/15553/stat : 15553 (run-dec.sh) S 15550 15553 14621 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30706832 4292608 672 18446744073709551615 94741802057728 94741802952261 140728701329136 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94741803191312 94741803239056 94741831409664 140728701335917 140728701336040 140728701336040 140728701341642 0
/proc/15553/statm: 1048 672 640 219 0 110 0
[pid=15555] ppid=15553 vsize=1558368 memory=1471340 CPUtime=3333.36 cores=4,6
/proc/15555/stat : 15555 (roundingsat) R 15553 15553 14621 0 -1 4194304 241015 0 0 0 332079 1257 0 0 20 0 1 0 30706833 1595768832 367835 18446744073709551615 4227072 8923433 140729962604240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32415744 140729962613175 140729962613288 140729962613288 140729962618858 0
/proc/15555/statm: 389592 367835 2368 1147 0 377019 0
Current children cumulated CPU time: 3333.36 s
Current children cumulated vsize: 1562560 KiB
Current children cumulated memory: 1474028 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/268 16049
/proc/meminfo: memFree=126005244/131249996 swapFree=33010684/33010684
[pid=15553] ppid=15550 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/15553/stat : 15553 (run-dec.sh) S 15550 15553 14621 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30706832 4292608 672 18446744073709551615 94741802057728 94741802952261 140728701329136 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94741803191312 94741803239056 94741831409664 140728701335917 140728701336040 140728701336040 140728701341642 0
/proc/15553/statm: 1048 672 640 219 0 110 0
[pid=15555] ppid=15553 vsize=1558552 memory=1471468 CPUtime=3393.22 cores=4,6
/proc/15555/stat : 15555 (roundingsat) R 15553 15553 14621 0 -1 4194304 241061 0 0 0 338044 1278 0 0 20 0 1 0 30706833 1595957248 367867 18446744073709551615 4227072 8923433 140729962604240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32415744 140729962613175 140729962613288 140729962613288 140729962618858 0
/proc/15555/statm: 389638 367867 2368 1147 0 377065 0
Current children cumulated CPU time: 3393.22 s
Current children cumulated vsize: 1562744 KiB
Current children cumulated memory: 1474156 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/267 16051
/proc/meminfo: memFree=125964352/131249996 swapFree=33010684/33010684
[pid=15553] ppid=15550 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/15553/stat : 15553 (run-dec.sh) S 15550 15553 14621 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30706832 4292608 672 18446744073709551615 94741802057728 94741802952261 140728701329136 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94741803191312 94741803239056 94741831409664 140728701335917 140728701336040 140728701336040 140728701341642 0
/proc/15553/statm: 1048 672 640 219 0 110 0
[pid=15555] ppid=15553 vsize=1559100 memory=1472108 CPUtime=3453.08 cores=4,6
/proc/15555/stat : 15555 (roundingsat) R 15553 15553 14621 0 -1 4194304 241199 0 0 0 344009 1299 0 0 20 0 1 0 30706833 1596518400 368027 18446744073709551615 4227072 8923433 140729962604240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32415744 140729962613175 140729962613288 140729962613288 140729962618858 0
/proc/15555/statm: 389775 368027 2368 1147 0 377202 0
Current children cumulated CPU time: 3453.08 s
Current children cumulated vsize: 1563292 KiB
Current children cumulated memory: 1474796 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/267 16053
/proc/meminfo: memFree=125741280/131249996 swapFree=33010684/33010684
[pid=15553] ppid=15550 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/15553/stat : 15553 (run-dec.sh) S 15550 15553 14621 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30706832 4292608 672 18446744073709551615 94741802057728 94741802952261 140728701329136 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94741803191312 94741803239056 94741831409664 140728701335917 140728701336040 140728701336040 140728701341642 0
/proc/15553/statm: 1048 672 640 219 0 110 0
[pid=15555] ppid=15553 vsize=1560160 memory=1473132 CPUtime=3512.93 cores=4,6
/proc/15555/stat : 15555 (roundingsat) R 15553 15553 14621 0 -1 4194304 241835 0 0 0 349974 1319 0 0 20 0 1 0 30706833 1597603840 368283 18446744073709551615 4227072 8923433 140729962604240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32415744 140729962613175 140729962613288 140729962613288 140729962618858 0
/proc/15555/statm: 390040 368283 2368 1147 0 377467 0
Current children cumulated CPU time: 3512.93 s
Current children cumulated vsize: 1564352 KiB
Current children cumulated memory: 1475820 KiB
[startup+3582.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/268 16056
/proc/meminfo: memFree=125616268/131249996 swapFree=33010684/33010684
[pid=15553] ppid=15550 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/15553/stat : 15553 (run-dec.sh) S 15550 15553 14621 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30706832 4292608 672 18446744073709551615 94741802057728 94741802952261 140728701329136 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94741803191312 94741803239056 94741831409664 140728701335917 140728701336040 140728701336040 140728701341642 0
/proc/15553/statm: 1048 672 640 219 0 110 0
[pid=15555] ppid=15553 vsize=1560160 memory=1473132 CPUtime=3572.78 cores=4,6
/proc/15555/stat : 15555 (roundingsat) R 15553 15553 14621 0 -1 4194304 242021 0 0 0 355949 1329 0 0 20 0 1 0 30706833 1597603840 368283 18446744073709551615 4227072 8923433 140729962604240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32415744 140729962613175 140729962613288 140729962613288 140729962618858 0
/proc/15555/statm: 390040 368283 2368 1147 0 377467 0
Current children cumulated CPU time: 3572.78 s
Current children cumulated vsize: 1564352 KiB
Current children cumulated memory: 1475820 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.08 4.08 4.09 5/268 16240
/proc/meminfo: memFree=128464120/131249996 swapFree=33010684/33010684
[pid=15553] ppid=15550 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/15553/stat : 15553 (run-dec.sh) S 15550 15553 14621 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30706832 4292608 672 18446744073709551615 94741802057728 94741802952261 140728701329136 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94741803191312 94741803239056 94741831409664 140728701335917 140728701336040 140728701336040 140728701341642 0
/proc/15553/statm: 1048 672 640 219 0 110 0
[pid=15555] ppid=15553 vsize=1565480 memory=1478252 CPUtime=3600.02 cores=4,6
/proc/15555/stat : 15555 (roundingsat) R 15553 15553 14621 0 -1 4194304 243336 0 0 0 358663 1339 0 0 20 0 1 0 30706833 1603051520 369563 18446744073709551615 4227072 8923433 140729962604240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32415744 140729962613175 140729962613288 140729962613288 140729962618858 0
/proc/15555/statm: 391370 369563 2368 1147 0 378797 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1569672 KiB
Current children cumulated memory: 1480940 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.6 s]
# the end of solver process 15553 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.001895 s
Sleeping 2 seconds
[startup+3609.61 s]
# the end of solver process 15555 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3586.64 s, system=13.4015 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
Child status: 2
Real time (s): 3609.61
CPU time (s): 3600.04
CPU user time (s): 3586.64
CPU system time (s): 13.4015
CPU usage (%): 99.7348
Max. virtual memory (cumulated for all children) (KiB): 1569672
Max. memory (cumulated for all children) (KiB): 1480940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.64
system time used= 13.4015
maximum resident set size= 1478636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 243573
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 358
involuntary context switches= 3902
# summary of solver processes directly reported to runsolver:
# pid: 15553,15555
# total CPU time (s): 3600.04
# total CPU user time (s): 3586.64
# total CPU system time (s): 13.4015
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.06841 second user time and 16.27 second system time
The end
Begin job on nodeC015 at 2025-06-29 00:38:13
IDJOB=4493444
IDBENCH=147863
IDSOLVER=3349
FILE ID=nodeC015/4493444-1751150293
RUNJOBID= nodeC015-1751146666-14637
SLURM_JOB_ID= 9587466
Free space on /tmp= 432992 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/robin/normalized-robin16.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493444-1751150293/watcher-4493444-1751150293 -o /tmp/evaluation-result-4493444-1751150293/solver-4493444-1751150293 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751146666-14637 --watchdog 3760 run-dec.sh HOME/instance-4493444-1751150293.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c646e12ccfd746fe0694a48782eaf83d
RANDOM SEED=1495005312
nodeC015 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 : 3600.038
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 : 7000.14
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 : 3600.064
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 : 7000.14
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 : 3600.443
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 : 7000.14
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 : 3656.294
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 : 7000.14
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 : 3605.038
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 : 7000.14
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 : 3600.095
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 : 7000.14
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 : 3600.073
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 : 7000.14
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 : 3617.349
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 : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129873984 kB
MemAvailable: 129549448 kB
Buffers: 3280 kB
Cached: 486948 kB
SwapCached: 0 kB
Active: 566128 kB
Inactive: 268000 kB
Active(anon): 361976 kB
Inactive(anon): 0 kB
Active(file): 204152 kB
Inactive(file): 268000 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8556 kB
Writeback: 28 kB
AnonPages: 347096 kB
Mapped: 114388 kB
Shmem: 18076 kB
KReclaimable: 85100 kB
Slab: 167572 kB
SReclaimable: 85100 kB
SUnreclaim: 82472 kB
KernelStack: 4316 kB
PageTables: 3896 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 697416 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 47104 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: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432988 MiB
End job on nodeC015 at 2025-06-29 01:38:23