0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.08/0.12 c #variables 5508 #constraints 5672
37.57/37.79 c #Conflicts: 1000 | #Constraints: 6671
37.57/37.79 c #Conflicts: 2000 | #Constraints: 7671
37.57/37.79 c INPROCESSING
37.57/37.79 c GARBAGE COLLECT
37.57/37.79 c #Conflicts: 3000 | #Constraints: 7355
37.57/37.79 c #Conflicts: 4000 | #Constraints: 8355
37.57/37.79 c INPROCESSING
37.57/37.79 c GARBAGE COLLECT
37.57/37.79 c #Conflicts: 5000 | #Constraints: 7808
37.57/37.79 c #Conflicts: 6000 | #Constraints: 8808
37.57/37.79 c INPROCESSING
37.57/37.79 c GARBAGE COLLECT
37.57/37.79 c #Conflicts: 7000 | #Constraints: 7855
37.57/37.79 c #Conflicts: 8000 | #Constraints: 8855
37.57/37.79 c #Conflicts: 9000 | #Constraints: 9855
37.57/37.79 c INPROCESSING
37.57/37.79 c GARBAGE COLLECT
37.57/37.79 c #Conflicts: 10000 | #Constraints: 8573
37.57/37.79 c #Conflicts: 11000 | #Constraints: 9573
37.57/37.79 c #Conflicts: 12000 | #Constraints: 10573
37.57/37.79 c INPROCESSING
37.57/37.79 c GARBAGE COLLECT
37.57/37.79 c #Conflicts: 13000 | #Constraints: 9059
37.57/37.79 c #Conflicts: 14000 | #Constraints: 10059
37.57/37.79 c #Conflicts: 15000 | #Constraints: 11059
37.57/37.79 c INPROCESSING
37.57/37.79 c GARBAGE COLLECT
37.57/37.79 c #Conflicts: 16000 | #Constraints: 9331
37.57/37.79 c #Conflicts: 17000 | #Constraints: 10331
37.57/37.79 c #Conflicts: 18000 | #Constraints: 11331
37.57/37.79 c INPROCESSING
37.57/37.79 c GARBAGE COLLECT
37.57/37.79 c #Conflicts: 19000 | #Constraints: 9373
37.57/37.79 c #Conflicts: 20000 | #Constraints: 10373
37.57/37.79 c #Conflicts: 21000 | #Constraints: 11373
37.57/37.79 c INPROCESSING
37.57/37.79 c GARBAGE COLLECT
37.57/37.79 c #Conflicts: 22000 | #Constraints: 9175
37.57/37.79 c #Conflicts: 23000 | #Constraints: 10175
37.57/37.79 c #Conflicts: 24000 | #Constraints: 11175
37.57/37.79 c #Conflicts: 25000 | #Constraints: 12175
37.57/37.79 c INPROCESSING
37.57/37.79 c GARBAGE COLLECT
37.57/37.79 c #Conflicts: 26000 | #Constraints: 9803
37.57/37.79 c #Conflicts: 27000 | #Constraints: 10803
37.57/37.79 c #Conflicts: 28000 | #Constraints: 11803
37.57/37.79 c #Conflicts: 29000 | #Constraints: 12803
37.57/37.79 c INPROCESSING
37.57/37.79 c GARBAGE COLLECT
37.57/37.79 c #Conflicts: 30000 | #Constraints: 10205
37.57/37.79 c #Conflicts: 31000 | #Constraints: 11205
37.57/37.79 c #Conflicts: 32000 | #Constraints: 12205
37.57/37.79 c #Conflicts: 33000 | #Constraints: 13205
37.57/37.79 c INPROCESSING
37.57/37.79 c GARBAGE COLLECT
37.57/37.79 c #Conflicts: 34000 | #Constraints: 10420
37.57/37.79 c #Conflicts: 35000 | #Constraints: 11420
37.57/37.79 c #Conflicts: 36000 | #Constraints: 12420
37.57/37.79 c #Conflicts: 37000 | #Constraints: 13420
37.57/37.79 c INPROCESSING
37.57/37.79 c GARBAGE COLLECT
37.57/37.79 c #Conflicts: 38000 | #Constraints: 10388
37.57/37.79 c #Conflicts: 39000 | #Constraints: 11388
37.57/37.79 c #Conflicts: 40000 | #Constraints: 12388
37.57/37.79 c #Conflicts: 41000 | #Constraints: 13388
37.57/37.79 c INPROCESSING
37.57/37.79 c GARBAGE COLLECT
37.57/37.79 c #Conflicts: 42000 | #Constraints: 10211
37.57/37.79 c #Conflicts: 43000 | #Constraints: 11211
37.57/37.79 c #Conflicts: 44000 | #Constraints: 12211
37.57/37.79 c #Conflicts: 45000 | #Constraints: 13211
37.57/37.79 c #Conflicts: 46000 | #Constraints: 14211
37.57/37.79 c INPROCESSING
37.57/37.79 c GARBAGE COLLECT
37.57/37.79 c #Conflicts: 47000 | #Constraints: 10826
37.57/37.79 c #Conflicts: 48000 | #Constraints: 11826
37.57/37.79 c #Conflicts: 49000 | #Constraints: 12826
37.57/37.79 c #Conflicts: 50000 | #Constraints: 13826
37.57/37.79 c #Conflicts: 51000 | #Constraints: 14826
37.57/37.79 c INPROCESSING
37.57/37.79 c GARBAGE COLLECT
37.57/37.79 c rational objective 81
89.05/89.32 c #Conflicts: 52000 | #Constraints: 11239
89.05/89.32 c #Conflicts: 53000 | #Constraints: 12239
89.05/89.32 c #Conflicts: 54000 | #Constraints: 13239
89.05/89.32 c #Conflicts: 55000 | #Constraints: 14239
89.05/89.32 c #Conflicts: 56000 | #Constraints: 15239
89.05/89.32 c INPROCESSING
89.05/89.32 c GARBAGE COLLECT
89.05/89.32 c #Conflicts: 57000 | #Constraints: 11463
89.05/89.32 c #Conflicts: 58000 | #Constraints: 12463
89.05/89.32 c #Conflicts: 59000 | #Constraints: 13463
89.05/89.32 c #Conflicts: 60000 | #Constraints: 14463
89.05/89.32 c #Conflicts: 61000 | #Constraints: 15463
89.05/89.32 c INPROCESSING
89.05/89.32 c GARBAGE COLLECT
89.05/89.32 c #Conflicts: 62000 | #Constraints: 11454
89.05/89.32 c #Conflicts: 63000 | #Constraints: 12454
89.05/89.32 c #Conflicts: 64000 | #Constraints: 13454
89.05/89.32 c #Conflicts: 65000 | #Constraints: 14454
89.05/89.32 c #Conflicts: 66000 | #Constraints: 15454
89.05/89.32 c INPROCESSING
89.05/89.32 c GARBAGE COLLECT
89.05/89.32 c #Conflicts: 67000 | #Constraints: 11251
89.05/89.32 c #Conflicts: 68000 | #Constraints: 12251
89.05/89.32 c #Conflicts: 69000 | #Constraints: 13251
89.05/89.32 c #Conflicts: 70000 | #Constraints: 14251
89.05/89.32 c #Conflicts: 71000 | #Constraints: 15251
89.05/89.32 c #Conflicts: 72000 | #Constraints: 16251
89.05/89.32 c INPROCESSING
89.05/89.32 c GARBAGE COLLECT
89.05/89.32 c #Conflicts: 73000 | #Constraints: 11851
89.05/89.32 c #Conflicts: 74000 | #Constraints: 12851
89.05/89.32 c #Conflicts: 75000 | #Constraints: 13851
89.05/89.32 c #Conflicts: 76000 | #Constraints: 14851
89.05/89.32 c #Conflicts: 77000 | #Constraints: 15851
89.05/89.32 c #Conflicts: 78000 | #Constraints: 16851
89.05/89.32 c INPROCESSING
89.05/89.32 c GARBAGE COLLECT
89.05/89.32 c #Conflicts: 79000 | #Constraints: 12292
89.05/89.32 c #Conflicts: 80000 | #Constraints: 13292
89.05/89.32 c #Conflicts: 81000 | #Constraints: 14292
89.05/89.32 c #Conflicts: 82000 | #Constraints: 15292
89.05/89.32 c #Conflicts: 83000 | #Constraints: 16292
89.05/89.32 c #Conflicts: 84000 | #Constraints: 17292
89.05/89.32 c INPROCESSING
89.05/89.32 c GARBAGE COLLECT
89.05/89.32 c #Conflicts: 85000 | #Constraints: 12490
89.05/89.32 c #Conflicts: 86000 | #Constraints: 13490
89.05/89.32 c #Conflicts: 87000 | #Constraints: 14490
89.05/89.32 c #Conflicts: 88000 | #Constraints: 15490
89.05/89.32 c #Conflicts: 89000 | #Constraints: 16490
89.05/89.32 c #Conflicts: 90000 | #Constraints: 17490
89.05/89.32 c INPROCESSING
89.05/89.32 c GARBAGE COLLECT
89.05/89.32 c #Conflicts: 91000 | #Constraints: 12496
89.05/89.32 c #Conflicts: 92000 | #Constraints: 13496
89.05/89.32 c #Conflicts: 93000 | #Constraints: 14496
89.05/89.32 c #Conflicts: 94000 | #Constraints: 15496
89.05/89.32 c #Conflicts: 95000 | #Constraints: 16496
89.05/89.32 c #Conflicts: 96000 | #Constraints: 17496
89.05/89.32 c INPROCESSING
89.05/89.32 c GARBAGE COLLECT
89.05/89.32 c #Conflicts: 97000 | #Constraints: 12311
89.05/89.32 c #Conflicts: 98000 | #Constraints: 13311
89.05/89.32 c #Conflicts: 99000 | #Constraints: 14311
89.05/89.32 c #Conflicts: 100000 | #Constraints: 15311
89.05/89.32 c #Conflicts: 101000 | #Constraints: 16312
89.05/89.32 c #Conflicts: 102000 | #Constraints: 17312
89.05/89.32 c #Conflicts: 103000 | #Constraints: 18312
89.05/89.32 c INPROCESSING
89.05/89.32 c GARBAGE COLLECT
89.05/89.32 c #Conflicts: 104000 | #Constraints: 12926
89.05/89.32 c #Conflicts: 105000 | #Constraints: 13926
89.05/89.32 c #Conflicts: 106000 | #Constraints: 14926
89.05/89.32 c #Conflicts: 107000 | #Constraints: 15926
89.05/89.32 c #Conflicts: 108000 | #Constraints: 16926
89.05/89.32 c #Conflicts: 109000 | #Constraints: 17926
89.05/89.32 c #Conflicts: 110000 | #Constraints: 18926
89.05/89.32 c INPROCESSING
89.05/89.32 c GARBAGE COLLECT
89.05/89.32 c #Conflicts: 111000 | #Constraints: 13339
89.05/89.32 c #Conflicts: 112000 | #Constraints: 14339
89.05/89.32 c #Conflicts: 113000 | #Constraints: 15339
89.05/89.32 c #Conflicts: 114000 | #Constraints: 16339
89.05/89.32 c #Conflicts: 115000 | #Constraints: 17339
89.05/89.32 c #Conflicts: 116000 | #Constraints: 18339
89.05/89.32 c #Conflicts: 117000 | #Constraints: 19339
89.05/89.32 c INPROCESSING
89.05/89.32 c GARBAGE COLLECT
89.05/89.32 c #Conflicts: 118000 | #Constraints: 13545
89.05/89.32 c #Conflicts: 119000 | #Constraints: 14545
89.05/89.32 c #Conflicts: 120000 | #Constraints: 15545
89.05/89.32 c #Conflicts: 121000 | #Constraints: 16545
89.05/89.32 c #Conflicts: 122000 | #Constraints: 17545
89.05/89.32 c #Conflicts: 123000 | #Constraints: 18545
159.87/160.30 c #Conflicts: 124000 | #Constraints: 19545
159.87/160.30 c INPROCESSING
159.87/160.30 c GARBAGE COLLECT
159.87/160.30 c #Conflicts: 125000 | #Constraints: 13536
159.87/160.30 c #Conflicts: 126000 | #Constraints: 14536
159.87/160.30 c #Conflicts: 127000 | #Constraints: 15536
159.87/160.30 c #Conflicts: 128000 | #Constraints: 16536
159.87/160.30 c #Conflicts: 129000 | #Constraints: 17536
159.87/160.30 c #Conflicts: 130000 | #Constraints: 18536
159.87/160.30 c #Conflicts: 131000 | #Constraints: 19536
159.87/160.30 c #Conflicts: 132000 | #Constraints: 20536
159.87/160.30 c #Conflicts: 133000 | #Constraints: 21536
159.87/160.30 c #Conflicts: 134000 | #Constraints: 22536
159.87/160.30 c #Conflicts: 135000 | #Constraints: 23536
159.87/160.30 c #Conflicts: 136000 | #Constraints: 24536
159.87/160.30 c #Conflicts: 137000 | #Constraints: 25536
159.87/160.30 c #Conflicts: 138000 | #Constraints: 26536
159.87/160.30 c #Conflicts: 139000 | #Constraints: 27536
159.87/160.30 c #Conflicts: 140000 | #Constraints: 28536
159.87/160.30 c #Conflicts: 141000 | #Constraints: 29536
159.87/160.30 c #Conflicts: 142000 | #Constraints: 30536
159.87/160.30 c #Conflicts: 143000 | #Constraints: 31536
159.87/160.30 c #Conflicts: 144000 | #Constraints: 32536
159.87/160.30 c #Conflicts: 145000 | #Constraints: 33536
159.87/160.30 c #Conflicts: 146000 | #Constraints: 34536
159.87/160.30 c #Conflicts: 147000 | #Constraints: 35536
159.87/160.30 c #Conflicts: 148000 | #Constraints: 36536
159.87/160.30 c #Conflicts: 149000 | #Constraints: 37536
159.87/160.30 c #Conflicts: 150000 | #Constraints: 38536
159.87/160.30 c #Conflicts: 151000 | #Constraints: 39536
159.87/160.30 c #Conflicts: 152000 | #Constraints: 40536
159.87/160.30 c #Conflicts: 153000 | #Constraints: 41536
159.87/160.30 c #Conflicts: 154000 | #Constraints: 42536
159.87/160.30 c #Conflicts: 155000 | #Constraints: 43536
159.87/160.30 c #Conflicts: 156000 | #Constraints: 44536
159.87/160.30 c INPROCESSING
159.87/160.30 c GARBAGE COLLECT
159.87/160.30 c #Conflicts: 157000 | #Constraints: 25800
159.87/160.30 c #Conflicts: 158000 | #Constraints: 26800
159.87/160.30 c #Conflicts: 159000 | #Constraints: 27800
159.87/160.30 c #Conflicts: 160000 | #Constraints: 28800
159.87/160.30 c #Conflicts: 161000 | #Constraints: 29800
159.87/160.30 c #Conflicts: 162000 | #Constraints: 30800
159.87/160.30 c #Conflicts: 163000 | #Constraints: 31800
159.87/160.30 c #Conflicts: 164000 | #Constraints: 32800
159.87/160.30 c #Conflicts: 165000 | #Constraints: 33800
159.87/160.30 c INPROCESSING
159.87/160.30 c GARBAGE COLLECT
159.87/160.30 c #Conflicts: 166000 | #Constraints: 20677
159.87/160.30 c #Conflicts: 167000 | #Constraints: 21677
159.87/160.30 c #Conflicts: 168000 | #Constraints: 22677
159.87/160.30 c #Conflicts: 169000 | #Constraints: 23677
159.87/160.30 c #Conflicts: 170000 | #Constraints: 24677
159.87/160.30 c #Conflicts: 171000 | #Constraints: 25677
159.87/160.30 c #Conflicts: 172000 | #Constraints: 26677
159.87/160.30 c #Conflicts: 173000 | #Constraints: 27677
159.87/160.30 c #Conflicts: 174000 | #Constraints: 28677
159.87/160.30 c INPROCESSING
159.87/160.30 c GARBAGE COLLECT
159.87/160.30 c #Conflicts: 175000 | #Constraints: 18281
159.87/160.30 c #Conflicts: 176000 | #Constraints: 19281
159.87/160.30 c #Conflicts: 177000 | #Constraints: 20281
159.87/160.30 c #Conflicts: 178000 | #Constraints: 21281
159.87/160.30 c #Conflicts: 179000 | #Constraints: 22281
159.87/160.30 c #Conflicts: 180000 | #Constraints: 23281
159.87/160.30 c #Conflicts: 181000 | #Constraints: 24281
159.87/160.30 c #Conflicts: 182000 | #Constraints: 25281
159.87/160.30 c INPROCESSING
159.87/160.30 c GARBAGE COLLECT
159.87/160.30 c #Conflicts: 183000 | #Constraints: 16184
159.87/160.30 c #Conflicts: 184000 | #Constraints: 17184
159.87/160.30 c #Conflicts: 185000 | #Constraints: 18184
159.87/160.30 c #Conflicts: 186000 | #Constraints: 19184
159.87/160.30 c #Conflicts: 187000 | #Constraints: 20184
159.87/160.30 c #Conflicts: 188000 | #Constraints: 21184
159.87/160.30 c #Conflicts: 189000 | #Constraints: 22184
159.87/160.30 c #Conflicts: 190000 | #Constraints: 23184
159.87/160.30 c #Conflicts: 191000 | #Constraints: 24184
159.87/160.30 c #Conflicts: 192000 | #Constraints: 25184
159.87/160.30 c INPROCESSING
159.87/160.30 c GARBAGE COLLECT
159.87/160.30 c rational objective 81
253.33/254.03 c #Conflicts: 193000 | #Constraints: 16540
253.33/254.03 c #Conflicts: 194000 | #Constraints: 17540
253.33/254.03 c #Conflicts: 195000 | #Constraints: 18540
253.33/254.03 c #Conflicts: 196000 | #Constraints: 19540
253.33/254.03 c #Conflicts: 197000 | #Constraints: 20540
253.33/254.03 c #Conflicts: 198000 | #Constraints: 21540
253.33/254.03 c #Conflicts: 199000 | #Constraints: 22540
253.33/254.03 c #Conflicts: 200000 | #Constraints: 23540
253.33/254.03 c #Conflicts: 201000 | #Constraints: 24540
253.33/254.03 c INPROCESSING
253.33/254.03 c GARBAGE COLLECT
253.33/254.03 c #Conflicts: 202000 | #Constraints: 16045
253.33/254.03 c #Conflicts: 203000 | #Constraints: 17045
253.33/254.03 c #Conflicts: 204000 | #Constraints: 18045
253.33/254.03 c #Conflicts: 205000 | #Constraints: 19045
253.33/254.03 c #Conflicts: 206000 | #Constraints: 20045
253.33/254.03 c #Conflicts: 207000 | #Constraints: 21045
253.33/254.03 c #Conflicts: 208000 | #Constraints: 22045
253.33/254.03 c #Conflicts: 209000 | #Constraints: 23045
253.33/254.03 c #Conflicts: 210000 | #Constraints: 24045
253.33/254.03 c #Conflicts: 211000 | #Constraints: 25045
253.33/254.03 c #Conflicts: 212000 | #Constraints: 26045
253.33/254.03 c #Conflicts: 213000 | #Constraints: 27045
253.33/254.03 c #Conflicts: 214000 | #Constraints: 28045
253.33/254.03 c #Conflicts: 215000 | #Constraints: 29045
253.33/254.03 c #Conflicts: 216000 | #Constraints: 30045
253.33/254.03 c #Conflicts: 217000 | #Constraints: 31045
253.33/254.03 c #Conflicts: 218000 | #Constraints: 32045
253.33/254.03 c #Conflicts: 219000 | #Constraints: 33045
253.33/254.03 c #Conflicts: 220000 | #Constraints: 34045
253.33/254.03 c #Conflicts: 221000 | #Constraints: 35045
253.33/254.03 c #Conflicts: 222000 | #Constraints: 36045
253.33/254.03 c #Conflicts: 223000 | #Constraints: 37045
253.33/254.03 c #Conflicts: 224000 | #Constraints: 38045
253.33/254.03 c #Conflicts: 225000 | #Constraints: 39045
253.33/254.03 c #Conflicts: 226000 | #Constraints: 40045
253.33/254.03 c #Conflicts: 227000 | #Constraints: 41045
253.33/254.03 c #Conflicts: 228000 | #Constraints: 42045
253.33/254.03 c #Conflicts: 229000 | #Constraints: 43045
253.33/254.03 c #Conflicts: 230000 | #Constraints: 44045
253.33/254.03 c #Conflicts: 231000 | #Constraints: 45045
253.33/254.03 c #Conflicts: 232000 | #Constraints: 46045
253.33/254.03 c #Conflicts: 233000 | #Constraints: 47045
253.33/254.03 c #Conflicts: 234000 | #Constraints: 48045
253.33/254.03 c #Conflicts: 235000 | #Constraints: 49045
253.33/254.03 c #Conflicts: 236000 | #Constraints: 50045
253.33/254.03 c #Conflicts: 237000 | #Constraints: 51045
253.33/254.03 c #Conflicts: 238000 | #Constraints: 52045
253.33/254.03 c #Conflicts: 239000 | #Constraints: 53045
253.33/254.03 c #Conflicts: 240000 | #Constraints: 54045
253.33/254.03 c #Conflicts: 241000 | #Constraints: 55045
253.33/254.03 c INPROCESSING
253.33/254.03 c GARBAGE COLLECT
253.33/254.03 c #Conflicts: 242000 | #Constraints: 31212
253.33/254.03 c #Conflicts: 243000 | #Constraints: 32212
253.33/254.03 c #Conflicts: 244000 | #Constraints: 33212
253.33/254.03 c #Conflicts: 245000 | #Constraints: 34212
253.33/254.03 c #Conflicts: 246000 | #Constraints: 35212
253.33/254.03 c #Conflicts: 247000 | #Constraints: 36212
253.33/254.03 c #Conflicts: 248000 | #Constraints: 37212
253.33/254.03 c #Conflicts: 249000 | #Constraints: 38212
253.33/254.03 c #Conflicts: 250000 | #Constraints: 39212
253.33/254.03 c #Conflicts: 251000 | #Constraints: 40213
253.33/254.03 c #Conflicts: 252000 | #Constraints: 41213
253.33/254.03 c INPROCESSING
253.33/254.03 c GARBAGE COLLECT
253.33/254.03 c #Conflicts: 253000 | #Constraints: 24549
253.33/254.03 c #Conflicts: 254000 | #Constraints: 25549
253.33/254.03 c #Conflicts: 255000 | #Constraints: 26549
253.33/254.03 c #Conflicts: 256000 | #Constraints: 27549
253.33/254.03 c #Conflicts: 257000 | #Constraints: 28549
253.33/254.03 c #Conflicts: 258000 | #Constraints: 29549
253.33/254.03 c #Conflicts: 259000 | #Constraints: 30549
253.33/254.03 c #Conflicts: 260000 | #Constraints: 31549
253.33/254.03 c #Conflicts: 261000 | #Constraints: 32549
253.33/254.03 c #Conflicts: 262000 | #Constraints: 33549
253.33/254.03 c INPROCESSING
253.33/254.03 c GARBAGE COLLECT
253.33/254.03 c #Conflicts: 263000 | #Constraints: 20304
253.33/254.03 c #Conflicts: 264000 | #Constraints: 21304
253.33/254.03 c #Conflicts: 265000 | #Constraints: 22304
253.33/254.03 c #Conflicts: 266000 | #Constraints: 23304
253.33/254.03 c #Conflicts: 267000 | #Constraints: 24304
253.33/254.03 c #Conflicts: 268000 | #Constraints: 25304
253.33/254.03 c #Conflicts: 269000 | #Constraints: 26304
293.61/294.47 c #Conflicts: 270000 | #Constraints: 27304
293.61/294.47 c #Conflicts: 271000 | #Constraints: 28304
293.61/294.47 c #Conflicts: 272000 | #Constraints: 29304
293.61/294.47 c #Conflicts: 273000 | #Constraints: 30304
293.61/294.47 c INPROCESSING
293.61/294.47 c GARBAGE COLLECT
293.61/294.47 c #Conflicts: 274000 | #Constraints: 18736
293.61/294.47 c #Conflicts: 275000 | #Constraints: 19736
293.61/294.47 c #Conflicts: 276000 | #Constraints: 20736
293.61/294.47 c #Conflicts: 277000 | #Constraints: 21736
293.61/294.47 c #Conflicts: 278000 | #Constraints: 22736
293.61/294.47 c #Conflicts: 279000 | #Constraints: 23736
293.61/294.47 c #Conflicts: 280000 | #Constraints: 24736
293.61/294.47 c #Conflicts: 281000 | #Constraints: 25736
293.61/294.47 c #Conflicts: 282000 | #Constraints: 26737
293.61/294.47 c #Conflicts: 283000 | #Constraints: 27737
293.61/294.47 c #Conflicts: 284000 | #Constraints: 28737
293.61/294.47 c #Conflicts: 285000 | #Constraints: 29737
293.61/294.47 c INPROCESSING
293.61/294.47 c GARBAGE COLLECT
293.61/294.47 c #Conflicts: 286000 | #Constraints: 18837
293.61/294.47 c #Conflicts: 287000 | #Constraints: 19837
293.61/294.47 c #Conflicts: 288000 | #Constraints: 20837
293.61/294.47 c #Conflicts: 289000 | #Constraints: 21837
293.61/294.47 c #Conflicts: 290000 | #Constraints: 22837
293.61/294.47 c #Conflicts: 291000 | #Constraints: 23837
293.61/294.47 c #Conflicts: 292000 | #Constraints: 24837
293.61/294.47 c #Conflicts: 293000 | #Constraints: 25837
293.61/294.47 c #Conflicts: 294000 | #Constraints: 26838
293.61/294.47 c #Conflicts: 295000 | #Constraints: 27838
293.61/294.47 c #Conflicts: 296000 | #Constraints: 28838
293.61/294.47 c INPROCESSING
293.61/294.47 c GARBAGE COLLECT
293.61/294.47 c #Conflicts: 297000 | #Constraints: 18248
293.61/294.47 c #Conflicts: 298000 | #Constraints: 19248
293.61/294.47 c #Conflicts: 299000 | #Constraints: 20248
293.61/294.47 c #Conflicts: 300000 | #Constraints: 21248
293.61/294.47 c #Conflicts: 301000 | #Constraints: 22248
293.61/294.47 c #Conflicts: 302000 | #Constraints: 23248
293.61/294.47 c #Conflicts: 303000 | #Constraints: 24248
293.61/294.47 c #Conflicts: 304000 | #Constraints: 25249
293.61/294.47 c #Conflicts: 305000 | #Constraints: 26249
293.61/294.47 c #Conflicts: 306000 | #Constraints: 27249
293.61/294.47 c #Conflicts: 307000 | #Constraints: 28249
293.61/294.47 c #Conflicts: 308000 | #Constraints: 29249
293.61/294.47 c INPROCESSING
293.61/294.47 c GARBAGE COLLECT
293.61/294.47 c rational objective 81
398.83/399.98 c #Conflicts: 309000 | #Constraints: 18585
398.83/399.98 c #Conflicts: 310000 | #Constraints: 19585
398.83/399.98 c #Conflicts: 311000 | #Constraints: 20585
398.83/399.98 c #Conflicts: 312000 | #Constraints: 21585
398.83/399.98 c #Conflicts: 313000 | #Constraints: 22585
398.83/399.98 c #Conflicts: 314000 | #Constraints: 23585
398.83/399.98 c #Conflicts: 315000 | #Constraints: 24585
398.83/399.98 c #Conflicts: 316000 | #Constraints: 25585
398.83/399.98 c #Conflicts: 317000 | #Constraints: 26585
398.83/399.98 c #Conflicts: 318000 | #Constraints: 27585
398.83/399.98 c #Conflicts: 319000 | #Constraints: 28585
398.83/399.98 c #Conflicts: 320000 | #Constraints: 29585
398.83/399.98 c #Conflicts: 321000 | #Constraints: 30585
398.83/399.98 c #Conflicts: 322000 | #Constraints: 31585
398.83/399.98 c #Conflicts: 323000 | #Constraints: 32585
398.83/399.98 c #Conflicts: 324000 | #Constraints: 33585
398.83/399.98 c #Conflicts: 325000 | #Constraints: 34585
398.83/399.98 c #Conflicts: 326000 | #Constraints: 35585
398.83/399.98 c #Conflicts: 327000 | #Constraints: 36585
398.83/399.98 c #Conflicts: 328000 | #Constraints: 37585
398.83/399.98 c #Conflicts: 329000 | #Constraints: 38585
398.83/399.98 c #Conflicts: 330000 | #Constraints: 39585
398.83/399.98 c #Conflicts: 331000 | #Constraints: 40585
398.83/399.98 c #Conflicts: 332000 | #Constraints: 41585
398.83/399.98 c #Conflicts: 333000 | #Constraints: 42585
398.83/399.98 c #Conflicts: 334000 | #Constraints: 43585
398.83/399.98 c #Conflicts: 335000 | #Constraints: 44585
398.83/399.98 c #Conflicts: 336000 | #Constraints: 45585
398.83/399.98 c #Conflicts: 337000 | #Constraints: 46585
398.83/399.98 c #Conflicts: 338000 | #Constraints: 47585
398.83/399.98 c #Conflicts: 339000 | #Constraints: 48585
398.83/399.98 c #Conflicts: 340000 | #Constraints: 49585
398.83/399.98 c #Conflicts: 341000 | #Constraints: 50585
398.83/399.98 c #Conflicts: 342000 | #Constraints: 51585
398.83/399.98 c #Conflicts: 343000 | #Constraints: 52585
398.83/399.98 c #Conflicts: 344000 | #Constraints: 53585
398.83/399.98 c #Conflicts: 345000 | #Constraints: 54585
398.83/399.98 c #Conflicts: 346000 | #Constraints: 55585
398.83/399.98 c #Conflicts: 347000 | #Constraints: 56585
398.83/399.98 c #Conflicts: 348000 | #Constraints: 57585
398.83/399.98 c #Conflicts: 349000 | #Constraints: 58585
398.83/399.98 c #Conflicts: 350000 | #Constraints: 59585
398.83/399.98 c #Conflicts: 351000 | #Constraints: 60585
398.83/399.98 c #Conflicts: 352000 | #Constraints: 61585
398.83/399.98 c #Conflicts: 353000 | #Constraints: 62585
398.83/399.98 c #Conflicts: 354000 | #Constraints: 63585
398.83/399.98 c #Conflicts: 355000 | #Constraints: 64585
398.83/399.98 c #Conflicts: 356000 | #Constraints: 65585
398.83/399.98 c INPROCESSING
398.83/399.98 c GARBAGE COLLECT
398.83/399.98 c #Conflicts: 357000 | #Constraints: 36428
398.83/399.98 c #Conflicts: 358000 | #Constraints: 37428
398.83/399.98 c #Conflicts: 359000 | #Constraints: 38428
398.83/399.98 c #Conflicts: 360000 | #Constraints: 39428
398.83/399.98 c #Conflicts: 361000 | #Constraints: 40428
398.83/399.98 c #Conflicts: 362000 | #Constraints: 41428
398.83/399.98 c #Conflicts: 363000 | #Constraints: 42428
398.83/399.98 c #Conflicts: 364000 | #Constraints: 43428
398.83/399.98 c #Conflicts: 365000 | #Constraints: 44428
398.83/399.98 c #Conflicts: 366000 | #Constraints: 45428
398.83/399.98 c #Conflicts: 367000 | #Constraints: 46428
398.83/399.98 c #Conflicts: 368000 | #Constraints: 47428
398.83/399.98 c #Conflicts: 369000 | #Constraints: 48428
398.83/399.98 c INPROCESSING
398.83/399.98 c GARBAGE COLLECT
398.83/399.98 c #Conflicts: 370000 | #Constraints: 27941
398.83/399.98 c #Conflicts: 371000 | #Constraints: 28941
398.83/399.98 c #Conflicts: 372000 | #Constraints: 29941
398.83/399.98 c #Conflicts: 373000 | #Constraints: 30941
398.83/399.98 c #Conflicts: 374000 | #Constraints: 31941
398.83/399.98 c #Conflicts: 375000 | #Constraints: 32941
398.83/399.98 c #Conflicts: 376000 | #Constraints: 33941
398.83/399.98 c #Conflicts: 377000 | #Constraints: 34941
398.83/399.98 c #Conflicts: 378000 | #Constraints: 35941
398.83/399.98 c #Conflicts: 379000 | #Constraints: 36941
398.83/399.98 c #Conflicts: 380000 | #Constraints: 37941
398.83/399.98 c #Conflicts: 381000 | #Constraints: 38941
398.83/399.98 c #Conflicts: 382000 | #Constraints: 39941
398.83/399.98 c INPROCESSING
398.83/399.98 c GARBAGE COLLECT
398.83/399.98 c rational objective 81
488.70/490.05 c #Conflicts: 383000 | #Constraints: 23597
488.70/490.05 c #Conflicts: 384000 | #Constraints: 24597
488.70/490.05 c #Conflicts: 385000 | #Constraints: 25597
488.70/490.05 c #Conflicts: 386000 | #Constraints: 26597
488.70/490.05 c #Conflicts: 387000 | #Constraints: 27597
488.70/490.05 c #Conflicts: 388000 | #Constraints: 28597
488.70/490.05 c #Conflicts: 389000 | #Constraints: 29597
488.70/490.05 c #Conflicts: 390000 | #Constraints: 30597
488.70/490.05 c #Conflicts: 391000 | #Constraints: 31597
488.70/490.05 c #Conflicts: 392000 | #Constraints: 32597
488.70/490.05 c #Conflicts: 393000 | #Constraints: 33597
488.70/490.05 c #Conflicts: 394000 | #Constraints: 34597
488.70/490.05 c #Conflicts: 395000 | #Constraints: 35597
488.70/490.05 c #Conflicts: 396000 | #Constraints: 36597
488.70/490.05 c INPROCESSING
488.70/490.05 c GARBAGE COLLECT
488.70/490.05 c #Conflicts: 397000 | #Constraints: 22283
488.70/490.05 c #Conflicts: 398000 | #Constraints: 23283
488.70/490.05 c #Conflicts: 399000 | #Constraints: 24283
488.70/490.05 c #Conflicts: 400000 | #Constraints: 25283
488.70/490.05 c #Conflicts: 401000 | #Constraints: 26283
488.70/490.05 c #Conflicts: 402000 | #Constraints: 27283
488.70/490.05 c #Conflicts: 403000 | #Constraints: 28283
488.70/490.05 c #Conflicts: 404000 | #Constraints: 29283
488.70/490.05 c #Conflicts: 405000 | #Constraints: 30283
488.70/490.05 c #Conflicts: 406000 | #Constraints: 31283
488.70/490.05 c #Conflicts: 407000 | #Constraints: 32283
488.70/490.05 c #Conflicts: 408000 | #Constraints: 33283
488.70/490.05 c #Conflicts: 409000 | #Constraints: 34283
488.70/490.05 c INPROCESSING
488.70/490.05 c GARBAGE COLLECT
488.70/490.05 c #Conflicts: 410000 | #Constraints: 20882
488.70/490.05 c #Conflicts: 411000 | #Constraints: 21882
488.70/490.05 c #Conflicts: 412000 | #Constraints: 22882
488.70/490.05 c #Conflicts: 413000 | #Constraints: 23882
488.70/490.05 c #Conflicts: 414000 | #Constraints: 24882
488.70/490.05 c #Conflicts: 415000 | #Constraints: 25882
488.70/490.05 c #Conflicts: 416000 | #Constraints: 26882
488.70/490.05 c #Conflicts: 417000 | #Constraints: 27882
488.70/490.05 c #Conflicts: 418000 | #Constraints: 28882
488.70/490.05 c #Conflicts: 419000 | #Constraints: 29882
488.70/490.05 c #Conflicts: 420000 | #Constraints: 30882
488.70/490.05 c #Conflicts: 421000 | #Constraints: 31882
488.70/490.05 c #Conflicts: 422000 | #Constraints: 32882
488.70/490.05 c #Conflicts: 423000 | #Constraints: 33882
488.70/490.05 c INPROCESSING
488.70/490.05 c GARBAGE COLLECT
488.70/490.05 c #Conflicts: 424000 | #Constraints: 20852
488.70/490.05 c #Conflicts: 425000 | #Constraints: 21852
488.70/490.05 c #Conflicts: 426000 | #Constraints: 22852
488.70/490.05 c #Conflicts: 427000 | #Constraints: 23852
488.70/490.05 c #Conflicts: 428000 | #Constraints: 24852
488.70/490.05 c #Conflicts: 429000 | #Constraints: 25852
488.70/490.05 c #Conflicts: 430000 | #Constraints: 26852
488.70/490.05 c #Conflicts: 431000 | #Constraints: 27852
488.70/490.05 c #Conflicts: 432000 | #Constraints: 28852
488.70/490.05 c #Conflicts: 433000 | #Constraints: 29852
488.70/490.05 c #Conflicts: 434000 | #Constraints: 30852
488.70/490.05 c #Conflicts: 435000 | #Constraints: 31852
488.70/490.05 c #Conflicts: 436000 | #Constraints: 32852
488.70/490.05 c #Conflicts: 437000 | #Constraints: 33852
488.70/490.05 c INPROCESSING
488.70/490.05 c GARBAGE COLLECT
488.70/490.05 c #Conflicts: 438000 | #Constraints: 20815
488.70/490.05 c #Conflicts: 439000 | #Constraints: 21815
488.70/490.05 c #Conflicts: 440000 | #Constraints: 22815
488.70/490.05 c #Conflicts: 441000 | #Constraints: 23815
488.70/490.05 c #Conflicts: 442000 | #Constraints: 24815
488.70/490.05 c #Conflicts: 443000 | #Constraints: 25815
488.70/490.05 c #Conflicts: 444000 | #Constraints: 26815
488.70/490.05 c #Conflicts: 445000 | #Constraints: 27815
488.70/490.05 c #Conflicts: 446000 | #Constraints: 28815
488.70/490.05 c #Conflicts: 447000 | #Constraints: 29815
488.70/490.05 c #Conflicts: 448000 | #Constraints: 30815
488.70/490.05 c #Conflicts: 449000 | #Constraints: 31815
488.70/490.05 c #Conflicts: 450000 | #Constraints: 32815
488.70/490.05 c #Conflicts: 451000 | #Constraints: 33815
488.70/490.05 c #Conflicts: 452000 | #Constraints: 34815
488.70/490.05 c #Conflicts: 453000 | #Constraints: 35815
488.70/490.05 c #Conflicts: 454000 | #Constraints: 36815
488.70/490.05 c #Conflicts: 455000 | #Constraints: 37815
488.70/490.05 c #Conflicts: 456000 | #Constraints: 38815
488.70/490.05 c #Conflicts: 457000 | #Constraints: 39815
488.70/490.05 c #Conflicts: 458000 | #Constraints: 40815
488.70/490.05 c #Conflicts: 459000 | #Constraints: 41815
625.63/627.31 c #Conflicts: 460000 | #Constraints: 42815
625.63/627.31 c #Conflicts: 461000 | #Constraints: 43815
625.63/627.31 c #Conflicts: 462000 | #Constraints: 44815
625.63/627.31 c #Conflicts: 463000 | #Constraints: 45815
625.63/627.31 c #Conflicts: 464000 | #Constraints: 46815
625.63/627.31 c #Conflicts: 465000 | #Constraints: 47815
625.63/627.31 c #Conflicts: 466000 | #Constraints: 48815
625.63/627.31 c #Conflicts: 467000 | #Constraints: 49815
625.63/627.31 c #Conflicts: 468000 | #Constraints: 50815
625.63/627.31 c #Conflicts: 469000 | #Constraints: 51815
625.63/627.31 c #Conflicts: 470000 | #Constraints: 52815
625.63/627.31 c #Conflicts: 471000 | #Constraints: 53815
625.63/627.31 c #Conflicts: 472000 | #Constraints: 54815
625.63/627.31 c #Conflicts: 473000 | #Constraints: 55815
625.63/627.31 c #Conflicts: 474000 | #Constraints: 56815
625.63/627.31 c #Conflicts: 475000 | #Constraints: 57815
625.63/627.31 c #Conflicts: 476000 | #Constraints: 58815
625.63/627.31 c #Conflicts: 477000 | #Constraints: 59815
625.63/627.31 c #Conflicts: 478000 | #Constraints: 60815
625.63/627.31 c #Conflicts: 479000 | #Constraints: 61815
625.63/627.31 c #Conflicts: 480000 | #Constraints: 62815
625.63/627.31 c #Conflicts: 481000 | #Constraints: 63815
625.63/627.31 c #Conflicts: 482000 | #Constraints: 64815
625.63/627.31 c #Conflicts: 483000 | #Constraints: 65815
625.63/627.31 c #Conflicts: 484000 | #Constraints: 66815
625.63/627.31 c #Conflicts: 485000 | #Constraints: 67815
625.63/627.31 c #Conflicts: 486000 | #Constraints: 68815
625.63/627.31 c #Conflicts: 487000 | #Constraints: 69815
625.63/627.31 c #Conflicts: 488000 | #Constraints: 70815
625.63/627.31 c #Conflicts: 489000 | #Constraints: 71815
625.63/627.31 c #Conflicts: 490000 | #Constraints: 72815
625.63/627.31 c #Conflicts: 491000 | #Constraints: 73815
625.63/627.31 c #Conflicts: 492000 | #Constraints: 74815
625.63/627.31 c #Conflicts: 493000 | #Constraints: 75815
625.63/627.31 c #Conflicts: 494000 | #Constraints: 76815
625.63/627.31 c INPROCESSING
625.63/627.31 c GARBAGE COLLECT
625.63/627.31 c #Conflicts: 495000 | #Constraints: 42247
625.63/627.31 c #Conflicts: 496000 | #Constraints: 43247
625.63/627.31 c #Conflicts: 497000 | #Constraints: 44247
625.63/627.31 c #Conflicts: 498000 | #Constraints: 45247
625.63/627.31 c #Conflicts: 499000 | #Constraints: 46247
625.63/627.31 c #Conflicts: 500000 | #Constraints: 47247
625.63/627.31 c #Conflicts: 501000 | #Constraints: 48247
625.63/627.31 c #Conflicts: 502000 | #Constraints: 49247
625.63/627.31 c #Conflicts: 503000 | #Constraints: 50247
625.63/627.31 c #Conflicts: 504000 | #Constraints: 51247
625.63/627.31 c #Conflicts: 505000 | #Constraints: 52247
625.63/627.31 c #Conflicts: 506000 | #Constraints: 53247
625.63/627.31 c #Conflicts: 507000 | #Constraints: 54247
625.63/627.31 c #Conflicts: 508000 | #Constraints: 55247
625.63/627.31 c #Conflicts: 509000 | #Constraints: 56247
625.63/627.31 c INPROCESSING
625.63/627.31 c GARBAGE COLLECT
625.63/627.31 c #Conflicts: 510000 | #Constraints: 31874
625.63/627.31 c #Conflicts: 511000 | #Constraints: 32874
625.63/627.31 c #Conflicts: 512000 | #Constraints: 33874
625.63/627.31 c #Conflicts: 513000 | #Constraints: 34874
625.63/627.31 c #Conflicts: 514000 | #Constraints: 35874
625.63/627.31 c #Conflicts: 515000 | #Constraints: 36874
625.63/627.31 c #Conflicts: 516000 | #Constraints: 37874
625.63/627.31 c #Conflicts: 517000 | #Constraints: 38874
625.63/627.31 c #Conflicts: 518000 | #Constraints: 39874
625.63/627.31 c #Conflicts: 519000 | #Constraints: 40874
625.63/627.31 c #Conflicts: 520000 | #Constraints: 41874
625.63/627.31 c #Conflicts: 521000 | #Constraints: 42874
625.63/627.31 c #Conflicts: 522000 | #Constraints: 43874
625.63/627.31 c #Conflicts: 523000 | #Constraints: 44874
625.63/627.31 c #Conflicts: 524000 | #Constraints: 45874
625.63/627.31 c #Conflicts: 525000 | #Constraints: 46874
625.63/627.31 c INPROCESSING
625.63/627.31 c GARBAGE COLLECT
625.63/627.31 c rational objective 81
707.20/709.14 c #Conflicts: 526000 | #Constraints: 27490
707.20/709.14 c #Conflicts: 527000 | #Constraints: 28490
707.20/709.14 c #Conflicts: 528000 | #Constraints: 29490
707.20/709.14 c #Conflicts: 529000 | #Constraints: 30490
707.20/709.14 c #Conflicts: 530000 | #Constraints: 31490
707.20/709.14 c #Conflicts: 531000 | #Constraints: 32490
707.20/709.14 c #Conflicts: 532000 | #Constraints: 33490
707.20/709.14 c #Conflicts: 533000 | #Constraints: 34490
707.20/709.14 c #Conflicts: 534000 | #Constraints: 35490
707.20/709.14 c #Conflicts: 535000 | #Constraints: 36490
707.20/709.14 c #Conflicts: 536000 | #Constraints: 37490
707.20/709.14 c #Conflicts: 537000 | #Constraints: 38490
707.20/709.14 c #Conflicts: 538000 | #Constraints: 39490
707.20/709.14 c #Conflicts: 539000 | #Constraints: 40490
707.20/709.14 c #Conflicts: 540000 | #Constraints: 41490
707.20/709.14 c INPROCESSING
707.20/709.14 c GARBAGE COLLECT
707.20/709.14 c #Conflicts: 541000 | #Constraints: 24471
707.20/709.14 c #Conflicts: 542000 | #Constraints: 25471
707.20/709.14 c #Conflicts: 543000 | #Constraints: 26471
707.20/709.14 c #Conflicts: 544000 | #Constraints: 27471
707.20/709.14 c #Conflicts: 545000 | #Constraints: 28471
707.20/709.14 c #Conflicts: 546000 | #Constraints: 29471
707.20/709.14 c #Conflicts: 547000 | #Constraints: 30471
707.20/709.14 c #Conflicts: 548000 | #Constraints: 31471
707.20/709.14 c #Conflicts: 549000 | #Constraints: 32471
707.20/709.14 c #Conflicts: 550000 | #Constraints: 33471
707.20/709.14 c #Conflicts: 551000 | #Constraints: 34471
707.20/709.14 c #Conflicts: 552000 | #Constraints: 35471
707.20/709.14 c #Conflicts: 553000 | #Constraints: 36471
707.20/709.14 c #Conflicts: 554000 | #Constraints: 37471
707.20/709.14 c #Conflicts: 555000 | #Constraints: 38471
707.20/709.14 c #Conflicts: 556000 | #Constraints: 39471
707.20/709.14 c INPROCESSING
707.20/709.14 c GARBAGE COLLECT
707.20/709.14 c #Conflicts: 557000 | #Constraints: 23562
707.20/709.14 c #Conflicts: 558000 | #Constraints: 24562
707.20/709.14 c #Conflicts: 559000 | #Constraints: 25562
707.20/709.14 c #Conflicts: 560000 | #Constraints: 26562
707.20/709.14 c #Conflicts: 561000 | #Constraints: 27562
707.20/709.14 c #Conflicts: 562000 | #Constraints: 28562
707.20/709.14 c #Conflicts: 563000 | #Constraints: 29562
707.20/709.14 c #Conflicts: 564000 | #Constraints: 30562
707.20/709.14 c #Conflicts: 565000 | #Constraints: 31562
707.20/709.14 c #Conflicts: 566000 | #Constraints: 32562
707.20/709.14 c #Conflicts: 567000 | #Constraints: 33562
707.20/709.14 c #Conflicts: 568000 | #Constraints: 34562
707.20/709.14 c #Conflicts: 569000 | #Constraints: 35562
707.20/709.14 c #Conflicts: 570000 | #Constraints: 36562
707.20/709.14 c #Conflicts: 571000 | #Constraints: 37562
707.20/709.14 c #Conflicts: 572000 | #Constraints: 38562
707.20/709.14 c INPROCESSING
707.20/709.14 c GARBAGE COLLECT
707.20/709.14 c #Conflicts: 573000 | #Constraints: 23123
707.20/709.14 c #Conflicts: 574000 | #Constraints: 24123
707.20/709.14 c #Conflicts: 575000 | #Constraints: 25123
707.20/709.14 c #Conflicts: 576000 | #Constraints: 26123
707.20/709.14 c #Conflicts: 577000 | #Constraints: 27123
707.20/709.14 c #Conflicts: 578000 | #Constraints: 28123
707.20/709.14 c #Conflicts: 579000 | #Constraints: 29123
707.20/709.14 c #Conflicts: 580000 | #Constraints: 30123
707.20/709.14 c #Conflicts: 581000 | #Constraints: 31123
707.20/709.14 c #Conflicts: 582000 | #Constraints: 32123
707.20/709.14 c #Conflicts: 583000 | #Constraints: 33123
707.20/709.14 c #Conflicts: 584000 | #Constraints: 34123
707.20/709.14 c #Conflicts: 585000 | #Constraints: 35123
707.20/709.14 c #Conflicts: 586000 | #Constraints: 36123
707.20/709.14 c #Conflicts: 587000 | #Constraints: 37123
707.20/709.14 c #Conflicts: 588000 | #Constraints: 38123
707.20/709.14 c INPROCESSING
707.20/709.14 c GARBAGE COLLECT
707.20/709.14 c #Conflicts: 589000 | #Constraints: 22823
707.20/709.14 c #Conflicts: 590000 | #Constraints: 23823
707.20/709.14 c #Conflicts: 591000 | #Constraints: 24824
707.20/709.14 c #Conflicts: 592000 | #Constraints: 25824
707.20/709.14 c #Conflicts: 593000 | #Constraints: 26824
707.20/709.14 c #Conflicts: 594000 | #Constraints: 27824
707.20/709.14 c #Conflicts: 595000 | #Constraints: 28824
707.20/709.14 c #Conflicts: 596000 | #Constraints: 29824
707.20/709.14 c #Conflicts: 597000 | #Constraints: 30824
707.20/709.14 c #Conflicts: 598000 | #Constraints: 31824
707.20/709.14 c #Conflicts: 599000 | #Constraints: 32824
707.20/709.14 c #Conflicts: 600000 | #Constraints: 33824
707.20/709.14 c #Conflicts: 601000 | #Constraints: 34824
707.20/709.14 c #Conflicts: 602000 | #Constraints: 35824
825.41/827.70 c #Conflicts: 603000 | #Constraints: 36824
825.41/827.70 c #Conflicts: 604000 | #Constraints: 37824
825.41/827.70 c #Conflicts: 605000 | #Constraints: 38824
825.41/827.70 c #Conflicts: 606000 | #Constraints: 39824
825.41/827.70 c #Conflicts: 607000 | #Constraints: 40824
825.41/827.70 c #Conflicts: 608000 | #Constraints: 41824
825.41/827.70 c #Conflicts: 609000 | #Constraints: 42824
825.41/827.70 c #Conflicts: 610000 | #Constraints: 43824
825.41/827.70 c #Conflicts: 611000 | #Constraints: 44824
825.41/827.70 c #Conflicts: 612000 | #Constraints: 45824
825.41/827.70 c #Conflicts: 613000 | #Constraints: 46824
825.41/827.70 c #Conflicts: 614000 | #Constraints: 47824
825.41/827.70 c #Conflicts: 615000 | #Constraints: 48824
825.41/827.70 c #Conflicts: 616000 | #Constraints: 49824
825.41/827.70 c #Conflicts: 617000 | #Constraints: 50824
825.41/827.70 c #Conflicts: 618000 | #Constraints: 51824
825.41/827.70 c #Conflicts: 619000 | #Constraints: 52824
825.41/827.70 c #Conflicts: 620000 | #Constraints: 53824
825.41/827.70 c #Conflicts: 621000 | #Constraints: 54824
825.41/827.70 c #Conflicts: 622000 | #Constraints: 55824
825.41/827.70 c #Conflicts: 623000 | #Constraints: 56824
825.41/827.70 c #Conflicts: 624000 | #Constraints: 57824
825.41/827.70 c #Conflicts: 625000 | #Constraints: 58824
825.41/827.70 c #Conflicts: 626000 | #Constraints: 59824
825.41/827.70 c #Conflicts: 627000 | #Constraints: 60824
825.41/827.70 c #Conflicts: 628000 | #Constraints: 61824
825.41/827.70 c #Conflicts: 629000 | #Constraints: 62824
825.41/827.70 c #Conflicts: 630000 | #Constraints: 63824
825.41/827.70 c #Conflicts: 631000 | #Constraints: 64824
825.41/827.70 c #Conflicts: 632000 | #Constraints: 65824
825.41/827.70 c #Conflicts: 633000 | #Constraints: 66824
825.41/827.70 c #Conflicts: 634000 | #Constraints: 67824
825.41/827.70 c #Conflicts: 635000 | #Constraints: 68824
825.41/827.70 c #Conflicts: 636000 | #Constraints: 69824
825.41/827.70 c #Conflicts: 637000 | #Constraints: 70824
825.41/827.70 c #Conflicts: 638000 | #Constraints: 71824
825.41/827.70 c #Conflicts: 639000 | #Constraints: 72824
825.41/827.70 c #Conflicts: 640000 | #Constraints: 73824
825.41/827.70 c #Conflicts: 641000 | #Constraints: 74824
825.41/827.70 c #Conflicts: 642000 | #Constraints: 75824
825.41/827.70 c #Conflicts: 643000 | #Constraints: 76824
825.41/827.70 c #Conflicts: 644000 | #Constraints: 77824
825.41/827.70 c #Conflicts: 645000 | #Constraints: 78824
825.41/827.70 c #Conflicts: 646000 | #Constraints: 79824
825.41/827.70 c #Conflicts: 647000 | #Constraints: 80824
825.41/827.70 c #Conflicts: 648000 | #Constraints: 81824
825.41/827.70 c #Conflicts: 649000 | #Constraints: 82824
825.41/827.70 c #Conflicts: 650000 | #Constraints: 83824
825.41/827.70 c #Conflicts: 651000 | #Constraints: 84824
825.41/827.70 c #Conflicts: 652000 | #Constraints: 85824
825.41/827.70 c #Conflicts: 653000 | #Constraints: 86824
825.41/827.70 c #Conflicts: 654000 | #Constraints: 87824
825.41/827.70 c INPROCESSING
825.41/827.70 c GARBAGE COLLECT
825.41/827.70 c rational objective 81
862.42/864.87 c #Conflicts: 655000 | #Constraints: 47653
862.42/864.87 c #Conflicts: 656000 | #Constraints: 48653
862.42/864.87 c #Conflicts: 657000 | #Constraints: 49653
862.42/864.87 c #Conflicts: 658000 | #Constraints: 50653
862.42/864.87 c #Conflicts: 659000 | #Constraints: 51653
862.42/864.87 c #Conflicts: 660000 | #Constraints: 52653
862.42/864.87 c #Conflicts: 661000 | #Constraints: 53653
862.42/864.87 c #Conflicts: 662000 | #Constraints: 54653
862.42/864.87 c #Conflicts: 663000 | #Constraints: 55653
862.42/864.87 c #Conflicts: 664000 | #Constraints: 56653
862.42/864.87 c #Conflicts: 665000 | #Constraints: 57653
862.42/864.87 c #Conflicts: 666000 | #Constraints: 58653
862.42/864.87 c #Conflicts: 667000 | #Constraints: 59653
862.42/864.87 c #Conflicts: 668000 | #Constraints: 60653
862.42/864.87 c #Conflicts: 669000 | #Constraints: 61653
862.42/864.87 c #Conflicts: 670000 | #Constraints: 62653
862.42/864.87 c #Conflicts: 671000 | #Constraints: 63653
862.42/864.87 c #Conflicts: 672000 | #Constraints: 64653
862.42/864.87 c INPROCESSING
862.42/864.87 c GARBAGE COLLECT
862.42/864.87 c rational objective 81
967.26/969.96 c #Conflicts: 673000 | #Constraints: 36406
967.26/969.96 c #Conflicts: 674000 | #Constraints: 37406
967.26/969.96 c #Conflicts: 675000 | #Constraints: 38406
967.26/969.96 c #Conflicts: 676000 | #Constraints: 39406
967.26/969.96 c #Conflicts: 677000 | #Constraints: 40406
967.26/969.96 c #Conflicts: 678000 | #Constraints: 41406
967.26/969.96 c #Conflicts: 679000 | #Constraints: 42406
967.26/969.96 c #Conflicts: 680000 | #Constraints: 43406
967.26/969.96 c #Conflicts: 681000 | #Constraints: 44406
967.26/969.96 c #Conflicts: 682000 | #Constraints: 45406
967.26/969.96 c #Conflicts: 683000 | #Constraints: 46406
967.26/969.96 c #Conflicts: 684000 | #Constraints: 47406
967.26/969.96 c #Conflicts: 685000 | #Constraints: 48406
967.26/969.96 c #Conflicts: 686000 | #Constraints: 49406
967.26/969.96 c #Conflicts: 687000 | #Constraints: 50406
967.26/969.96 c #Conflicts: 688000 | #Constraints: 51406
967.26/969.96 c #Conflicts: 689000 | #Constraints: 52406
967.26/969.96 c INPROCESSING
967.26/969.96 c GARBAGE COLLECT
967.26/969.96 c #Conflicts: 690000 | #Constraints: 29906
967.26/969.96 c #Conflicts: 691000 | #Constraints: 30906
967.26/969.96 c #Conflicts: 692000 | #Constraints: 31906
967.26/969.96 c #Conflicts: 693000 | #Constraints: 32906
967.26/969.96 c #Conflicts: 694000 | #Constraints: 33906
967.26/969.96 c #Conflicts: 695000 | #Constraints: 34906
967.26/969.96 c #Conflicts: 696000 | #Constraints: 35906
967.26/969.96 c #Conflicts: 697000 | #Constraints: 36906
967.26/969.96 c #Conflicts: 698000 | #Constraints: 37906
967.26/969.96 c #Conflicts: 699000 | #Constraints: 38906
967.26/969.96 c #Conflicts: 700000 | #Constraints: 39906
967.26/969.96 c #Conflicts: 701000 | #Constraints: 40906
967.26/969.96 c #Conflicts: 702000 | #Constraints: 41906
967.26/969.96 c #Conflicts: 703000 | #Constraints: 42906
967.26/969.96 c #Conflicts: 704000 | #Constraints: 43906
967.26/969.96 c #Conflicts: 705000 | #Constraints: 44906
967.26/969.96 c #Conflicts: 706000 | #Constraints: 45906
967.26/969.96 c #Conflicts: 707000 | #Constraints: 46906
967.26/969.96 c INPROCESSING
967.26/969.96 c GARBAGE COLLECT
967.26/969.96 c #Conflicts: 708000 | #Constraints: 27230
967.26/969.96 c #Conflicts: 709000 | #Constraints: 28230
967.26/969.96 c #Conflicts: 710000 | #Constraints: 29230
967.26/969.96 c #Conflicts: 711000 | #Constraints: 30230
967.26/969.96 c #Conflicts: 712000 | #Constraints: 31230
967.26/969.96 c #Conflicts: 713000 | #Constraints: 32230
967.26/969.96 c #Conflicts: 714000 | #Constraints: 33230
967.26/969.96 c #Conflicts: 715000 | #Constraints: 34230
967.26/969.96 c #Conflicts: 716000 | #Constraints: 35230
967.26/969.96 c #Conflicts: 717000 | #Constraints: 36230
967.26/969.96 c #Conflicts: 718000 | #Constraints: 37230
967.26/969.96 c #Conflicts: 719000 | #Constraints: 38230
967.26/969.96 c #Conflicts: 720000 | #Constraints: 39230
967.26/969.96 c #Conflicts: 721000 | #Constraints: 40230
967.26/969.96 c #Conflicts: 722000 | #Constraints: 41230
967.26/969.96 c #Conflicts: 723000 | #Constraints: 42230
967.26/969.96 c #Conflicts: 724000 | #Constraints: 43230
967.26/969.96 c #Conflicts: 725000 | #Constraints: 44230
967.26/969.96 c INPROCESSING
967.26/969.96 c GARBAGE COLLECT
967.26/969.96 c #Conflicts: 726000 | #Constraints: 25868
967.26/969.96 c #Conflicts: 727000 | #Constraints: 26868
967.26/969.96 c #Conflicts: 728000 | #Constraints: 27868
967.26/969.96 c #Conflicts: 729000 | #Constraints: 28868
967.26/969.96 c #Conflicts: 730000 | #Constraints: 29868
967.26/969.96 c #Conflicts: 731000 | #Constraints: 30868
967.26/969.96 c #Conflicts: 732000 | #Constraints: 31868
967.26/969.96 c #Conflicts: 733000 | #Constraints: 32868
967.26/969.96 c #Conflicts: 734000 | #Constraints: 33868
967.26/969.96 c #Conflicts: 735000 | #Constraints: 34868
967.26/969.96 c #Conflicts: 736000 | #Constraints: 35868
967.26/969.96 c #Conflicts: 737000 | #Constraints: 36868
967.26/969.96 c #Conflicts: 738000 | #Constraints: 37868
967.26/969.96 c #Conflicts: 739000 | #Constraints: 38868
967.26/969.96 c #Conflicts: 740000 | #Constraints: 39868
967.26/969.96 c #Conflicts: 741000 | #Constraints: 40868
967.26/969.96 c #Conflicts: 742000 | #Constraints: 41868
967.26/969.96 c #Conflicts: 743000 | #Constraints: 42868
967.26/969.96 c #Conflicts: 744000 | #Constraints: 43868
967.26/969.96 c INPROCESSING
967.26/969.96 c GARBAGE COLLECT
967.26/969.96 c #Conflicts: 745000 | #Constraints: 25969
967.26/969.96 c #Conflicts: 746000 | #Constraints: 26969
967.26/969.96 c #Conflicts: 747000 | #Constraints: 27969
967.26/969.96 c #Conflicts: 748000 | #Constraints: 28969
967.26/969.96 c #Conflicts: 749000 | #Constraints: 29969
1134.93/1138.04 c #Conflicts: 750000 | #Constraints: 30969
1134.93/1138.04 c #Conflicts: 751000 | #Constraints: 31969
1134.93/1138.04 c #Conflicts: 752000 | #Constraints: 32969
1134.93/1138.04 c #Conflicts: 753000 | #Constraints: 33969
1134.93/1138.04 c #Conflicts: 754000 | #Constraints: 34969
1134.93/1138.04 c #Conflicts: 755000 | #Constraints: 35969
1134.93/1138.04 c #Conflicts: 756000 | #Constraints: 36969
1134.93/1138.04 c #Conflicts: 757000 | #Constraints: 37969
1134.93/1138.04 c #Conflicts: 758000 | #Constraints: 38969
1134.93/1138.04 c #Conflicts: 759000 | #Constraints: 39969
1134.93/1138.04 c #Conflicts: 760000 | #Constraints: 40969
1134.93/1138.04 c #Conflicts: 761000 | #Constraints: 41969
1134.93/1138.04 c #Conflicts: 762000 | #Constraints: 42969
1134.93/1138.04 c #Conflicts: 763000 | #Constraints: 43969
1134.93/1138.04 c #Conflicts: 764000 | #Constraints: 44969
1134.93/1138.04 c #Conflicts: 765000 | #Constraints: 45969
1134.93/1138.04 c #Conflicts: 766000 | #Constraints: 46969
1134.93/1138.04 c #Conflicts: 767000 | #Constraints: 47969
1134.93/1138.04 c #Conflicts: 768000 | #Constraints: 48969
1134.93/1138.04 c #Conflicts: 769000 | #Constraints: 49969
1134.93/1138.04 c #Conflicts: 770000 | #Constraints: 50969
1134.93/1138.04 c #Conflicts: 771000 | #Constraints: 51969
1134.93/1138.04 c #Conflicts: 772000 | #Constraints: 52969
1134.93/1138.04 c #Conflicts: 773000 | #Constraints: 53969
1134.93/1138.04 c #Conflicts: 774000 | #Constraints: 54969
1134.93/1138.04 c #Conflicts: 775000 | #Constraints: 55969
1134.93/1138.04 c #Conflicts: 776000 | #Constraints: 56969
1134.93/1138.04 c #Conflicts: 777000 | #Constraints: 57969
1134.93/1138.04 c #Conflicts: 778000 | #Constraints: 58969
1134.93/1138.04 c #Conflicts: 779000 | #Constraints: 59969
1134.93/1138.04 c #Conflicts: 780000 | #Constraints: 60969
1134.93/1138.04 c #Conflicts: 781000 | #Constraints: 61969
1134.93/1138.04 c #Conflicts: 782000 | #Constraints: 62969
1134.93/1138.04 c #Conflicts: 783000 | #Constraints: 63969
1134.93/1138.04 c #Conflicts: 784000 | #Constraints: 64969
1134.93/1138.04 c #Conflicts: 785000 | #Constraints: 65969
1134.93/1138.04 c #Conflicts: 786000 | #Constraints: 66969
1134.93/1138.04 c #Conflicts: 787000 | #Constraints: 67969
1134.93/1138.04 c #Conflicts: 788000 | #Constraints: 68969
1134.93/1138.04 c #Conflicts: 789000 | #Constraints: 69969
1134.93/1138.04 c #Conflicts: 790000 | #Constraints: 70969
1134.93/1138.04 c #Conflicts: 791000 | #Constraints: 71969
1134.93/1138.04 c #Conflicts: 792000 | #Constraints: 72969
1134.93/1138.04 c #Conflicts: 793000 | #Constraints: 73969
1134.93/1138.04 c #Conflicts: 794000 | #Constraints: 74969
1134.93/1138.04 c #Conflicts: 795000 | #Constraints: 75969
1134.93/1138.04 c #Conflicts: 796000 | #Constraints: 76969
1134.93/1138.04 c #Conflicts: 797000 | #Constraints: 77969
1134.93/1138.04 c #Conflicts: 798000 | #Constraints: 78969
1134.93/1138.04 c #Conflicts: 799000 | #Constraints: 79969
1134.93/1138.04 c #Conflicts: 800000 | #Constraints: 80969
1134.93/1138.04 c #Conflicts: 801000 | #Constraints: 81969
1134.93/1138.04 c #Conflicts: 802000 | #Constraints: 82969
1134.93/1138.04 c #Conflicts: 803000 | #Constraints: 83969
1134.93/1138.04 c #Conflicts: 804000 | #Constraints: 84969
1134.93/1138.04 c #Conflicts: 805000 | #Constraints: 85969
1134.93/1138.04 c #Conflicts: 806000 | #Constraints: 86969
1134.93/1138.04 c #Conflicts: 807000 | #Constraints: 87969
1134.93/1138.04 c #Conflicts: 808000 | #Constraints: 88969
1134.93/1138.04 c #Conflicts: 809000 | #Constraints: 89969
1134.93/1138.04 c #Conflicts: 810000 | #Constraints: 90969
1134.93/1138.04 c #Conflicts: 811000 | #Constraints: 91969
1134.93/1138.04 c #Conflicts: 812000 | #Constraints: 92969
1134.93/1138.04 c #Conflicts: 813000 | #Constraints: 93969
1134.93/1138.04 c #Conflicts: 814000 | #Constraints: 94969
1134.93/1138.04 c #Conflicts: 815000 | #Constraints: 95969
1134.93/1138.04 c #Conflicts: 816000 | #Constraints: 96969
1134.93/1138.04 c #Conflicts: 817000 | #Constraints: 97969
1134.93/1138.04 c INPROCESSING
1134.93/1138.04 c GARBAGE COLLECT
1134.93/1138.04 c rational objective 81
1176.93/1180.12 c #Conflicts: 818000 | #Constraints: 52840
1176.93/1180.12 c #Conflicts: 819000 | #Constraints: 53840
1176.93/1180.12 c #Conflicts: 820000 | #Constraints: 54840
1176.93/1180.12 c #Conflicts: 821000 | #Constraints: 55840
1176.93/1180.12 c #Conflicts: 822000 | #Constraints: 56840
1176.93/1180.12 c #Conflicts: 823000 | #Constraints: 57840
1176.93/1180.12 c #Conflicts: 824000 | #Constraints: 58840
1176.93/1180.12 c #Conflicts: 825000 | #Constraints: 59840
1176.93/1180.12 c #Conflicts: 826000 | #Constraints: 60840
1176.93/1180.12 c #Conflicts: 827000 | #Constraints: 61840
1176.93/1180.12 c #Conflicts: 828000 | #Constraints: 62840
1176.93/1180.12 c #Conflicts: 829000 | #Constraints: 63840
1176.93/1180.12 c #Conflicts: 830000 | #Constraints: 64840
1176.93/1180.12 c #Conflicts: 831000 | #Constraints: 65840
1176.93/1180.12 c #Conflicts: 832000 | #Constraints: 66840
1176.93/1180.12 c #Conflicts: 833000 | #Constraints: 67840
1176.93/1180.12 c #Conflicts: 834000 | #Constraints: 68840
1176.93/1180.12 c #Conflicts: 835000 | #Constraints: 69840
1176.93/1180.12 c #Conflicts: 836000 | #Constraints: 70840
1176.93/1180.12 c #Conflicts: 837000 | #Constraints: 71840
1176.93/1180.12 c INPROCESSING
1176.93/1180.12 c GARBAGE COLLECT
1176.93/1180.12 c rational objective 81
1215.73/1219.10 c #Conflicts: 838000 | #Constraints: 40035
1215.73/1219.10 c #Conflicts: 839000 | #Constraints: 41035
1215.73/1219.10 c #Conflicts: 840000 | #Constraints: 42035
1215.73/1219.10 c #Conflicts: 841000 | #Constraints: 43035
1215.73/1219.10 c #Conflicts: 842000 | #Constraints: 44035
1215.73/1219.10 c #Conflicts: 843000 | #Constraints: 45035
1215.73/1219.10 c #Conflicts: 844000 | #Constraints: 46035
1215.73/1219.10 c #Conflicts: 845000 | #Constraints: 47035
1215.73/1219.10 c #Conflicts: 846000 | #Constraints: 48035
1215.73/1219.10 c #Conflicts: 847000 | #Constraints: 49035
1215.73/1219.10 c #Conflicts: 848000 | #Constraints: 50035
1215.73/1219.10 c #Conflicts: 849000 | #Constraints: 51035
1215.73/1219.10 c #Conflicts: 850000 | #Constraints: 52035
1215.73/1219.10 c #Conflicts: 851000 | #Constraints: 53035
1215.73/1219.10 c #Conflicts: 852000 | #Constraints: 54035
1215.73/1219.10 c #Conflicts: 853000 | #Constraints: 55035
1215.73/1219.10 c #Conflicts: 854000 | #Constraints: 56035
1215.73/1219.10 c #Conflicts: 855000 | #Constraints: 57035
1215.73/1219.10 c #Conflicts: 856000 | #Constraints: 58035
1215.73/1219.10 c INPROCESSING
1215.73/1219.10 c GARBAGE COLLECT
1215.73/1219.10 c rational objective 81
1270.78/1274.29 c #Conflicts: 857000 | #Constraints: 32808
1270.78/1274.29 c #Conflicts: 858000 | #Constraints: 33808
1270.78/1274.29 c #Conflicts: 859000 | #Constraints: 34808
1270.78/1274.29 c #Conflicts: 860000 | #Constraints: 35808
1270.78/1274.29 c #Conflicts: 861000 | #Constraints: 36808
1270.78/1274.29 c #Conflicts: 862000 | #Constraints: 37808
1270.78/1274.29 c #Conflicts: 863000 | #Constraints: 38808
1270.78/1274.29 c #Conflicts: 864000 | #Constraints: 39808
1270.78/1274.29 c #Conflicts: 865000 | #Constraints: 40808
1270.78/1274.29 c #Conflicts: 866000 | #Constraints: 41808
1270.78/1274.29 c #Conflicts: 867000 | #Constraints: 42808
1270.78/1274.29 c #Conflicts: 868000 | #Constraints: 43808
1270.78/1274.29 c #Conflicts: 869000 | #Constraints: 44808
1270.78/1274.29 c #Conflicts: 870000 | #Constraints: 45808
1270.78/1274.29 c #Conflicts: 871000 | #Constraints: 46808
1270.78/1274.29 c #Conflicts: 872000 | #Constraints: 47808
1270.78/1274.29 c #Conflicts: 873000 | #Constraints: 48808
1270.78/1274.29 c #Conflicts: 874000 | #Constraints: 49808
1270.78/1274.29 c #Conflicts: 875000 | #Constraints: 50808
1270.78/1274.29 c #Conflicts: 876000 | #Constraints: 51808
1270.78/1274.29 c INPROCESSING
1270.78/1274.29 c GARBAGE COLLECT
1270.78/1274.29 c #Conflicts: 877000 | #Constraints: 29573
1270.78/1274.29 c #Conflicts: 878000 | #Constraints: 30573
1270.78/1274.29 c #Conflicts: 879000 | #Constraints: 31573
1270.78/1274.29 c #Conflicts: 880000 | #Constraints: 32573
1270.78/1274.29 c #Conflicts: 881000 | #Constraints: 33573
1270.78/1274.29 c #Conflicts: 882000 | #Constraints: 34573
1270.78/1274.29 c #Conflicts: 883000 | #Constraints: 35573
1270.78/1274.29 c #Conflicts: 884000 | #Constraints: 36573
1270.78/1274.29 c #Conflicts: 885000 | #Constraints: 37573
1270.78/1274.29 c #Conflicts: 886000 | #Constraints: 38573
1270.78/1274.29 c #Conflicts: 887000 | #Constraints: 39573
1270.78/1274.29 c #Conflicts: 888000 | #Constraints: 40573
1270.78/1274.29 c #Conflicts: 889000 | #Constraints: 41573
1270.78/1274.29 c #Conflicts: 890000 | #Constraints: 42573
1270.78/1274.29 c #Conflicts: 891000 | #Constraints: 43573
1270.78/1274.29 c #Conflicts: 892000 | #Constraints: 44573
1270.78/1274.29 c #Conflicts: 893000 | #Constraints: 45573
1270.78/1274.29 c #Conflicts: 894000 | #Constraints: 46573
1270.78/1274.29 c #Conflicts: 895000 | #Constraints: 47573
1270.78/1274.29 c #Conflicts: 896000 | #Constraints: 48573
1270.78/1274.29 c #Conflicts: 897000 | #Constraints: 49573
1270.78/1274.29 c INPROCESSING
1270.78/1274.29 c GARBAGE COLLECT
1270.78/1274.29 c rational objective 81
1409.09/1413.00 c #Conflicts: 898000 | #Constraints: 28866
1409.09/1413.00 c #Conflicts: 899000 | #Constraints: 29866
1409.09/1413.00 c #Conflicts: 900000 | #Constraints: 30866
1409.09/1413.00 c #Conflicts: 901000 | #Constraints: 31866
1409.09/1413.00 c #Conflicts: 902000 | #Constraints: 32866
1409.09/1413.00 c #Conflicts: 903000 | #Constraints: 33866
1409.09/1413.00 c #Conflicts: 904000 | #Constraints: 34866
1409.09/1413.00 c #Conflicts: 905000 | #Constraints: 35866
1409.09/1413.00 c #Conflicts: 906000 | #Constraints: 36866
1409.09/1413.00 c #Conflicts: 907000 | #Constraints: 37866
1409.09/1413.00 c #Conflicts: 908000 | #Constraints: 38866
1409.09/1413.00 c #Conflicts: 909000 | #Constraints: 39866
1409.09/1413.00 c #Conflicts: 910000 | #Constraints: 40866
1409.09/1413.00 c #Conflicts: 911000 | #Constraints: 41866
1409.09/1413.00 c #Conflicts: 912000 | #Constraints: 42866
1409.09/1413.00 c #Conflicts: 913000 | #Constraints: 43866
1409.09/1413.00 c #Conflicts: 914000 | #Constraints: 44866
1409.09/1413.00 c #Conflicts: 915000 | #Constraints: 45866
1409.09/1413.00 c #Conflicts: 916000 | #Constraints: 46866
1409.09/1413.00 c #Conflicts: 917000 | #Constraints: 47866
1409.09/1413.00 c INPROCESSING
1409.09/1413.00 c GARBAGE COLLECT
1409.09/1413.00 c #Conflicts: 918000 | #Constraints: 27830
1409.09/1413.00 c #Conflicts: 919000 | #Constraints: 28830
1409.09/1413.00 c #Conflicts: 920000 | #Constraints: 29830
1409.09/1413.00 c #Conflicts: 921000 | #Constraints: 30830
1409.09/1413.00 c #Conflicts: 922000 | #Constraints: 31830
1409.09/1413.00 c #Conflicts: 923000 | #Constraints: 32830
1409.09/1413.00 c #Conflicts: 924000 | #Constraints: 33830
1409.09/1413.00 c #Conflicts: 925000 | #Constraints: 34830
1409.09/1413.00 c #Conflicts: 926000 | #Constraints: 35830
1409.09/1413.00 c #Conflicts: 927000 | #Constraints: 36831
1409.09/1413.00 c #Conflicts: 928000 | #Constraints: 37831
1409.09/1413.00 c #Conflicts: 929000 | #Constraints: 38831
1409.09/1413.00 c #Conflicts: 930000 | #Constraints: 39831
1409.09/1413.00 c #Conflicts: 931000 | #Constraints: 40831
1409.09/1413.00 c #Conflicts: 932000 | #Constraints: 41831
1409.09/1413.00 c #Conflicts: 933000 | #Constraints: 42831
1409.09/1413.00 c #Conflicts: 934000 | #Constraints: 43831
1409.09/1413.00 c #Conflicts: 935000 | #Constraints: 44831
1409.09/1413.00 c #Conflicts: 936000 | #Constraints: 45831
1409.09/1413.00 c #Conflicts: 937000 | #Constraints: 46831
1409.09/1413.00 c #Conflicts: 938000 | #Constraints: 47831
1409.09/1413.00 c #Conflicts: 939000 | #Constraints: 48831
1409.09/1413.00 c #Conflicts: 940000 | #Constraints: 49831
1409.09/1413.00 c #Conflicts: 941000 | #Constraints: 50831
1409.09/1413.00 c #Conflicts: 942000 | #Constraints: 51831
1409.09/1413.00 c #Conflicts: 943000 | #Constraints: 52831
1409.09/1413.00 c #Conflicts: 944000 | #Constraints: 53831
1409.09/1413.00 c #Conflicts: 945000 | #Constraints: 54831
1409.09/1413.00 c #Conflicts: 946000 | #Constraints: 55831
1409.09/1413.00 c #Conflicts: 947000 | #Constraints: 56831
1409.09/1413.00 c #Conflicts: 948000 | #Constraints: 57831
1409.09/1413.00 c #Conflicts: 949000 | #Constraints: 58831
1409.09/1413.00 c #Conflicts: 950000 | #Constraints: 59831
1409.09/1413.00 c #Conflicts: 951000 | #Constraints: 60831
1409.09/1413.00 c #Conflicts: 952000 | #Constraints: 61831
1409.09/1413.00 c #Conflicts: 953000 | #Constraints: 62831
1409.09/1413.00 c #Conflicts: 954000 | #Constraints: 63831
1409.09/1413.00 c #Conflicts: 955000 | #Constraints: 64831
1409.09/1413.00 c #Conflicts: 956000 | #Constraints: 65831
1409.09/1413.00 c #Conflicts: 957000 | #Constraints: 66831
1409.09/1413.00 c #Conflicts: 958000 | #Constraints: 67831
1409.09/1413.00 c #Conflicts: 959000 | #Constraints: 68831
1409.09/1413.00 c #Conflicts: 960000 | #Constraints: 69831
1409.09/1413.00 c #Conflicts: 961000 | #Constraints: 70831
1409.09/1413.00 c #Conflicts: 962000 | #Constraints: 71831
1409.09/1413.00 c #Conflicts: 963000 | #Constraints: 72831
1409.09/1413.00 c #Conflicts: 964000 | #Constraints: 73831
1409.09/1413.00 c #Conflicts: 965000 | #Constraints: 74831
1409.09/1413.00 c #Conflicts: 966000 | #Constraints: 75831
1409.09/1413.00 c #Conflicts: 967000 | #Constraints: 76831
1409.09/1413.00 c #Conflicts: 968000 | #Constraints: 77831
1409.09/1413.00 c #Conflicts: 969000 | #Constraints: 78831
1409.09/1413.00 c #Conflicts: 970000 | #Constraints: 79831
1409.09/1413.00 c #Conflicts: 971000 | #Constraints: 80831
1409.09/1413.00 c #Conflicts: 972000 | #Constraints: 81831
1409.09/1413.00 c #Conflicts: 973000 | #Constraints: 82831
1409.09/1413.00 c #Conflicts: 974000 | #Constraints: 83831
1409.09/1413.00 c #Conflicts: 975000 | #Constraints: 84831
1409.09/1413.00 c #Conflicts: 976000 | #Constraints: 85831
1491.34/1495.42 c #Conflicts: 977000 | #Constraints: 86831
1491.34/1495.42 c #Conflicts: 978000 | #Constraints: 87831
1491.34/1495.42 c #Conflicts: 979000 | #Constraints: 88831
1491.34/1495.42 c #Conflicts: 980000 | #Constraints: 89831
1491.34/1495.42 c #Conflicts: 981000 | #Constraints: 90831
1491.34/1495.42 c #Conflicts: 982000 | #Constraints: 91831
1491.34/1495.42 c #Conflicts: 983000 | #Constraints: 92831
1491.34/1495.42 c #Conflicts: 984000 | #Constraints: 93831
1491.34/1495.42 c #Conflicts: 985000 | #Constraints: 94831
1491.34/1495.42 c #Conflicts: 986000 | #Constraints: 95831
1491.34/1495.42 c #Conflicts: 987000 | #Constraints: 96831
1491.34/1495.42 c #Conflicts: 988000 | #Constraints: 97831
1491.34/1495.42 c #Conflicts: 989000 | #Constraints: 98831
1491.34/1495.42 c #Conflicts: 990000 | #Constraints: 99831
1491.34/1495.42 c #Conflicts: 991000 | #Constraints: 100831
1491.34/1495.42 c #Conflicts: 992000 | #Constraints: 101831
1491.34/1495.42 c #Conflicts: 993000 | #Constraints: 102831
1491.34/1495.42 c #Conflicts: 994000 | #Constraints: 103831
1491.34/1495.42 c #Conflicts: 995000 | #Constraints: 104831
1491.34/1495.42 c #Conflicts: 996000 | #Constraints: 105831
1491.34/1495.42 c #Conflicts: 997000 | #Constraints: 106831
1491.34/1495.42 c #Conflicts: 998000 | #Constraints: 107831
1491.34/1495.42 c INPROCESSING
1491.34/1495.42 c GARBAGE COLLECT
1491.34/1495.42 c rational objective 81
1548.76/1553.10 c #Conflicts: 999000 | #Constraints: 57912
1548.76/1553.10 c #Conflicts: 1000000 | #Constraints: 58912
1548.76/1553.10 c #Conflicts: 1001000 | #Constraints: 59912
1548.76/1553.10 c #Conflicts: 1002000 | #Constraints: 60912
1548.76/1553.10 c #Conflicts: 1003000 | #Constraints: 61912
1548.76/1553.10 c #Conflicts: 1004000 | #Constraints: 62912
1548.76/1553.10 c #Conflicts: 1005000 | #Constraints: 63912
1548.76/1553.10 c #Conflicts: 1006000 | #Constraints: 64912
1548.76/1553.10 c #Conflicts: 1007000 | #Constraints: 65912
1548.76/1553.10 c #Conflicts: 1008000 | #Constraints: 66912
1548.76/1553.10 c #Conflicts: 1009000 | #Constraints: 67912
1548.76/1553.10 c #Conflicts: 1010000 | #Constraints: 68912
1548.76/1553.10 c #Conflicts: 1011000 | #Constraints: 69912
1548.76/1553.10 c #Conflicts: 1012000 | #Constraints: 70912
1548.76/1553.10 c #Conflicts: 1013000 | #Constraints: 71912
1548.76/1553.10 c #Conflicts: 1014000 | #Constraints: 72912
1548.76/1553.10 c #Conflicts: 1015000 | #Constraints: 73912
1548.76/1553.10 c #Conflicts: 1016000 | #Constraints: 74912
1548.76/1553.10 c #Conflicts: 1017000 | #Constraints: 75912
1548.76/1553.10 c #Conflicts: 1018000 | #Constraints: 76912
1548.76/1553.10 c #Conflicts: 1019000 | #Constraints: 77912
1548.76/1553.10 c #Conflicts: 1020000 | #Constraints: 78912
1548.76/1553.10 c INPROCESSING
1548.76/1553.10 c GARBAGE COLLECT
1548.76/1553.10 c rational objective 81
1665.00/1669.65 c #Conflicts: 1021000 | #Constraints: 43582
1665.00/1669.65 c #Conflicts: 1022000 | #Constraints: 44582
1665.00/1669.65 c #Conflicts: 1023000 | #Constraints: 45582
1665.00/1669.65 c #Conflicts: 1024000 | #Constraints: 46582
1665.00/1669.65 c #Conflicts: 1025000 | #Constraints: 47582
1665.00/1669.65 c #Conflicts: 1026000 | #Constraints: 48582
1665.00/1669.65 c #Conflicts: 1027000 | #Constraints: 49582
1665.00/1669.65 c #Conflicts: 1028000 | #Constraints: 50582
1665.00/1669.65 c #Conflicts: 1029000 | #Constraints: 51582
1665.00/1669.65 c #Conflicts: 1030000 | #Constraints: 52582
1665.00/1669.65 c #Conflicts: 1031000 | #Constraints: 53582
1665.00/1669.65 c #Conflicts: 1032000 | #Constraints: 54582
1665.00/1669.65 c #Conflicts: 1033000 | #Constraints: 55582
1665.00/1669.65 c #Conflicts: 1034000 | #Constraints: 56582
1665.00/1669.65 c #Conflicts: 1035000 | #Constraints: 57582
1665.00/1669.65 c #Conflicts: 1036000 | #Constraints: 58582
1665.00/1669.65 c #Conflicts: 1037000 | #Constraints: 59582
1665.00/1669.65 c #Conflicts: 1038000 | #Constraints: 60582
1665.00/1669.65 c #Conflicts: 1039000 | #Constraints: 61582
1665.00/1669.65 c #Conflicts: 1040000 | #Constraints: 62582
1665.00/1669.65 c #Conflicts: 1041000 | #Constraints: 63582
1665.00/1669.65 c INPROCESSING
1665.00/1669.65 c GARBAGE COLLECT
1665.00/1669.65 c #Conflicts: 1042000 | #Constraints: 35390
1665.00/1669.65 c #Conflicts: 1043000 | #Constraints: 36390
1665.00/1669.65 c #Conflicts: 1044000 | #Constraints: 37390
1665.00/1669.65 c #Conflicts: 1045000 | #Constraints: 38390
1665.00/1669.65 c #Conflicts: 1046000 | #Constraints: 39390
1665.00/1669.65 c #Conflicts: 1047000 | #Constraints: 40390
1665.00/1669.65 c #Conflicts: 1048000 | #Constraints: 41390
1665.00/1669.65 c #Conflicts: 1049000 | #Constraints: 42390
1665.00/1669.65 c #Conflicts: 1050000 | #Constraints: 43390
1665.00/1669.65 c #Conflicts: 1051000 | #Constraints: 44390
1665.00/1669.65 c #Conflicts: 1052000 | #Constraints: 45390
1665.00/1669.65 c #Conflicts: 1053000 | #Constraints: 46390
1665.00/1669.65 c #Conflicts: 1054000 | #Constraints: 47390
1665.00/1669.65 c #Conflicts: 1055000 | #Constraints: 48390
1665.00/1669.65 c #Conflicts: 1056000 | #Constraints: 49390
1665.00/1669.65 c #Conflicts: 1057000 | #Constraints: 50390
1665.00/1669.65 c #Conflicts: 1058000 | #Constraints: 51390
1665.00/1669.65 c #Conflicts: 1059000 | #Constraints: 52390
1665.00/1669.65 c #Conflicts: 1060000 | #Constraints: 53390
1665.00/1669.65 c #Conflicts: 1061000 | #Constraints: 54390
1665.00/1669.65 c #Conflicts: 1062000 | #Constraints: 55390
1665.00/1669.65 c #Conflicts: 1063000 | #Constraints: 56390
1665.00/1669.65 c #Conflicts: 1064000 | #Constraints: 57390
1665.00/1669.65 c INPROCESSING
1665.00/1669.65 c GARBAGE COLLECT
1665.00/1669.65 c #Conflicts: 1065000 | #Constraints: 32793
1665.00/1669.65 c #Conflicts: 1066000 | #Constraints: 33793
1665.00/1669.65 c #Conflicts: 1067000 | #Constraints: 34793
1665.00/1669.65 c #Conflicts: 1068000 | #Constraints: 35793
1665.00/1669.65 c #Conflicts: 1069000 | #Constraints: 36793
1665.00/1669.65 c #Conflicts: 1070000 | #Constraints: 37793
1665.00/1669.65 c #Conflicts: 1071000 | #Constraints: 38793
1665.00/1669.65 c #Conflicts: 1072000 | #Constraints: 39793
1665.00/1669.65 c #Conflicts: 1073000 | #Constraints: 40793
1665.00/1669.65 c #Conflicts: 1074000 | #Constraints: 41793
1665.00/1669.65 c #Conflicts: 1075000 | #Constraints: 42793
1665.00/1669.65 c #Conflicts: 1076000 | #Constraints: 43793
1665.00/1669.65 c #Conflicts: 1077000 | #Constraints: 44793
1665.00/1669.65 c #Conflicts: 1078000 | #Constraints: 45793
1665.00/1669.65 c #Conflicts: 1079000 | #Constraints: 46793
1665.00/1669.65 c #Conflicts: 1080000 | #Constraints: 47793
1665.00/1669.65 c #Conflicts: 1081000 | #Constraints: 48793
1665.00/1669.65 c #Conflicts: 1082000 | #Constraints: 49793
1665.00/1669.65 c #Conflicts: 1083000 | #Constraints: 50793
1665.00/1669.65 c #Conflicts: 1084000 | #Constraints: 51793
1665.00/1669.65 c #Conflicts: 1085000 | #Constraints: 52793
1665.00/1669.65 c #Conflicts: 1086000 | #Constraints: 53793
1665.00/1669.65 c INPROCESSING
1665.00/1669.65 c GARBAGE COLLECT
1665.00/1669.65 c rational objective 81
1711.46/1716.25 c #Conflicts: 1087000 | #Constraints: 30914
1711.46/1716.25 c #Conflicts: 1088000 | #Constraints: 31914
1711.46/1716.25 c #Conflicts: 1089000 | #Constraints: 32914
1711.46/1716.25 c #Conflicts: 1090000 | #Constraints: 33914
1711.46/1716.25 c #Conflicts: 1091000 | #Constraints: 34914
1711.46/1716.25 c #Conflicts: 1092000 | #Constraints: 35914
1711.46/1716.25 c #Conflicts: 1093000 | #Constraints: 36914
1711.46/1716.25 c #Conflicts: 1094000 | #Constraints: 37914
1711.46/1716.25 c #Conflicts: 1095000 | #Constraints: 38914
1711.46/1716.25 c #Conflicts: 1096000 | #Constraints: 39914
1711.46/1716.25 c #Conflicts: 1097000 | #Constraints: 40914
1711.46/1716.25 c #Conflicts: 1098000 | #Constraints: 41914
1711.46/1716.25 c #Conflicts: 1099000 | #Constraints: 42914
1711.46/1716.25 c #Conflicts: 1100000 | #Constraints: 43914
1711.46/1716.25 c #Conflicts: 1101000 | #Constraints: 44914
1711.46/1716.25 c #Conflicts: 1102000 | #Constraints: 45914
1711.46/1716.25 c #Conflicts: 1103000 | #Constraints: 46914
1711.46/1716.25 c #Conflicts: 1104000 | #Constraints: 47914
1711.46/1716.25 c #Conflicts: 1105000 | #Constraints: 48914
1711.46/1716.25 c #Conflicts: 1106000 | #Constraints: 49914
1711.46/1716.25 c #Conflicts: 1107000 | #Constraints: 50914
1711.46/1716.25 c #Conflicts: 1108000 | #Constraints: 51914
1711.46/1716.25 c INPROCESSING
1711.46/1716.25 c GARBAGE COLLECT
1711.46/1716.25 c rational objective 81
1831.29/1836.44 c #Conflicts: 1109000 | #Constraints: 29589
1831.29/1836.44 c #Conflicts: 1110000 | #Constraints: 30589
1831.29/1836.44 c #Conflicts: 1111000 | #Constraints: 31589
1831.29/1836.44 c #Conflicts: 1112000 | #Constraints: 32589
1831.29/1836.44 c #Conflicts: 1113000 | #Constraints: 33589
1831.29/1836.44 c #Conflicts: 1114000 | #Constraints: 34589
1831.29/1836.44 c #Conflicts: 1115000 | #Constraints: 35589
1831.29/1836.44 c #Conflicts: 1116000 | #Constraints: 36589
1831.29/1836.44 c #Conflicts: 1117000 | #Constraints: 37589
1831.29/1836.44 c #Conflicts: 1118000 | #Constraints: 38589
1831.29/1836.44 c #Conflicts: 1119000 | #Constraints: 39589
1831.29/1836.44 c #Conflicts: 1120000 | #Constraints: 40589
1831.29/1836.44 c #Conflicts: 1121000 | #Constraints: 41589
1831.29/1836.44 c #Conflicts: 1122000 | #Constraints: 42589
1831.29/1836.44 c #Conflicts: 1123000 | #Constraints: 43589
1831.29/1836.44 c #Conflicts: 1124000 | #Constraints: 44589
1831.29/1836.44 c #Conflicts: 1125000 | #Constraints: 45589
1831.29/1836.44 c #Conflicts: 1126000 | #Constraints: 46589
1831.29/1836.44 c #Conflicts: 1127000 | #Constraints: 47589
1831.29/1836.44 c #Conflicts: 1128000 | #Constraints: 48589
1831.29/1836.44 c #Conflicts: 1129000 | #Constraints: 49589
1831.29/1836.44 c #Conflicts: 1130000 | #Constraints: 50589
1831.29/1836.44 c #Conflicts: 1131000 | #Constraints: 51589
1831.29/1836.44 c INPROCESSING
1831.29/1836.44 c GARBAGE COLLECT
1831.29/1836.44 c #Conflicts: 1132000 | #Constraints: 29639
1831.29/1836.44 c #Conflicts: 1133000 | #Constraints: 30639
1831.29/1836.44 c #Conflicts: 1134000 | #Constraints: 31639
1831.29/1836.44 c #Conflicts: 1135000 | #Constraints: 32640
1831.29/1836.44 c #Conflicts: 1136000 | #Constraints: 33640
1831.29/1836.44 c #Conflicts: 1137000 | #Constraints: 34640
1831.29/1836.44 c #Conflicts: 1138000 | #Constraints: 35640
1831.29/1836.44 c #Conflicts: 1139000 | #Constraints: 36640
1831.29/1836.44 c #Conflicts: 1140000 | #Constraints: 37640
1831.29/1836.44 c #Conflicts: 1141000 | #Constraints: 38640
1831.29/1836.44 c #Conflicts: 1142000 | #Constraints: 39640
1831.29/1836.44 c #Conflicts: 1143000 | #Constraints: 40640
1831.29/1836.44 c #Conflicts: 1144000 | #Constraints: 41640
1831.29/1836.44 c #Conflicts: 1145000 | #Constraints: 42640
1831.29/1836.44 c #Conflicts: 1146000 | #Constraints: 43640
1831.29/1836.44 c #Conflicts: 1147000 | #Constraints: 44640
1831.29/1836.44 c #Conflicts: 1148000 | #Constraints: 45640
1831.29/1836.44 c #Conflicts: 1149000 | #Constraints: 46640
1831.29/1836.44 c #Conflicts: 1150000 | #Constraints: 47640
1831.29/1836.44 c #Conflicts: 1151000 | #Constraints: 48640
1831.29/1836.44 c #Conflicts: 1152000 | #Constraints: 49640
1831.29/1836.44 c #Conflicts: 1153000 | #Constraints: 50640
1831.29/1836.44 c #Conflicts: 1154000 | #Constraints: 51640
1831.29/1836.44 c INPROCESSING
1831.29/1836.44 c GARBAGE COLLECT
1831.29/1836.44 c #Conflicts: 1155000 | #Constraints: 29696
1831.29/1836.44 c #Conflicts: 1156000 | #Constraints: 30696
1831.29/1836.44 c #Conflicts: 1157000 | #Constraints: 31696
1831.29/1836.44 c #Conflicts: 1158000 | #Constraints: 32696
1831.29/1836.44 c #Conflicts: 1159000 | #Constraints: 33696
1831.29/1836.44 c #Conflicts: 1160000 | #Constraints: 34696
1831.29/1836.44 c #Conflicts: 1161000 | #Constraints: 35696
1831.29/1836.44 c #Conflicts: 1162000 | #Constraints: 36696
1831.29/1836.44 c #Conflicts: 1163000 | #Constraints: 37696
1831.29/1836.44 c #Conflicts: 1164000 | #Constraints: 38696
1831.29/1836.44 c #Conflicts: 1165000 | #Constraints: 39696
1831.29/1836.44 c #Conflicts: 1166000 | #Constraints: 40696
1831.29/1836.44 c #Conflicts: 1167000 | #Constraints: 41696
1831.29/1836.44 c #Conflicts: 1168000 | #Constraints: 42696
1831.29/1836.44 c #Conflicts: 1169000 | #Constraints: 43696
1831.29/1836.44 c #Conflicts: 1170000 | #Constraints: 44696
1831.29/1836.44 c #Conflicts: 1171000 | #Constraints: 45696
1831.29/1836.44 c #Conflicts: 1172000 | #Constraints: 46696
1831.29/1836.44 c #Conflicts: 1173000 | #Constraints: 47696
1831.29/1836.44 c #Conflicts: 1174000 | #Constraints: 48696
1831.29/1836.44 c #Conflicts: 1175000 | #Constraints: 49696
1831.29/1836.44 c #Conflicts: 1176000 | #Constraints: 50696
1831.29/1836.44 c #Conflicts: 1177000 | #Constraints: 51696
1831.29/1836.44 c #Conflicts: 1178000 | #Constraints: 52696
1831.29/1836.44 c #Conflicts: 1179000 | #Constraints: 53696
1831.29/1836.44 c #Conflicts: 1180000 | #Constraints: 54696
1831.29/1836.44 c #Conflicts: 1181000 | #Constraints: 55696
1831.29/1836.44 c #Conflicts: 1182000 | #Constraints: 56696
1831.29/1836.44 c #Conflicts: 1183000 | #Constraints: 57696
1831.29/1836.44 c #Conflicts: 1184000 | #Constraints: 58696
1831.29/1836.44 c #Conflicts: 1185000 | #Constraints: 59696
1831.29/1836.44 c #Conflicts: 1186000 | #Constraints: 60696
2067.77/2073.66 c #Conflicts: 1187000 | #Constraints: 61696
2067.77/2073.66 c #Conflicts: 1188000 | #Constraints: 62696
2067.77/2073.66 c #Conflicts: 1189000 | #Constraints: 63696
2067.77/2073.66 c #Conflicts: 1190000 | #Constraints: 64696
2067.77/2073.66 c #Conflicts: 1191000 | #Constraints: 65696
2067.77/2073.66 c #Conflicts: 1192000 | #Constraints: 66696
2067.77/2073.66 c #Conflicts: 1193000 | #Constraints: 67696
2067.77/2073.66 c #Conflicts: 1194000 | #Constraints: 68696
2067.77/2073.66 c #Conflicts: 1195000 | #Constraints: 69696
2067.77/2073.66 c #Conflicts: 1196000 | #Constraints: 70696
2067.77/2073.66 c #Conflicts: 1197000 | #Constraints: 71696
2067.77/2073.66 c #Conflicts: 1198000 | #Constraints: 72696
2067.77/2073.66 c #Conflicts: 1199000 | #Constraints: 73696
2067.77/2073.66 c #Conflicts: 1200000 | #Constraints: 74696
2067.77/2073.66 c #Conflicts: 1201000 | #Constraints: 75696
2067.77/2073.66 c #Conflicts: 1202000 | #Constraints: 76696
2067.77/2073.66 c #Conflicts: 1203000 | #Constraints: 77696
2067.77/2073.66 c #Conflicts: 1204000 | #Constraints: 78696
2067.77/2073.66 c #Conflicts: 1205000 | #Constraints: 79696
2067.77/2073.66 c #Conflicts: 1206000 | #Constraints: 80696
2067.77/2073.66 c #Conflicts: 1207000 | #Constraints: 81696
2067.77/2073.66 c #Conflicts: 1208000 | #Constraints: 82696
2067.77/2073.66 c #Conflicts: 1209000 | #Constraints: 83696
2067.77/2073.66 c #Conflicts: 1210000 | #Constraints: 84696
2067.77/2073.66 c #Conflicts: 1211000 | #Constraints: 85696
2067.77/2073.66 c #Conflicts: 1212000 | #Constraints: 86696
2067.77/2073.66 c #Conflicts: 1213000 | #Constraints: 87696
2067.77/2073.66 c #Conflicts: 1214000 | #Constraints: 88696
2067.77/2073.66 c #Conflicts: 1215000 | #Constraints: 89696
2067.77/2073.66 c #Conflicts: 1216000 | #Constraints: 90696
2067.77/2073.66 c #Conflicts: 1217000 | #Constraints: 91696
2067.77/2073.66 c #Conflicts: 1218000 | #Constraints: 92696
2067.77/2073.66 c #Conflicts: 1219000 | #Constraints: 93696
2067.77/2073.66 c #Conflicts: 1220000 | #Constraints: 94696
2067.77/2073.66 c #Conflicts: 1221000 | #Constraints: 95696
2067.77/2073.66 c #Conflicts: 1222000 | #Constraints: 96696
2067.77/2073.66 c #Conflicts: 1223000 | #Constraints: 97696
2067.77/2073.66 c #Conflicts: 1224000 | #Constraints: 98696
2067.77/2073.66 c #Conflicts: 1225000 | #Constraints: 99696
2067.77/2073.66 c #Conflicts: 1226000 | #Constraints: 100696
2067.77/2073.66 c #Conflicts: 1227000 | #Constraints: 101696
2067.77/2073.66 c #Conflicts: 1228000 | #Constraints: 102696
2067.77/2073.66 c #Conflicts: 1229000 | #Constraints: 103696
2067.77/2073.66 c #Conflicts: 1230000 | #Constraints: 104696
2067.77/2073.66 c #Conflicts: 1231000 | #Constraints: 105696
2067.77/2073.66 c #Conflicts: 1232000 | #Constraints: 106696
2067.77/2073.66 c #Conflicts: 1233000 | #Constraints: 107696
2067.77/2073.66 c #Conflicts: 1234000 | #Constraints: 108696
2067.77/2073.66 c #Conflicts: 1235000 | #Constraints: 109696
2067.77/2073.66 c #Conflicts: 1236000 | #Constraints: 110696
2067.77/2073.66 c #Conflicts: 1237000 | #Constraints: 111696
2067.77/2073.66 c #Conflicts: 1238000 | #Constraints: 112696
2067.77/2073.66 c #Conflicts: 1239000 | #Constraints: 113696
2067.77/2073.66 c #Conflicts: 1240000 | #Constraints: 114696
2067.77/2073.66 c #Conflicts: 1241000 | #Constraints: 115696
2067.77/2073.66 c #Conflicts: 1242000 | #Constraints: 116696
2067.77/2073.66 c #Conflicts: 1243000 | #Constraints: 117696
2067.77/2073.66 c #Conflicts: 1244000 | #Constraints: 118696
2067.77/2073.66 c #Conflicts: 1245000 | #Constraints: 119696
2067.77/2073.66 c INPROCESSING
2067.77/2073.66 c GARBAGE COLLECT
2067.77/2073.66 c rational objective 81
2229.27/2235.66 c #Conflicts: 1246000 | #Constraints: 63909
2229.27/2235.66 c #Conflicts: 1247000 | #Constraints: 64909
2229.27/2235.66 c #Conflicts: 1248000 | #Constraints: 65909
2229.27/2235.66 c #Conflicts: 1249000 | #Constraints: 66909
2229.27/2235.66 c #Conflicts: 1250000 | #Constraints: 67909
2229.27/2235.66 c #Conflicts: 1251000 | #Constraints: 68909
2229.27/2235.66 c #Conflicts: 1252000 | #Constraints: 69909
2229.27/2235.66 c #Conflicts: 1253000 | #Constraints: 70909
2229.27/2235.66 c #Conflicts: 1254000 | #Constraints: 71909
2229.27/2235.66 c #Conflicts: 1255000 | #Constraints: 72909
2229.27/2235.66 c #Conflicts: 1256000 | #Constraints: 73909
2229.27/2235.66 c #Conflicts: 1257000 | #Constraints: 74910
2229.27/2235.66 c #Conflicts: 1258000 | #Constraints: 75910
2229.27/2235.66 c #Conflicts: 1259000 | #Constraints: 76910
2229.27/2235.66 c #Conflicts: 1260000 | #Constraints: 77910
2229.27/2235.66 c #Conflicts: 1261000 | #Constraints: 78910
2229.27/2235.66 c #Conflicts: 1262000 | #Constraints: 79910
2229.27/2235.66 c #Conflicts: 1263000 | #Constraints: 80910
2229.27/2235.66 c #Conflicts: 1264000 | #Constraints: 81910
2229.27/2235.66 c #Conflicts: 1265000 | #Constraints: 82910
2229.27/2235.66 c #Conflicts: 1266000 | #Constraints: 83910
2229.27/2235.66 c #Conflicts: 1267000 | #Constraints: 84910
2229.27/2235.66 c #Conflicts: 1268000 | #Constraints: 85910
2229.27/2235.66 c #Conflicts: 1269000 | #Constraints: 86910
2229.27/2235.66 c INPROCESSING
2229.27/2235.66 c GARBAGE COLLECT
2229.27/2235.66 c #Conflicts: 1270000 | #Constraints: 47499
2229.27/2235.66 c #Conflicts: 1271000 | #Constraints: 48499
2229.27/2235.66 c #Conflicts: 1272000 | #Constraints: 49499
2229.27/2235.66 c #Conflicts: 1273000 | #Constraints: 50499
2229.27/2235.66 c #Conflicts: 1274000 | #Constraints: 51499
2229.27/2235.66 c #Conflicts: 1275000 | #Constraints: 52499
2229.27/2235.66 c #Conflicts: 1276000 | #Constraints: 53499
2229.27/2235.66 c #Conflicts: 1277000 | #Constraints: 54499
2229.27/2235.66 c #Conflicts: 1278000 | #Constraints: 55499
2229.27/2235.66 c #Conflicts: 1279000 | #Constraints: 56499
2229.27/2235.66 c #Conflicts: 1280000 | #Constraints: 57499
2229.27/2235.66 c #Conflicts: 1281000 | #Constraints: 58499
2229.27/2235.66 c #Conflicts: 1282000 | #Constraints: 59499
2229.27/2235.66 c #Conflicts: 1283000 | #Constraints: 60499
2229.27/2235.66 c #Conflicts: 1284000 | #Constraints: 61499
2229.27/2235.66 c #Conflicts: 1285000 | #Constraints: 62499
2229.27/2235.66 c #Conflicts: 1286000 | #Constraints: 63499
2229.27/2235.66 c #Conflicts: 1287000 | #Constraints: 64499
2229.27/2235.66 c #Conflicts: 1288000 | #Constraints: 65499
2229.27/2235.66 c #Conflicts: 1289000 | #Constraints: 66499
2229.27/2235.66 c #Conflicts: 1290000 | #Constraints: 67499
2229.27/2235.66 c #Conflicts: 1291000 | #Constraints: 68499
2229.27/2235.66 c #Conflicts: 1292000 | #Constraints: 69499
2229.27/2235.66 c #Conflicts: 1293000 | #Constraints: 70499
2229.27/2235.66 c INPROCESSING
2229.27/2235.66 c GARBAGE COLLECT
2229.27/2235.66 c #Conflicts: 1294000 | #Constraints: 39034
2229.27/2235.66 c #Conflicts: 1295000 | #Constraints: 40034
2229.27/2235.66 c #Conflicts: 1296000 | #Constraints: 41034
2229.27/2235.66 c #Conflicts: 1297000 | #Constraints: 42034
2229.27/2235.66 c #Conflicts: 1298000 | #Constraints: 43034
2229.27/2235.66 c #Conflicts: 1299000 | #Constraints: 44034
2229.27/2235.66 c #Conflicts: 1300000 | #Constraints: 45034
2229.27/2235.66 c #Conflicts: 1301000 | #Constraints: 46034
2229.27/2235.66 c #Conflicts: 1302000 | #Constraints: 47034
2229.27/2235.66 c #Conflicts: 1303000 | #Constraints: 48034
2229.27/2235.66 c #Conflicts: 1304000 | #Constraints: 49034
2229.27/2235.66 c #Conflicts: 1305000 | #Constraints: 50034
2229.27/2235.66 c #Conflicts: 1306000 | #Constraints: 51034
2229.27/2235.66 c #Conflicts: 1307000 | #Constraints: 52034
2229.27/2235.66 c #Conflicts: 1308000 | #Constraints: 53034
2229.27/2235.66 c #Conflicts: 1309000 | #Constraints: 54034
2229.27/2235.66 c #Conflicts: 1310000 | #Constraints: 55034
2229.27/2235.66 c #Conflicts: 1311000 | #Constraints: 56034
2229.27/2235.66 c #Conflicts: 1312000 | #Constraints: 57034
2229.27/2235.66 c #Conflicts: 1313000 | #Constraints: 58034
2229.27/2235.66 c #Conflicts: 1314000 | #Constraints: 59034
2229.27/2235.66 c #Conflicts: 1315000 | #Constraints: 60034
2229.27/2235.66 c #Conflicts: 1316000 | #Constraints: 61034
2229.27/2235.66 c #Conflicts: 1317000 | #Constraints: 62034
2229.27/2235.66 c #Conflicts: 1318000 | #Constraints: 63034
2229.27/2235.66 c INPROCESSING
2229.27/2235.66 c GARBAGE COLLECT
2229.27/2235.66 c #Conflicts: 1319000 | #Constraints: 35483
2229.27/2235.66 c #Conflicts: 1320000 | #Constraints: 36483
2229.27/2235.66 c #Conflicts: 1321000 | #Constraints: 37483
2229.27/2235.66 c #Conflicts: 1322000 | #Constraints: 38483
2347.51/2354.22 c #Conflicts: 1323000 | #Constraints: 39483
2347.51/2354.22 c #Conflicts: 1324000 | #Constraints: 40483
2347.51/2354.22 c #Conflicts: 1325000 | #Constraints: 41483
2347.51/2354.22 c #Conflicts: 1326000 | #Constraints: 42483
2347.51/2354.22 c #Conflicts: 1327000 | #Constraints: 43483
2347.51/2354.22 c #Conflicts: 1328000 | #Constraints: 44483
2347.51/2354.22 c #Conflicts: 1329000 | #Constraints: 45483
2347.51/2354.22 c #Conflicts: 1330000 | #Constraints: 46483
2347.51/2354.22 c #Conflicts: 1331000 | #Constraints: 47483
2347.51/2354.22 c #Conflicts: 1332000 | #Constraints: 48483
2347.51/2354.22 c #Conflicts: 1333000 | #Constraints: 49483
2347.51/2354.22 c #Conflicts: 1334000 | #Constraints: 50483
2347.51/2354.22 c #Conflicts: 1335000 | #Constraints: 51483
2347.51/2354.22 c #Conflicts: 1336000 | #Constraints: 52483
2347.51/2354.22 c #Conflicts: 1337000 | #Constraints: 53483
2347.51/2354.22 c #Conflicts: 1338000 | #Constraints: 54483
2347.51/2354.22 c #Conflicts: 1339000 | #Constraints: 55483
2347.51/2354.22 c #Conflicts: 1340000 | #Constraints: 56483
2347.51/2354.22 c #Conflicts: 1341000 | #Constraints: 57483
2347.51/2354.22 c #Conflicts: 1342000 | #Constraints: 58483
2347.51/2354.22 c #Conflicts: 1343000 | #Constraints: 59483
2347.51/2354.22 c INPROCESSING
2347.51/2354.22 c GARBAGE COLLECT
2347.51/2354.22 c #Conflicts: 1344000 | #Constraints: 33880
2347.51/2354.22 c #Conflicts: 1345000 | #Constraints: 34880
2347.51/2354.22 c #Conflicts: 1346000 | #Constraints: 35880
2347.51/2354.22 c #Conflicts: 1347000 | #Constraints: 36880
2347.51/2354.22 c #Conflicts: 1348000 | #Constraints: 37880
2347.51/2354.22 c #Conflicts: 1349000 | #Constraints: 38881
2347.51/2354.22 c #Conflicts: 1350000 | #Constraints: 39881
2347.51/2354.22 c #Conflicts: 1351000 | #Constraints: 40881
2347.51/2354.22 c #Conflicts: 1352000 | #Constraints: 41881
2347.51/2354.22 c #Conflicts: 1353000 | #Constraints: 42881
2347.51/2354.22 c #Conflicts: 1354000 | #Constraints: 43881
2347.51/2354.22 c #Conflicts: 1355000 | #Constraints: 44881
2347.51/2354.22 c #Conflicts: 1356000 | #Constraints: 45881
2347.51/2354.22 c #Conflicts: 1357000 | #Constraints: 46881
2347.51/2354.22 c #Conflicts: 1358000 | #Constraints: 47881
2347.51/2354.22 c #Conflicts: 1359000 | #Constraints: 48881
2347.51/2354.22 c #Conflicts: 1360000 | #Constraints: 49881
2347.51/2354.22 c #Conflicts: 1361000 | #Constraints: 50881
2347.51/2354.22 c #Conflicts: 1362000 | #Constraints: 51881
2347.51/2354.22 c #Conflicts: 1363000 | #Constraints: 52881
2347.51/2354.22 c #Conflicts: 1364000 | #Constraints: 53881
2347.51/2354.22 c #Conflicts: 1365000 | #Constraints: 54881
2347.51/2354.22 c #Conflicts: 1366000 | #Constraints: 55881
2347.51/2354.22 c #Conflicts: 1367000 | #Constraints: 56881
2347.51/2354.22 c #Conflicts: 1368000 | #Constraints: 57881
2347.51/2354.22 c INPROCESSING
2347.51/2354.22 c GARBAGE COLLECT
2347.51/2354.22 c #Conflicts: 1369000 | #Constraints: 33016
2347.51/2354.22 c #Conflicts: 1370000 | #Constraints: 34016
2347.51/2354.22 c #Conflicts: 1371000 | #Constraints: 35016
2347.51/2354.22 c #Conflicts: 1372000 | #Constraints: 36016
2347.51/2354.22 c #Conflicts: 1373000 | #Constraints: 37016
2347.51/2354.22 c #Conflicts: 1374000 | #Constraints: 38016
2347.51/2354.22 c #Conflicts: 1375000 | #Constraints: 39017
2347.51/2354.22 c #Conflicts: 1376000 | #Constraints: 40017
2347.51/2354.22 c #Conflicts: 1377000 | #Constraints: 41017
2347.51/2354.22 c #Conflicts: 1378000 | #Constraints: 42017
2347.51/2354.22 c #Conflicts: 1379000 | #Constraints: 43017
2347.51/2354.22 c #Conflicts: 1380000 | #Constraints: 44017
2347.51/2354.22 c #Conflicts: 1381000 | #Constraints: 45018
2347.51/2354.22 c #Conflicts: 1382000 | #Constraints: 46018
2347.51/2354.22 c #Conflicts: 1383000 | #Constraints: 47018
2347.51/2354.22 c #Conflicts: 1384000 | #Constraints: 48019
2347.51/2354.22 c #Conflicts: 1385000 | #Constraints: 49019
2347.51/2354.22 c #Conflicts: 1386000 | #Constraints: 50019
2347.51/2354.22 c #Conflicts: 1387000 | #Constraints: 51020
2347.51/2354.22 c #Conflicts: 1388000 | #Constraints: 52020
2347.51/2354.22 c #Conflicts: 1389000 | #Constraints: 53020
2347.51/2354.22 c #Conflicts: 1390000 | #Constraints: 54021
2347.51/2354.22 c #Conflicts: 1391000 | #Constraints: 55021
2347.51/2354.22 c #Conflicts: 1392000 | #Constraints: 56021
2347.51/2354.22 c #Conflicts: 1393000 | #Constraints: 57021
2347.51/2354.22 c INPROCESSING
2347.51/2354.22 c GARBAGE COLLECT
2347.51/2354.22 c #Conflicts: 1394000 | #Constraints: 32461
2347.51/2354.22 c #Conflicts: 1395000 | #Constraints: 33462
2347.51/2354.22 c #Conflicts: 1396000 | #Constraints: 34462
2347.51/2354.22 c #Conflicts: 1397000 | #Constraints: 35462
2347.51/2354.22 c #Conflicts: 1398000 | #Constraints: 36462
2347.51/2354.22 c #Conflicts: 1399000 | #Constraints: 37462
2564.91/2572.28 c #Conflicts: 1400000 | #Constraints: 38462
2564.91/2572.28 c #Conflicts: 1401000 | #Constraints: 39462
2564.91/2572.28 c #Conflicts: 1402000 | #Constraints: 40462
2564.91/2572.28 c #Conflicts: 1403000 | #Constraints: 41462
2564.91/2572.28 c #Conflicts: 1404000 | #Constraints: 42463
2564.91/2572.28 c #Conflicts: 1405000 | #Constraints: 43463
2564.91/2572.28 c #Conflicts: 1406000 | #Constraints: 44463
2564.91/2572.28 c #Conflicts: 1407000 | #Constraints: 45464
2564.91/2572.28 c #Conflicts: 1408000 | #Constraints: 46464
2564.91/2572.28 c #Conflicts: 1409000 | #Constraints: 47464
2564.91/2572.28 c #Conflicts: 1410000 | #Constraints: 48464
2564.91/2572.28 c #Conflicts: 1411000 | #Constraints: 49465
2564.91/2572.28 c #Conflicts: 1412000 | #Constraints: 50465
2564.91/2572.28 c #Conflicts: 1413000 | #Constraints: 51465
2564.91/2572.28 c #Conflicts: 1414000 | #Constraints: 52465
2564.91/2572.28 c #Conflicts: 1415000 | #Constraints: 53465
2564.91/2572.28 c #Conflicts: 1416000 | #Constraints: 54465
2564.91/2572.28 c #Conflicts: 1417000 | #Constraints: 55465
2564.91/2572.28 c #Conflicts: 1418000 | #Constraints: 56465
2564.91/2572.28 c #Conflicts: 1419000 | #Constraints: 57465
2564.91/2572.28 c #Conflicts: 1420000 | #Constraints: 58465
2564.91/2572.28 c #Conflicts: 1421000 | #Constraints: 59465
2564.91/2572.28 c #Conflicts: 1422000 | #Constraints: 60465
2564.91/2572.28 c #Conflicts: 1423000 | #Constraints: 61465
2564.91/2572.28 c #Conflicts: 1424000 | #Constraints: 62465
2564.91/2572.28 c #Conflicts: 1425000 | #Constraints: 63465
2564.91/2572.28 c #Conflicts: 1426000 | #Constraints: 64465
2564.91/2572.28 c #Conflicts: 1427000 | #Constraints: 65465
2564.91/2572.28 c #Conflicts: 1428000 | #Constraints: 66465
2564.91/2572.28 c #Conflicts: 1429000 | #Constraints: 67465
2564.91/2572.28 c #Conflicts: 1430000 | #Constraints: 68465
2564.91/2572.28 c #Conflicts: 1431000 | #Constraints: 69465
2564.91/2572.28 c #Conflicts: 1432000 | #Constraints: 70465
2564.91/2572.28 c #Conflicts: 1433000 | #Constraints: 71465
2564.91/2572.28 c #Conflicts: 1434000 | #Constraints: 72465
2564.91/2572.28 c #Conflicts: 1435000 | #Constraints: 73465
2564.91/2572.28 c #Conflicts: 1436000 | #Constraints: 74465
2564.91/2572.28 c #Conflicts: 1437000 | #Constraints: 75465
2564.91/2572.28 c #Conflicts: 1438000 | #Constraints: 76465
2564.91/2572.28 c #Conflicts: 1439000 | #Constraints: 77465
2564.91/2572.28 c #Conflicts: 1440000 | #Constraints: 78465
2564.91/2572.28 c #Conflicts: 1441000 | #Constraints: 79465
2564.91/2572.28 c #Conflicts: 1442000 | #Constraints: 80465
2564.91/2572.28 c #Conflicts: 1443000 | #Constraints: 81465
2564.91/2572.28 c #Conflicts: 1444000 | #Constraints: 82465
2564.91/2572.28 c #Conflicts: 1445000 | #Constraints: 83465
2564.91/2572.28 c #Conflicts: 1446000 | #Constraints: 84465
2564.91/2572.28 c #Conflicts: 1447000 | #Constraints: 85465
2564.91/2572.28 c #Conflicts: 1448000 | #Constraints: 86465
2564.91/2572.28 c #Conflicts: 1449000 | #Constraints: 87465
2564.91/2572.28 c #Conflicts: 1450000 | #Constraints: 88465
2564.91/2572.28 c #Conflicts: 1451000 | #Constraints: 89465
2564.91/2572.28 c #Conflicts: 1452000 | #Constraints: 90465
2564.91/2572.28 c #Conflicts: 1453000 | #Constraints: 91465
2564.91/2572.28 c #Conflicts: 1454000 | #Constraints: 92465
2564.91/2572.28 c #Conflicts: 1455000 | #Constraints: 93465
2564.91/2572.28 c #Conflicts: 1456000 | #Constraints: 94465
2564.91/2572.28 c #Conflicts: 1457000 | #Constraints: 95465
2564.91/2572.28 c #Conflicts: 1458000 | #Constraints: 96465
2564.91/2572.28 c #Conflicts: 1459000 | #Constraints: 97465
2564.91/2572.28 c #Conflicts: 1460000 | #Constraints: 98465
2564.91/2572.28 c #Conflicts: 1461000 | #Constraints: 99465
2564.91/2572.28 c #Conflicts: 1462000 | #Constraints: 100465
2564.91/2572.28 c #Conflicts: 1463000 | #Constraints: 101465
2564.91/2572.28 c #Conflicts: 1464000 | #Constraints: 102465
2564.91/2572.28 c #Conflicts: 1465000 | #Constraints: 103465
2564.91/2572.28 c #Conflicts: 1466000 | #Constraints: 104465
2564.91/2572.28 c #Conflicts: 1467000 | #Constraints: 105465
2564.91/2572.28 c #Conflicts: 1468000 | #Constraints: 106465
2564.91/2572.28 c #Conflicts: 1469000 | #Constraints: 107465
2564.91/2572.28 c #Conflicts: 1470000 | #Constraints: 108465
2564.91/2572.28 c #Conflicts: 1471000 | #Constraints: 109465
2564.91/2572.28 c #Conflicts: 1472000 | #Constraints: 110465
2564.91/2572.28 c #Conflicts: 1473000 | #Constraints: 111465
2564.91/2572.28 c #Conflicts: 1474000 | #Constraints: 112465
2564.91/2572.28 c #Conflicts: 1475000 | #Constraints: 113465
2564.91/2572.28 c #Conflicts: 1476000 | #Constraints: 114465
2564.91/2572.28 c #Conflicts: 1477000 | #Constraints: 115465
2564.91/2572.28 c #Conflicts: 1478000 | #Constraints: 116465
2783.98/2791.86 c #Conflicts: 1479000 | #Constraints: 117465
2783.98/2791.86 c #Conflicts: 1480000 | #Constraints: 118465
2783.98/2791.86 c #Conflicts: 1481000 | #Constraints: 119465
2783.98/2791.86 c #Conflicts: 1482000 | #Constraints: 120465
2783.98/2791.86 c #Conflicts: 1483000 | #Constraints: 121465
2783.98/2791.86 c #Conflicts: 1484000 | #Constraints: 122465
2783.98/2791.86 c #Conflicts: 1485000 | #Constraints: 123465
2783.98/2791.86 c #Conflicts: 1486000 | #Constraints: 124465
2783.98/2791.86 c #Conflicts: 1487000 | #Constraints: 125465
2783.98/2791.86 c #Conflicts: 1488000 | #Constraints: 126465
2783.98/2791.86 c #Conflicts: 1489000 | #Constraints: 127465
2783.98/2791.86 c #Conflicts: 1490000 | #Constraints: 128465
2783.98/2791.86 c #Conflicts: 1491000 | #Constraints: 129465
2783.98/2791.86 c #Conflicts: 1492000 | #Constraints: 130465
2783.98/2791.86 c INPROCESSING
2783.98/2791.86 c GARBAGE COLLECT
2783.98/2791.86 c #Conflicts: 1493000 | #Constraints: 69142
2783.98/2791.86 c #Conflicts: 1494000 | #Constraints: 70142
2783.98/2791.86 c #Conflicts: 1495000 | #Constraints: 71142
2783.98/2791.86 c #Conflicts: 1496000 | #Constraints: 72142
2783.98/2791.86 c #Conflicts: 1497000 | #Constraints: 73142
2783.98/2791.86 c #Conflicts: 1498000 | #Constraints: 74142
2783.98/2791.86 c #Conflicts: 1499000 | #Constraints: 75142
2783.98/2791.86 c #Conflicts: 1500000 | #Constraints: 76142
2783.98/2791.86 c #Conflicts: 1501000 | #Constraints: 77142
2783.98/2791.86 c #Conflicts: 1502000 | #Constraints: 78142
2783.98/2791.86 c #Conflicts: 1503000 | #Constraints: 79142
2783.98/2791.86 c #Conflicts: 1504000 | #Constraints: 80142
2783.98/2791.86 c #Conflicts: 1505000 | #Constraints: 81142
2783.98/2791.86 c #Conflicts: 1506000 | #Constraints: 82142
2783.98/2791.86 c #Conflicts: 1507000 | #Constraints: 83142
2783.98/2791.86 c #Conflicts: 1508000 | #Constraints: 84142
2783.98/2791.86 c #Conflicts: 1509000 | #Constraints: 85142
2783.98/2791.86 c #Conflicts: 1510000 | #Constraints: 86142
2783.98/2791.86 c #Conflicts: 1511000 | #Constraints: 87142
2783.98/2791.86 c #Conflicts: 1512000 | #Constraints: 88142
2783.98/2791.86 c #Conflicts: 1513000 | #Constraints: 89142
2783.98/2791.86 c #Conflicts: 1514000 | #Constraints: 90142
2783.98/2791.86 c #Conflicts: 1515000 | #Constraints: 91142
2783.98/2791.86 c #Conflicts: 1516000 | #Constraints: 92142
2783.98/2791.86 c #Conflicts: 1517000 | #Constraints: 93142
2783.98/2791.86 c #Conflicts: 1518000 | #Constraints: 94142
2783.98/2791.86 c INPROCESSING
2783.98/2791.86 c GARBAGE COLLECT
2783.98/2791.86 c #Conflicts: 1519000 | #Constraints: 50736
2783.98/2791.86 c #Conflicts: 1520000 | #Constraints: 51736
2783.98/2791.86 c #Conflicts: 1521000 | #Constraints: 52736
2783.98/2791.86 c #Conflicts: 1522000 | #Constraints: 53736
2783.98/2791.86 c #Conflicts: 1523000 | #Constraints: 54736
2783.98/2791.86 c #Conflicts: 1524000 | #Constraints: 55736
2783.98/2791.86 c #Conflicts: 1525000 | #Constraints: 56736
2783.98/2791.86 c #Conflicts: 1526000 | #Constraints: 57736
2783.98/2791.86 c #Conflicts: 1527000 | #Constraints: 58736
2783.98/2791.86 c #Conflicts: 1528000 | #Constraints: 59736
2783.98/2791.86 c #Conflicts: 1529000 | #Constraints: 60736
2783.98/2791.86 c #Conflicts: 1530000 | #Constraints: 61736
2783.98/2791.86 c #Conflicts: 1531000 | #Constraints: 62736
2783.98/2791.86 c #Conflicts: 1532000 | #Constraints: 63736
2783.98/2791.86 c #Conflicts: 1533000 | #Constraints: 64736
2783.98/2791.86 c #Conflicts: 1534000 | #Constraints: 65736
2783.98/2791.86 c #Conflicts: 1535000 | #Constraints: 66736
2783.98/2791.86 c #Conflicts: 1536000 | #Constraints: 67736
2783.98/2791.86 c #Conflicts: 1537000 | #Constraints: 68736
2783.98/2791.86 c #Conflicts: 1538000 | #Constraints: 69736
2783.98/2791.86 c #Conflicts: 1539000 | #Constraints: 70736
2783.98/2791.86 c #Conflicts: 1540000 | #Constraints: 71736
2783.98/2791.86 c #Conflicts: 1541000 | #Constraints: 72736
2783.98/2791.86 c #Conflicts: 1542000 | #Constraints: 73736
2783.98/2791.86 c #Conflicts: 1543000 | #Constraints: 74736
2783.98/2791.86 c #Conflicts: 1544000 | #Constraints: 75736
2783.98/2791.86 c #Conflicts: 1545000 | #Constraints: 76736
2783.98/2791.86 c INPROCESSING
2783.98/2791.86 c GARBAGE COLLECT
2783.98/2791.86 c #Conflicts: 1546000 | #Constraints: 42236
2783.98/2791.86 c #Conflicts: 1547000 | #Constraints: 43236
2783.98/2791.86 c #Conflicts: 1548000 | #Constraints: 44236
2783.98/2791.86 c #Conflicts: 1549000 | #Constraints: 45236
2783.98/2791.86 c #Conflicts: 1550000 | #Constraints: 46236
2783.98/2791.86 c #Conflicts: 1551000 | #Constraints: 47236
2783.98/2791.86 c #Conflicts: 1552000 | #Constraints: 48236
2783.98/2791.86 c #Conflicts: 1553000 | #Constraints: 49236
2783.98/2791.86 c #Conflicts: 1554000 | #Constraints: 50236
2783.98/2791.86 c #Conflicts: 1555000 | #Constraints: 51236
2920.93/2929.16 c #Conflicts: 1556000 | #Constraints: 52236
2920.93/2929.16 c #Conflicts: 1557000 | #Constraints: 53236
2920.93/2929.16 c #Conflicts: 1558000 | #Constraints: 54236
2920.93/2929.16 c #Conflicts: 1559000 | #Constraints: 55236
2920.93/2929.16 c #Conflicts: 1560000 | #Constraints: 56236
2920.93/2929.16 c #Conflicts: 1561000 | #Constraints: 57236
2920.93/2929.16 c #Conflicts: 1562000 | #Constraints: 58236
2920.93/2929.16 c #Conflicts: 1563000 | #Constraints: 59236
2920.93/2929.16 c #Conflicts: 1564000 | #Constraints: 60236
2920.93/2929.16 c #Conflicts: 1565000 | #Constraints: 61236
2920.93/2929.16 c #Conflicts: 1566000 | #Constraints: 62236
2920.93/2929.16 c #Conflicts: 1567000 | #Constraints: 63236
2920.93/2929.16 c #Conflicts: 1568000 | #Constraints: 64236
2920.93/2929.16 c #Conflicts: 1569000 | #Constraints: 65236
2920.93/2929.16 c #Conflicts: 1570000 | #Constraints: 66236
2920.93/2929.16 c #Conflicts: 1571000 | #Constraints: 67236
2920.93/2929.16 c #Conflicts: 1572000 | #Constraints: 68236
2920.93/2929.16 c INPROCESSING
2920.93/2929.16 c GARBAGE COLLECT
2920.93/2929.16 c #Conflicts: 1573000 | #Constraints: 38071
2920.93/2929.16 c #Conflicts: 1574000 | #Constraints: 39071
2920.93/2929.16 c #Conflicts: 1575000 | #Constraints: 40071
2920.93/2929.16 c #Conflicts: 1576000 | #Constraints: 41071
2920.93/2929.16 c #Conflicts: 1577000 | #Constraints: 42071
2920.93/2929.16 c #Conflicts: 1578000 | #Constraints: 43071
2920.93/2929.16 c #Conflicts: 1579000 | #Constraints: 44071
2920.93/2929.16 c #Conflicts: 1580000 | #Constraints: 45071
2920.93/2929.16 c #Conflicts: 1581000 | #Constraints: 46071
2920.93/2929.16 c #Conflicts: 1582000 | #Constraints: 47071
2920.93/2929.16 c #Conflicts: 1583000 | #Constraints: 48071
2920.93/2929.16 c #Conflicts: 1584000 | #Constraints: 49071
2920.93/2929.16 c #Conflicts: 1585000 | #Constraints: 50071
2920.93/2929.16 c #Conflicts: 1586000 | #Constraints: 51071
2920.93/2929.16 c #Conflicts: 1587000 | #Constraints: 52071
2920.93/2929.16 c #Conflicts: 1588000 | #Constraints: 53071
2920.93/2929.16 c #Conflicts: 1589000 | #Constraints: 54071
2920.93/2929.16 c #Conflicts: 1590000 | #Constraints: 55071
2920.93/2929.16 c #Conflicts: 1591000 | #Constraints: 56071
2920.93/2929.16 c #Conflicts: 1592000 | #Constraints: 57071
2920.93/2929.16 c #Conflicts: 1593000 | #Constraints: 58071
2920.93/2929.16 c #Conflicts: 1594000 | #Constraints: 59071
2920.93/2929.16 c #Conflicts: 1595000 | #Constraints: 60071
2920.93/2929.16 c #Conflicts: 1596000 | #Constraints: 61071
2920.93/2929.16 c #Conflicts: 1597000 | #Constraints: 62071
2920.93/2929.16 c #Conflicts: 1598000 | #Constraints: 63071
2920.93/2929.16 c #Conflicts: 1599000 | #Constraints: 64071
2920.93/2929.16 c INPROCESSING
2920.93/2929.16 c GARBAGE COLLECT
2920.93/2929.16 c #Conflicts: 1600000 | #Constraints: 35841
2920.93/2929.16 c #Conflicts: 1601000 | #Constraints: 36841
2920.93/2929.16 c #Conflicts: 1602000 | #Constraints: 37841
2920.93/2929.16 c #Conflicts: 1603000 | #Constraints: 38841
2920.93/2929.16 c #Conflicts: 1604000 | #Constraints: 39841
2920.93/2929.16 c #Conflicts: 1605000 | #Constraints: 40841
2920.93/2929.16 c #Conflicts: 1606000 | #Constraints: 41841
2920.93/2929.16 c #Conflicts: 1607000 | #Constraints: 42841
2920.93/2929.16 c #Conflicts: 1608000 | #Constraints: 43841
2920.93/2929.16 c #Conflicts: 1609000 | #Constraints: 44841
2920.93/2929.16 c #Conflicts: 1610000 | #Constraints: 45841
2920.93/2929.16 c #Conflicts: 1611000 | #Constraints: 46841
2920.93/2929.16 c #Conflicts: 1612000 | #Constraints: 47841
2920.93/2929.16 c #Conflicts: 1613000 | #Constraints: 48841
2920.93/2929.16 c #Conflicts: 1614000 | #Constraints: 49841
2920.93/2929.16 c #Conflicts: 1615000 | #Constraints: 50841
2920.93/2929.16 c #Conflicts: 1616000 | #Constraints: 51841
2920.93/2929.16 c #Conflicts: 1617000 | #Constraints: 52841
2920.93/2929.16 c #Conflicts: 1618000 | #Constraints: 53841
2920.93/2929.16 c #Conflicts: 1619000 | #Constraints: 54841
2920.93/2929.16 c #Conflicts: 1620000 | #Constraints: 55841
2920.93/2929.16 c #Conflicts: 1621000 | #Constraints: 56841
2920.93/2929.16 c #Conflicts: 1622000 | #Constraints: 57841
2920.93/2929.16 c #Conflicts: 1623000 | #Constraints: 58841
2920.93/2929.16 c #Conflicts: 1624000 | #Constraints: 59841
2920.93/2929.16 c #Conflicts: 1625000 | #Constraints: 60841
2920.93/2929.16 c #Conflicts: 1626000 | #Constraints: 61841
2920.93/2929.16 c INPROCESSING
2920.93/2929.16 c GARBAGE COLLECT
2920.93/2929.16 c #Conflicts: 1627000 | #Constraints: 34633
2920.93/2929.16 c #Conflicts: 1628000 | #Constraints: 35633
2920.93/2929.16 c #Conflicts: 1629000 | #Constraints: 36633
2920.93/2929.16 c #Conflicts: 1630000 | #Constraints: 37633
2920.93/2929.16 c #Conflicts: 1631000 | #Constraints: 38633
2920.93/2929.16 c #Conflicts: 1632000 | #Constraints: 39633
3029.90/3038.44 c #Conflicts: 1633000 | #Constraints: 40633
3029.90/3038.44 c #Conflicts: 1634000 | #Constraints: 41633
3029.90/3038.44 c #Conflicts: 1635000 | #Constraints: 42633
3029.90/3038.44 c #Conflicts: 1636000 | #Constraints: 43633
3029.90/3038.44 c #Conflicts: 1637000 | #Constraints: 44633
3029.90/3038.44 c #Conflicts: 1638000 | #Constraints: 45633
3029.90/3038.44 c #Conflicts: 1639000 | #Constraints: 46633
3029.90/3038.44 c #Conflicts: 1640000 | #Constraints: 47634
3029.90/3038.44 c #Conflicts: 1641000 | #Constraints: 48634
3029.90/3038.44 c #Conflicts: 1642000 | #Constraints: 49634
3029.90/3038.44 c #Conflicts: 1643000 | #Constraints: 50634
3029.90/3038.44 c #Conflicts: 1644000 | #Constraints: 51634
3029.90/3038.44 c #Conflicts: 1645000 | #Constraints: 52634
3029.90/3038.44 c #Conflicts: 1646000 | #Constraints: 53634
3029.90/3038.44 c #Conflicts: 1647000 | #Constraints: 54634
3029.90/3038.44 c #Conflicts: 1648000 | #Constraints: 55634
3029.90/3038.44 c #Conflicts: 1649000 | #Constraints: 56634
3029.90/3038.44 c #Conflicts: 1650000 | #Constraints: 57634
3029.90/3038.44 c #Conflicts: 1651000 | #Constraints: 58634
3029.90/3038.44 c #Conflicts: 1652000 | #Constraints: 59634
3029.90/3038.44 c #Conflicts: 1653000 | #Constraints: 60634
3029.90/3038.44 c #Conflicts: 1654000 | #Constraints: 61634
3029.90/3038.44 c INPROCESSING
3029.90/3038.44 c GARBAGE COLLECT
3029.90/3038.44 c #Conflicts: 1655000 | #Constraints: 34731
3029.90/3038.44 c #Conflicts: 1656000 | #Constraints: 35731
3029.90/3038.44 c #Conflicts: 1657000 | #Constraints: 36731
3029.90/3038.44 c #Conflicts: 1658000 | #Constraints: 37731
3029.90/3038.44 c #Conflicts: 1659000 | #Constraints: 38731
3029.90/3038.44 c #Conflicts: 1660000 | #Constraints: 39731
3029.90/3038.44 c #Conflicts: 1661000 | #Constraints: 40731
3029.90/3038.44 c #Conflicts: 1662000 | #Constraints: 41731
3029.90/3038.44 c #Conflicts: 1663000 | #Constraints: 42731
3029.90/3038.44 c #Conflicts: 1664000 | #Constraints: 43731
3029.90/3038.44 c #Conflicts: 1665000 | #Constraints: 44731
3029.90/3038.44 c #Conflicts: 1666000 | #Constraints: 45731
3029.90/3038.44 c #Conflicts: 1667000 | #Constraints: 46731
3029.90/3038.44 c #Conflicts: 1668000 | #Constraints: 47731
3029.90/3038.44 c #Conflicts: 1669000 | #Constraints: 48731
3029.90/3038.44 c #Conflicts: 1670000 | #Constraints: 49731
3029.90/3038.44 c #Conflicts: 1671000 | #Constraints: 50731
3029.90/3038.44 c #Conflicts: 1672000 | #Constraints: 51731
3029.90/3038.44 c #Conflicts: 1673000 | #Constraints: 52731
3029.90/3038.44 c #Conflicts: 1674000 | #Constraints: 53731
3029.90/3038.44 c #Conflicts: 1675000 | #Constraints: 54731
3029.90/3038.44 c #Conflicts: 1676000 | #Constraints: 55731
3029.90/3038.44 c #Conflicts: 1677000 | #Constraints: 56731
3029.90/3038.44 c #Conflicts: 1678000 | #Constraints: 57731
3029.90/3038.44 c #Conflicts: 1679000 | #Constraints: 58731
3029.90/3038.44 c #Conflicts: 1680000 | #Constraints: 59731
3029.90/3038.44 c #Conflicts: 1681000 | #Constraints: 60731
3029.90/3038.44 c #Conflicts: 1682000 | #Constraints: 61731
3029.90/3038.44 c INPROCESSING
3029.90/3038.44 c GARBAGE COLLECT
3029.90/3038.44 c #Conflicts: 1683000 | #Constraints: 35001
3029.90/3038.44 c #Conflicts: 1684000 | #Constraints: 36001
3029.90/3038.44 c #Conflicts: 1685000 | #Constraints: 37001
3029.90/3038.44 c #Conflicts: 1686000 | #Constraints: 38001
3029.90/3038.44 c #Conflicts: 1687000 | #Constraints: 39001
3029.90/3038.44 c #Conflicts: 1688000 | #Constraints: 40001
3029.90/3038.44 c #Conflicts: 1689000 | #Constraints: 41001
3029.90/3038.44 c #Conflicts: 1690000 | #Constraints: 42001
3029.90/3038.44 c #Conflicts: 1691000 | #Constraints: 43001
3029.90/3038.44 c #Conflicts: 1692000 | #Constraints: 44001
3029.90/3038.44 c #Conflicts: 1693000 | #Constraints: 45001
3029.90/3038.44 c #Conflicts: 1694000 | #Constraints: 46001
3029.90/3038.44 c #Conflicts: 1695000 | #Constraints: 47001
3029.90/3038.44 c #Conflicts: 1696000 | #Constraints: 48001
3029.90/3038.44 c #Conflicts: 1697000 | #Constraints: 49001
3029.90/3038.44 c #Conflicts: 1698000 | #Constraints: 50001
3029.90/3038.44 c #Conflicts: 1699000 | #Constraints: 51001
3029.90/3038.44 c #Conflicts: 1700000 | #Constraints: 52001
3029.90/3038.44 c #Conflicts: 1701000 | #Constraints: 53001
3029.90/3038.44 c #Conflicts: 1702000 | #Constraints: 54001
3029.90/3038.44 c #Conflicts: 1703000 | #Constraints: 55001
3029.90/3038.44 c #Conflicts: 1704000 | #Constraints: 56001
3029.90/3038.44 c #Conflicts: 1705000 | #Constraints: 57001
3029.90/3038.44 c #Conflicts: 1706000 | #Constraints: 58001
3029.90/3038.44 c #Conflicts: 1707000 | #Constraints: 59001
3029.90/3038.44 c #Conflicts: 1708000 | #Constraints: 60001
3029.90/3038.44 c #Conflicts: 1709000 | #Constraints: 61001
3223.09/3232.26 c #Conflicts: 1710000 | #Constraints: 62001
3223.09/3232.26 c INPROCESSING
3223.09/3232.26 c GARBAGE COLLECT
3223.09/3232.26 c #Conflicts: 1711000 | #Constraints: 35084
3223.09/3232.26 c #Conflicts: 1712000 | #Constraints: 36084
3223.09/3232.26 c #Conflicts: 1713000 | #Constraints: 37084
3223.09/3232.26 c #Conflicts: 1714000 | #Constraints: 38084
3223.09/3232.26 c #Conflicts: 1715000 | #Constraints: 39084
3223.09/3232.26 c #Conflicts: 1716000 | #Constraints: 40084
3223.09/3232.26 c #Conflicts: 1717000 | #Constraints: 41084
3223.09/3232.26 c #Conflicts: 1718000 | #Constraints: 42084
3223.09/3232.26 c #Conflicts: 1719000 | #Constraints: 43084
3223.09/3232.26 c #Conflicts: 1720000 | #Constraints: 44084
3223.09/3232.26 c #Conflicts: 1721000 | #Constraints: 45084
3223.09/3232.26 c #Conflicts: 1722000 | #Constraints: 46084
3223.09/3232.26 c #Conflicts: 1723000 | #Constraints: 47084
3223.09/3232.26 c #Conflicts: 1724000 | #Constraints: 48084
3223.09/3232.26 c #Conflicts: 1725000 | #Constraints: 49084
3223.09/3232.26 c #Conflicts: 1726000 | #Constraints: 50084
3223.09/3232.26 c #Conflicts: 1727000 | #Constraints: 51084
3223.09/3232.26 c #Conflicts: 1728000 | #Constraints: 52084
3223.09/3232.26 c #Conflicts: 1729000 | #Constraints: 53084
3223.09/3232.26 c #Conflicts: 1730000 | #Constraints: 54084
3223.09/3232.26 c #Conflicts: 1731000 | #Constraints: 55084
3223.09/3232.26 c #Conflicts: 1732000 | #Constraints: 56084
3223.09/3232.26 c #Conflicts: 1733000 | #Constraints: 57084
3223.09/3232.26 c #Conflicts: 1734000 | #Constraints: 58084
3223.09/3232.26 c #Conflicts: 1735000 | #Constraints: 59084
3223.09/3232.26 c #Conflicts: 1736000 | #Constraints: 60084
3223.09/3232.26 c #Conflicts: 1737000 | #Constraints: 61084
3223.09/3232.26 c #Conflicts: 1738000 | #Constraints: 62084
3223.09/3232.26 c #Conflicts: 1739000 | #Constraints: 63084
3223.09/3232.26 c #Conflicts: 1740000 | #Constraints: 64084
3223.09/3232.26 c #Conflicts: 1741000 | #Constraints: 65084
3223.09/3232.26 c #Conflicts: 1742000 | #Constraints: 66084
3223.09/3232.26 c #Conflicts: 1743000 | #Constraints: 67084
3223.09/3232.26 c #Conflicts: 1744000 | #Constraints: 68084
3223.09/3232.26 c #Conflicts: 1745000 | #Constraints: 69084
3223.09/3232.26 c #Conflicts: 1746000 | #Constraints: 70084
3223.09/3232.26 c #Conflicts: 1747000 | #Constraints: 71084
3223.09/3232.26 c #Conflicts: 1748000 | #Constraints: 72084
3223.09/3232.26 c #Conflicts: 1749000 | #Constraints: 73085
3223.09/3232.26 c #Conflicts: 1750000 | #Constraints: 74085
3223.09/3232.26 c #Conflicts: 1751000 | #Constraints: 75085
3223.09/3232.26 c #Conflicts: 1752000 | #Constraints: 76085
3223.09/3232.26 c #Conflicts: 1753000 | #Constraints: 77085
3223.09/3232.26 c #Conflicts: 1754000 | #Constraints: 78085
3223.09/3232.26 c #Conflicts: 1755000 | #Constraints: 79086
3223.09/3232.26 c #Conflicts: 1756000 | #Constraints: 80086
3223.09/3232.26 c #Conflicts: 1757000 | #Constraints: 81086
3223.09/3232.26 c #Conflicts: 1758000 | #Constraints: 82086
3223.09/3232.26 c #Conflicts: 1759000 | #Constraints: 83086
3223.09/3232.26 c #Conflicts: 1760000 | #Constraints: 84086
3223.09/3232.26 c #Conflicts: 1761000 | #Constraints: 85086
3223.09/3232.26 c #Conflicts: 1762000 | #Constraints: 86086
3223.09/3232.26 c #Conflicts: 1763000 | #Constraints: 87086
3223.09/3232.26 c #Conflicts: 1764000 | #Constraints: 88086
3223.09/3232.26 c #Conflicts: 1765000 | #Constraints: 89086
3223.09/3232.26 c #Conflicts: 1766000 | #Constraints: 90086
3223.09/3232.26 c #Conflicts: 1767000 | #Constraints: 91086
3223.09/3232.26 c #Conflicts: 1768000 | #Constraints: 92086
3223.09/3232.26 c #Conflicts: 1769000 | #Constraints: 93086
3223.09/3232.26 c #Conflicts: 1770000 | #Constraints: 94086
3223.09/3232.26 c #Conflicts: 1771000 | #Constraints: 95086
3223.09/3232.26 c #Conflicts: 1772000 | #Constraints: 96086
3223.09/3232.26 c #Conflicts: 1773000 | #Constraints: 97086
3223.09/3232.26 c #Conflicts: 1774000 | #Constraints: 98086
3223.09/3232.26 c #Conflicts: 1775000 | #Constraints: 99086
3223.09/3232.26 c #Conflicts: 1776000 | #Constraints: 100086
3223.09/3232.26 c #Conflicts: 1777000 | #Constraints: 101086
3223.09/3232.26 c #Conflicts: 1778000 | #Constraints: 102086
3223.09/3232.26 c #Conflicts: 1779000 | #Constraints: 103086
3223.09/3232.26 c #Conflicts: 1780000 | #Constraints: 104086
3223.09/3232.26 c #Conflicts: 1781000 | #Constraints: 105086
3223.09/3232.26 c #Conflicts: 1782000 | #Constraints: 106086
3223.09/3232.26 c #Conflicts: 1783000 | #Constraints: 107086
3223.09/3232.26 c #Conflicts: 1784000 | #Constraints: 108086
3223.09/3232.26 c #Conflicts: 1785000 | #Constraints: 109086
3223.09/3232.26 c #Conflicts: 1786000 | #Constraints: 110086
3223.09/3232.26 c #Conflicts: 1787000 | #Constraints: 111086
3545.18/3555.38 c #Conflicts: 1788000 | #Constraints: 112086
3545.18/3555.38 c #Conflicts: 1789000 | #Constraints: 113086
3545.18/3555.38 c #Conflicts: 1790000 | #Constraints: 114086
3545.18/3555.38 c #Conflicts: 1791000 | #Constraints: 115086
3545.18/3555.38 c #Conflicts: 1792000 | #Constraints: 116086
3545.18/3555.38 c #Conflicts: 1793000 | #Constraints: 117086
3545.18/3555.38 c #Conflicts: 1794000 | #Constraints: 118086
3545.18/3555.38 c #Conflicts: 1795000 | #Constraints: 119086
3545.18/3555.38 c #Conflicts: 1796000 | #Constraints: 120086
3545.18/3555.38 c #Conflicts: 1797000 | #Constraints: 121086
3545.18/3555.38 c #Conflicts: 1798000 | #Constraints: 122086
3545.18/3555.38 c #Conflicts: 1799000 | #Constraints: 123086
3545.18/3555.38 c #Conflicts: 1800000 | #Constraints: 124086
3545.18/3555.38 c #Conflicts: 1801000 | #Constraints: 125086
3545.18/3555.38 c #Conflicts: 1802000 | #Constraints: 126086
3545.18/3555.38 c #Conflicts: 1803000 | #Constraints: 127086
3545.18/3555.38 c #Conflicts: 1804000 | #Constraints: 128086
3545.18/3555.38 c #Conflicts: 1805000 | #Constraints: 129086
3545.18/3555.38 c #Conflicts: 1806000 | #Constraints: 130086
3545.18/3555.38 c #Conflicts: 1807000 | #Constraints: 131086
3545.18/3555.38 c #Conflicts: 1808000 | #Constraints: 132086
3545.18/3555.38 c #Conflicts: 1809000 | #Constraints: 133086
3545.18/3555.38 c #Conflicts: 1810000 | #Constraints: 134086
3545.18/3555.38 c #Conflicts: 1811000 | #Constraints: 135086
3545.18/3555.38 c #Conflicts: 1812000 | #Constraints: 136086
3545.18/3555.38 c #Conflicts: 1813000 | #Constraints: 137086
3545.18/3555.38 c #Conflicts: 1814000 | #Constraints: 138086
3545.18/3555.38 c #Conflicts: 1815000 | #Constraints: 139086
3545.18/3555.38 c #Conflicts: 1816000 | #Constraints: 140086
3545.18/3555.38 c #Conflicts: 1817000 | #Constraints: 141086
3545.18/3555.38 c #Conflicts: 1818000 | #Constraints: 142086
3545.18/3555.38 c #Conflicts: 1819000 | #Constraints: 143086
3545.18/3555.38 c #Conflicts: 1820000 | #Constraints: 144086
3545.18/3555.38 c INPROCESSING
3545.18/3555.38 c GARBAGE COLLECT
3545.18/3555.38 c #Conflicts: 1821000 | #Constraints: 76113
3545.18/3555.38 c #Conflicts: 1822000 | #Constraints: 77113
3545.18/3555.38 c #Conflicts: 1823000 | #Constraints: 78113
3545.18/3555.38 c #Conflicts: 1824000 | #Constraints: 79113
3545.18/3555.38 c #Conflicts: 1825000 | #Constraints: 80113
3545.18/3555.38 c #Conflicts: 1826000 | #Constraints: 81113
3545.18/3555.38 c #Conflicts: 1827000 | #Constraints: 82113
3545.18/3555.38 c #Conflicts: 1828000 | #Constraints: 83113
3545.18/3555.38 c #Conflicts: 1829000 | #Constraints: 84113
3545.18/3555.38 c #Conflicts: 1830000 | #Constraints: 85113
3545.18/3555.38 c #Conflicts: 1831000 | #Constraints: 86113
3545.18/3555.38 c #Conflicts: 1832000 | #Constraints: 87113
3545.18/3555.38 c #Conflicts: 1833000 | #Constraints: 88113
3545.18/3555.38 c #Conflicts: 1834000 | #Constraints: 89113
3545.18/3555.38 c #Conflicts: 1835000 | #Constraints: 90113
3545.18/3555.38 c #Conflicts: 1836000 | #Constraints: 91113
3545.18/3555.38 c #Conflicts: 1837000 | #Constraints: 92113
3545.18/3555.38 c #Conflicts: 1838000 | #Constraints: 93113
3545.18/3555.38 c #Conflicts: 1839000 | #Constraints: 94113
3545.18/3555.38 c #Conflicts: 1840000 | #Constraints: 95113
3545.18/3555.38 c #Conflicts: 1841000 | #Constraints: 96113
3545.18/3555.38 c #Conflicts: 1842000 | #Constraints: 97113
3545.18/3555.38 c #Conflicts: 1843000 | #Constraints: 98113
3545.18/3555.38 c #Conflicts: 1844000 | #Constraints: 99113
3545.18/3555.38 c #Conflicts: 1845000 | #Constraints: 100113
3545.18/3555.38 c #Conflicts: 1846000 | #Constraints: 101113
3545.18/3555.38 c #Conflicts: 1847000 | #Constraints: 102113
3545.18/3555.38 c #Conflicts: 1848000 | #Constraints: 103113
3545.18/3555.38 c #Conflicts: 1849000 | #Constraints: 104113
3545.18/3555.38 c INPROCESSING
3545.18/3555.38 c GARBAGE COLLECT
3545.18/3555.38 c #Conflicts: 1850000 | #Constraints: 56102
3545.18/3555.38 c #Conflicts: 1851000 | #Constraints: 57102
3545.18/3555.38 c #Conflicts: 1852000 | #Constraints: 58102
3545.18/3555.38 c #Conflicts: 1853000 | #Constraints: 59102
3545.18/3555.38 c #Conflicts: 1854000 | #Constraints: 60102
3545.18/3555.38 c #Conflicts: 1855000 | #Constraints: 61102
3545.18/3555.38 c #Conflicts: 1856000 | #Constraints: 62102
3545.18/3555.38 c #Conflicts: 1857000 | #Constraints: 63102
3545.18/3555.38 c #Conflicts: 1858000 | #Constraints: 64102
3545.18/3555.38 c #Conflicts: 1859000 | #Constraints: 65102
3545.18/3555.38 c #Conflicts: 1860000 | #Constraints: 66102
3545.18/3555.38 c #Conflicts: 1861000 | #Constraints: 67102
3545.18/3555.38 c #Conflicts: 1862000 | #Constraints: 68102
3545.18/3555.38 c #Conflicts: 1863000 | #Constraints: 69102
3545.18/3555.38 c #Conflicts: 1864000 | #Constraints: 70102
3545.18/3555.38 c #Conflicts: 1865000 | #Constraints: 71102
3600.02/3610.30 c #Conflicts: 1866000 | #Constraints: 72102
3600.02/3610.30 c #Conflicts: 1867000 | #Constraints: 73102
3600.02/3610.30 c #Conflicts: 1868000 | #Constraints: 74102
3600.02/3610.30 c #Conflicts: 1869000 | #Constraints: 75102
3600.02/3610.30 c #Conflicts: 1870000 | #Constraints: 76102
3600.02/3610.30 c #Conflicts: 1871000 | #Constraints: 77102
3600.02/3610.30 c #Conflicts: 1872000 | #Constraints: 78102
3600.02/3610.30 c #Conflicts: 1873000 | #Constraints: 79102
3600.02/3610.30 c #Conflicts: 1874000 | #Constraints: 80102
3600.02/3610.30 c #Conflicts: 1875000 | #Constraints: 81103
3600.02/3610.30 c #Conflicts: 1876000 | #Constraints: 82103
3600.02/3610.30 c #Conflicts: 1877000 | #Constraints: 83103
3600.02/3610.30 c #Conflicts: 1878000 | #Constraints: 84103
3600.02/3610.30 c INPROCESSING
3600.02/3610.30 c GARBAGE COLLECT
3600.02/3610.30 c #Conflicts: 1879000 | #Constraints: 45914
3600.02/3610.30 c #Conflicts: 1880000 | #Constraints: 46914
3600.02/3610.30 c #Conflicts: 1881000 | #Constraints: 47914
3600.02/3610.30 c #Conflicts: 1882000 | #Constraints: 48914
3600.02/3610.30 c #Conflicts: 1883000 | #Constraints: 49914
3600.02/3610.30 c #Conflicts: 1884000 | #Constraints: 50914
3600.02/3610.30 c #Conflicts: 1885000 | #Constraints: 51914
3600.02/3610.30 c #Conflicts: 1886000 | #Constraints: 52914
3600.02/3610.30 c #Conflicts: 1887000 | #Constraints: 53914
3600.02/3610.30 c #Conflicts: 1888000 | #Constraints: 54914
3600.02/3610.30 c cpu time 3583.88 s
3600.02/3610.30 c deterministic time 261567801053 2.62e+11
3600.02/3610.30 c optimization time 13.2007 s
3600.02/3610.30 c total solve time 3570.61 s
3600.02/3610.30 c core-guided solve time 0 s
3600.02/3610.30 c propagation time 1957.15 s
3600.02/3610.30 c conflict analysis time 1407.59 s
3600.02/3610.30 c propagations 977017237
3600.02/3610.30 c resolve steps 94575625
3600.02/3610.30 c decisions 11426958
3600.02/3610.30 c conflicts 1888524
3600.02/3610.30 c restarts 3642
3600.02/3610.30 c inprocessing phases 93
3600.02/3610.30 c garbage collections 93 ,( 100.00 )
3600.02/3610.30 c input clauses 5591 ,( 98.57 )
3600.02/3610.30 c input cardinalities 81 ,( 1.43 )
3600.02/3610.30 c input general constraints 0 ,( 0.00 )
3600.02/3610.30 c input average constraint length 6.23
3600.02/3610.30 c input average constraint degree 1.94
3600.02/3610.30 c learned clauses 1510896 ,( 80.00 )
3600.02/3610.30 c learned cardinalities 27829 ,( 1.47 )
3600.02/3610.30 c learned general constraints 349833 ,( 18.52 )
3600.02/3610.30 c learned average constraint length 661.62
3600.02/3610.30 c learned average constraint degree 9235251.82
3600.02/3610.30 c watched CF 32, 64, 128, Arb: 121732 , 0 , 0 , 0
3600.02/3610.30 c counting CF 32, 64, 128, Arb: 228101 , 0 , 0 , 0
3600.02/3610.30 c watched constraints 121732 ,( 34.80 )
3600.02/3610.30 c counting constraints 228101 ,( 65.20 )
3600.02/3610.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1786503461 , 627757522 , 3257504159 ,( 135057689 , 3122446470 )
3600.02/3610.30 c gcd simplifications 1097
3600.02/3610.30 c detected cardinalities 1375
3600.02/3610.30 c weakened non-implied lits 366768285
3600.02/3610.30 c weakened non-implying lits 250773
3600.02/3610.30 c original variables 5508
3600.02/3610.30 c clausal propagations 374674455
3600.02/3610.30 c cardinality propagations 353307963
3600.02/3610.30 c watched propagations 5072113
3600.02/3610.30 c counting propagations 238161351
3600.02/3610.30 c watch lookups 149775951910
3600.02/3610.30 c watch backjump lookups 0
3600.02/3610.30 c watch checks 39976792457
3600.02/3610.30 c propagation checks 65241604045
3600.02/3610.30 c constraint additions 4594235495
3600.02/3610.30 c trail pops 990329120
3600.02/3610.30 c formula constraints 5672
3600.02/3610.30 c learned constraints 1888514
3600.02/3610.30 c bound constraints 0
3600.02/3610.30 c core-guided constraints 0
3600.02/3610.30 c encountered formula constraints 58689098
3600.02/3610.30 c encountered learned constraints 37774700
3600.02/3610.30 c encountered bound constraints 0
3600.02/3610.30 c encountered core-guided constraints 0
3600.02/3610.30 c LP total time 184.871 s
3600.02/3610.30 c LP solve time 169.66 s
3600.02/3610.30 c LP constraints added 6999
3600.02/3610.30 c LP constraints removed 1209
3600.02/3610.30 c LP pivots internal 198596
3600.02/3610.30 c LP pivots root 245234
3600.02/3610.30 c LP calls 53
3600.02/3610.30 c LP optimalities 22
3600.02/3610.30 c LP no pivot count 3
3600.02/3610.30 c LP infeasibilities 24
3600.02/3610.30 c LP valid Farkas constraints 24
3600.02/3610.30 c LP learned Farkas constraints 9
3600.02/3610.30 c LP basis resets 0
3600.02/3610.30 c LP cycling count 0
3600.02/3610.30 c LP singular count 0
3600.02/3610.30 c LP no primal count 0
3600.02/3610.30 c LP no farkas count 0
3600.02/3610.30 c LP other issue count 0
3600.02/3610.30 c LP Gomory cuts 11
3600.02/3610.30 c LP learned cuts 1316
3600.02/3610.30 c LP deleted cuts 1209
3600.02/3610.30 c LP encountered Gomory constraints 0
3600.02/3610.30 c LP encountered Farkas constraints 303
3600.02/3610.30 c LP encountered learned Farkas constraints 39
3600.02/3610.30 c CG auxiliary variables introduced 0
3600.02/3610.30 c CG solutions found 0
3600.02/3610.30 c CG cores constructed 0
3600.02/3610.30 c CG core cardinality constraints returned 0
3600.02/3610.30 c CG unit cores 0
3600.02/3610.30 c CG single cores 0
3600.02/3610.30 c CG blocks removed during cardinality reduction 0
3600.02/3610.30 c CG first core best 0
3600.02/3610.30 c CG decision core best 0
3600.02/3610.30 c CG core reduction tie 0
3600.02/3610.30 c CG core degree average 0.00
3600.02/3610.30 c CG core slack average 0.00
3600.02/3610.30 c CG core upper bound improvements 0
3600.02/3610.30 c STR number of successful calls 0
3600.02/3610.30 c STR number of unsuccessful calls 0
3600.02/3610.30 c STR number of inconclusive calls 0
3600.02/3610.30 c STR number of successful attempts 0
3600.02/3610.30 c STR number of unsuccessful attempts 0
3600.02/3610.30 c STR number of inconclusive attempts 0
3600.02/3610.30 c STR average degree increase per successful call inf
3600.02/3610.30 c STR average degree increase per successful attempt inf
3600.02/3610.30 c STR total number of conflicts for successful attempts 0
3600.02/3610.30 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3610.30 c STR total number of conflicts for inconclusive attempts 0
3600.02/3610.30 c STR average number of conflicts per successful attempt inf
3600.02/3610.30 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3610.30 c STR average number of conflicts per inconclusive attempt inf
3600.02/3610.30 c AVG.sumWPerc 58.13
3600.02/3610.30 c bigint constraints 0
3600.02/3610.30 s UNKNOWN
3600.02/3610.30 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (62320 MiB free)
memory of node 1: 64507 MiB (63652 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507518-1751179333/watcher-4507518-1751179333 -o /tmp/evaluation-result-4507518-1751179333/solver-4507518-1751179333 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751170846-20071 --watchdog 3760 run-dec-ls.sh HOME/instance-4507518-1751179333.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=21211, runsolver pid=21208
Current StackSize limit: 8192 KiB
[startup+0.100106 s]*
/proc/loadavg: 4.18 4.23 4.18 5/255 21213
/proc/meminfo: memFree=128996024/131382120 swapFree=33010684/33010684
[pid=21211] ppid=21208 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21211/stat : 21211 (run-dec-ls.sh) S 21208 21211 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33612640 4292608 768 18446744073709551615 94434100072448 94434100966981 140729193801664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94434101206032 94434101253776 94434102558720 140729193806183 140729193806309 140729193806309 140729193811911 0
/proc/21211/statm: 1048 768 704 219 0 110 0
[pid=21213] ppid=21211 vsize=67456 memory=21924 CPUtime=0.08 cores=5,7
/proc/21213/stat : 21213 (roundingsat) R 21211 21211 20058 0 -1 4194304 2964 0 0 0 6 2 0 0 20 0 1 0 33612641 69074944 5481 18446744073709551615 4227072 8923433 140735536416624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140735536425376 140735536425512 140735536425512 140735536431082 0
/proc/21213/statm: 16864 5481 2240 1147 0 4291 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 71648 KiB
Current children cumulated memory: 24996 KiB
[startup+0.213513 s]*
/proc/loadavg: 4.18 4.23 4.18 5/255 21213
/proc/meminfo: memFree=128988464/131382120 swapFree=33010684/33010684
[pid=21211] ppid=21208 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21211/stat : 21211 (run-dec-ls.sh) S 21208 21211 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33612640 4292608 768 18446744073709551615 94434100072448 94434100966981 140729193801664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94434101206032 94434101253776 94434102558720 140729193806183 140729193806309 140729193806309 140729193811911 0
/proc/21211/statm: 1048 768 704 219 0 110 0
[pid=21213] ppid=21211 vsize=71892 memory=25780 CPUtime=0.2 cores=5,7
/proc/21213/stat : 21213 (roundingsat) R 21211 21211 20058 0 -1 4194304 4528 0 0 0 17 3 0 0 20 0 1 0 33612641 73617408 6445 18446744073709551615 4227072 8923433 140735536416624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140735536425376 140735536425512 140735536425512 140735536431082 0
/proc/21213/statm: 17973 6445 2240 1147 0 5400 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 76084 KiB
Current children cumulated memory: 28852 KiB
[startup+0.313389 s]*
/proc/loadavg: 4.18 4.23 4.18 5/255 21213
/proc/meminfo: memFree=128988464/131382120 swapFree=33010684/33010684
[pid=21211] ppid=21208 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21211/stat : 21211 (run-dec-ls.sh) S 21208 21211 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33612640 4292608 768 18446744073709551615 94434100072448 94434100966981 140729193801664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94434101206032 94434101253776 94434102558720 140729193806183 140729193806309 140729193806309 140729193811911 0
/proc/21211/statm: 1048 768 704 219 0 110 0
[pid=21213] ppid=21211 vsize=72072 memory=26164 CPUtime=0.29 cores=5,7
/proc/21213/stat : 21213 (roundingsat) R 21211 21211 20058 0 -1 4194304 4595 0 0 0 26 3 0 0 20 0 1 0 33612641 73801728 6541 18446744073709551615 4227072 8923433 140735536416624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140735536425376 140735536425512 140735536425512 140735536431082 0
/proc/21213/statm: 18018 6541 2240 1147 0 5445 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 76264 KiB
Current children cumulated memory: 29236 KiB
[startup+0.700365 s]
/proc/loadavg: 4.18 4.23 4.18 5/255 21213
/proc/meminfo: memFree=128988464/131382120 swapFree=33010684/33010684
[pid=21211] ppid=21208 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21211/stat : 21211 (run-dec-ls.sh) S 21208 21211 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33612640 4292608 768 18446744073709551615 94434100072448 94434100966981 140729193801664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94434101206032 94434101253776 94434102558720 140729193806183 140729193806309 140729193806309 140729193811911 0
/proc/21211/statm: 1048 768 704 219 0 110 0
[pid=21213] ppid=21211 vsize=72072 memory=26292 CPUtime=0.67 cores=5,7
/proc/21213/stat : 21213 (roundingsat) R 21211 21211 20058 0 -1 4194304 4605 0 0 0 64 3 0 0 20 0 1 0 33612641 73801728 6573 18446744073709551615 4227072 8923433 140735536416624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140735536425376 140735536425512 140735536425512 140735536431082 0
/proc/21213/statm: 18018 6573 2272 1147 0 5445 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 76264 KiB
Current children cumulated memory: 29364 KiB
[startup+1.50046 s]
/proc/loadavg: 4.16 4.22 4.18 5/255 21213
/proc/meminfo: memFree=128988464/131382120 swapFree=33010684/33010684
[pid=21211] ppid=21208 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21211/stat : 21211 (run-dec-ls.sh) S 21208 21211 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33612640 4292608 768 18446744073709551615 94434100072448 94434100966981 140729193801664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94434101206032 94434101253776 94434102558720 140729193806183 140729193806309 140729193806309 140729193811911 0
/proc/21211/statm: 1048 768 704 219 0 110 0
[pid=21213] ppid=21211 vsize=73176 memory=27444 CPUtime=1.47 cores=5,7
/proc/21213/stat : 21213 (roundingsat) R 21211 21211 20058 0 -1 4194304 4886 0 0 0 143 4 0 0 20 0 1 0 33612641 74932224 6861 18446744073709551615 4227072 8923433 140735536416624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140735536425376 140735536425512 140735536425512 140735536431082 0
/proc/21213/statm: 18294 6861 2272 1147 0 5721 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 77368 KiB
Current children cumulated memory: 30516 KiB
[startup+3.11302 s]
/proc/loadavg: 4.16 4.22 4.18 5/255 21213
/proc/meminfo: memFree=128976368/131382120 swapFree=33010684/33010684
[pid=21211] ppid=21208 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21211/stat : 21211 (run-dec-ls.sh) S 21208 21211 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33612640 4292608 768 18446744073709551615 94434100072448 94434100966981 140729193801664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94434101206032 94434101253776 94434102558720 140729193806183 140729193806309 140729193806309 140729193811911 0
/proc/21211/statm: 1048 768 704 219 0 110 0
[pid=21213] ppid=21211 vsize=77592 memory=34380 CPUtime=3.07 cores=5,7
/proc/21213/stat : 21213 (roundingsat) R 21211 21211 20058 0 -1 4194304 6057 0 0 0 298 9 0 0 20 0 1 0 33612641 79454208 8595 18446744073709551615 4227072 8923433 140735536416624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140735536425376 140735536425512 140735536425512 140735536431082 0
/proc/21213/statm: 19398 8595 2336 1147 0 6825 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 81784 KiB
Current children cumulated memory: 37452 KiB
[startup+6.30041 s]
/proc/loadavg: 4.15 4.22 4.17 5/256 21214
/proc/meminfo: memFree=128960240/131382120 swapFree=33010684/33010684
[pid=21211] ppid=21208 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21211/stat : 21211 (run-dec-ls.sh) S 21208 21211 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33612640 4292608 768 18446744073709551615 94434100072448 94434100966981 140729193801664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94434101206032 94434101253776 94434102558720 140729193806183 140729193806309 140729193806309 140729193811911 0
/proc/21211/statm: 1048 768 704 219 0 110 0
[pid=21213] ppid=21211 vsize=83212 memory=37964 CPUtime=6.26 cores=5,7
/proc/21213/stat : 21213 (roundingsat) R 21211 21211 20058 0 -1 4194304 6945 0 0 0 612 14 0 0 20 0 1 0 33612641 85209088 9491 18446744073709551615 4227072 8923433 140735536416624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140735536425376 140735536425512 140735536425512 140735536431082 0
/proc/21213/statm: 20803 9491 2336 1147 0 8230 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 87404 KiB
Current children cumulated memory: 41036 KiB
[startup+12.7004 s]
/proc/loadavg: 4.22 4.23 4.18 5/256 21214
/proc/meminfo: memFree=128958476/131382120 swapFree=33010684/33010684
[pid=21211] ppid=21208 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21211/stat : 21211 (run-dec-ls.sh) S 21208 21211 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33612640 4292608 768 18446744073709551615 94434100072448 94434100966981 140729193801664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94434101206032 94434101253776 94434102558720 140729193806183 140729193806309 140729193806309 140729193811911 0
/proc/21211/statm: 1048 768 704 219 0 110 0
[pid=21213] ppid=21211 vsize=88144 memory=44108 CPUtime=12.64 cores=5,7
/proc/21213/stat : 21213 (roundingsat) R 21211 21211 20058 0 -1 4194304 8509 0 0 0 1241 23 0 0 20 0 1 0 33612641 90259456 11027 18446744073709551615 4227072 8923433 140735536416624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140735536425376 140735536425512 140735536425512 140735536431082 0
/proc/21213/statm: 22036 11027 2336 1147 0 9463 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 92336 KiB
Current children cumulated memory: 47180 KiB
[startup+25.5004 s]
/proc/loadavg: 4.18 4.23 4.18 5/256 21214
/proc/meminfo: memFree=128939540/131382120 swapFree=33010684/33010684
[pid=21211] ppid=21208 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21211/stat : 21211 (run-dec-ls.sh) S 21208 21211 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33612640 4292608 768 18446744073709551615 94434100072448 94434100966981 140729193801664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94434101206032 94434101253776 94434102558720 140729193806183 140729193806309 140729193806309 140729193811911 0
/proc/21211/statm: 1048 768 704 219 0 110 0
[pid=21213] ppid=21211 vsize=95536 memory=51228 CPUtime=25.4 cores=5,7
/proc/21213/stat : 21213 (roundingsat) R 21211 21211 20058 0 -1 4194304 9781 0 0 0 2498 42 0 0 20 0 1 0 33612641 97828864 12807 18446744073709551615 4227072 8923433 140735536416624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140735536425376 140735536425512 140735536425512 140735536431082 0
/proc/21213/statm: 23884 12807 2336 1147 0 11311 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 99728 KiB
Current children cumulated memory: 54300 KiB
[startup+51.1132 s]
/proc/loadavg: 4.11 4.20 4.17 5/256 21215
/proc/meminfo: memFree=128902252/131382120 swapFree=33010684/33010684
[pid=21211] ppid=21208 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21211/stat : 21211 (run-dec-ls.sh) S 21208 21211 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33612640 4292608 768 18446744073709551615 94434100072448 94434100966981 140729193801664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94434101206032 94434101253776 94434102558720 140729193806183 140729193806309 140729193806309 140729193811911 0
/proc/21211/statm: 1048 768 704 219 0 110 0
[pid=21213] ppid=21211 vsize=125696 memory=75676 CPUtime=50.96 cores=5,7
/proc/21213/stat : 21213 (roundingsat) R 21211 21211 20058 0 -1 4194304 15892 0 0 0 5016 80 0 0 20 0 1 0 33612641 128712704 18919 18446744073709551615 4227072 8923433 140735536416624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140735536425376 140735536425512 140735536425512 140735536431082 0
/proc/21213/statm: 31424 18919 2336 1147 0 18851 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 129888 KiB
Current children cumulated memory: 78748 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 4.20 4.17 5/256 21218
/proc/meminfo: memFree=128872408/131382120 swapFree=33010684/33010684
[pid=21211] ppid=21208 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21211/stat : 21211 (run-dec-ls.sh) S 21208 21211 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33612640 4292608 768 18446744073709551615 94434100072448 94434100966981 140729193801664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94434101206032 94434101253776 94434102558720 140729193806183 140729193806309 140729193806309 140729193811911 0
/proc/21211/statm: 1048 768 704 219 0 110 0
[pid=21213] ppid=21211 vsize=175088 memory=115268 CPUtime=102.02 cores=5,7
/proc/21213/stat : 21213 (roundingsat) R 21211 21211 20058 0 -1 4194304 21716 0 0 0 10057 145 0 0 20 0 1 0 33612641 179290112 28817 18446744073709551615 4227072 8923433 140735536416624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140735536425376 140735536425512 140735536425512 140735536431082 0
/proc/21213/statm: 43772 28817 2336 1147 0 31199 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 179280 KiB
Current children cumulated memory: 118340 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.18 4.17 5/257 21221
/proc/meminfo: memFree=128815496/131382120 swapFree=33010684/33010684
[pid=21211] ppid=21208 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21211/stat : 21211 (run-dec-ls.sh) S 21208 21211 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33612640 4292608 768 18446744073709551615 94434100072448 94434100966981 140729193801664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94434101206032 94434101253776 94434102558720 140729193806183 140729193806309 140729193806309 140729193811911 0
/proc/21211/statm: 1048 768 704 219 0 110 0
[pid=21213] ppid=21211 vsize=232796 memory=175584 CPUtime=161.86 cores=5,7
/proc/21213/stat : 21213 (roundingsat) R 21211 21211 20058 0 -1 4194304 28120 0 0 0 15991 195 0 0 20 0 1 0 33612641 238383104 43896 18446744073709551615 4227072 8923433 140735536416624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140735536425376 140735536425512 140735536425512 140735536431082 0
/proc/21213/statm: 58199 43896 2336 1147 0 45626 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 236988 KiB
Current children cumulated memory: 178656 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.16 4.16 5/257 21268
/proc/meminfo: memFree=129125232/131382120 swapFree=33010684/33010684
[pid=21211] ppid=21208 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21211/stat : 21211 (run-dec-ls.sh) S 21208 21211 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33612640 4292608 768 18446744073709551615 94434100072448 94434100966981 140729193801664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94434101206032 94434101253776 94434102558720 140729193806183 140729193806309 140729193806309 140729193811911 0
/proc/21211/statm: 1048 768 704 219 0 110 0
[pid=21213] ppid=21211 vsize=376852 memory=249792 CPUtime=221.69 cores=5,7
/proc/21213/stat : 21213 (roundingsat) R 21211 21211 20058 0 -1 4194304 32367 0 0 0 21932 237 0 0 20 0 1 0 33612641 385896448 62448 18446744073709551615 4227072 8923433 140735536416624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140735536425376 140735536425512 140735536425512 140735536431082 0
/proc/21213/statm: 94213 62448 2336 1147 0 81640 0
################
# More data... #
################
/proc/21213/statm: 167352 154550 2432 1147 0 154779 0
Current children cumulated CPU time: 3093.6 s
Current children cumulated vsize: 673600 KiB
Current children cumulated memory: 621272 KiB
[startup+3162.3 s]
/proc/loadavg: 1.15 2.06 3.08 2/234 21561
/proc/meminfo: memFree=129705560/131382120 swapFree=33010684/33010684
[pid=21211] ppid=21208 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21211/stat : 21211 (run-dec-ls.sh) S 21208 21211 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33612640 4292608 768 18446744073709551615 94434100072448 94434100966981 140729193801664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94434101206032 94434101253776 94434102558720 140729193806183 140729193806309 140729193806309 140729193811911 0
/proc/21211/statm: 1048 768 704 219 0 110 0
[pid=21213] ppid=21211 vsize=669752 memory=618840 CPUtime=3153.41 cores=5,7
/proc/21213/stat : 21213 (roundingsat) R 21211 21211 20058 0 -1 4194304 65932 0 0 0 313844 1497 0 0 20 0 1 0 33612641 685826048 154710 18446744073709551615 4227072 8923433 140735536416624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140735536425376 140735536425512 140735536425512 140735536431082 0
/proc/21213/statm: 167438 154710 2432 1147 0 154865 0
Current children cumulated CPU time: 3153.41 s
Current children cumulated vsize: 673944 KiB
Current children cumulated memory: 621912 KiB
[startup+3222.3 s]
/proc/loadavg: 1.10 1.88 2.95 2/234 21565
/proc/meminfo: memFree=129684960/131382120 swapFree=33010684/33010684
[pid=21211] ppid=21208 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21211/stat : 21211 (run-dec-ls.sh) S 21208 21211 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33612640 4292608 768 18446744073709551615 94434100072448 94434100966981 140729193801664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94434101206032 94434101253776 94434102558720 140729193806183 140729193806309 140729193806309 140729193811911 0
/proc/21211/statm: 1048 768 704 219 0 110 0
[pid=21213] ppid=21211 vsize=671464 memory=622552 CPUtime=3213.22 cores=5,7
/proc/21213/stat : 21213 (roundingsat) R 21211 21211 20058 0 -1 4194304 66217 0 0 0 319812 1510 0 0 20 0 1 0 33612641 687579136 155638 18446744073709551615 4227072 8923433 140735536416624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140735536425376 140735536425512 140735536425512 140735536431082 0
/proc/21213/statm: 167866 155638 2432 1147 0 155293 0
Current children cumulated CPU time: 3213.22 s
Current children cumulated vsize: 675656 KiB
Current children cumulated memory: 625624 KiB
[startup+3282.3 s]
/proc/loadavg: 1.15 1.75 2.84 2/234 21567
/proc/meminfo: memFree=129680864/131382120 swapFree=33010684/33010684
[pid=21211] ppid=21208 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21211/stat : 21211 (run-dec-ls.sh) S 21208 21211 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33612640 4292608 768 18446744073709551615 94434100072448 94434100966981 140729193801664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94434101206032 94434101253776 94434102558720 140729193806183 140729193806309 140729193806309 140729193811911 0
/proc/21211/statm: 1048 768 704 219 0 110 0
[pid=21213] ppid=21211 vsize=675708 memory=625496 CPUtime=3273.04 cores=5,7
/proc/21213/stat : 21213 (roundingsat) R 21211 21211 20058 0 -1 4194304 66890 0 0 0 325782 1522 0 0 20 0 1 0 33612641 691924992 156374 18446744073709551615 4227072 8923433 140735536416624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140735536425376 140735536425512 140735536425512 140735536431082 0
/proc/21213/statm: 168927 156374 2432 1147 0 156354 0
Current children cumulated CPU time: 3273.04 s
Current children cumulated vsize: 679900 KiB
Current children cumulated memory: 628568 KiB
[startup+3342.3 s]
/proc/loadavg: 1.11 1.62 2.72 2/235 21570
/proc/meminfo: memFree=129672816/131382120 swapFree=33010684/33010684
[pid=21211] ppid=21208 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21211/stat : 21211 (run-dec-ls.sh) S 21208 21211 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33612640 4292608 768 18446744073709551615 94434100072448 94434100966981 140729193801664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94434101206032 94434101253776 94434102558720 140729193806183 140729193806309 140729193806309 140729193811911 0
/proc/21211/statm: 1048 768 704 219 0 110 0
[pid=21213] ppid=21211 vsize=684732 memory=631000 CPUtime=3332.84 cores=5,7
/proc/21213/stat : 21213 (roundingsat) R 21211 21211 20058 0 -1 4194304 68277 0 0 0 331752 1532 0 0 20 0 1 0 33612641 701165568 157750 18446744073709551615 4227072 8923433 140735536416624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140735536425376 140735536425512 140735536425512 140735536431082 0
/proc/21213/statm: 171183 157750 2432 1147 0 158610 0
Current children cumulated CPU time: 3332.84 s
Current children cumulated vsize: 688924 KiB
Current children cumulated memory: 634072 KiB
[startup+3402.3 s]
/proc/loadavg: 1.08 1.52 2.62 2/235 21572
/proc/meminfo: memFree=129656812/131382120 swapFree=33010684/33010684
[pid=21211] ppid=21208 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21211/stat : 21211 (run-dec-ls.sh) S 21208 21211 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33612640 4292608 768 18446744073709551615 94434100072448 94434100966981 140729193801664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94434101206032 94434101253776 94434102558720 140729193806183 140729193806309 140729193806309 140729193811911 0
/proc/21211/statm: 1048 768 704 219 0 110 0
[pid=21213] ppid=21211 vsize=917880 memory=653356 CPUtime=3392.66 cores=5,7
/proc/21213/stat : 21213 (roundingsat) R 21211 21211 20058 0 -1 4194304 71834 0 0 0 337717 1549 0 0 20 0 1 0 33612641 939909120 163339 18446744073709551615 4227072 8923433 140735536416624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140735536425376 140735536425512 140735536425512 140735536431082 0
/proc/21213/statm: 229470 163339 2432 1147 0 216897 0
Current children cumulated CPU time: 3392.66 s
Current children cumulated vsize: 922072 KiB
Current children cumulated memory: 656428 KiB
[startup+3462.3 s]
/proc/loadavg: 1.13 1.46 2.53 2/234 21574
/proc/meminfo: memFree=129652716/131382120 swapFree=33010684/33010684
[pid=21211] ppid=21208 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21211/stat : 21211 (run-dec-ls.sh) S 21208 21211 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33612640 4292608 768 18446744073709551615 94434100072448 94434100966981 140729193801664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94434101206032 94434101253776 94434102558720 140729193806183 140729193806309 140729193806309 140729193811911 0
/proc/21211/statm: 1048 768 704 219 0 110 0
[pid=21213] ppid=21211 vsize=917880 memory=653612 CPUtime=3452.47 cores=5,7
/proc/21213/stat : 21213 (roundingsat) R 21211 21211 20058 0 -1 4194304 71884 0 0 0 343672 1575 0 0 20 0 1 0 33612641 939909120 163403 18446744073709551615 4227072 8923433 140735536416624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140735536425376 140735536425512 140735536425512 140735536431082 0
/proc/21213/statm: 229470 163403 2432 1147 0 216897 0
Current children cumulated CPU time: 3452.47 s
Current children cumulated vsize: 922072 KiB
Current children cumulated memory: 656684 KiB
[startup+3522.3 s]
/proc/loadavg: 1.10 1.39 2.43 2/234 21576
/proc/meminfo: memFree=129652716/131382120 swapFree=33010684/33010684
[pid=21211] ppid=21208 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21211/stat : 21211 (run-dec-ls.sh) S 21208 21211 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33612640 4292608 768 18446744073709551615 94434100072448 94434100966981 140729193801664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94434101206032 94434101253776 94434102558720 140729193806183 140729193806309 140729193806309 140729193811911 0
/proc/21211/statm: 1048 768 704 219 0 110 0
[pid=21213] ppid=21211 vsize=917880 memory=653612 CPUtime=3512.29 cores=5,7
/proc/21213/stat : 21213 (roundingsat) R 21211 21211 20058 0 -1 4194304 71884 0 0 0 349644 1585 0 0 20 0 1 0 33612641 939909120 163403 18446744073709551615 4227072 8923433 140735536416624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140735536425376 140735536425512 140735536425512 140735536431082 0
/proc/21213/statm: 229470 163403 2432 1147 0 216897 0
Current children cumulated CPU time: 3512.29 s
Current children cumulated vsize: 922072 KiB
Current children cumulated memory: 656684 KiB
[startup+3582.3 s]
/proc/loadavg: 1.11 1.33 2.35 2/234 21578
/proc/meminfo: memFree=129652732/131382120 swapFree=33010684/33010684
[pid=21211] ppid=21208 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21211/stat : 21211 (run-dec-ls.sh) S 21208 21211 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33612640 4292608 768 18446744073709551615 94434100072448 94434100966981 140729193801664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94434101206032 94434101253776 94434102558720 140729193806183 140729193806309 140729193806309 140729193811911 0
/proc/21211/statm: 1048 768 704 219 0 110 0
[pid=21213] ppid=21211 vsize=917880 memory=653612 CPUtime=3572.1 cores=5,7
/proc/21213/stat : 21213 (roundingsat) R 21211 21211 20058 0 -1 4194304 71884 0 0 0 355612 1598 0 0 20 0 1 0 33612641 939909120 163403 18446744073709551615 4227072 8923433 140735536416624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140735536425376 140735536425512 140735536425512 140735536431082 0
/proc/21213/statm: 229470 163403 2432 1147 0 216897 0
Current children cumulated CPU time: 3572.1 s
Current children cumulated vsize: 922072 KiB
Current children cumulated memory: 656684 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 1.14 1.32 2.31 2/234 21579
/proc/meminfo: memFree=129652732/131382120 swapFree=33010684/33010684
[pid=21211] ppid=21208 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21211/stat : 21211 (run-dec-ls.sh) S 21208 21211 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33612640 4292608 768 18446744073709551615 94434100072448 94434100966981 140729193801664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94434101206032 94434101253776 94434102558720 140729193806183 140729193806309 140729193806309 140729193811911 0
/proc/21211/statm: 1048 768 704 219 0 110 0
[pid=21213] ppid=21211 vsize=917880 memory=653612 CPUtime=3600.02 cores=5,7
/proc/21213/stat : 21213 (roundingsat) R 21211 21211 20058 0 -1 4194304 71884 0 0 0 358388 1614 0 0 20 0 1 0 33612641 939909120 163403 18446744073709551615 4227072 8923433 140735536416624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140735536425376 140735536425512 140735536425512 140735536431082 0
/proc/21213/statm: 229470 163403 2432 1147 0 216897 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 922072 KiB
Current children cumulated memory: 656684 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.31 s]
# the end of solver process 21211 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001732 s, system=0.003335 s
[startup+3610.31 s]
# the end of solver process 21213 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3583.89 s, system=16.1485 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 1.14 1.32 2.31 2/234 21579
/proc/meminfo: memFree=129652732/131382120 swapFree=33010684/33010684
[pid=21211] ppid=21208 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21211/stat : 21211 (run-dec-ls.sh) S 21208 21211 20058 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33612640 4292608 768 18446744073709551615 94434100072448 94434100966981 140729193801664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94434101206032 94434101253776 94434102558720 140729193806183 140729193806309 140729193806309 140729193811911 0
/proc/21211/statm: 1048 768 704 219 0 110 0
[pid=21213] ppid=21211 vsize=917880 memory=653612 CPUtime=3600.02 cores=5,7
/proc/21213/stat : 21213 (roundingsat) R 21211 21211 20058 0 -1 4194304 71884 0 0 0 358388 1614 0 0 20 0 1 0 33612641 939909120 163403 18446744073709551615 4227072 8923433 140735536416624 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140735536425376 140735536425512 140735536425512 140735536431082 0
/proc/21213/statm: 229470 163403 2432 1147 0 216897 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 922072 KiB
Current children cumulated memory: 656684 KiB
Child status: 2
Real time (s): 3610.31
CPU time (s): 3600.04
CPU user time (s): 3583.89
CPU system time (s): 16.1485
CPU usage (%): 99.7156
Max. virtual memory (cumulated for all children) (KiB): 922072
Max. memory (cumulated for all children) (KiB): 656684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.89
system time used= 16.1485
maximum resident set size= 653868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72106
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= 351
involuntary context switches= 2348
# summary of solver processes directly reported to runsolver:
# pid: 21211,21213
# total CPU time (s): 3600.04
# total CPU user time (s): 3583.89
# total CPU system time (s): 16.1485
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5292 second user time and 38.7511 second system time
The end
Begin job on nodeC006 at 2025-06-29 08:42:13
IDJOB=4507518
IDBENCH=158357
IDSOLVER=3353
FILE ID=nodeC006/4507518-1751179333
RUNJOBID= nodeC006-1751170846-20071
SLURM_JOB_ID= 9587530
Free space on /tmp= 433036 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K81.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507518-1751179333/watcher-4507518-1751179333 -o /tmp/evaluation-result-4507518-1751179333/solver-4507518-1751179333 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751170846-20071 --watchdog 3760 run-dec-ls.sh HOME/instance-4507518-1751179333.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a76247625d06f26dbfcd47fe69513f4b
RANDOM SEED=1190310694
nodeC006 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.265
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.201
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.158
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.947
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.146
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.387
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.500
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 128996024 kB
MemAvailable: 128641284 kB
Buffers: 3280 kB
Cached: 455312 kB
SwapCached: 0 kB
Active: 1626268 kB
Inactive: 207544 kB
Active(anon): 1393184 kB
Inactive(anon): 0 kB
Active(file): 233084 kB
Inactive(file): 207544 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7720 kB
Writeback: 0 kB
AnonPages: 1377808 kB
Mapped: 115952 kB
Shmem: 17960 kB
KReclaimable: 85376 kB
Slab: 164348 kB
SReclaimable: 85376 kB
SUnreclaim: 78972 kB
KernelStack: 4096 kB
PageTables: 5944 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 1971616 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149480 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 305152 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: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 433052 MiB
End job on nodeC006 at 2025-06-29 09:42:23