0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.08/0.15 c #variables 20706 #constraints 21056
112.98/113.34 c #Conflicts: 1000 | #Constraints: 22055
112.98/113.34 c #Conflicts: 2000 | #Constraints: 23055
112.98/113.34 c INPROCESSING
112.98/113.34 c GARBAGE COLLECT
112.98/113.34 c #Conflicts: 3000 | #Constraints: 22387
112.98/113.34 c #Conflicts: 4000 | #Constraints: 23387
112.98/113.34 c INPROCESSING
112.98/113.34 c GARBAGE COLLECT
112.98/113.34 c #Conflicts: 5000 | #Constraints: 22915
112.98/113.34 c #Conflicts: 6000 | #Constraints: 23915
112.98/113.34 c INPROCESSING
112.98/113.34 c GARBAGE COLLECT
112.98/113.34 c #Conflicts: 7000 | #Constraints: 23011
112.98/113.34 c #Conflicts: 8000 | #Constraints: 24011
112.98/113.34 c #Conflicts: 9000 | #Constraints: 25011
112.98/113.34 c #Conflicts: 10000 | #Constraints: 26011
112.98/113.34 c #Conflicts: 11000 | #Constraints: 27011
112.98/113.34 c #Conflicts: 12000 | #Constraints: 28011
112.98/113.34 c INPROCESSING
112.98/113.34 c GARBAGE COLLECT
112.98/113.34 c #Conflicts: 13000 | #Constraints: 25060
112.98/113.34 c #Conflicts: 14000 | #Constraints: 26060
112.98/113.34 c #Conflicts: 15000 | #Constraints: 27060
112.98/113.34 c #Conflicts: 16000 | #Constraints: 28060
112.98/113.34 c INPROCESSING
112.98/113.34 c GARBAGE COLLECT
112.98/113.34 c #Conflicts: 17000 | #Constraints: 25138
112.98/113.34 c #Conflicts: 18000 | #Constraints: 26138
112.98/113.34 c #Conflicts: 19000 | #Constraints: 27138
112.98/113.34 c #Conflicts: 20000 | #Constraints: 28138
112.98/113.34 c #Conflicts: 21000 | #Constraints: 29138
112.98/113.34 c #Conflicts: 22000 | #Constraints: 30138
112.98/113.34 c #Conflicts: 23000 | #Constraints: 31138
112.98/113.34 c #Conflicts: 24000 | #Constraints: 32138
112.98/113.34 c #Conflicts: 25000 | #Constraints: 33138
112.98/113.34 c INPROCESSING
112.98/113.34 c GARBAGE COLLECT
112.98/113.34 c #Conflicts: 26000 | #Constraints: 27732
112.98/113.34 c #Conflicts: 27000 | #Constraints: 28732
112.98/113.34 c #Conflicts: 28000 | #Constraints: 29732
112.98/113.34 c #Conflicts: 29000 | #Constraints: 30732
112.98/113.34 c #Conflicts: 30000 | #Constraints: 31732
112.98/113.34 c INPROCESSING
112.98/113.34 c GARBAGE COLLECT
112.98/113.34 c #Conflicts: 31000 | #Constraints: 27234
112.98/113.34 c #Conflicts: 32000 | #Constraints: 28234
112.98/113.34 c #Conflicts: 33000 | #Constraints: 29234
112.98/113.34 c #Conflicts: 34000 | #Constraints: 30234
112.98/113.34 c #Conflicts: 35000 | #Constraints: 31234
112.98/113.34 c #Conflicts: 36000 | #Constraints: 32234
112.98/113.34 c #Conflicts: 37000 | #Constraints: 33234
112.98/113.34 c #Conflicts: 38000 | #Constraints: 34234
112.98/113.34 c #Conflicts: 39000 | #Constraints: 35234
112.98/113.34 c #Conflicts: 40000 | #Constraints: 36234
112.98/113.34 c #Conflicts: 41000 | #Constraints: 37234
112.98/113.34 c #Conflicts: 42000 | #Constraints: 38234
112.98/113.34 c #Conflicts: 43000 | #Constraints: 39234
112.98/113.34 c INPROCESSING
112.98/113.34 c GARBAGE COLLECT
112.98/113.34 c #Conflicts: 44000 | #Constraints: 31158
112.98/113.34 c #Conflicts: 45000 | #Constraints: 32158
112.98/113.34 c #Conflicts: 46000 | #Constraints: 33158
112.98/113.34 c #Conflicts: 47000 | #Constraints: 34158
112.98/113.34 c #Conflicts: 48000 | #Constraints: 35158
112.98/113.34 c #Conflicts: 49000 | #Constraints: 36158
112.98/113.34 c INPROCESSING
112.98/113.34 c GARBAGE COLLECT
112.98/113.34 c #Conflicts: 50000 | #Constraints: 30193
112.98/113.34 c #Conflicts: 51000 | #Constraints: 31193
112.98/113.34 c #Conflicts: 52000 | #Constraints: 32193
112.98/113.34 c #Conflicts: 53000 | #Constraints: 33193
112.98/113.34 c #Conflicts: 54000 | #Constraints: 34193
112.98/113.34 c #Conflicts: 55000 | #Constraints: 35193
112.98/113.34 c #Conflicts: 56000 | #Constraints: 36193
112.98/113.34 c #Conflicts: 57000 | #Constraints: 37193
112.98/113.34 c #Conflicts: 58000 | #Constraints: 38193
112.98/113.34 c #Conflicts: 59000 | #Constraints: 39193
112.98/113.34 c #Conflicts: 60000 | #Constraints: 40193
112.98/113.34 c #Conflicts: 61000 | #Constraints: 41193
112.98/113.34 c #Conflicts: 62000 | #Constraints: 42193
112.98/113.34 c #Conflicts: 63000 | #Constraints: 43193
112.98/113.34 c #Conflicts: 64000 | #Constraints: 44193
112.98/113.34 c #Conflicts: 65000 | #Constraints: 45193
112.98/113.34 c INPROCESSING
112.98/113.34 c GARBAGE COLLECT
112.98/113.34 c #Conflicts: 66000 | #Constraints: 34413
112.98/113.34 c #Conflicts: 67000 | #Constraints: 35413
112.98/113.34 c #Conflicts: 68000 | #Constraints: 36413
112.98/113.34 c #Conflicts: 69000 | #Constraints: 37413
112.98/113.34 c #Conflicts: 70000 | #Constraints: 38413
112.98/113.34 c #Conflicts: 71000 | #Constraints: 39413
112.98/113.34 c #Conflicts: 72000 | #Constraints: 40413
112.98/113.34 c INPROCESSING
112.98/113.34 c GARBAGE COLLECT
240.64/241.38 c #Conflicts: 73000 | #Constraints: 32910
240.64/241.38 c #Conflicts: 74000 | #Constraints: 33910
240.64/241.38 c #Conflicts: 75000 | #Constraints: 34910
240.64/241.38 c #Conflicts: 76000 | #Constraints: 35910
240.64/241.38 c #Conflicts: 77000 | #Constraints: 36910
240.64/241.38 c #Conflicts: 78000 | #Constraints: 37910
240.64/241.38 c #Conflicts: 79000 | #Constraints: 38910
240.64/241.38 c #Conflicts: 80000 | #Constraints: 39910
240.64/241.38 c #Conflicts: 81000 | #Constraints: 40910
240.64/241.38 c #Conflicts: 82000 | #Constraints: 41910
240.64/241.38 c #Conflicts: 83000 | #Constraints: 42910
240.64/241.38 c #Conflicts: 84000 | #Constraints: 43910
240.64/241.38 c #Conflicts: 85000 | #Constraints: 44910
240.64/241.38 c #Conflicts: 86000 | #Constraints: 45910
240.64/241.38 c #Conflicts: 87000 | #Constraints: 46910
240.64/241.38 c #Conflicts: 88000 | #Constraints: 47910
240.64/241.38 c #Conflicts: 89000 | #Constraints: 48910
240.64/241.38 c #Conflicts: 90000 | #Constraints: 49910
240.64/241.38 c #Conflicts: 91000 | #Constraints: 50910
240.64/241.38 c INPROCESSING
240.64/241.38 c GARBAGE COLLECT
240.64/241.38 c #Conflicts: 92000 | #Constraints: 37196
240.64/241.38 c #Conflicts: 93000 | #Constraints: 38196
240.64/241.38 c #Conflicts: 94000 | #Constraints: 39196
240.64/241.38 c #Conflicts: 95000 | #Constraints: 40196
240.64/241.38 c #Conflicts: 96000 | #Constraints: 41196
240.64/241.38 c #Conflicts: 97000 | #Constraints: 42196
240.64/241.38 c #Conflicts: 98000 | #Constraints: 43196
240.64/241.38 c #Conflicts: 99000 | #Constraints: 44196
240.64/241.38 c #Conflicts: 100000 | #Constraints: 45196
240.64/241.38 c INPROCESSING
240.64/241.38 c GARBAGE COLLECT
240.64/241.38 c #Conflicts: 101000 | #Constraints: 36323
240.64/241.38 c #Conflicts: 102000 | #Constraints: 37323
240.64/241.38 c #Conflicts: 103000 | #Constraints: 38323
240.64/241.38 c #Conflicts: 104000 | #Constraints: 39323
240.64/241.38 c #Conflicts: 105000 | #Constraints: 40323
240.64/241.38 c #Conflicts: 106000 | #Constraints: 41323
240.64/241.38 c #Conflicts: 107000 | #Constraints: 42323
240.64/241.38 c #Conflicts: 108000 | #Constraints: 43323
240.64/241.38 c #Conflicts: 109000 | #Constraints: 44323
240.64/241.38 c #Conflicts: 110000 | #Constraints: 45323
240.64/241.38 c #Conflicts: 111000 | #Constraints: 46323
240.64/241.38 c #Conflicts: 112000 | #Constraints: 47323
240.64/241.38 c #Conflicts: 113000 | #Constraints: 48323
240.64/241.38 c #Conflicts: 114000 | #Constraints: 49323
240.64/241.38 c #Conflicts: 115000 | #Constraints: 50323
240.64/241.38 c #Conflicts: 116000 | #Constraints: 51323
240.64/241.38 c #Conflicts: 117000 | #Constraints: 52323
240.64/241.38 c #Conflicts: 118000 | #Constraints: 53323
240.64/241.38 c #Conflicts: 119000 | #Constraints: 54323
240.64/241.38 c #Conflicts: 120000 | #Constraints: 55323
240.64/241.38 c #Conflicts: 121000 | #Constraints: 56323
240.64/241.38 c INPROCESSING
240.64/241.38 c GARBAGE COLLECT
240.64/241.38 c #Conflicts: 122000 | #Constraints: 39734
240.64/241.38 c #Conflicts: 123000 | #Constraints: 40734
240.64/241.38 c #Conflicts: 124000 | #Constraints: 41734
240.64/241.38 c #Conflicts: 125000 | #Constraints: 42734
240.64/241.38 c #Conflicts: 126000 | #Constraints: 43734
240.64/241.38 c #Conflicts: 127000 | #Constraints: 44734
240.64/241.38 c #Conflicts: 128000 | #Constraints: 45734
240.64/241.38 c #Conflicts: 129000 | #Constraints: 46734
240.64/241.38 c #Conflicts: 130000 | #Constraints: 47734
240.64/241.38 c #Conflicts: 131000 | #Constraints: 48734
240.64/241.38 c #Conflicts: 132000 | #Constraints: 49734
240.64/241.38 c INPROCESSING
240.64/241.38 c GARBAGE COLLECT
240.64/241.38 c #Conflicts: 133000 | #Constraints: 39294
240.64/241.38 c #Conflicts: 134000 | #Constraints: 40294
240.64/241.38 c #Conflicts: 135000 | #Constraints: 41294
240.64/241.38 c #Conflicts: 136000 | #Constraints: 42294
240.64/241.38 c #Conflicts: 137000 | #Constraints: 43294
240.64/241.38 c #Conflicts: 138000 | #Constraints: 44294
240.64/241.38 c #Conflicts: 139000 | #Constraints: 45294
240.64/241.38 c #Conflicts: 140000 | #Constraints: 46294
240.64/241.38 c #Conflicts: 141000 | #Constraints: 47294
240.64/241.38 c #Conflicts: 142000 | #Constraints: 48294
240.64/241.38 c #Conflicts: 143000 | #Constraints: 49294
240.64/241.38 c #Conflicts: 144000 | #Constraints: 50294
240.64/241.38 c #Conflicts: 145000 | #Constraints: 51294
240.64/241.38 c #Conflicts: 146000 | #Constraints: 52294
240.64/241.38 c #Conflicts: 147000 | #Constraints: 53294
240.64/241.38 c #Conflicts: 148000 | #Constraints: 54294
240.64/241.38 c #Conflicts: 149000 | #Constraints: 55294
364.66/365.75 c #Conflicts: 150000 | #Constraints: 56294
364.66/365.75 c #Conflicts: 151000 | #Constraints: 57294
364.66/365.75 c #Conflicts: 152000 | #Constraints: 58294
364.66/365.75 c #Conflicts: 153000 | #Constraints: 59294
364.66/365.75 c #Conflicts: 154000 | #Constraints: 60294
364.66/365.75 c #Conflicts: 155000 | #Constraints: 61294
364.66/365.75 c #Conflicts: 156000 | #Constraints: 62294
364.66/365.75 c INPROCESSING
364.66/365.75 c GARBAGE COLLECT
364.66/365.75 c #Conflicts: 157000 | #Constraints: 42778
364.66/365.75 c #Conflicts: 158000 | #Constraints: 43778
364.66/365.75 c #Conflicts: 159000 | #Constraints: 44778
364.66/365.75 c #Conflicts: 160000 | #Constraints: 45778
364.66/365.75 c #Conflicts: 161000 | #Constraints: 46778
364.66/365.75 c #Conflicts: 162000 | #Constraints: 47778
364.66/365.75 c #Conflicts: 163000 | #Constraints: 48778
364.66/365.75 c #Conflicts: 164000 | #Constraints: 49778
364.66/365.75 c #Conflicts: 165000 | #Constraints: 50778
364.66/365.75 c #Conflicts: 166000 | #Constraints: 51778
364.66/365.75 c #Conflicts: 167000 | #Constraints: 52778
364.66/365.75 c #Conflicts: 168000 | #Constraints: 53778
364.66/365.75 c INPROCESSING
364.66/365.75 c GARBAGE COLLECT
364.66/365.75 c #Conflicts: 169000 | #Constraints: 41953
364.66/365.75 c #Conflicts: 170000 | #Constraints: 42953
364.66/365.75 c #Conflicts: 171000 | #Constraints: 43953
364.66/365.75 c #Conflicts: 172000 | #Constraints: 44953
364.66/365.75 c #Conflicts: 173000 | #Constraints: 45953
364.66/365.75 c #Conflicts: 174000 | #Constraints: 46953
364.66/365.75 c #Conflicts: 175000 | #Constraints: 47953
364.66/365.75 c #Conflicts: 176000 | #Constraints: 48953
364.66/365.75 c #Conflicts: 177000 | #Constraints: 49953
364.66/365.75 c #Conflicts: 178000 | #Constraints: 50953
364.66/365.75 c #Conflicts: 179000 | #Constraints: 51953
364.66/365.75 c #Conflicts: 180000 | #Constraints: 52953
364.66/365.75 c #Conflicts: 181000 | #Constraints: 53953
364.66/365.75 c #Conflicts: 182000 | #Constraints: 54953
364.66/365.75 c #Conflicts: 183000 | #Constraints: 55953
364.66/365.75 c #Conflicts: 184000 | #Constraints: 56953
364.66/365.75 c #Conflicts: 185000 | #Constraints: 57953
364.66/365.75 c #Conflicts: 186000 | #Constraints: 58953
364.66/365.75 c #Conflicts: 187000 | #Constraints: 59953
364.66/365.75 c #Conflicts: 188000 | #Constraints: 60953
364.66/365.75 c #Conflicts: 189000 | #Constraints: 61953
364.66/365.75 c #Conflicts: 190000 | #Constraints: 62953
364.66/365.75 c #Conflicts: 191000 | #Constraints: 63953
364.66/365.75 c #Conflicts: 192000 | #Constraints: 64953
364.66/365.75 c #Conflicts: 193000 | #Constraints: 65953
364.66/365.75 c #Conflicts: 194000 | #Constraints: 66953
364.66/365.75 c #Conflicts: 195000 | #Constraints: 67953
364.66/365.75 c #Conflicts: 196000 | #Constraints: 68953
364.66/365.75 c INPROCESSING
364.66/365.75 c GARBAGE COLLECT
364.66/365.75 c #Conflicts: 197000 | #Constraints: 46541
364.66/365.75 c #Conflicts: 198000 | #Constraints: 47541
364.66/365.75 c #Conflicts: 199000 | #Constraints: 48541
364.66/365.75 c #Conflicts: 200000 | #Constraints: 49541
364.66/365.75 c #Conflicts: 201000 | #Constraints: 50541
364.66/365.75 c #Conflicts: 202000 | #Constraints: 51541
364.66/365.75 c #Conflicts: 203000 | #Constraints: 52541
364.66/365.75 c #Conflicts: 204000 | #Constraints: 53541
364.66/365.75 c #Conflicts: 205000 | #Constraints: 54541
364.66/365.75 c #Conflicts: 206000 | #Constraints: 55541
364.66/365.75 c #Conflicts: 207000 | #Constraints: 56541
364.66/365.75 c #Conflicts: 208000 | #Constraints: 57541
364.66/365.75 c #Conflicts: 209000 | #Constraints: 58541
364.66/365.75 c INPROCESSING
364.66/365.75 c GARBAGE COLLECT
364.66/365.75 c #Conflicts: 210000 | #Constraints: 45065
364.66/365.75 c #Conflicts: 211000 | #Constraints: 46065
364.66/365.75 c #Conflicts: 212000 | #Constraints: 47065
364.66/365.75 c #Conflicts: 213000 | #Constraints: 48065
364.66/365.75 c #Conflicts: 214000 | #Constraints: 49065
364.66/365.75 c #Conflicts: 215000 | #Constraints: 50065
364.66/365.75 c #Conflicts: 216000 | #Constraints: 51065
364.66/365.75 c #Conflicts: 217000 | #Constraints: 52065
364.66/365.75 c #Conflicts: 218000 | #Constraints: 53065
364.66/365.75 c #Conflicts: 219000 | #Constraints: 54065
364.66/365.75 c #Conflicts: 220000 | #Constraints: 55065
364.66/365.75 c #Conflicts: 221000 | #Constraints: 56065
364.66/365.75 c #Conflicts: 222000 | #Constraints: 57065
364.66/365.75 c #Conflicts: 223000 | #Constraints: 58065
364.66/365.75 c #Conflicts: 224000 | #Constraints: 59065
364.66/365.75 c #Conflicts: 225000 | #Constraints: 60065
445.83/447.16 c #Conflicts: 226000 | #Constraints: 61065
445.83/447.16 c #Conflicts: 227000 | #Constraints: 62065
445.83/447.16 c #Conflicts: 228000 | #Constraints: 63065
445.83/447.16 c #Conflicts: 229000 | #Constraints: 64065
445.83/447.16 c #Conflicts: 230000 | #Constraints: 65065
445.83/447.16 c #Conflicts: 231000 | #Constraints: 66065
445.83/447.16 c #Conflicts: 232000 | #Constraints: 67065
445.83/447.16 c #Conflicts: 233000 | #Constraints: 68065
445.83/447.16 c #Conflicts: 234000 | #Constraints: 69065
445.83/447.16 c #Conflicts: 235000 | #Constraints: 70065
445.83/447.16 c #Conflicts: 236000 | #Constraints: 71065
445.83/447.16 c #Conflicts: 237000 | #Constraints: 72065
445.83/447.16 c #Conflicts: 238000 | #Constraints: 73065
445.83/447.16 c #Conflicts: 239000 | #Constraints: 74065
445.83/447.16 c #Conflicts: 240000 | #Constraints: 75065
445.83/447.16 c INPROCESSING
445.83/447.16 c GARBAGE COLLECT
445.83/447.16 c rational objective 174
593.19/594.92 c #Conflicts: 241000 | #Constraints: 49864
593.19/594.92 c #Conflicts: 242000 | #Constraints: 50864
593.19/594.92 c #Conflicts: 243000 | #Constraints: 51864
593.19/594.92 c #Conflicts: 244000 | #Constraints: 52864
593.19/594.92 c #Conflicts: 245000 | #Constraints: 53864
593.19/594.92 c #Conflicts: 246000 | #Constraints: 54864
593.19/594.92 c #Conflicts: 247000 | #Constraints: 55864
593.19/594.92 c #Conflicts: 248000 | #Constraints: 56865
593.19/594.92 c #Conflicts: 249000 | #Constraints: 57865
593.19/594.92 c #Conflicts: 250000 | #Constraints: 58865
593.19/594.92 c #Conflicts: 251000 | #Constraints: 59865
593.19/594.92 c #Conflicts: 252000 | #Constraints: 60865
593.19/594.92 c #Conflicts: 253000 | #Constraints: 61865
593.19/594.92 c #Conflicts: 254000 | #Constraints: 62865
593.19/594.92 c INPROCESSING
593.19/594.92 c GARBAGE COLLECT
593.19/594.92 c #Conflicts: 255000 | #Constraints: 47306
593.19/594.92 c #Conflicts: 256000 | #Constraints: 48306
593.19/594.92 c #Conflicts: 257000 | #Constraints: 49306
593.19/594.92 c #Conflicts: 258000 | #Constraints: 50306
593.19/594.92 c #Conflicts: 259000 | #Constraints: 51306
593.19/594.92 c #Conflicts: 260000 | #Constraints: 52306
593.19/594.92 c #Conflicts: 261000 | #Constraints: 53306
593.19/594.92 c #Conflicts: 262000 | #Constraints: 54306
593.19/594.92 c #Conflicts: 263000 | #Constraints: 55306
593.19/594.92 c #Conflicts: 264000 | #Constraints: 56306
593.19/594.92 c #Conflicts: 265000 | #Constraints: 57306
593.19/594.92 c #Conflicts: 266000 | #Constraints: 58306
593.19/594.92 c #Conflicts: 267000 | #Constraints: 59306
593.19/594.92 c #Conflicts: 268000 | #Constraints: 60306
593.19/594.92 c #Conflicts: 269000 | #Constraints: 61306
593.19/594.92 c #Conflicts: 270000 | #Constraints: 62306
593.19/594.92 c #Conflicts: 271000 | #Constraints: 63306
593.19/594.92 c #Conflicts: 272000 | #Constraints: 64306
593.19/594.92 c #Conflicts: 273000 | #Constraints: 65306
593.19/594.92 c #Conflicts: 274000 | #Constraints: 66306
593.19/594.92 c #Conflicts: 275000 | #Constraints: 67306
593.19/594.92 c #Conflicts: 276000 | #Constraints: 68306
593.19/594.92 c #Conflicts: 277000 | #Constraints: 69306
593.19/594.92 c #Conflicts: 278000 | #Constraints: 70306
593.19/594.92 c #Conflicts: 279000 | #Constraints: 71306
593.19/594.92 c #Conflicts: 280000 | #Constraints: 72306
593.19/594.92 c #Conflicts: 281000 | #Constraints: 73306
593.19/594.92 c #Conflicts: 282000 | #Constraints: 74306
593.19/594.92 c #Conflicts: 283000 | #Constraints: 75306
593.19/594.92 c #Conflicts: 284000 | #Constraints: 76306
593.19/594.92 c #Conflicts: 285000 | #Constraints: 77306
593.19/594.92 c #Conflicts: 286000 | #Constraints: 78306
593.19/594.92 c #Conflicts: 287000 | #Constraints: 79306
593.19/594.92 c #Conflicts: 288000 | #Constraints: 80306
593.19/594.92 c INPROCESSING
593.19/594.92 c GARBAGE COLLECT
593.19/594.92 c #Conflicts: 289000 | #Constraints: 52451
593.19/594.92 c #Conflicts: 290000 | #Constraints: 53451
593.19/594.92 c #Conflicts: 291000 | #Constraints: 54451
593.19/594.92 c #Conflicts: 292000 | #Constraints: 55451
593.19/594.92 c #Conflicts: 293000 | #Constraints: 56451
593.19/594.92 c #Conflicts: 294000 | #Constraints: 57451
593.19/594.92 c #Conflicts: 295000 | #Constraints: 58451
593.19/594.92 c #Conflicts: 296000 | #Constraints: 59451
593.19/594.92 c #Conflicts: 297000 | #Constraints: 60451
593.19/594.92 c #Conflicts: 298000 | #Constraints: 61451
593.19/594.92 c #Conflicts: 299000 | #Constraints: 62451
593.19/594.92 c #Conflicts: 300000 | #Constraints: 63451
593.19/594.92 c #Conflicts: 301000 | #Constraints: 64451
593.19/594.92 c #Conflicts: 302000 | #Constraints: 65451
593.19/594.92 c #Conflicts: 303000 | #Constraints: 66451
593.19/594.92 c INPROCESSING
593.19/594.92 c GARBAGE COLLECT
593.19/594.92 c #Conflicts: 304000 | #Constraints: 49690
593.19/594.92 c #Conflicts: 305000 | #Constraints: 50690
593.19/594.92 c #Conflicts: 306000 | #Constraints: 51690
593.19/594.92 c #Conflicts: 307000 | #Constraints: 52690
593.19/594.92 c #Conflicts: 308000 | #Constraints: 53690
593.19/594.92 c #Conflicts: 309000 | #Constraints: 54690
593.19/594.92 c #Conflicts: 310000 | #Constraints: 55690
593.19/594.92 c #Conflicts: 311000 | #Constraints: 56690
593.19/594.92 c #Conflicts: 312000 | #Constraints: 57690
593.19/594.92 c #Conflicts: 313000 | #Constraints: 58690
593.19/594.92 c #Conflicts: 314000 | #Constraints: 59690
593.19/594.92 c #Conflicts: 315000 | #Constraints: 60690
593.19/594.92 c #Conflicts: 316000 | #Constraints: 61690
593.19/594.92 c #Conflicts: 317000 | #Constraints: 62690
770.37/772.68 c #Conflicts: 318000 | #Constraints: 63690
770.37/772.68 c #Conflicts: 319000 | #Constraints: 64690
770.37/772.68 c #Conflicts: 320000 | #Constraints: 65690
770.37/772.68 c #Conflicts: 321000 | #Constraints: 66690
770.37/772.68 c #Conflicts: 322000 | #Constraints: 67690
770.37/772.68 c #Conflicts: 323000 | #Constraints: 68690
770.37/772.68 c #Conflicts: 324000 | #Constraints: 69690
770.37/772.68 c #Conflicts: 325000 | #Constraints: 70690
770.37/772.68 c #Conflicts: 326000 | #Constraints: 71690
770.37/772.68 c #Conflicts: 327000 | #Constraints: 72690
770.37/772.68 c #Conflicts: 328000 | #Constraints: 73690
770.37/772.68 c #Conflicts: 329000 | #Constraints: 74690
770.37/772.68 c #Conflicts: 330000 | #Constraints: 75690
770.37/772.68 c #Conflicts: 331000 | #Constraints: 76690
770.37/772.68 c #Conflicts: 332000 | #Constraints: 77690
770.37/772.68 c #Conflicts: 333000 | #Constraints: 78690
770.37/772.68 c #Conflicts: 334000 | #Constraints: 79690
770.37/772.68 c #Conflicts: 335000 | #Constraints: 80690
770.37/772.68 c #Conflicts: 336000 | #Constraints: 81690
770.37/772.68 c #Conflicts: 337000 | #Constraints: 82690
770.37/772.68 c #Conflicts: 338000 | #Constraints: 83690
770.37/772.68 c #Conflicts: 339000 | #Constraints: 84690
770.37/772.68 c #Conflicts: 340000 | #Constraints: 85690
770.37/772.68 c INPROCESSING
770.37/772.68 c GARBAGE COLLECT
770.37/772.68 c #Conflicts: 341000 | #Constraints: 54753
770.37/772.68 c #Conflicts: 342000 | #Constraints: 55753
770.37/772.68 c #Conflicts: 343000 | #Constraints: 56753
770.37/772.68 c #Conflicts: 344000 | #Constraints: 57753
770.37/772.68 c #Conflicts: 345000 | #Constraints: 58753
770.37/772.68 c #Conflicts: 346000 | #Constraints: 59753
770.37/772.68 c #Conflicts: 347000 | #Constraints: 60753
770.37/772.68 c #Conflicts: 348000 | #Constraints: 61753
770.37/772.68 c #Conflicts: 349000 | #Constraints: 62753
770.37/772.68 c #Conflicts: 350000 | #Constraints: 63753
770.37/772.68 c #Conflicts: 351000 | #Constraints: 64753
770.37/772.68 c #Conflicts: 352000 | #Constraints: 65753
770.37/772.68 c #Conflicts: 353000 | #Constraints: 66753
770.37/772.68 c #Conflicts: 354000 | #Constraints: 67753
770.37/772.68 c #Conflicts: 355000 | #Constraints: 68753
770.37/772.68 c #Conflicts: 356000 | #Constraints: 69753
770.37/772.68 c #Conflicts: 357000 | #Constraints: 70753
770.37/772.68 c INPROCESSING
770.37/772.68 c GARBAGE COLLECT
770.37/772.68 c #Conflicts: 358000 | #Constraints: 52778
770.37/772.68 c #Conflicts: 359000 | #Constraints: 53778
770.37/772.68 c #Conflicts: 360000 | #Constraints: 54778
770.37/772.68 c #Conflicts: 361000 | #Constraints: 55778
770.37/772.68 c #Conflicts: 362000 | #Constraints: 56778
770.37/772.68 c #Conflicts: 363000 | #Constraints: 57778
770.37/772.68 c #Conflicts: 364000 | #Constraints: 58778
770.37/772.68 c #Conflicts: 365000 | #Constraints: 59778
770.37/772.68 c #Conflicts: 366000 | #Constraints: 60778
770.37/772.68 c #Conflicts: 367000 | #Constraints: 61778
770.37/772.68 c #Conflicts: 368000 | #Constraints: 62778
770.37/772.68 c #Conflicts: 369000 | #Constraints: 63778
770.37/772.68 c #Conflicts: 370000 | #Constraints: 64778
770.37/772.68 c #Conflicts: 371000 | #Constraints: 65778
770.37/772.68 c #Conflicts: 372000 | #Constraints: 66778
770.37/772.68 c #Conflicts: 373000 | #Constraints: 67778
770.37/772.68 c #Conflicts: 374000 | #Constraints: 68778
770.37/772.68 c #Conflicts: 375000 | #Constraints: 69778
770.37/772.68 c #Conflicts: 376000 | #Constraints: 70778
770.37/772.68 c #Conflicts: 377000 | #Constraints: 71778
770.37/772.68 c #Conflicts: 378000 | #Constraints: 72778
770.37/772.68 c #Conflicts: 379000 | #Constraints: 73778
770.37/772.68 c #Conflicts: 380000 | #Constraints: 74778
770.37/772.68 c #Conflicts: 381000 | #Constraints: 75778
770.37/772.68 c #Conflicts: 382000 | #Constraints: 76778
770.37/772.68 c #Conflicts: 383000 | #Constraints: 77778
770.37/772.68 c #Conflicts: 384000 | #Constraints: 78778
770.37/772.68 c #Conflicts: 385000 | #Constraints: 79778
770.37/772.68 c #Conflicts: 386000 | #Constraints: 80778
770.37/772.68 c #Conflicts: 387000 | #Constraints: 81778
770.37/772.68 c #Conflicts: 388000 | #Constraints: 82778
770.37/772.68 c #Conflicts: 389000 | #Constraints: 83778
770.37/772.68 c #Conflicts: 390000 | #Constraints: 84778
770.37/772.68 c #Conflicts: 391000 | #Constraints: 85778
770.37/772.68 c #Conflicts: 392000 | #Constraints: 86778
770.37/772.68 c #Conflicts: 393000 | #Constraints: 87778
770.37/772.68 c #Conflicts: 394000 | #Constraints: 88778
770.37/772.68 c #Conflicts: 395000 | #Constraints: 89778
925.70/928.44 c #Conflicts: 396000 | #Constraints: 90778
925.70/928.44 c #Conflicts: 397000 | #Constraints: 91778
925.70/928.44 c INPROCESSING
925.70/928.44 c GARBAGE COLLECT
925.70/928.44 c #Conflicts: 398000 | #Constraints: 57746
925.70/928.44 c #Conflicts: 399000 | #Constraints: 58746
925.70/928.44 c #Conflicts: 400000 | #Constraints: 59746
925.70/928.44 c #Conflicts: 401000 | #Constraints: 60746
925.70/928.44 c #Conflicts: 402000 | #Constraints: 61746
925.70/928.44 c #Conflicts: 403000 | #Constraints: 62746
925.70/928.44 c #Conflicts: 404000 | #Constraints: 63746
925.70/928.44 c #Conflicts: 405000 | #Constraints: 64746
925.70/928.44 c #Conflicts: 406000 | #Constraints: 65746
925.70/928.44 c #Conflicts: 407000 | #Constraints: 66746
925.70/928.44 c #Conflicts: 408000 | #Constraints: 67746
925.70/928.44 c #Conflicts: 409000 | #Constraints: 68746
925.70/928.44 c #Conflicts: 410000 | #Constraints: 69746
925.70/928.44 c #Conflicts: 411000 | #Constraints: 70746
925.70/928.44 c #Conflicts: 412000 | #Constraints: 71746
925.70/928.44 c #Conflicts: 413000 | #Constraints: 72746
925.70/928.44 c #Conflicts: 414000 | #Constraints: 73746
925.70/928.44 c #Conflicts: 415000 | #Constraints: 74746
925.70/928.44 c INPROCESSING
925.70/928.44 c GARBAGE COLLECT
925.70/928.44 c #Conflicts: 416000 | #Constraints: 55445
925.70/928.44 c #Conflicts: 417000 | #Constraints: 56445
925.70/928.44 c #Conflicts: 418000 | #Constraints: 57445
925.70/928.44 c #Conflicts: 419000 | #Constraints: 58445
925.70/928.44 c #Conflicts: 420000 | #Constraints: 59445
925.70/928.44 c #Conflicts: 421000 | #Constraints: 60445
925.70/928.44 c #Conflicts: 422000 | #Constraints: 61445
925.70/928.44 c #Conflicts: 423000 | #Constraints: 62445
925.70/928.44 c #Conflicts: 424000 | #Constraints: 63445
925.70/928.44 c #Conflicts: 425000 | #Constraints: 64445
925.70/928.44 c #Conflicts: 426000 | #Constraints: 65445
925.70/928.44 c #Conflicts: 427000 | #Constraints: 66445
925.70/928.44 c #Conflicts: 428000 | #Constraints: 67445
925.70/928.44 c #Conflicts: 429000 | #Constraints: 68445
925.70/928.44 c #Conflicts: 430000 | #Constraints: 69445
925.70/928.44 c #Conflicts: 431000 | #Constraints: 70445
925.70/928.44 c #Conflicts: 432000 | #Constraints: 71445
925.70/928.44 c #Conflicts: 433000 | #Constraints: 72445
925.70/928.44 c #Conflicts: 434000 | #Constraints: 73445
925.70/928.44 c #Conflicts: 435000 | #Constraints: 74445
925.70/928.44 c #Conflicts: 436000 | #Constraints: 75445
925.70/928.44 c #Conflicts: 437000 | #Constraints: 76445
925.70/928.44 c #Conflicts: 438000 | #Constraints: 77445
925.70/928.44 c #Conflicts: 439000 | #Constraints: 78445
925.70/928.44 c #Conflicts: 440000 | #Constraints: 79445
925.70/928.44 c #Conflicts: 441000 | #Constraints: 80445
925.70/928.44 c #Conflicts: 442000 | #Constraints: 81445
925.70/928.44 c #Conflicts: 443000 | #Constraints: 82445
925.70/928.44 c #Conflicts: 444000 | #Constraints: 83445
925.70/928.44 c #Conflicts: 445000 | #Constraints: 84445
925.70/928.44 c #Conflicts: 446000 | #Constraints: 85445
925.70/928.44 c #Conflicts: 447000 | #Constraints: 86445
925.70/928.44 c #Conflicts: 448000 | #Constraints: 87445
925.70/928.44 c #Conflicts: 449000 | #Constraints: 88445
925.70/928.44 c #Conflicts: 450000 | #Constraints: 89445
925.70/928.44 c #Conflicts: 451000 | #Constraints: 90445
925.70/928.44 c #Conflicts: 452000 | #Constraints: 91445
925.70/928.44 c #Conflicts: 453000 | #Constraints: 92445
925.70/928.44 c #Conflicts: 454000 | #Constraints: 93445
925.70/928.44 c #Conflicts: 455000 | #Constraints: 94445
925.70/928.44 c #Conflicts: 456000 | #Constraints: 95445
925.70/928.44 c #Conflicts: 457000 | #Constraints: 96445
925.70/928.44 c #Conflicts: 458000 | #Constraints: 97445
925.70/928.44 c #Conflicts: 459000 | #Constraints: 98445
925.70/928.44 c INPROCESSING
925.70/928.44 c GARBAGE COLLECT
925.70/928.44 c #Conflicts: 460000 | #Constraints: 61818
925.70/928.44 c #Conflicts: 461000 | #Constraints: 62818
925.70/928.44 c #Conflicts: 462000 | #Constraints: 63818
925.70/928.44 c #Conflicts: 463000 | #Constraints: 64818
925.70/928.44 c #Conflicts: 464000 | #Constraints: 65818
925.70/928.44 c #Conflicts: 465000 | #Constraints: 66818
925.70/928.44 c #Conflicts: 466000 | #Constraints: 67818
925.70/928.44 c #Conflicts: 467000 | #Constraints: 68818
925.70/928.44 c #Conflicts: 468000 | #Constraints: 69818
925.70/928.44 c #Conflicts: 469000 | #Constraints: 70818
925.70/928.44 c #Conflicts: 470000 | #Constraints: 71818
925.70/928.44 c #Conflicts: 471000 | #Constraints: 72818
925.70/928.44 c #Conflicts: 472000 | #Constraints: 73818
1142.35/1145.71 c #Conflicts: 473000 | #Constraints: 74818
1142.35/1145.71 c #Conflicts: 474000 | #Constraints: 75818
1142.35/1145.71 c #Conflicts: 475000 | #Constraints: 76818
1142.35/1145.71 c #Conflicts: 476000 | #Constraints: 77818
1142.35/1145.71 c #Conflicts: 477000 | #Constraints: 78818
1142.35/1145.71 c #Conflicts: 478000 | #Constraints: 79818
1142.35/1145.71 c INPROCESSING
1142.35/1145.71 c GARBAGE COLLECT
1142.35/1145.71 c #Conflicts: 479000 | #Constraints: 58130
1142.35/1145.71 c #Conflicts: 480000 | #Constraints: 59130
1142.35/1145.71 c #Conflicts: 481000 | #Constraints: 60130
1142.35/1145.71 c #Conflicts: 482000 | #Constraints: 61130
1142.35/1145.71 c #Conflicts: 483000 | #Constraints: 62130
1142.35/1145.71 c #Conflicts: 484000 | #Constraints: 63130
1142.35/1145.71 c #Conflicts: 485000 | #Constraints: 64130
1142.35/1145.71 c #Conflicts: 486000 | #Constraints: 65130
1142.35/1145.71 c #Conflicts: 487000 | #Constraints: 66130
1142.35/1145.71 c #Conflicts: 488000 | #Constraints: 67130
1142.35/1145.71 c #Conflicts: 489000 | #Constraints: 68130
1142.35/1145.71 c #Conflicts: 490000 | #Constraints: 69130
1142.35/1145.71 c #Conflicts: 491000 | #Constraints: 70130
1142.35/1145.71 c #Conflicts: 492000 | #Constraints: 71130
1142.35/1145.71 c #Conflicts: 493000 | #Constraints: 72130
1142.35/1145.71 c #Conflicts: 494000 | #Constraints: 73130
1142.35/1145.71 c #Conflicts: 495000 | #Constraints: 74130
1142.35/1145.71 c #Conflicts: 496000 | #Constraints: 75130
1142.35/1145.71 c #Conflicts: 497000 | #Constraints: 76130
1142.35/1145.71 c #Conflicts: 498000 | #Constraints: 77130
1142.35/1145.71 c #Conflicts: 499000 | #Constraints: 78130
1142.35/1145.71 c #Conflicts: 500000 | #Constraints: 79130
1142.35/1145.71 c #Conflicts: 501000 | #Constraints: 80130
1142.35/1145.71 c #Conflicts: 502000 | #Constraints: 81130
1142.35/1145.71 c #Conflicts: 503000 | #Constraints: 82130
1142.35/1145.71 c #Conflicts: 504000 | #Constraints: 83130
1142.35/1145.71 c #Conflicts: 505000 | #Constraints: 84130
1142.35/1145.71 c #Conflicts: 506000 | #Constraints: 85130
1142.35/1145.71 c #Conflicts: 507000 | #Constraints: 86130
1142.35/1145.71 c #Conflicts: 508000 | #Constraints: 87130
1142.35/1145.71 c #Conflicts: 509000 | #Constraints: 88130
1142.35/1145.71 c #Conflicts: 510000 | #Constraints: 89130
1142.35/1145.71 c #Conflicts: 511000 | #Constraints: 90130
1142.35/1145.71 c #Conflicts: 512000 | #Constraints: 91130
1142.35/1145.71 c #Conflicts: 513000 | #Constraints: 92130
1142.35/1145.71 c #Conflicts: 514000 | #Constraints: 93130
1142.35/1145.71 c #Conflicts: 515000 | #Constraints: 94130
1142.35/1145.71 c #Conflicts: 516000 | #Constraints: 95130
1142.35/1145.71 c #Conflicts: 517000 | #Constraints: 96130
1142.35/1145.71 c #Conflicts: 518000 | #Constraints: 97130
1142.35/1145.71 c #Conflicts: 519000 | #Constraints: 98130
1142.35/1145.71 c #Conflicts: 520000 | #Constraints: 99130
1142.35/1145.71 c #Conflicts: 521000 | #Constraints: 100130
1142.35/1145.71 c #Conflicts: 522000 | #Constraints: 101130
1142.35/1145.71 c #Conflicts: 523000 | #Constraints: 102130
1142.35/1145.71 c #Conflicts: 524000 | #Constraints: 103130
1142.35/1145.71 c #Conflicts: 525000 | #Constraints: 104130
1142.35/1145.71 c INPROCESSING
1142.35/1145.71 c GARBAGE COLLECT
1142.35/1145.71 c #Conflicts: 526000 | #Constraints: 64560
1142.35/1145.71 c #Conflicts: 527000 | #Constraints: 65560
1142.35/1145.71 c #Conflicts: 528000 | #Constraints: 66560
1142.35/1145.71 c #Conflicts: 529000 | #Constraints: 67560
1142.35/1145.71 c #Conflicts: 530000 | #Constraints: 68560
1142.35/1145.71 c #Conflicts: 531000 | #Constraints: 69560
1142.35/1145.71 c #Conflicts: 532000 | #Constraints: 70560
1142.35/1145.71 c #Conflicts: 533000 | #Constraints: 71560
1142.35/1145.71 c #Conflicts: 534000 | #Constraints: 72560
1142.35/1145.71 c #Conflicts: 535000 | #Constraints: 73560
1142.35/1145.71 c #Conflicts: 536000 | #Constraints: 74561
1142.35/1145.71 c #Conflicts: 537000 | #Constraints: 75561
1142.35/1145.71 c #Conflicts: 538000 | #Constraints: 76561
1142.35/1145.71 c #Conflicts: 539000 | #Constraints: 77561
1142.35/1145.71 c #Conflicts: 540000 | #Constraints: 78561
1142.35/1145.71 c #Conflicts: 541000 | #Constraints: 79561
1142.35/1145.71 c #Conflicts: 542000 | #Constraints: 80561
1142.35/1145.71 c #Conflicts: 543000 | #Constraints: 81561
1142.35/1145.71 c #Conflicts: 544000 | #Constraints: 82561
1142.35/1145.71 c #Conflicts: 545000 | #Constraints: 83561
1142.35/1145.71 c INPROCESSING
1142.35/1145.71 c GARBAGE COLLECT
1142.35/1145.71 c #Conflicts: 546000 | #Constraints: 60762
1142.35/1145.71 c #Conflicts: 547000 | #Constraints: 61762
1142.35/1145.71 c #Conflicts: 548000 | #Constraints: 62762
1142.35/1145.71 c #Conflicts: 549000 | #Constraints: 63762
1298.28/1302.18 c #Conflicts: 550000 | #Constraints: 64762
1298.28/1302.18 c #Conflicts: 551000 | #Constraints: 65762
1298.28/1302.18 c #Conflicts: 552000 | #Constraints: 66762
1298.28/1302.18 c #Conflicts: 553000 | #Constraints: 67762
1298.28/1302.18 c #Conflicts: 554000 | #Constraints: 68762
1298.28/1302.18 c #Conflicts: 555000 | #Constraints: 69762
1298.28/1302.18 c #Conflicts: 556000 | #Constraints: 70762
1298.28/1302.18 c #Conflicts: 557000 | #Constraints: 71762
1298.28/1302.18 c #Conflicts: 558000 | #Constraints: 72762
1298.28/1302.18 c #Conflicts: 559000 | #Constraints: 73762
1298.28/1302.18 c #Conflicts: 560000 | #Constraints: 74762
1298.28/1302.18 c #Conflicts: 561000 | #Constraints: 75762
1298.28/1302.18 c #Conflicts: 562000 | #Constraints: 76762
1298.28/1302.18 c #Conflicts: 563000 | #Constraints: 77762
1298.28/1302.18 c #Conflicts: 564000 | #Constraints: 78762
1298.28/1302.18 c #Conflicts: 565000 | #Constraints: 79762
1298.28/1302.18 c #Conflicts: 566000 | #Constraints: 80762
1298.28/1302.18 c #Conflicts: 567000 | #Constraints: 81762
1298.28/1302.18 c #Conflicts: 568000 | #Constraints: 82762
1298.28/1302.18 c #Conflicts: 569000 | #Constraints: 83762
1298.28/1302.18 c #Conflicts: 570000 | #Constraints: 84762
1298.28/1302.18 c #Conflicts: 571000 | #Constraints: 85762
1298.28/1302.18 c #Conflicts: 572000 | #Constraints: 86762
1298.28/1302.18 c #Conflicts: 573000 | #Constraints: 87762
1298.28/1302.18 c #Conflicts: 574000 | #Constraints: 88762
1298.28/1302.18 c #Conflicts: 575000 | #Constraints: 89762
1298.28/1302.18 c #Conflicts: 576000 | #Constraints: 90762
1298.28/1302.18 c #Conflicts: 577000 | #Constraints: 91762
1298.28/1302.18 c #Conflicts: 578000 | #Constraints: 92762
1298.28/1302.18 c #Conflicts: 579000 | #Constraints: 93762
1298.28/1302.18 c #Conflicts: 580000 | #Constraints: 94762
1298.28/1302.18 c #Conflicts: 581000 | #Constraints: 95762
1298.28/1302.18 c #Conflicts: 582000 | #Constraints: 96762
1298.28/1302.18 c #Conflicts: 583000 | #Constraints: 97762
1298.28/1302.18 c #Conflicts: 584000 | #Constraints: 98762
1298.28/1302.18 c #Conflicts: 585000 | #Constraints: 99762
1298.28/1302.18 c #Conflicts: 586000 | #Constraints: 100762
1298.28/1302.18 c #Conflicts: 587000 | #Constraints: 101762
1298.28/1302.18 c #Conflicts: 588000 | #Constraints: 102762
1298.28/1302.18 c #Conflicts: 589000 | #Constraints: 103762
1298.28/1302.18 c #Conflicts: 590000 | #Constraints: 104762
1298.28/1302.18 c #Conflicts: 591000 | #Constraints: 105762
1298.28/1302.18 c #Conflicts: 592000 | #Constraints: 106762
1298.28/1302.18 c #Conflicts: 593000 | #Constraints: 107762
1298.28/1302.18 c #Conflicts: 594000 | #Constraints: 108762
1298.28/1302.18 c #Conflicts: 595000 | #Constraints: 109762
1298.28/1302.18 c INPROCESSING
1298.28/1302.18 c GARBAGE COLLECT
1298.28/1302.18 c #Conflicts: 596000 | #Constraints: 67414
1298.28/1302.18 c #Conflicts: 597000 | #Constraints: 68414
1298.28/1302.18 c #Conflicts: 598000 | #Constraints: 69414
1298.28/1302.18 c #Conflicts: 599000 | #Constraints: 70414
1298.28/1302.18 c #Conflicts: 600000 | #Constraints: 71414
1298.28/1302.18 c #Conflicts: 601000 | #Constraints: 72414
1298.28/1302.18 c #Conflicts: 602000 | #Constraints: 73414
1298.28/1302.18 c #Conflicts: 603000 | #Constraints: 74414
1298.28/1302.18 c #Conflicts: 604000 | #Constraints: 75414
1298.28/1302.18 c #Conflicts: 605000 | #Constraints: 76414
1298.28/1302.18 c #Conflicts: 606000 | #Constraints: 77414
1298.28/1302.18 c #Conflicts: 607000 | #Constraints: 78414
1298.28/1302.18 c #Conflicts: 608000 | #Constraints: 79414
1298.28/1302.18 c #Conflicts: 609000 | #Constraints: 80414
1298.28/1302.18 c #Conflicts: 610000 | #Constraints: 81414
1298.28/1302.18 c #Conflicts: 611000 | #Constraints: 82414
1298.28/1302.18 c #Conflicts: 612000 | #Constraints: 83414
1298.28/1302.18 c #Conflicts: 613000 | #Constraints: 84414
1298.28/1302.18 c #Conflicts: 614000 | #Constraints: 85414
1298.28/1302.18 c #Conflicts: 615000 | #Constraints: 86414
1298.28/1302.18 c #Conflicts: 616000 | #Constraints: 87414
1298.28/1302.18 c #Conflicts: 617000 | #Constraints: 88414
1298.28/1302.18 c INPROCESSING
1298.28/1302.18 c GARBAGE COLLECT
1298.28/1302.18 c #Conflicts: 618000 | #Constraints: 63883
1298.28/1302.18 c #Conflicts: 619000 | #Constraints: 64883
1298.28/1302.18 c #Conflicts: 620000 | #Constraints: 65883
1298.28/1302.18 c #Conflicts: 621000 | #Constraints: 66883
1298.28/1302.18 c #Conflicts: 622000 | #Constraints: 67883
1298.28/1302.18 c #Conflicts: 623000 | #Constraints: 68883
1298.28/1302.18 c #Conflicts: 624000 | #Constraints: 69883
1298.28/1302.18 c #Conflicts: 625000 | #Constraints: 70883
1298.28/1302.18 c #Conflicts: 626000 | #Constraints: 71883
1522.30/1526.87 c #Conflicts: 627000 | #Constraints: 72883
1522.30/1526.87 c #Conflicts: 628000 | #Constraints: 73883
1522.30/1526.87 c #Conflicts: 629000 | #Constraints: 74883
1522.30/1526.87 c #Conflicts: 630000 | #Constraints: 75883
1522.30/1526.87 c #Conflicts: 631000 | #Constraints: 76883
1522.30/1526.87 c #Conflicts: 632000 | #Constraints: 77883
1522.30/1526.87 c #Conflicts: 633000 | #Constraints: 78883
1522.30/1526.87 c #Conflicts: 634000 | #Constraints: 79883
1522.30/1526.87 c #Conflicts: 635000 | #Constraints: 80883
1522.30/1526.87 c #Conflicts: 636000 | #Constraints: 81883
1522.30/1526.87 c #Conflicts: 637000 | #Constraints: 82883
1522.30/1526.87 c #Conflicts: 638000 | #Constraints: 83883
1522.30/1526.87 c #Conflicts: 639000 | #Constraints: 84883
1522.30/1526.87 c #Conflicts: 640000 | #Constraints: 85883
1522.30/1526.87 c #Conflicts: 641000 | #Constraints: 86883
1522.30/1526.87 c #Conflicts: 642000 | #Constraints: 87883
1522.30/1526.87 c #Conflicts: 643000 | #Constraints: 88883
1522.30/1526.87 c #Conflicts: 644000 | #Constraints: 89883
1522.30/1526.87 c #Conflicts: 645000 | #Constraints: 90883
1522.30/1526.87 c #Conflicts: 646000 | #Constraints: 91883
1522.30/1526.87 c #Conflicts: 647000 | #Constraints: 92883
1522.30/1526.87 c #Conflicts: 648000 | #Constraints: 93883
1522.30/1526.87 c #Conflicts: 649000 | #Constraints: 94883
1522.30/1526.87 c #Conflicts: 650000 | #Constraints: 95883
1522.30/1526.87 c #Conflicts: 651000 | #Constraints: 96883
1522.30/1526.87 c #Conflicts: 652000 | #Constraints: 97883
1522.30/1526.87 c #Conflicts: 653000 | #Constraints: 98883
1522.30/1526.87 c #Conflicts: 654000 | #Constraints: 99883
1522.30/1526.87 c #Conflicts: 655000 | #Constraints: 100883
1522.30/1526.87 c #Conflicts: 656000 | #Constraints: 101883
1522.30/1526.87 c #Conflicts: 657000 | #Constraints: 102883
1522.30/1526.87 c #Conflicts: 658000 | #Constraints: 103883
1522.30/1526.87 c #Conflicts: 659000 | #Constraints: 104883
1522.30/1526.87 c #Conflicts: 660000 | #Constraints: 105883
1522.30/1526.87 c #Conflicts: 661000 | #Constraints: 106883
1522.30/1526.87 c #Conflicts: 662000 | #Constraints: 107883
1522.30/1526.87 c #Conflicts: 663000 | #Constraints: 108883
1522.30/1526.87 c #Conflicts: 664000 | #Constraints: 109883
1522.30/1526.87 c #Conflicts: 665000 | #Constraints: 110883
1522.30/1526.87 c #Conflicts: 666000 | #Constraints: 111883
1522.30/1526.87 c #Conflicts: 667000 | #Constraints: 112883
1522.30/1526.87 c #Conflicts: 668000 | #Constraints: 113883
1522.30/1526.87 c #Conflicts: 669000 | #Constraints: 114883
1522.30/1526.87 c INPROCESSING
1522.30/1526.87 c GARBAGE COLLECT
1522.30/1526.87 c #Conflicts: 670000 | #Constraints: 69650
1522.30/1526.87 c #Conflicts: 671000 | #Constraints: 70650
1522.30/1526.87 c #Conflicts: 672000 | #Constraints: 71650
1522.30/1526.87 c #Conflicts: 673000 | #Constraints: 72650
1522.30/1526.87 c #Conflicts: 674000 | #Constraints: 73650
1522.30/1526.87 c #Conflicts: 675000 | #Constraints: 74650
1522.30/1526.87 c #Conflicts: 676000 | #Constraints: 75650
1522.30/1526.87 c #Conflicts: 677000 | #Constraints: 76650
1522.30/1526.87 c #Conflicts: 678000 | #Constraints: 77650
1522.30/1526.87 c #Conflicts: 679000 | #Constraints: 78650
1522.30/1526.87 c #Conflicts: 680000 | #Constraints: 79650
1522.30/1526.87 c #Conflicts: 681000 | #Constraints: 80650
1522.30/1526.87 c #Conflicts: 682000 | #Constraints: 81650
1522.30/1526.87 c #Conflicts: 683000 | #Constraints: 82650
1522.30/1526.87 c #Conflicts: 684000 | #Constraints: 83650
1522.30/1526.87 c #Conflicts: 685000 | #Constraints: 84650
1522.30/1526.87 c #Conflicts: 686000 | #Constraints: 85650
1522.30/1526.87 c #Conflicts: 687000 | #Constraints: 86650
1522.30/1526.87 c #Conflicts: 688000 | #Constraints: 87650
1522.30/1526.87 c #Conflicts: 689000 | #Constraints: 88650
1522.30/1526.87 c #Conflicts: 690000 | #Constraints: 89650
1522.30/1526.87 c #Conflicts: 691000 | #Constraints: 90650
1522.30/1526.87 c #Conflicts: 692000 | #Constraints: 91650
1522.30/1526.87 c #Conflicts: 693000 | #Constraints: 92650
1522.30/1526.87 c INPROCESSING
1522.30/1526.87 c GARBAGE COLLECT
1522.30/1526.87 c #Conflicts: 694000 | #Constraints: 67112
1522.30/1526.87 c #Conflicts: 695000 | #Constraints: 68112
1522.30/1526.87 c #Conflicts: 696000 | #Constraints: 69112
1522.30/1526.87 c #Conflicts: 697000 | #Constraints: 70112
1522.30/1526.87 c #Conflicts: 698000 | #Constraints: 71112
1522.30/1526.87 c #Conflicts: 699000 | #Constraints: 72112
1522.30/1526.87 c #Conflicts: 700000 | #Constraints: 73112
1522.30/1526.87 c #Conflicts: 701000 | #Constraints: 74112
1522.30/1526.87 c #Conflicts: 702000 | #Constraints: 75112
1522.30/1526.87 c #Conflicts: 703000 | #Constraints: 76112
1522.30/1526.87 c #Conflicts: 704000 | #Constraints: 77112
1712.55/1717.65 c #Conflicts: 705000 | #Constraints: 78112
1712.55/1717.65 c #Conflicts: 706000 | #Constraints: 79112
1712.55/1717.65 c #Conflicts: 707000 | #Constraints: 80112
1712.55/1717.65 c #Conflicts: 708000 | #Constraints: 81112
1712.55/1717.65 c #Conflicts: 709000 | #Constraints: 82112
1712.55/1717.65 c #Conflicts: 710000 | #Constraints: 83112
1712.55/1717.65 c #Conflicts: 711000 | #Constraints: 84112
1712.55/1717.65 c #Conflicts: 712000 | #Constraints: 85112
1712.55/1717.65 c #Conflicts: 713000 | #Constraints: 86112
1712.55/1717.65 c #Conflicts: 714000 | #Constraints: 87112
1712.55/1717.65 c #Conflicts: 715000 | #Constraints: 88112
1712.55/1717.65 c #Conflicts: 716000 | #Constraints: 89112
1712.55/1717.65 c #Conflicts: 717000 | #Constraints: 90112
1712.55/1717.65 c #Conflicts: 718000 | #Constraints: 91112
1712.55/1717.65 c #Conflicts: 719000 | #Constraints: 92112
1712.55/1717.65 c #Conflicts: 720000 | #Constraints: 93112
1712.55/1717.65 c #Conflicts: 721000 | #Constraints: 94112
1712.55/1717.65 c #Conflicts: 722000 | #Constraints: 95112
1712.55/1717.65 c #Conflicts: 723000 | #Constraints: 96112
1712.55/1717.65 c #Conflicts: 724000 | #Constraints: 97112
1712.55/1717.65 c #Conflicts: 725000 | #Constraints: 98112
1712.55/1717.65 c #Conflicts: 726000 | #Constraints: 99112
1712.55/1717.65 c #Conflicts: 727000 | #Constraints: 100112
1712.55/1717.65 c #Conflicts: 728000 | #Constraints: 101112
1712.55/1717.65 c #Conflicts: 729000 | #Constraints: 102112
1712.55/1717.65 c #Conflicts: 730000 | #Constraints: 103112
1712.55/1717.65 c #Conflicts: 731000 | #Constraints: 104112
1712.55/1717.65 c #Conflicts: 732000 | #Constraints: 105112
1712.55/1717.65 c #Conflicts: 733000 | #Constraints: 106112
1712.55/1717.65 c #Conflicts: 734000 | #Constraints: 107112
1712.55/1717.65 c #Conflicts: 735000 | #Constraints: 108112
1712.55/1717.65 c #Conflicts: 736000 | #Constraints: 109112
1712.55/1717.65 c #Conflicts: 737000 | #Constraints: 110112
1712.55/1717.65 c #Conflicts: 738000 | #Constraints: 111112
1712.55/1717.65 c #Conflicts: 739000 | #Constraints: 112112
1712.55/1717.65 c #Conflicts: 740000 | #Constraints: 113112
1712.55/1717.65 c #Conflicts: 741000 | #Constraints: 114112
1712.55/1717.65 c #Conflicts: 742000 | #Constraints: 115112
1712.55/1717.65 c #Conflicts: 743000 | #Constraints: 116112
1712.55/1717.65 c #Conflicts: 744000 | #Constraints: 117112
1712.55/1717.65 c #Conflicts: 745000 | #Constraints: 118112
1712.55/1717.65 c #Conflicts: 746000 | #Constraints: 119112
1712.55/1717.65 c #Conflicts: 747000 | #Constraints: 120112
1712.55/1717.65 c #Conflicts: 748000 | #Constraints: 121112
1712.55/1717.65 c INPROCESSING
1712.55/1717.65 c GARBAGE COLLECT
1712.55/1717.65 c #Conflicts: 749000 | #Constraints: 72969
1712.55/1717.65 c #Conflicts: 750000 | #Constraints: 73969
1712.55/1717.65 c #Conflicts: 751000 | #Constraints: 74969
1712.55/1717.65 c #Conflicts: 752000 | #Constraints: 75969
1712.55/1717.65 c #Conflicts: 753000 | #Constraints: 76969
1712.55/1717.65 c #Conflicts: 754000 | #Constraints: 77969
1712.55/1717.65 c #Conflicts: 755000 | #Constraints: 78969
1712.55/1717.65 c #Conflicts: 756000 | #Constraints: 79969
1712.55/1717.65 c #Conflicts: 757000 | #Constraints: 80969
1712.55/1717.65 c #Conflicts: 758000 | #Constraints: 81969
1712.55/1717.65 c #Conflicts: 759000 | #Constraints: 82969
1712.55/1717.65 c #Conflicts: 760000 | #Constraints: 83969
1712.55/1717.65 c #Conflicts: 761000 | #Constraints: 84969
1712.55/1717.65 c #Conflicts: 762000 | #Constraints: 85969
1712.55/1717.65 c #Conflicts: 763000 | #Constraints: 86969
1712.55/1717.65 c #Conflicts: 764000 | #Constraints: 87969
1712.55/1717.65 c #Conflicts: 765000 | #Constraints: 88969
1712.55/1717.65 c #Conflicts: 766000 | #Constraints: 89969
1712.55/1717.65 c #Conflicts: 767000 | #Constraints: 90969
1712.55/1717.65 c #Conflicts: 768000 | #Constraints: 91969
1712.55/1717.65 c #Conflicts: 769000 | #Constraints: 92969
1712.55/1717.65 c #Conflicts: 770000 | #Constraints: 93969
1712.55/1717.65 c #Conflicts: 771000 | #Constraints: 94969
1712.55/1717.65 c #Conflicts: 772000 | #Constraints: 95969
1712.55/1717.65 c #Conflicts: 773000 | #Constraints: 96969
1712.55/1717.65 c INPROCESSING
1712.55/1717.65 c GARBAGE COLLECT
1712.55/1717.65 c #Conflicts: 774000 | #Constraints: 69452
1712.55/1717.65 c #Conflicts: 775000 | #Constraints: 70452
1712.55/1717.65 c #Conflicts: 776000 | #Constraints: 71452
1712.55/1717.65 c #Conflicts: 777000 | #Constraints: 72452
1712.55/1717.65 c #Conflicts: 778000 | #Constraints: 73452
1712.55/1717.65 c #Conflicts: 779000 | #Constraints: 74452
1712.55/1717.65 c #Conflicts: 780000 | #Constraints: 75452
1712.55/1717.65 c #Conflicts: 781000 | #Constraints: 76452
2002.25/2008.15 c #Conflicts: 782000 | #Constraints: 77452
2002.25/2008.15 c #Conflicts: 783000 | #Constraints: 78452
2002.25/2008.15 c #Conflicts: 784000 | #Constraints: 79452
2002.25/2008.15 c #Conflicts: 785000 | #Constraints: 80452
2002.25/2008.15 c #Conflicts: 786000 | #Constraints: 81452
2002.25/2008.15 c #Conflicts: 787000 | #Constraints: 82452
2002.25/2008.15 c #Conflicts: 788000 | #Constraints: 83452
2002.25/2008.15 c #Conflicts: 789000 | #Constraints: 84452
2002.25/2008.15 c #Conflicts: 790000 | #Constraints: 85452
2002.25/2008.15 c #Conflicts: 791000 | #Constraints: 86452
2002.25/2008.15 c #Conflicts: 792000 | #Constraints: 87452
2002.25/2008.15 c #Conflicts: 793000 | #Constraints: 88452
2002.25/2008.15 c #Conflicts: 794000 | #Constraints: 89452
2002.25/2008.15 c #Conflicts: 795000 | #Constraints: 90452
2002.25/2008.15 c #Conflicts: 796000 | #Constraints: 91452
2002.25/2008.15 c #Conflicts: 797000 | #Constraints: 92452
2002.25/2008.15 c #Conflicts: 798000 | #Constraints: 93452
2002.25/2008.15 c #Conflicts: 799000 | #Constraints: 94452
2002.25/2008.15 c #Conflicts: 800000 | #Constraints: 95452
2002.25/2008.15 c #Conflicts: 801000 | #Constraints: 96452
2002.25/2008.15 c #Conflicts: 802000 | #Constraints: 97452
2002.25/2008.15 c #Conflicts: 803000 | #Constraints: 98452
2002.25/2008.15 c #Conflicts: 804000 | #Constraints: 99452
2002.25/2008.15 c #Conflicts: 805000 | #Constraints: 100452
2002.25/2008.15 c #Conflicts: 806000 | #Constraints: 101452
2002.25/2008.15 c #Conflicts: 807000 | #Constraints: 102452
2002.25/2008.15 c #Conflicts: 808000 | #Constraints: 103452
2002.25/2008.15 c #Conflicts: 809000 | #Constraints: 104452
2002.25/2008.15 c #Conflicts: 810000 | #Constraints: 105452
2002.25/2008.15 c #Conflicts: 811000 | #Constraints: 106452
2002.25/2008.15 c #Conflicts: 812000 | #Constraints: 107452
2002.25/2008.15 c #Conflicts: 813000 | #Constraints: 108452
2002.25/2008.15 c #Conflicts: 814000 | #Constraints: 109452
2002.25/2008.15 c #Conflicts: 815000 | #Constraints: 110452
2002.25/2008.15 c #Conflicts: 816000 | #Constraints: 111452
2002.25/2008.15 c #Conflicts: 817000 | #Constraints: 112452
2002.25/2008.15 c #Conflicts: 818000 | #Constraints: 113452
2002.25/2008.15 c #Conflicts: 819000 | #Constraints: 114452
2002.25/2008.15 c #Conflicts: 820000 | #Constraints: 115452
2002.25/2008.15 c #Conflicts: 821000 | #Constraints: 116452
2002.25/2008.15 c #Conflicts: 822000 | #Constraints: 117452
2002.25/2008.15 c #Conflicts: 823000 | #Constraints: 118452
2002.25/2008.15 c #Conflicts: 824000 | #Constraints: 119452
2002.25/2008.15 c #Conflicts: 825000 | #Constraints: 120452
2002.25/2008.15 c #Conflicts: 826000 | #Constraints: 121452
2002.25/2008.15 c #Conflicts: 827000 | #Constraints: 122452
2002.25/2008.15 c #Conflicts: 828000 | #Constraints: 123452
2002.25/2008.15 c #Conflicts: 829000 | #Constraints: 124452
2002.25/2008.15 c #Conflicts: 830000 | #Constraints: 125452
2002.25/2008.15 c #Conflicts: 831000 | #Constraints: 126452
2002.25/2008.15 c #Conflicts: 832000 | #Constraints: 127452
2002.25/2008.15 c INPROCESSING
2002.25/2008.15 c GARBAGE COLLECT
2002.25/2008.15 c #Conflicts: 833000 | #Constraints: 76470
2002.25/2008.15 c #Conflicts: 834000 | #Constraints: 77470
2002.25/2008.15 c #Conflicts: 835000 | #Constraints: 78470
2002.25/2008.15 c #Conflicts: 836000 | #Constraints: 79470
2002.25/2008.15 c #Conflicts: 837000 | #Constraints: 80470
2002.25/2008.15 c #Conflicts: 838000 | #Constraints: 81470
2002.25/2008.15 c #Conflicts: 839000 | #Constraints: 82470
2002.25/2008.15 c #Conflicts: 840000 | #Constraints: 83470
2002.25/2008.15 c #Conflicts: 841000 | #Constraints: 84470
2002.25/2008.15 c #Conflicts: 842000 | #Constraints: 85470
2002.25/2008.15 c #Conflicts: 843000 | #Constraints: 86470
2002.25/2008.15 c #Conflicts: 844000 | #Constraints: 87470
2002.25/2008.15 c #Conflicts: 845000 | #Constraints: 88470
2002.25/2008.15 c #Conflicts: 846000 | #Constraints: 89470
2002.25/2008.15 c #Conflicts: 847000 | #Constraints: 90470
2002.25/2008.15 c #Conflicts: 848000 | #Constraints: 91470
2002.25/2008.15 c #Conflicts: 849000 | #Constraints: 92470
2002.25/2008.15 c #Conflicts: 850000 | #Constraints: 93470
2002.25/2008.15 c #Conflicts: 851000 | #Constraints: 94470
2002.25/2008.15 c #Conflicts: 852000 | #Constraints: 95470
2002.25/2008.15 c #Conflicts: 853000 | #Constraints: 96470
2002.25/2008.15 c #Conflicts: 854000 | #Constraints: 97471
2002.25/2008.15 c #Conflicts: 855000 | #Constraints: 98471
2002.25/2008.15 c #Conflicts: 856000 | #Constraints: 99471
2002.25/2008.15 c #Conflicts: 857000 | #Constraints: 100471
2002.25/2008.15 c #Conflicts: 858000 | #Constraints: 101471
2002.25/2008.15 c INPROCESSING
2002.25/2008.15 c GARBAGE COLLECT
2002.25/2008.15 c rational objective 174
2190.95/2197.38 c #Conflicts: 859000 | #Constraints: 72564
2190.95/2197.38 c #Conflicts: 860000 | #Constraints: 73564
2190.95/2197.38 c #Conflicts: 861000 | #Constraints: 74564
2190.95/2197.38 c #Conflicts: 862000 | #Constraints: 75564
2190.95/2197.38 c #Conflicts: 863000 | #Constraints: 76564
2190.95/2197.38 c #Conflicts: 864000 | #Constraints: 77564
2190.95/2197.38 c #Conflicts: 865000 | #Constraints: 78564
2190.95/2197.38 c #Conflicts: 866000 | #Constraints: 79564
2190.95/2197.38 c #Conflicts: 867000 | #Constraints: 80564
2190.95/2197.38 c #Conflicts: 868000 | #Constraints: 81564
2190.95/2197.38 c #Conflicts: 869000 | #Constraints: 82564
2190.95/2197.38 c #Conflicts: 870000 | #Constraints: 83564
2190.95/2197.38 c #Conflicts: 871000 | #Constraints: 84564
2190.95/2197.38 c #Conflicts: 872000 | #Constraints: 85564
2190.95/2197.38 c #Conflicts: 873000 | #Constraints: 86564
2190.95/2197.38 c #Conflicts: 874000 | #Constraints: 87564
2190.95/2197.38 c #Conflicts: 875000 | #Constraints: 88564
2190.95/2197.38 c #Conflicts: 876000 | #Constraints: 89564
2190.95/2197.38 c #Conflicts: 877000 | #Constraints: 90564
2190.95/2197.38 c #Conflicts: 878000 | #Constraints: 91564
2190.95/2197.38 c #Conflicts: 879000 | #Constraints: 92564
2190.95/2197.38 c #Conflicts: 880000 | #Constraints: 93564
2190.95/2197.38 c #Conflicts: 881000 | #Constraints: 94564
2190.95/2197.38 c #Conflicts: 882000 | #Constraints: 95564
2190.95/2197.38 c #Conflicts: 883000 | #Constraints: 96564
2190.95/2197.38 c #Conflicts: 884000 | #Constraints: 97564
2190.95/2197.38 c #Conflicts: 885000 | #Constraints: 98564
2190.95/2197.38 c #Conflicts: 886000 | #Constraints: 99564
2190.95/2197.38 c #Conflicts: 887000 | #Constraints: 100564
2190.95/2197.38 c #Conflicts: 888000 | #Constraints: 101564
2190.95/2197.38 c #Conflicts: 889000 | #Constraints: 102564
2190.95/2197.38 c #Conflicts: 890000 | #Constraints: 103564
2190.95/2197.38 c #Conflicts: 891000 | #Constraints: 104564
2190.95/2197.38 c #Conflicts: 892000 | #Constraints: 105564
2190.95/2197.38 c #Conflicts: 893000 | #Constraints: 106564
2190.95/2197.38 c #Conflicts: 894000 | #Constraints: 107564
2190.95/2197.38 c #Conflicts: 895000 | #Constraints: 108564
2190.95/2197.38 c #Conflicts: 896000 | #Constraints: 109564
2190.95/2197.38 c #Conflicts: 897000 | #Constraints: 110564
2190.95/2197.38 c #Conflicts: 898000 | #Constraints: 111564
2190.95/2197.38 c #Conflicts: 899000 | #Constraints: 112564
2190.95/2197.38 c #Conflicts: 900000 | #Constraints: 113564
2190.95/2197.38 c #Conflicts: 901000 | #Constraints: 114564
2190.95/2197.38 c #Conflicts: 902000 | #Constraints: 115564
2190.95/2197.38 c #Conflicts: 903000 | #Constraints: 116564
2190.95/2197.38 c #Conflicts: 904000 | #Constraints: 117564
2190.95/2197.38 c #Conflicts: 905000 | #Constraints: 118564
2190.95/2197.38 c #Conflicts: 906000 | #Constraints: 119564
2190.95/2197.38 c #Conflicts: 907000 | #Constraints: 120564
2190.95/2197.38 c #Conflicts: 908000 | #Constraints: 121564
2190.95/2197.38 c #Conflicts: 909000 | #Constraints: 122564
2190.95/2197.38 c #Conflicts: 910000 | #Constraints: 123564
2190.95/2197.38 c #Conflicts: 911000 | #Constraints: 124564
2190.95/2197.38 c #Conflicts: 912000 | #Constraints: 125564
2190.95/2197.38 c #Conflicts: 913000 | #Constraints: 126564
2190.95/2197.38 c #Conflicts: 914000 | #Constraints: 127564
2190.95/2197.38 c #Conflicts: 915000 | #Constraints: 128564
2190.95/2197.38 c #Conflicts: 916000 | #Constraints: 129564
2190.95/2197.38 c #Conflicts: 917000 | #Constraints: 130564
2190.95/2197.38 c #Conflicts: 918000 | #Constraints: 131564
2190.95/2197.38 c #Conflicts: 919000 | #Constraints: 132564
2190.95/2197.38 c #Conflicts: 920000 | #Constraints: 133564
2190.95/2197.38 c INPROCESSING
2190.95/2197.38 c GARBAGE COLLECT
2190.95/2197.38 c #Conflicts: 921000 | #Constraints: 79892
2190.95/2197.38 c #Conflicts: 922000 | #Constraints: 80892
2190.95/2197.38 c #Conflicts: 923000 | #Constraints: 81892
2190.95/2197.38 c #Conflicts: 924000 | #Constraints: 82892
2190.95/2197.38 c #Conflicts: 925000 | #Constraints: 83892
2190.95/2197.38 c #Conflicts: 926000 | #Constraints: 84892
2190.95/2197.38 c #Conflicts: 927000 | #Constraints: 85892
2190.95/2197.38 c #Conflicts: 928000 | #Constraints: 86892
2190.95/2197.38 c #Conflicts: 929000 | #Constraints: 87892
2190.95/2197.38 c #Conflicts: 930000 | #Constraints: 88892
2190.95/2197.38 c #Conflicts: 931000 | #Constraints: 89892
2190.95/2197.38 c #Conflicts: 932000 | #Constraints: 90892
2190.95/2197.38 c #Conflicts: 933000 | #Constraints: 91892
2190.95/2197.38 c #Conflicts: 934000 | #Constraints: 92892
2190.95/2197.38 c #Conflicts: 935000 | #Constraints: 93892
2190.95/2197.38 c #Conflicts: 936000 | #Constraints: 94892
2190.95/2197.38 c #Conflicts: 937000 | #Constraints: 95892
2403.99/2410.92 c #Conflicts: 938000 | #Constraints: 96892
2403.99/2410.92 c #Conflicts: 939000 | #Constraints: 97892
2403.99/2410.92 c #Conflicts: 940000 | #Constraints: 98892
2403.99/2410.92 c #Conflicts: 941000 | #Constraints: 99892
2403.99/2410.92 c #Conflicts: 942000 | #Constraints: 100892
2403.99/2410.92 c #Conflicts: 943000 | #Constraints: 101892
2403.99/2410.92 c #Conflicts: 944000 | #Constraints: 102892
2403.99/2410.92 c #Conflicts: 945000 | #Constraints: 103892
2403.99/2410.92 c #Conflicts: 946000 | #Constraints: 104892
2403.99/2410.92 c #Conflicts: 947000 | #Constraints: 105892
2403.99/2410.92 c INPROCESSING
2403.99/2410.92 c GARBAGE COLLECT
2403.99/2410.92 c #Conflicts: 948000 | #Constraints: 75152
2403.99/2410.92 c #Conflicts: 949000 | #Constraints: 76152
2403.99/2410.92 c #Conflicts: 950000 | #Constraints: 77152
2403.99/2410.92 c #Conflicts: 951000 | #Constraints: 78152
2403.99/2410.92 c #Conflicts: 952000 | #Constraints: 79152
2403.99/2410.92 c #Conflicts: 953000 | #Constraints: 80152
2403.99/2410.92 c #Conflicts: 954000 | #Constraints: 81152
2403.99/2410.92 c #Conflicts: 955000 | #Constraints: 82152
2403.99/2410.92 c #Conflicts: 956000 | #Constraints: 83152
2403.99/2410.92 c #Conflicts: 957000 | #Constraints: 84152
2403.99/2410.92 c #Conflicts: 958000 | #Constraints: 85152
2403.99/2410.92 c #Conflicts: 959000 | #Constraints: 86152
2403.99/2410.92 c #Conflicts: 960000 | #Constraints: 87152
2403.99/2410.92 c #Conflicts: 961000 | #Constraints: 88152
2403.99/2410.92 c #Conflicts: 962000 | #Constraints: 89152
2403.99/2410.92 c #Conflicts: 963000 | #Constraints: 90152
2403.99/2410.92 c #Conflicts: 964000 | #Constraints: 91152
2403.99/2410.92 c #Conflicts: 965000 | #Constraints: 92152
2403.99/2410.92 c #Conflicts: 966000 | #Constraints: 93152
2403.99/2410.92 c #Conflicts: 967000 | #Constraints: 94152
2403.99/2410.92 c #Conflicts: 968000 | #Constraints: 95152
2403.99/2410.92 c #Conflicts: 969000 | #Constraints: 96152
2403.99/2410.92 c #Conflicts: 970000 | #Constraints: 97152
2403.99/2410.92 c #Conflicts: 971000 | #Constraints: 98152
2403.99/2410.92 c #Conflicts: 972000 | #Constraints: 99152
2403.99/2410.92 c #Conflicts: 973000 | #Constraints: 100152
2403.99/2410.92 c #Conflicts: 974000 | #Constraints: 101152
2403.99/2410.92 c #Conflicts: 975000 | #Constraints: 102152
2403.99/2410.92 c #Conflicts: 976000 | #Constraints: 103152
2403.99/2410.92 c #Conflicts: 977000 | #Constraints: 104152
2403.99/2410.92 c #Conflicts: 978000 | #Constraints: 105152
2403.99/2410.92 c #Conflicts: 979000 | #Constraints: 106152
2403.99/2410.92 c #Conflicts: 980000 | #Constraints: 107152
2403.99/2410.92 c #Conflicts: 981000 | #Constraints: 108152
2403.99/2410.92 c #Conflicts: 982000 | #Constraints: 109152
2403.99/2410.92 c #Conflicts: 983000 | #Constraints: 110152
2403.99/2410.92 c #Conflicts: 984000 | #Constraints: 111152
2403.99/2410.92 c #Conflicts: 985000 | #Constraints: 112152
2403.99/2410.92 c #Conflicts: 986000 | #Constraints: 113152
2403.99/2410.92 c #Conflicts: 987000 | #Constraints: 114152
2403.99/2410.92 c #Conflicts: 988000 | #Constraints: 115152
2403.99/2410.92 c #Conflicts: 989000 | #Constraints: 116152
2403.99/2410.92 c #Conflicts: 990000 | #Constraints: 117152
2403.99/2410.92 c #Conflicts: 991000 | #Constraints: 118152
2403.99/2410.92 c #Conflicts: 992000 | #Constraints: 119152
2403.99/2410.92 c #Conflicts: 993000 | #Constraints: 120152
2403.99/2410.92 c #Conflicts: 994000 | #Constraints: 121152
2403.99/2410.92 c #Conflicts: 995000 | #Constraints: 122152
2403.99/2410.92 c #Conflicts: 996000 | #Constraints: 123152
2403.99/2410.92 c #Conflicts: 997000 | #Constraints: 124152
2403.99/2410.92 c #Conflicts: 998000 | #Constraints: 125152
2403.99/2410.92 c #Conflicts: 999000 | #Constraints: 126152
2403.99/2410.92 c #Conflicts: 1000000 | #Constraints: 127152
2403.99/2410.92 c #Conflicts: 1001000 | #Constraints: 128152
2403.99/2410.92 c #Conflicts: 1002000 | #Constraints: 129152
2403.99/2410.92 c #Conflicts: 1003000 | #Constraints: 130152
2403.99/2410.92 c #Conflicts: 1004000 | #Constraints: 131152
2403.99/2410.92 c #Conflicts: 1005000 | #Constraints: 132152
2403.99/2410.92 c #Conflicts: 1006000 | #Constraints: 133152
2403.99/2410.92 c #Conflicts: 1007000 | #Constraints: 134152
2403.99/2410.92 c #Conflicts: 1008000 | #Constraints: 135152
2403.99/2410.92 c #Conflicts: 1009000 | #Constraints: 136152
2403.99/2410.92 c #Conflicts: 1010000 | #Constraints: 137152
2403.99/2410.92 c #Conflicts: 1011000 | #Constraints: 138152
2403.99/2410.92 c #Conflicts: 1012000 | #Constraints: 139152
2403.99/2410.92 c INPROCESSING
2403.99/2410.92 c GARBAGE COLLECT
2403.99/2410.92 c #Conflicts: 1013000 | #Constraints: 82359
2403.99/2410.92 c #Conflicts: 1014000 | #Constraints: 83359
2599.86/2607.31 c #Conflicts: 1015000 | #Constraints: 84359
2599.86/2607.31 c #Conflicts: 1016000 | #Constraints: 85359
2599.86/2607.31 c #Conflicts: 1017000 | #Constraints: 86359
2599.86/2607.31 c #Conflicts: 1018000 | #Constraints: 87359
2599.86/2607.31 c #Conflicts: 1019000 | #Constraints: 88359
2599.86/2607.31 c #Conflicts: 1020000 | #Constraints: 89359
2599.86/2607.31 c #Conflicts: 1021000 | #Constraints: 90359
2599.86/2607.31 c #Conflicts: 1022000 | #Constraints: 91359
2599.86/2607.31 c #Conflicts: 1023000 | #Constraints: 92359
2599.86/2607.31 c #Conflicts: 1024000 | #Constraints: 93359
2599.86/2607.31 c #Conflicts: 1025000 | #Constraints: 94359
2599.86/2607.31 c #Conflicts: 1026000 | #Constraints: 95359
2599.86/2607.31 c #Conflicts: 1027000 | #Constraints: 96359
2599.86/2607.31 c #Conflicts: 1028000 | #Constraints: 97359
2599.86/2607.31 c #Conflicts: 1029000 | #Constraints: 98359
2599.86/2607.31 c #Conflicts: 1030000 | #Constraints: 99359
2599.86/2607.31 c #Conflicts: 1031000 | #Constraints: 100359
2599.86/2607.31 c #Conflicts: 1032000 | #Constraints: 101359
2599.86/2607.31 c #Conflicts: 1033000 | #Constraints: 102359
2599.86/2607.31 c #Conflicts: 1034000 | #Constraints: 103359
2599.86/2607.31 c #Conflicts: 1035000 | #Constraints: 104359
2599.86/2607.31 c #Conflicts: 1036000 | #Constraints: 105359
2599.86/2607.31 c #Conflicts: 1037000 | #Constraints: 106359
2599.86/2607.31 c #Conflicts: 1038000 | #Constraints: 107359
2599.86/2607.31 c #Conflicts: 1039000 | #Constraints: 108359
2599.86/2607.31 c #Conflicts: 1040000 | #Constraints: 109359
2599.86/2607.31 c INPROCESSING
2599.86/2607.31 c GARBAGE COLLECT
2599.86/2607.31 c #Conflicts: 1041000 | #Constraints: 77186
2599.86/2607.31 c #Conflicts: 1042000 | #Constraints: 78186
2599.86/2607.31 c #Conflicts: 1043000 | #Constraints: 79186
2599.86/2607.31 c #Conflicts: 1044000 | #Constraints: 80186
2599.86/2607.31 c #Conflicts: 1045000 | #Constraints: 81186
2599.86/2607.31 c #Conflicts: 1046000 | #Constraints: 82186
2599.86/2607.31 c #Conflicts: 1047000 | #Constraints: 83186
2599.86/2607.31 c #Conflicts: 1048000 | #Constraints: 84186
2599.86/2607.31 c #Conflicts: 1049000 | #Constraints: 85186
2599.86/2607.31 c #Conflicts: 1050000 | #Constraints: 86186
2599.86/2607.31 c #Conflicts: 1051000 | #Constraints: 87186
2599.86/2607.31 c #Conflicts: 1052000 | #Constraints: 88186
2599.86/2607.31 c #Conflicts: 1053000 | #Constraints: 89186
2599.86/2607.31 c #Conflicts: 1054000 | #Constraints: 90186
2599.86/2607.31 c #Conflicts: 1055000 | #Constraints: 91186
2599.86/2607.31 c #Conflicts: 1056000 | #Constraints: 92186
2599.86/2607.31 c #Conflicts: 1057000 | #Constraints: 93186
2599.86/2607.31 c #Conflicts: 1058000 | #Constraints: 94186
2599.86/2607.31 c #Conflicts: 1059000 | #Constraints: 95186
2599.86/2607.31 c #Conflicts: 1060000 | #Constraints: 96186
2599.86/2607.31 c #Conflicts: 1061000 | #Constraints: 97186
2599.86/2607.31 c #Conflicts: 1062000 | #Constraints: 98186
2599.86/2607.31 c #Conflicts: 1063000 | #Constraints: 99186
2599.86/2607.31 c #Conflicts: 1064000 | #Constraints: 100186
2599.86/2607.31 c #Conflicts: 1065000 | #Constraints: 101186
2599.86/2607.31 c #Conflicts: 1066000 | #Constraints: 102186
2599.86/2607.31 c #Conflicts: 1067000 | #Constraints: 103186
2599.86/2607.31 c #Conflicts: 1068000 | #Constraints: 104186
2599.86/2607.31 c #Conflicts: 1069000 | #Constraints: 105186
2599.86/2607.31 c #Conflicts: 1070000 | #Constraints: 106186
2599.86/2607.31 c #Conflicts: 1071000 | #Constraints: 107186
2599.86/2607.31 c #Conflicts: 1072000 | #Constraints: 108186
2599.86/2607.31 c #Conflicts: 1073000 | #Constraints: 109186
2599.86/2607.31 c #Conflicts: 1074000 | #Constraints: 110186
2599.86/2607.31 c #Conflicts: 1075000 | #Constraints: 111186
2599.86/2607.31 c #Conflicts: 1076000 | #Constraints: 112186
2599.86/2607.31 c #Conflicts: 1077000 | #Constraints: 113186
2599.86/2607.31 c #Conflicts: 1078000 | #Constraints: 114186
2599.86/2607.31 c #Conflicts: 1079000 | #Constraints: 115186
2599.86/2607.31 c #Conflicts: 1080000 | #Constraints: 116186
2599.86/2607.31 c #Conflicts: 1081000 | #Constraints: 117186
2599.86/2607.31 c #Conflicts: 1082000 | #Constraints: 118186
2599.86/2607.31 c #Conflicts: 1083000 | #Constraints: 119186
2599.86/2607.31 c #Conflicts: 1084000 | #Constraints: 120186
2599.86/2607.31 c #Conflicts: 1085000 | #Constraints: 121186
2599.86/2607.31 c #Conflicts: 1086000 | #Constraints: 122186
2599.86/2607.31 c #Conflicts: 1087000 | #Constraints: 123186
2599.86/2607.31 c #Conflicts: 1088000 | #Constraints: 124186
2599.86/2607.31 c #Conflicts: 1089000 | #Constraints: 125186
2599.86/2607.31 c #Conflicts: 1090000 | #Constraints: 126186
2599.86/2607.31 c #Conflicts: 1091000 | #Constraints: 127186
2599.86/2607.31 c #Conflicts: 1092000 | #Constraints: 128186
2818.07/2826.12 c #Conflicts: 1093000 | #Constraints: 129186
2818.07/2826.12 c #Conflicts: 1094000 | #Constraints: 130186
2818.07/2826.12 c #Conflicts: 1095000 | #Constraints: 131186
2818.07/2826.12 c #Conflicts: 1096000 | #Constraints: 132186
2818.07/2826.12 c #Conflicts: 1097000 | #Constraints: 133186
2818.07/2826.12 c #Conflicts: 1098000 | #Constraints: 134186
2818.07/2826.12 c #Conflicts: 1099000 | #Constraints: 135186
2818.07/2826.12 c #Conflicts: 1100000 | #Constraints: 136186
2818.07/2826.12 c #Conflicts: 1101000 | #Constraints: 137186
2818.07/2826.12 c #Conflicts: 1102000 | #Constraints: 138186
2818.07/2826.12 c #Conflicts: 1103000 | #Constraints: 139186
2818.07/2826.12 c #Conflicts: 1104000 | #Constraints: 140186
2818.07/2826.12 c #Conflicts: 1105000 | #Constraints: 141186
2818.07/2826.12 c #Conflicts: 1106000 | #Constraints: 142186
2818.07/2826.12 c #Conflicts: 1107000 | #Constraints: 143186
2818.07/2826.12 c #Conflicts: 1108000 | #Constraints: 144186
2818.07/2826.12 c INPROCESSING
2818.07/2826.12 c GARBAGE COLLECT
2818.07/2826.12 c #Conflicts: 1109000 | #Constraints: 84586
2818.07/2826.12 c #Conflicts: 1110000 | #Constraints: 85586
2818.07/2826.12 c #Conflicts: 1111000 | #Constraints: 86586
2818.07/2826.12 c #Conflicts: 1112000 | #Constraints: 87586
2818.07/2826.12 c #Conflicts: 1113000 | #Constraints: 88586
2818.07/2826.12 c #Conflicts: 1114000 | #Constraints: 89586
2818.07/2826.12 c #Conflicts: 1115000 | #Constraints: 90586
2818.07/2826.12 c #Conflicts: 1116000 | #Constraints: 91586
2818.07/2826.12 c #Conflicts: 1117000 | #Constraints: 92586
2818.07/2826.12 c #Conflicts: 1118000 | #Constraints: 93586
2818.07/2826.12 c #Conflicts: 1119000 | #Constraints: 94586
2818.07/2826.12 c #Conflicts: 1120000 | #Constraints: 95586
2818.07/2826.12 c #Conflicts: 1121000 | #Constraints: 96586
2818.07/2826.12 c #Conflicts: 1122000 | #Constraints: 97586
2818.07/2826.12 c #Conflicts: 1123000 | #Constraints: 98586
2818.07/2826.12 c #Conflicts: 1124000 | #Constraints: 99586
2818.07/2826.12 c #Conflicts: 1125000 | #Constraints: 100586
2818.07/2826.12 c #Conflicts: 1126000 | #Constraints: 101586
2818.07/2826.12 c #Conflicts: 1127000 | #Constraints: 102586
2818.07/2826.12 c #Conflicts: 1128000 | #Constraints: 103586
2818.07/2826.12 c #Conflicts: 1129000 | #Constraints: 104586
2818.07/2826.12 c #Conflicts: 1130000 | #Constraints: 105586
2818.07/2826.12 c #Conflicts: 1131000 | #Constraints: 106586
2818.07/2826.12 c #Conflicts: 1132000 | #Constraints: 107586
2818.07/2826.12 c #Conflicts: 1133000 | #Constraints: 108586
2818.07/2826.12 c #Conflicts: 1134000 | #Constraints: 109586
2818.07/2826.12 c #Conflicts: 1135000 | #Constraints: 110586
2818.07/2826.12 c #Conflicts: 1136000 | #Constraints: 111586
2818.07/2826.12 c #Conflicts: 1137000 | #Constraints: 112586
2818.07/2826.12 c #Conflicts: 1138000 | #Constraints: 113586
2818.07/2826.12 c INPROCESSING
2818.07/2826.12 c GARBAGE COLLECT
2818.07/2826.12 c #Conflicts: 1139000 | #Constraints: 79189
2818.07/2826.12 c #Conflicts: 1140000 | #Constraints: 80189
2818.07/2826.12 c #Conflicts: 1141000 | #Constraints: 81189
2818.07/2826.12 c #Conflicts: 1142000 | #Constraints: 82189
2818.07/2826.12 c #Conflicts: 1143000 | #Constraints: 83189
2818.07/2826.12 c #Conflicts: 1144000 | #Constraints: 84189
2818.07/2826.12 c #Conflicts: 1145000 | #Constraints: 85189
2818.07/2826.12 c #Conflicts: 1146000 | #Constraints: 86189
2818.07/2826.12 c #Conflicts: 1147000 | #Constraints: 87189
2818.07/2826.12 c #Conflicts: 1148000 | #Constraints: 88189
2818.07/2826.12 c #Conflicts: 1149000 | #Constraints: 89189
2818.07/2826.12 c #Conflicts: 1150000 | #Constraints: 90189
2818.07/2826.12 c #Conflicts: 1151000 | #Constraints: 91189
2818.07/2826.12 c #Conflicts: 1152000 | #Constraints: 92189
2818.07/2826.12 c #Conflicts: 1153000 | #Constraints: 93189
2818.07/2826.12 c #Conflicts: 1154000 | #Constraints: 94189
2818.07/2826.12 c #Conflicts: 1155000 | #Constraints: 95189
2818.07/2826.12 c #Conflicts: 1156000 | #Constraints: 96189
2818.07/2826.12 c #Conflicts: 1157000 | #Constraints: 97189
2818.07/2826.12 c #Conflicts: 1158000 | #Constraints: 98189
2818.07/2826.12 c #Conflicts: 1159000 | #Constraints: 99189
2818.07/2826.12 c #Conflicts: 1160000 | #Constraints: 100189
2818.07/2826.12 c #Conflicts: 1161000 | #Constraints: 101189
2818.07/2826.12 c #Conflicts: 1162000 | #Constraints: 102189
2818.07/2826.12 c #Conflicts: 1163000 | #Constraints: 103189
2818.07/2826.12 c #Conflicts: 1164000 | #Constraints: 104189
2818.07/2826.12 c #Conflicts: 1165000 | #Constraints: 105189
2818.07/2826.12 c #Conflicts: 1166000 | #Constraints: 106189
2818.07/2826.12 c #Conflicts: 1167000 | #Constraints: 107189
2818.07/2826.12 c #Conflicts: 1168000 | #Constraints: 108189
2818.07/2826.12 c #Conflicts: 1169000 | #Constraints: 109189
2818.07/2826.12 c #Conflicts: 1170000 | #Constraints: 110189
3041.65/3050.36 c #Conflicts: 1171000 | #Constraints: 111189
3041.65/3050.36 c #Conflicts: 1172000 | #Constraints: 112189
3041.65/3050.36 c #Conflicts: 1173000 | #Constraints: 113189
3041.65/3050.36 c #Conflicts: 1174000 | #Constraints: 114189
3041.65/3050.36 c #Conflicts: 1175000 | #Constraints: 115189
3041.65/3050.36 c #Conflicts: 1176000 | #Constraints: 116189
3041.65/3050.36 c #Conflicts: 1177000 | #Constraints: 117189
3041.65/3050.36 c #Conflicts: 1178000 | #Constraints: 118189
3041.65/3050.36 c #Conflicts: 1179000 | #Constraints: 119189
3041.65/3050.36 c #Conflicts: 1180000 | #Constraints: 120189
3041.65/3050.36 c #Conflicts: 1181000 | #Constraints: 121189
3041.65/3050.36 c #Conflicts: 1182000 | #Constraints: 122189
3041.65/3050.36 c #Conflicts: 1183000 | #Constraints: 123189
3041.65/3050.36 c #Conflicts: 1184000 | #Constraints: 124189
3041.65/3050.36 c #Conflicts: 1185000 | #Constraints: 125189
3041.65/3050.36 c #Conflicts: 1186000 | #Constraints: 126189
3041.65/3050.36 c #Conflicts: 1187000 | #Constraints: 127189
3041.65/3050.36 c #Conflicts: 1188000 | #Constraints: 128189
3041.65/3050.36 c #Conflicts: 1189000 | #Constraints: 129189
3041.65/3050.36 c #Conflicts: 1190000 | #Constraints: 130189
3041.65/3050.36 c #Conflicts: 1191000 | #Constraints: 131189
3041.65/3050.36 c #Conflicts: 1192000 | #Constraints: 132189
3041.65/3050.36 c #Conflicts: 1193000 | #Constraints: 133189
3041.65/3050.36 c #Conflicts: 1194000 | #Constraints: 134189
3041.65/3050.36 c #Conflicts: 1195000 | #Constraints: 135189
3041.65/3050.36 c #Conflicts: 1196000 | #Constraints: 136189
3041.65/3050.36 c #Conflicts: 1197000 | #Constraints: 137189
3041.65/3050.36 c #Conflicts: 1198000 | #Constraints: 138189
3041.65/3050.36 c #Conflicts: 1199000 | #Constraints: 139189
3041.65/3050.36 c #Conflicts: 1200000 | #Constraints: 140189
3041.65/3050.36 c #Conflicts: 1201000 | #Constraints: 141189
3041.65/3050.36 c #Conflicts: 1202000 | #Constraints: 142189
3041.65/3050.36 c #Conflicts: 1203000 | #Constraints: 143189
3041.65/3050.36 c #Conflicts: 1204000 | #Constraints: 144189
3041.65/3050.36 c #Conflicts: 1205000 | #Constraints: 145189
3041.65/3050.36 c #Conflicts: 1206000 | #Constraints: 146189
3041.65/3050.36 c #Conflicts: 1207000 | #Constraints: 147189
3041.65/3050.36 c #Conflicts: 1208000 | #Constraints: 148189
3041.65/3050.36 c #Conflicts: 1209000 | #Constraints: 149189
3041.65/3050.36 c INPROCESSING
3041.65/3050.36 c GARBAGE COLLECT
3041.65/3050.36 c #Conflicts: 1210000 | #Constraints: 87255
3041.65/3050.36 c #Conflicts: 1211000 | #Constraints: 88255
3041.65/3050.36 c #Conflicts: 1212000 | #Constraints: 89255
3041.65/3050.36 c #Conflicts: 1213000 | #Constraints: 90255
3041.65/3050.36 c #Conflicts: 1214000 | #Constraints: 91255
3041.65/3050.36 c #Conflicts: 1215000 | #Constraints: 92255
3041.65/3050.36 c #Conflicts: 1216000 | #Constraints: 93255
3041.65/3050.36 c #Conflicts: 1217000 | #Constraints: 94255
3041.65/3050.36 c #Conflicts: 1218000 | #Constraints: 95255
3041.65/3050.36 c #Conflicts: 1219000 | #Constraints: 96255
3041.65/3050.36 c #Conflicts: 1220000 | #Constraints: 97255
3041.65/3050.36 c #Conflicts: 1221000 | #Constraints: 98255
3041.65/3050.36 c #Conflicts: 1222000 | #Constraints: 99255
3041.65/3050.36 c #Conflicts: 1223000 | #Constraints: 100255
3041.65/3050.36 c #Conflicts: 1224000 | #Constraints: 101255
3041.65/3050.36 c #Conflicts: 1225000 | #Constraints: 102255
3041.65/3050.36 c #Conflicts: 1226000 | #Constraints: 103255
3041.65/3050.36 c #Conflicts: 1227000 | #Constraints: 104255
3041.65/3050.36 c #Conflicts: 1228000 | #Constraints: 105255
3041.65/3050.36 c #Conflicts: 1229000 | #Constraints: 106255
3041.65/3050.36 c #Conflicts: 1230000 | #Constraints: 107255
3041.65/3050.36 c #Conflicts: 1231000 | #Constraints: 108255
3041.65/3050.36 c #Conflicts: 1232000 | #Constraints: 109255
3041.65/3050.36 c #Conflicts: 1233000 | #Constraints: 110255
3041.65/3050.36 c #Conflicts: 1234000 | #Constraints: 111255
3041.65/3050.36 c #Conflicts: 1235000 | #Constraints: 112255
3041.65/3050.36 c #Conflicts: 1236000 | #Constraints: 113255
3041.65/3050.36 c #Conflicts: 1237000 | #Constraints: 114255
3041.65/3050.36 c #Conflicts: 1238000 | #Constraints: 115255
3041.65/3050.36 c #Conflicts: 1239000 | #Constraints: 116255
3041.65/3050.36 c #Conflicts: 1240000 | #Constraints: 117255
3041.65/3050.36 c INPROCESSING
3041.65/3050.36 c GARBAGE COLLECT
3041.65/3050.36 c #Conflicts: 1241000 | #Constraints: 82131
3041.65/3050.36 c #Conflicts: 1242000 | #Constraints: 83131
3041.65/3050.36 c #Conflicts: 1243000 | #Constraints: 84131
3041.65/3050.36 c #Conflicts: 1244000 | #Constraints: 85131
3041.65/3050.36 c #Conflicts: 1245000 | #Constraints: 86131
3041.65/3050.36 c #Conflicts: 1246000 | #Constraints: 87131
3041.65/3050.36 c #Conflicts: 1247000 | #Constraints: 88131
3295.34/3304.70 c #Conflicts: 1248000 | #Constraints: 89131
3295.34/3304.70 c #Conflicts: 1249000 | #Constraints: 90131
3295.34/3304.70 c #Conflicts: 1250000 | #Constraints: 91131
3295.34/3304.70 c #Conflicts: 1251000 | #Constraints: 92131
3295.34/3304.70 c #Conflicts: 1252000 | #Constraints: 93131
3295.34/3304.70 c #Conflicts: 1253000 | #Constraints: 94132
3295.34/3304.70 c #Conflicts: 1254000 | #Constraints: 95132
3295.34/3304.70 c #Conflicts: 1255000 | #Constraints: 96132
3295.34/3304.70 c #Conflicts: 1256000 | #Constraints: 97132
3295.34/3304.70 c #Conflicts: 1257000 | #Constraints: 98132
3295.34/3304.70 c #Conflicts: 1258000 | #Constraints: 99132
3295.34/3304.70 c #Conflicts: 1259000 | #Constraints: 100132
3295.34/3304.70 c #Conflicts: 1260000 | #Constraints: 101132
3295.34/3304.70 c #Conflicts: 1261000 | #Constraints: 102132
3295.34/3304.70 c #Conflicts: 1262000 | #Constraints: 103132
3295.34/3304.70 c #Conflicts: 1263000 | #Constraints: 104132
3295.34/3304.70 c #Conflicts: 1264000 | #Constraints: 105132
3295.34/3304.70 c #Conflicts: 1265000 | #Constraints: 106132
3295.34/3304.70 c #Conflicts: 1266000 | #Constraints: 107132
3295.34/3304.70 c #Conflicts: 1267000 | #Constraints: 108132
3295.34/3304.70 c #Conflicts: 1268000 | #Constraints: 109132
3295.34/3304.70 c #Conflicts: 1269000 | #Constraints: 110132
3295.34/3304.70 c #Conflicts: 1270000 | #Constraints: 111132
3295.34/3304.70 c #Conflicts: 1271000 | #Constraints: 112132
3295.34/3304.70 c #Conflicts: 1272000 | #Constraints: 113132
3295.34/3304.70 c #Conflicts: 1273000 | #Constraints: 114132
3295.34/3304.70 c #Conflicts: 1274000 | #Constraints: 115132
3295.34/3304.70 c #Conflicts: 1275000 | #Constraints: 116132
3295.34/3304.70 c #Conflicts: 1276000 | #Constraints: 117132
3295.34/3304.70 c #Conflicts: 1277000 | #Constraints: 118132
3295.34/3304.70 c #Conflicts: 1278000 | #Constraints: 119132
3295.34/3304.70 c #Conflicts: 1279000 | #Constraints: 120132
3295.34/3304.70 c #Conflicts: 1280000 | #Constraints: 121132
3295.34/3304.70 c #Conflicts: 1281000 | #Constraints: 122132
3295.34/3304.70 c #Conflicts: 1282000 | #Constraints: 123132
3295.34/3304.70 c #Conflicts: 1283000 | #Constraints: 124132
3295.34/3304.70 c #Conflicts: 1284000 | #Constraints: 125132
3295.34/3304.70 c #Conflicts: 1285000 | #Constraints: 126132
3295.34/3304.70 c #Conflicts: 1286000 | #Constraints: 127132
3295.34/3304.70 c #Conflicts: 1287000 | #Constraints: 128132
3295.34/3304.70 c #Conflicts: 1288000 | #Constraints: 129132
3295.34/3304.70 c #Conflicts: 1289000 | #Constraints: 130132
3295.34/3304.70 c #Conflicts: 1290000 | #Constraints: 131132
3295.34/3304.70 c #Conflicts: 1291000 | #Constraints: 132132
3295.34/3304.70 c #Conflicts: 1292000 | #Constraints: 133132
3295.34/3304.70 c #Conflicts: 1293000 | #Constraints: 134132
3295.34/3304.70 c #Conflicts: 1294000 | #Constraints: 135132
3295.34/3304.70 c #Conflicts: 1295000 | #Constraints: 136132
3295.34/3304.70 c #Conflicts: 1296000 | #Constraints: 137132
3295.34/3304.70 c #Conflicts: 1297000 | #Constraints: 138132
3295.34/3304.70 c #Conflicts: 1298000 | #Constraints: 139132
3295.34/3304.70 c #Conflicts: 1299000 | #Constraints: 140132
3295.34/3304.70 c #Conflicts: 1300000 | #Constraints: 141132
3295.34/3304.70 c #Conflicts: 1301000 | #Constraints: 142132
3295.34/3304.70 c #Conflicts: 1302000 | #Constraints: 143132
3295.34/3304.70 c #Conflicts: 1303000 | #Constraints: 144132
3295.34/3304.70 c #Conflicts: 1304000 | #Constraints: 145132
3295.34/3304.70 c #Conflicts: 1305000 | #Constraints: 146132
3295.34/3304.70 c #Conflicts: 1306000 | #Constraints: 147132
3295.34/3304.70 c #Conflicts: 1307000 | #Constraints: 148132
3295.34/3304.70 c #Conflicts: 1308000 | #Constraints: 149132
3295.34/3304.70 c #Conflicts: 1309000 | #Constraints: 150132
3295.34/3304.70 c #Conflicts: 1310000 | #Constraints: 151132
3295.34/3304.70 c #Conflicts: 1311000 | #Constraints: 152132
3295.34/3304.70 c #Conflicts: 1312000 | #Constraints: 153132
3295.34/3304.70 c #Conflicts: 1313000 | #Constraints: 154132
3295.34/3304.70 c #Conflicts: 1314000 | #Constraints: 155132
3295.34/3304.70 c #Conflicts: 1315000 | #Constraints: 156132
3295.34/3304.70 c INPROCESSING
3295.34/3304.70 c GARBAGE COLLECT
3295.34/3304.70 c #Conflicts: 1316000 | #Constraints: 91161
3295.34/3304.70 c #Conflicts: 1317000 | #Constraints: 92161
3295.34/3304.70 c #Conflicts: 1318000 | #Constraints: 93161
3295.34/3304.70 c #Conflicts: 1319000 | #Constraints: 94161
3295.34/3304.70 c #Conflicts: 1320000 | #Constraints: 95161
3295.34/3304.70 c #Conflicts: 1321000 | #Constraints: 96161
3295.34/3304.70 c #Conflicts: 1322000 | #Constraints: 97161
3295.34/3304.70 c #Conflicts: 1323000 | #Constraints: 98161
3295.34/3304.70 c #Conflicts: 1324000 | #Constraints: 99161
3295.34/3304.70 c #Conflicts: 1325000 | #Constraints: 100161
3511.45/3521.49 c #Conflicts: 1326000 | #Constraints: 101161
3511.45/3521.49 c #Conflicts: 1327000 | #Constraints: 102161
3511.45/3521.49 c #Conflicts: 1328000 | #Constraints: 103161
3511.45/3521.49 c #Conflicts: 1329000 | #Constraints: 104161
3511.45/3521.49 c #Conflicts: 1330000 | #Constraints: 105161
3511.45/3521.49 c #Conflicts: 1331000 | #Constraints: 106161
3511.45/3521.49 c #Conflicts: 1332000 | #Constraints: 107161
3511.45/3521.49 c #Conflicts: 1333000 | #Constraints: 108161
3511.45/3521.49 c #Conflicts: 1334000 | #Constraints: 109161
3511.45/3521.49 c #Conflicts: 1335000 | #Constraints: 110161
3511.45/3521.49 c #Conflicts: 1336000 | #Constraints: 111161
3511.45/3521.49 c #Conflicts: 1337000 | #Constraints: 112161
3511.45/3521.49 c #Conflicts: 1338000 | #Constraints: 113161
3511.45/3521.49 c #Conflicts: 1339000 | #Constraints: 114161
3511.45/3521.49 c #Conflicts: 1340000 | #Constraints: 115161
3511.45/3521.49 c #Conflicts: 1341000 | #Constraints: 116161
3511.45/3521.49 c #Conflicts: 1342000 | #Constraints: 117161
3511.45/3521.49 c #Conflicts: 1343000 | #Constraints: 118161
3511.45/3521.49 c #Conflicts: 1344000 | #Constraints: 119161
3511.45/3521.49 c #Conflicts: 1345000 | #Constraints: 120161
3511.45/3521.49 c #Conflicts: 1346000 | #Constraints: 121161
3511.45/3521.49 c #Conflicts: 1347000 | #Constraints: 122161
3511.45/3521.49 c INPROCESSING
3511.45/3521.49 c GARBAGE COLLECT
3511.45/3521.49 c #Conflicts: 1348000 | #Constraints: 85123
3511.45/3521.49 c #Conflicts: 1349000 | #Constraints: 86123
3511.45/3521.49 c #Conflicts: 1350000 | #Constraints: 87123
3511.45/3521.49 c #Conflicts: 1351000 | #Constraints: 88123
3511.45/3521.49 c #Conflicts: 1352000 | #Constraints: 89123
3511.45/3521.49 c #Conflicts: 1353000 | #Constraints: 90123
3511.45/3521.49 c #Conflicts: 1354000 | #Constraints: 91123
3511.45/3521.49 c #Conflicts: 1355000 | #Constraints: 92123
3511.45/3521.49 c #Conflicts: 1356000 | #Constraints: 93123
3511.45/3521.49 c #Conflicts: 1357000 | #Constraints: 94123
3511.45/3521.49 c #Conflicts: 1358000 | #Constraints: 95123
3511.45/3521.49 c #Conflicts: 1359000 | #Constraints: 96123
3511.45/3521.49 c #Conflicts: 1360000 | #Constraints: 97123
3511.45/3521.49 c #Conflicts: 1361000 | #Constraints: 98123
3511.45/3521.49 c #Conflicts: 1362000 | #Constraints: 99123
3511.45/3521.49 c #Conflicts: 1363000 | #Constraints: 100123
3511.45/3521.49 c #Conflicts: 1364000 | #Constraints: 101123
3511.45/3521.49 c #Conflicts: 1365000 | #Constraints: 102123
3511.45/3521.49 c #Conflicts: 1366000 | #Constraints: 103123
3511.45/3521.49 c #Conflicts: 1367000 | #Constraints: 104123
3511.45/3521.49 c #Conflicts: 1368000 | #Constraints: 105123
3511.45/3521.49 c #Conflicts: 1369000 | #Constraints: 106123
3511.45/3521.49 c #Conflicts: 1370000 | #Constraints: 107123
3511.45/3521.49 c #Conflicts: 1371000 | #Constraints: 108123
3511.45/3521.49 c #Conflicts: 1372000 | #Constraints: 109123
3511.45/3521.49 c #Conflicts: 1373000 | #Constraints: 110123
3511.45/3521.49 c #Conflicts: 1374000 | #Constraints: 111123
3511.45/3521.49 c #Conflicts: 1375000 | #Constraints: 112123
3511.45/3521.49 c #Conflicts: 1376000 | #Constraints: 113123
3511.45/3521.49 c #Conflicts: 1377000 | #Constraints: 114123
3511.45/3521.49 c #Conflicts: 1378000 | #Constraints: 115123
3511.45/3521.49 c #Conflicts: 1379000 | #Constraints: 116123
3511.45/3521.49 c #Conflicts: 1380000 | #Constraints: 117123
3511.45/3521.49 c #Conflicts: 1381000 | #Constraints: 118123
3511.45/3521.49 c #Conflicts: 1382000 | #Constraints: 119123
3511.45/3521.49 c #Conflicts: 1383000 | #Constraints: 120123
3511.45/3521.49 c #Conflicts: 1384000 | #Constraints: 121123
3511.45/3521.49 c #Conflicts: 1385000 | #Constraints: 122123
3511.45/3521.49 c #Conflicts: 1386000 | #Constraints: 123123
3511.45/3521.49 c #Conflicts: 1387000 | #Constraints: 124123
3511.45/3521.49 c #Conflicts: 1388000 | #Constraints: 125124
3511.45/3521.49 c #Conflicts: 1389000 | #Constraints: 126124
3511.45/3521.49 c #Conflicts: 1390000 | #Constraints: 127124
3511.45/3521.49 c #Conflicts: 1391000 | #Constraints: 128124
3511.45/3521.49 c #Conflicts: 1392000 | #Constraints: 129124
3511.45/3521.49 c #Conflicts: 1393000 | #Constraints: 130124
3511.45/3521.49 c #Conflicts: 1394000 | #Constraints: 131124
3511.45/3521.49 c #Conflicts: 1395000 | #Constraints: 132124
3511.45/3521.49 c #Conflicts: 1396000 | #Constraints: 133124
3511.45/3521.49 c #Conflicts: 1397000 | #Constraints: 134124
3511.45/3521.49 c #Conflicts: 1398000 | #Constraints: 135124
3511.45/3521.49 c #Conflicts: 1399000 | #Constraints: 136124
3511.45/3521.49 c #Conflicts: 1400000 | #Constraints: 137124
3511.45/3521.49 c #Conflicts: 1401000 | #Constraints: 138124
3511.45/3521.49 c #Conflicts: 1402000 | #Constraints: 139124
3511.45/3521.49 c #Conflicts: 1403000 | #Constraints: 140124
3511.45/3521.49 c #Conflicts: 1404000 | #Constraints: 141124
3600.01/3610.20 c #Conflicts: 1405000 | #Constraints: 142124
3600.01/3610.20 c #Conflicts: 1406000 | #Constraints: 143124
3600.01/3610.20 c #Conflicts: 1407000 | #Constraints: 144124
3600.01/3610.20 c #Conflicts: 1408000 | #Constraints: 145124
3600.01/3610.20 c #Conflicts: 1409000 | #Constraints: 146124
3600.01/3610.20 c #Conflicts: 1410000 | #Constraints: 147124
3600.01/3610.20 c #Conflicts: 1411000 | #Constraints: 148124
3600.01/3610.20 c #Conflicts: 1412000 | #Constraints: 149124
3600.01/3610.20 c #Conflicts: 1413000 | #Constraints: 150124
3600.01/3610.20 c #Conflicts: 1414000 | #Constraints: 151124
3600.01/3610.20 c #Conflicts: 1415000 | #Constraints: 152124
3600.01/3610.20 c #Conflicts: 1416000 | #Constraints: 153124
3600.01/3610.20 c #Conflicts: 1417000 | #Constraints: 154124
3600.01/3610.20 c #Conflicts: 1418000 | #Constraints: 155124
3600.01/3610.20 c #Conflicts: 1419000 | #Constraints: 156124
3600.01/3610.20 c #Conflicts: 1420000 | #Constraints: 157124
3600.01/3610.20 c #Conflicts: 1421000 | #Constraints: 158124
3600.01/3610.20 c #Conflicts: 1422000 | #Constraints: 159124
3600.01/3610.20 c #Conflicts: 1423000 | #Constraints: 160124
3600.01/3610.20 c #Conflicts: 1424000 | #Constraints: 161124
3600.01/3610.20 c cpu time 3561.92 s
3600.01/3610.20 c deterministic time 253826825145 2.54e+11
3600.01/3610.20 c optimization time 246.422 s
3600.01/3610.20 c total solve time 3315.39 s
3600.01/3610.20 c core-guided solve time 0 s
3600.01/3610.20 c propagation time 1968.93 s
3600.01/3610.20 c conflict analysis time 1165.98 s
3600.01/3610.20 c propagations 1429308727
3600.01/3610.20 c resolve steps 83099601
3600.01/3610.20 c decisions 35487698
3600.01/3610.20 c conflicts 1424697
3600.01/3610.20 c restarts 2756
3600.01/3610.20 c inprocessing phases 49
3600.01/3610.20 c garbage collections 49 ,( 100.00 )
3600.01/3610.20 c input clauses 20882 ,( 99.17 )
3600.01/3610.20 c input cardinalities 174 ,( 0.83 )
3600.01/3610.20 c input general constraints 0 ,( 0.00 )
3600.01/3610.20 c input average constraint length 6.43
3600.01/3610.20 c input average constraint degree 1.97
3600.01/3610.20 c learned clauses 1035673 ,( 72.69 )
3600.01/3610.20 c learned cardinalities 47505 ,( 3.33 )
3600.01/3610.20 c learned general constraints 341527 ,( 23.97 )
3600.01/3610.20 c learned average constraint length 676.80
3600.01/3610.20 c learned average constraint degree 19845965.95
3600.01/3610.20 c watched CF 32, 64, 128, Arb: 85060 , 0 , 0 , 0
3600.01/3610.20 c counting CF 32, 64, 128, Arb: 256467 , 0 , 0 , 0
3600.01/3610.20 c watched constraints 85060 ,( 24.91 )
3600.01/3610.20 c counting constraints 256467 ,( 75.09 )
3600.01/3610.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1374940726 , 761936959 , 2023859601 ,( 90084272 , 1933775329 )
3600.01/3610.20 c gcd simplifications 706
3600.01/3610.20 c detected cardinalities 7012
3600.01/3610.20 c weakened non-implied lits 387874915
3600.01/3610.20 c weakened non-implying lits 192351
3600.01/3610.20 c original variables 20706
3600.01/3610.20 c clausal propagations 655749071
3600.01/3610.20 c cardinality propagations 528125846
3600.01/3610.20 c watched propagations 4375941
3600.01/3610.20 c counting propagations 227561203
3600.01/3610.20 c watch lookups 82497577557
3600.01/3610.20 c watch backjump lookups 0
3600.01/3610.20 c watch checks 35273886126
3600.01/3610.20 c propagation checks 128468859133
3600.01/3610.20 c constraint additions 4655199553
3600.01/3610.20 c trail pops 1466203827
3600.01/3610.20 c formula constraints 21056
3600.01/3610.20 c learned constraints 1424690
3600.01/3610.20 c bound constraints 0
3600.01/3610.20 c core-guided constraints 0
3600.01/3610.20 c encountered formula constraints 52329377
3600.01/3610.20 c encountered learned constraints 32194608
3600.01/3610.20 c encountered bound constraints 0
3600.01/3610.20 c encountered core-guided constraints 0
3600.01/3610.20 c LP total time 418.329 s
3600.01/3610.20 c LP solve time 405.16 s
3600.01/3610.20 c LP constraints added 21352
3600.01/3610.20 c LP constraints removed 61
3600.01/3610.20 c LP pivots internal 153681
3600.01/3610.20 c LP pivots root 148842
3600.01/3610.20 c LP calls 18
3600.01/3610.20 c LP optimalities 6
3600.01/3610.20 c LP no pivot count 0
3600.01/3610.20 c LP infeasibilities 6
3600.01/3610.20 c LP valid Farkas constraints 6
3600.01/3610.20 c LP learned Farkas constraints 6
3600.01/3610.20 c LP basis resets 0
3600.01/3610.20 c LP cycling count 0
3600.01/3610.20 c LP singular count 0
3600.01/3610.20 c LP no primal count 0
3600.01/3610.20 c LP no farkas count 0
3600.01/3610.20 c LP other issue count 0
3600.01/3610.20 c LP Gomory cuts 3
3600.01/3610.20 c LP learned cuts 293
3600.01/3610.20 c LP deleted cuts 61
3600.01/3610.20 c LP encountered Gomory constraints 250
3600.01/3610.20 c LP encountered Farkas constraints 45
3600.01/3610.20 c LP encountered learned Farkas constraints 12
3600.01/3610.20 c CG auxiliary variables introduced 0
3600.01/3610.20 c CG solutions found 0
3600.01/3610.20 c CG cores constructed 0
3600.01/3610.20 c CG core cardinality constraints returned 0
3600.01/3610.20 c CG unit cores 0
3600.01/3610.20 c CG single cores 0
3600.01/3610.20 c CG blocks removed during cardinality reduction 0
3600.01/3610.20 c CG first core best 0
3600.01/3610.20 c CG decision core best 0
3600.01/3610.20 c CG core reduction tie 0
3600.01/3610.20 c CG core degree average 0.00
3600.01/3610.20 c CG core slack average 0.00
3600.01/3610.20 c CG core upper bound improvements 0
3600.01/3610.20 c STR number of successful calls 0
3600.01/3610.20 c STR number of unsuccessful calls 0
3600.01/3610.20 c STR number of inconclusive calls 0
3600.01/3610.20 c STR number of successful attempts 0
3600.01/3610.20 c STR number of unsuccessful attempts 0
3600.01/3610.20 c STR number of inconclusive attempts 0
3600.01/3610.20 c STR average degree increase per successful call inf
3600.01/3610.20 c STR average degree increase per successful attempt inf
3600.01/3610.20 c STR total number of conflicts for successful attempts 0
3600.01/3610.20 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3610.20 c STR total number of conflicts for inconclusive attempts 0
3600.01/3610.20 c STR average number of conflicts per successful attempt inf
3600.01/3610.20 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3610.20 c STR average number of conflicts per inconclusive attempt inf
3600.01/3610.20 c AVG.sumWPerc 66.54
3600.01/3610.20 c bigint constraints 0
3600.01/3610.20 s UNKNOWN
3600.01/3610.20 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62555 MiB free)
memory of node 1: 64465 MiB (55273 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507015-1751174722/watcher-4507015-1751174722 -o /tmp/evaluation-result-4507015-1751174722/solver-4507015-1751174722 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751170667-20843 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4507015-1751174722.opb PROOFDIR/proof-4507015-1751174722
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=21512, runsolver pid=21509
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.13 4.09 4.08 5/273 21514
/proc/meminfo: memFree=120654524/131249992 swapFree=33010672/33010684
[pid=21512] ppid=21509 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21512/stat : 21512 (run-dec-ls-log.) S 21509 21512 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33146789 4292608 736 18446744073709551615 94324036513792 94324037408325 140727717382304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94324037647376 94324037695120 94324061487104 140727717390619 140727717390817 140727717390817 140727717396419 0
/proc/21512/statm: 1048 736 672 219 0 110 0
[pid=21514] ppid=21512 vsize=70644 memory=25336 CPUtime=0.08 cores=0,2
/proc/21514/stat : 21514 (roundingsat) R 21512 21512 20833 0 -1 4194304 4246 0 0 0 6 2 0 0 20 0 1 0 33146789 72339456 6334 18446744073709551615 4227072 8923433 140726206164320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26181632 140726206171472 140726206171688 140726206171688 140726206177258 0
/proc/21514/statm: 17661 6334 1984 1147 0 5088 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 74836 KiB
Current children cumulated memory: 28280 KiB
[startup+0.205616 s]*
/proc/loadavg: 4.13 4.09 4.08 5/273 21514
/proc/meminfo: memFree=120619872/131249992 swapFree=33010672/33010684
[pid=21512] ppid=21509 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21512/stat : 21512 (run-dec-ls-log.) S 21509 21512 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33146789 4292608 736 18446744073709551615 94324036513792 94324037408325 140727717382304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94324037647376 94324037695120 94324061487104 140727717390619 140727717390817 140727717390817 140727717396419 0
/proc/21512/statm: 1048 736 672 219 0 110 0
[pid=21514] ppid=21512 vsize=116540 memory=62496 CPUtime=0.19 cores=0,2
/proc/21514/stat : 21514 (roundingsat) R 21512 21512 20833 0 -1 4194304 12450 0 0 0 16 3 0 0 20 0 1 0 33146789 119336960 15624 18446744073709551615 4227072 8923433 140726206164320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26181632 140726206171472 140726206171688 140726206171688 140726206177258 0
/proc/21514/statm: 29135 15624 2240 1147 0 16562 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 120732 KiB
Current children cumulated memory: 65440 KiB
[startup+0.305558 s]*
/proc/loadavg: 4.13 4.09 4.08 5/273 21514
/proc/meminfo: memFree=120615840/131249992 swapFree=33010672/33010684
[pid=21512] ppid=21509 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21512/stat : 21512 (run-dec-ls-log.) S 21509 21512 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33146789 4292608 736 18446744073709551615 94324036513792 94324037408325 140727717382304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94324037647376 94324037695120 94324061487104 140727717390619 140727717390817 140727717390817 140727717396419 0
/proc/21512/statm: 1048 736 672 219 0 110 0
[pid=21514] ppid=21512 vsize=118136 memory=64416 CPUtime=0.28 cores=0,2
/proc/21514/stat : 21514 (roundingsat) R 21512 21512 20833 0 -1 4194304 12929 0 0 0 25 3 0 0 20 0 1 0 33146789 120971264 16104 18446744073709551615 4227072 8923433 140726206164320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26181632 140726206171472 140726206171688 140726206171688 140726206177258 0
/proc/21514/statm: 29534 16104 2240 1147 0 16961 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 122328 KiB
Current children cumulated memory: 67360 KiB
[startup+0.700212 s]
/proc/loadavg: 4.13 4.09 4.08 5/273 21514
/proc/meminfo: memFree=120615840/131249992 swapFree=33010672/33010684
[pid=21512] ppid=21509 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21512/stat : 21512 (run-dec-ls-log.) S 21509 21512 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33146789 4292608 736 18446744073709551615 94324036513792 94324037408325 140727717382304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94324037647376 94324037695120 94324061487104 140727717390619 140727717390817 140727717390817 140727717396419 0
/proc/21512/statm: 1048 736 672 219 0 110 0
[pid=21514] ppid=21512 vsize=118136 memory=65056 CPUtime=0.67 cores=0,2
/proc/21514/stat : 21514 (roundingsat) R 21512 21512 20833 0 -1 4194304 13034 0 0 0 64 3 0 0 20 0 1 0 33146789 120971264 16264 18446744073709551615 4227072 8923433 140726206164320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26181632 140726206171472 140726206171688 140726206171688 140726206177258 0
/proc/21514/statm: 29534 16264 2272 1147 0 16961 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 122328 KiB
Current children cumulated memory: 68000 KiB
[startup+1.5002 s]
/proc/loadavg: 4.13 4.09 4.08 5/273 21514
/proc/meminfo: memFree=120611744/131249992 swapFree=33010672/33010684
[pid=21512] ppid=21509 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21512/stat : 21512 (run-dec-ls-log.) S 21509 21512 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33146789 4292608 736 18446744073709551615 94324036513792 94324037408325 140727717382304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94324037647376 94324037695120 94324061487104 140727717390619 140727717390817 140727717390817 140727717396419 0
/proc/21512/statm: 1048 736 672 219 0 110 0
[pid=21514] ppid=21512 vsize=118136 memory=65056 CPUtime=1.47 cores=0,2
/proc/21514/stat : 21514 (roundingsat) R 21512 21512 20833 0 -1 4194304 13034 0 0 0 144 3 0 0 20 0 1 0 33146789 120971264 16264 18446744073709551615 4227072 8923433 140726206164320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26181632 140726206171472 140726206171688 140726206171688 140726206177258 0
/proc/21514/statm: 29534 16264 2272 1147 0 16961 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 122328 KiB
Current children cumulated memory: 68000 KiB
[startup+3.10546 s]
/proc/loadavg: 4.13 4.09 4.08 5/273 21514
/proc/meminfo: memFree=120614056/131249992 swapFree=33010672/33010684
[pid=21512] ppid=21509 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21512/stat : 21512 (run-dec-ls-log.) S 21509 21512 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33146789 4292608 736 18446744073709551615 94324036513792 94324037408325 140727717382304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94324037647376 94324037695120 94324061487104 140727717390619 140727717390817 140727717390817 140727717396419 0
/proc/21512/statm: 1048 736 672 219 0 110 0
[pid=21514] ppid=21512 vsize=120512 memory=68000 CPUtime=3.08 cores=0,2
/proc/21514/stat : 21514 (roundingsat) R 21512 21512 20833 0 -1 4194304 13784 0 0 0 304 4 0 0 20 0 1 0 33146789 123404288 17000 18446744073709551615 4227072 8923433 140726206164320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26181632 140726206171472 140726206171688 140726206171688 140726206177258 0
/proc/21514/statm: 30128 17000 2272 1147 0 17555 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 124704 KiB
Current children cumulated memory: 70944 KiB
[startup+6.3002 s]
/proc/loadavg: 4.12 4.09 4.08 5/273 21514
/proc/meminfo: memFree=120593588/131249992 swapFree=33010672/33010684
[pid=21512] ppid=21509 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21512/stat : 21512 (run-dec-ls-log.) S 21509 21512 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33146789 4292608 736 18446744073709551615 94324036513792 94324037408325 140727717382304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94324037647376 94324037695120 94324061487104 140727717390619 140727717390817 140727717390817 140727717396419 0
/proc/21512/statm: 1048 736 672 219 0 110 0
[pid=21514] ppid=21512 vsize=125340 memory=75680 CPUtime=6.26 cores=0,2
/proc/21514/stat : 21514 (roundingsat) R 21512 21512 20833 0 -1 4194304 15177 0 0 0 613 13 0 0 20 0 1 0 33146789 128348160 18920 18446744073709551615 4227072 8923433 140726206164320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26181632 140726206171472 140726206171688 140726206171688 140726206177258 0
/proc/21514/statm: 31335 18920 2304 1147 0 18762 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 129532 KiB
Current children cumulated memory: 78624 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.09 4.08 5/273 21514
/proc/meminfo: memFree=120538020/131249992 swapFree=33010672/33010684
[pid=21512] ppid=21509 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21512/stat : 21512 (run-dec-ls-log.) S 21509 21512 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33146789 4292608 736 18446744073709551615 94324036513792 94324037408325 140727717382304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94324037647376 94324037695120 94324061487104 140727717390619 140727717390817 140727717390817 140727717396419 0
/proc/21512/statm: 1048 736 672 219 0 110 0
[pid=21514] ppid=21512 vsize=135804 memory=85280 CPUtime=12.65 cores=0,2
/proc/21514/stat : 21514 (roundingsat) R 21512 21512 20833 0 -1 4194304 17566 0 0 0 1234 31 0 0 20 0 1 0 33146789 139063296 21320 18446744073709551615 4227072 8923433 140726206164320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26181632 140726206171472 140726206171688 140726206171688 140726206177258 0
/proc/21514/statm: 33951 21320 2304 1147 0 21378 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 139996 KiB
Current children cumulated memory: 88224 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.09 4.08 5/273 21514
/proc/meminfo: memFree=120405436/131249992 swapFree=33010672/33010684
[pid=21512] ppid=21509 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21512/stat : 21512 (run-dec-ls-log.) S 21509 21512 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33146789 4292608 736 18446744073709551615 94324036513792 94324037408325 140727717382304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94324037647376 94324037695120 94324061487104 140727717390619 140727717390817 140727717390817 140727717396419 0
/proc/21512/statm: 1048 736 672 219 0 110 0
[pid=21514] ppid=21512 vsize=160796 memory=104208 CPUtime=25.41 cores=0,2
/proc/21514/stat : 21514 (roundingsat) R 21512 21512 20833 0 -1 4194304 21774 0 0 0 2483 58 0 0 20 0 1 0 33146789 164655104 26052 18446744073709551615 4227072 8923433 140726206164320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26181632 140726206171472 140726206171688 140726206171688 140726206177258 0
/proc/21514/statm: 40199 26052 2304 1147 0 27626 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 164988 KiB
Current children cumulated memory: 107152 KiB
[startup+51.1056 s]
/proc/loadavg: 4.13 4.09 4.08 5/275 21517
/proc/meminfo: memFree=120155880/131249992 swapFree=33010672/33010684
[pid=21512] ppid=21509 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21512/stat : 21512 (run-dec-ls-log.) S 21509 21512 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33146789 4292608 736 18446744073709551615 94324036513792 94324037408325 140727717382304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94324037647376 94324037695120 94324061487104 140727717390619 140727717390817 140727717390817 140727717396419 0
/proc/21512/statm: 1048 736 672 219 0 110 0
[pid=21514] ppid=21512 vsize=189472 memory=130600 CPUtime=50.95 cores=0,2
/proc/21514/stat : 21514 (roundingsat) R 21512 21512 20833 0 -1 4194304 26932 0 0 0 4975 120 0 0 20 0 1 0 33146789 194019328 32650 18446744073709551615 4227072 8923433 140726206164320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26181632 140726206171472 140726206171688 140726206171688 140726206177258 0
/proc/21514/statm: 47368 32650 2304 1147 0 34795 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 193664 KiB
Current children cumulated memory: 133544 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.09 4.08 5/276 21520
/proc/meminfo: memFree=119695384/131249992 swapFree=33010672/33010684
[pid=21512] ppid=21509 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21512/stat : 21512 (run-dec-ls-log.) S 21509 21512 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33146789 4292608 736 18446744073709551615 94324036513792 94324037408325 140727717382304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94324037647376 94324037695120 94324061487104 140727717390619 140727717390817 140727717390817 140727717396419 0
/proc/21512/statm: 1048 736 672 219 0 110 0
[pid=21514] ppid=21512 vsize=246676 memory=184000 CPUtime=102.01 cores=0,2
/proc/21514/stat : 21514 (roundingsat) R 21512 21512 20833 0 -1 4194304 36775 0 0 0 9984 217 0 0 20 0 1 0 33146789 252596224 46000 18446744073709551615 4227072 8923433 140726206164320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26181632 140726206171472 140726206171688 140726206171688 140726206177258 0
/proc/21514/statm: 61669 46000 2304 1147 0 49096 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 250868 KiB
Current children cumulated memory: 186944 KiB
[startup+162.3 s]
/proc/loadavg: 4.51 4.19 4.11 5/276 21522
/proc/meminfo: memFree=119187144/131249992 swapFree=33010672/33010684
[pid=21512] ppid=21509 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21512/stat : 21512 (run-dec-ls-log.) S 21509 21512 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33146789 4292608 736 18446744073709551615 94324036513792 94324037408325 140727717382304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94324037647376 94324037695120 94324061487104 140727717390619 140727717390817 140727717390817 140727717396419 0
/proc/21512/statm: 1048 736 672 219 0 110 0
[pid=21514] ppid=21512 vsize=259780 memory=208072 CPUtime=161.85 cores=0,2
/proc/21514/stat : 21514 (roundingsat) R 21512 21512 20833 0 -1 4194304 40263 0 0 0 15862 323 0 0 20 0 1 0 33146789 266014720 52018 18446744073709551615 4227072 8923433 140726206164320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26181632 140726206171472 140726206171688 140726206171688 140726206177258 0
/proc/21514/statm: 64945 52018 2304 1147 0 52372 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 263972 KiB
Current children cumulated memory: 211016 KiB
[startup+222.3 s]
/proc/loadavg: 4.29 4.18 4.11 5/275 21524
/proc/meminfo: memFree=118684304/131249992 swapFree=33010672/33010684
[pid=21512] ppid=21509 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21512/stat : 21512 (run-dec-ls-log.) S 21509 21512 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33146789 4292608 736 18446744073709551615 94324036513792 94324037408325 140727717382304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94324037647376 94324037695120 94324061487104 140727717390619 140727717390817 140727717390817 140727717396419 0
/proc/21512/statm: 1048 736 672 219 0 110 0
[pid=21514] ppid=21512 vsize=314472 memory=239668 CPUtime=221.69 cores=0,2
/proc/21514/stat : 21514 (roundingsat) R 21512 21512 20833 0 -1 4194304 46582 0 0 0 21734 435 0 0 20 0 1 0 33146789 322019328 59917 18446744073709551615 4227072 8923433 140726206164320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26181632 140726206171472 140726206171688 140726206171688 140726206177258 0
################
# More data... #
################
/proc/21514/statm: 291786 263882 2336 1147 0 279213 0
Current children cumulated CPU time: 3033.67 s
Current children cumulated vsize: 1171336 KiB
Current children cumulated memory: 1058472 KiB
[startup+3102.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/272 21746
/proc/meminfo: memFree=102879604/131249992 swapFree=33010672/33010684
[pid=21512] ppid=21509 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21512/stat : 21512 (run-dec-ls-log.) S 21509 21512 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33146789 4292608 736 18446744073709551615 94324036513792 94324037408325 140727717382304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94324037647376 94324037695120 94324061487104 140727717390619 140727717390817 140727717390817 140727717396419 0
/proc/21512/statm: 1048 736 672 219 0 110 0
[pid=21514] ppid=21512 vsize=1167816 memory=1055912 CPUtime=3093.5 cores=0,2
/proc/21514/stat : 21514 (roundingsat) R 21512 21512 20833 0 -1 4194304 137272 0 0 0 305959 3391 0 0 20 0 1 0 33146789 1195843584 263978 18446744073709551615 4227072 8923433 140726206164320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26181632 140726206171472 140726206171688 140726206171688 140726206177258 0
/proc/21514/statm: 291954 263978 2336 1147 0 279381 0
Current children cumulated CPU time: 3093.5 s
Current children cumulated vsize: 1172008 KiB
Current children cumulated memory: 1058856 KiB
[startup+3162.3 s]
/proc/loadavg: 4.19 4.15 4.10 5/274 21750
/proc/meminfo: memFree=102396304/131249992 swapFree=33010672/33010684
[pid=21512] ppid=21509 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21512/stat : 21512 (run-dec-ls-log.) S 21509 21512 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33146789 4292608 736 18446744073709551615 94324036513792 94324037408325 140727717382304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94324037647376 94324037695120 94324061487104 140727717390619 140727717390817 140727717390817 140727717396419 0
/proc/21512/statm: 1048 736 672 219 0 110 0
[pid=21514] ppid=21512 vsize=1170168 memory=1058088 CPUtime=3153.34 cores=0,2
/proc/21514/stat : 21514 (roundingsat) R 21512 21512 20833 0 -1 4194304 137828 0 0 0 311887 3447 0 0 20 0 1 0 33146789 1198252032 264522 18446744073709551615 4227072 8923433 140726206164320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26181632 140726206171472 140726206171688 140726206171688 140726206177258 0
/proc/21514/statm: 292542 264522 2336 1147 0 279969 0
Current children cumulated CPU time: 3153.34 s
Current children cumulated vsize: 1174360 KiB
Current children cumulated memory: 1061032 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/274 21797
/proc/meminfo: memFree=109662496/131249992 swapFree=33010672/33010684
[pid=21512] ppid=21509 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21512/stat : 21512 (run-dec-ls-log.) S 21509 21512 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33146789 4292608 736 18446744073709551615 94324036513792 94324037408325 140727717382304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94324037647376 94324037695120 94324061487104 140727717390619 140727717390817 140727717390817 140727717396419 0
/proc/21512/statm: 1048 736 672 219 0 110 0
[pid=21514] ppid=21512 vsize=1175356 memory=1062440 CPUtime=3213.17 cores=0,2
/proc/21514/stat : 21514 (roundingsat) R 21512 21512 20833 0 -1 4194304 138900 0 0 0 317821 3496 0 0 20 0 1 0 33146789 1203564544 265610 18446744073709551615 4227072 8923433 140726206164320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26181632 140726206171472 140726206171688 140726206171688 140726206177258 0
/proc/21514/statm: 293839 265610 2336 1147 0 281266 0
Current children cumulated CPU time: 3213.17 s
Current children cumulated vsize: 1179548 KiB
Current children cumulated memory: 1065384 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/272 21799
/proc/meminfo: memFree=109179488/131249992 swapFree=33010672/33010684
[pid=21512] ppid=21509 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21512/stat : 21512 (run-dec-ls-log.) S 21509 21512 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33146789 4292608 736 18446744073709551615 94324036513792 94324037408325 140727717382304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94324037647376 94324037695120 94324061487104 140727717390619 140727717390817 140727717390817 140727717396419 0
/proc/21512/statm: 1048 736 672 219 0 110 0
[pid=21514] ppid=21512 vsize=1190608 memory=1073960 CPUtime=3273 cores=0,2
/proc/21514/stat : 21514 (roundingsat) R 21512 21512 20833 0 -1 4194304 141795 0 0 0 323771 3529 0 0 20 0 1 0 33146789 1219182592 268490 18446744073709551615 4227072 8923433 140726206164320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26181632 140726206171472 140726206171688 140726206171688 140726206177258 0
/proc/21514/statm: 297652 268490 2336 1147 0 285079 0
Current children cumulated CPU time: 3273 s
Current children cumulated vsize: 1194800 KiB
Current children cumulated memory: 1076904 KiB
[startup+3342.3 s]
/proc/loadavg: 4.46 4.21 4.12 5/272 21801
/proc/meminfo: memFree=108627124/131249992 swapFree=33010672/33010684
[pid=21512] ppid=21509 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21512/stat : 21512 (run-dec-ls-log.) S 21509 21512 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33146789 4292608 736 18446744073709551615 94324036513792 94324037408325 140727717382304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94324037647376 94324037695120 94324061487104 140727717390619 140727717390817 140727717390817 140727717396419 0
/proc/21512/statm: 1048 736 672 219 0 110 0
[pid=21514] ppid=21512 vsize=1190608 memory=1074088 CPUtime=3332.85 cores=0,2
/proc/21514/stat : 21514 (roundingsat) R 21512 21512 20833 0 -1 4194304 141826 0 0 0 329701 3584 0 0 20 0 1 0 33146789 1219182592 268522 18446744073709551615 4227072 8923433 140726206164320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26181632 140726206171472 140726206171688 140726206171688 140726206177258 0
/proc/21514/statm: 297652 268522 2336 1147 0 285079 0
Current children cumulated CPU time: 3332.85 s
Current children cumulated vsize: 1194800 KiB
Current children cumulated memory: 1077032 KiB
[startup+3402.3 s]
/proc/loadavg: 4.21 4.18 4.12 5/272 21849
/proc/meminfo: memFree=115098288/131249992 swapFree=33010672/33010684
[pid=21512] ppid=21509 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21512/stat : 21512 (run-dec-ls-log.) S 21509 21512 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33146789 4292608 736 18446744073709551615 94324036513792 94324037408325 140727717382304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94324037647376 94324037695120 94324061487104 140727717390619 140727717390817 140727717390817 140727717396419 0
/proc/21512/statm: 1048 736 672 219 0 110 0
[pid=21514] ppid=21512 vsize=1191600 memory=1075112 CPUtime=3392.68 cores=0,2
/proc/21514/stat : 21514 (roundingsat) R 21512 21512 20833 0 -1 4194304 142074 0 0 0 335619 3649 0 0 20 0 1 0 33146789 1220198400 268778 18446744073709551615 4227072 8923433 140726206164320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26181632 140726206171472 140726206171688 140726206171688 140726206177258 0
/proc/21514/statm: 297900 268778 2336 1147 0 285327 0
Current children cumulated CPU time: 3392.68 s
Current children cumulated vsize: 1195792 KiB
Current children cumulated memory: 1078056 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/272 21898
/proc/meminfo: memFree=114767668/131249992 swapFree=33010672/33010684
[pid=21512] ppid=21509 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21512/stat : 21512 (run-dec-ls-log.) S 21509 21512 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33146789 4292608 736 18446744073709551615 94324036513792 94324037408325 140727717382304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94324037647376 94324037695120 94324061487104 140727717390619 140727717390817 140727717390817 140727717396419 0
/proc/21512/statm: 1048 736 672 219 0 110 0
[pid=21514] ppid=21512 vsize=1193520 memory=1075880 CPUtime=3452.52 cores=0,2
/proc/21514/stat : 21514 (roundingsat) R 21512 21512 20833 0 -1 4194304 142284 0 0 0 341548 3704 0 0 20 0 1 0 33146789 1222164480 268970 18446744073709551615 4227072 8923433 140726206164320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26181632 140726206171472 140726206171688 140726206171688 140726206177258 0
/proc/21514/statm: 298380 268970 2336 1147 0 285807 0
Current children cumulated CPU time: 3452.52 s
Current children cumulated vsize: 1197712 KiB
Current children cumulated memory: 1078824 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.15 4.11 5/273 21904
/proc/meminfo: memFree=114243228/131249992 swapFree=33010672/33010684
[pid=21512] ppid=21509 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21512/stat : 21512 (run-dec-ls-log.) S 21509 21512 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33146789 4292608 736 18446744073709551615 94324036513792 94324037408325 140727717382304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94324037647376 94324037695120 94324061487104 140727717390619 140727717390817 140727717390817 140727717396419 0
/proc/21512/statm: 1048 736 672 219 0 110 0
[pid=21514] ppid=21512 vsize=1193520 memory=1076776 CPUtime=3512.35 cores=0,2
/proc/21514/stat : 21514 (roundingsat) R 21512 21512 20833 0 -1 4194304 142501 0 0 0 347488 3747 0 0 20 0 1 0 33146789 1222164480 269194 18446744073709551615 4227072 8923433 140726206164320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26181632 140726206171472 140726206171688 140726206171688 140726206177258 0
/proc/21514/statm: 298380 269194 2336 1147 0 285807 0
Current children cumulated CPU time: 3512.35 s
Current children cumulated vsize: 1197712 KiB
Current children cumulated memory: 1079720 KiB
[startup+3582.3 s]
/proc/loadavg: 4.50 4.24 4.14 5/274 21912
/proc/meminfo: memFree=113629808/131249992 swapFree=33010672/33010684
[pid=21512] ppid=21509 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21512/stat : 21512 (run-dec-ls-log.) S 21509 21512 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33146789 4292608 736 18446744073709551615 94324036513792 94324037408325 140727717382304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94324037647376 94324037695120 94324061487104 140727717390619 140727717390817 140727717390817 140727717396419 0
/proc/21512/statm: 1048 736 672 219 0 110 0
[pid=21514] ppid=21512 vsize=1202572 memory=1084072 CPUtime=3572.18 cores=0,2
/proc/21514/stat : 21514 (roundingsat) R 21512 21512 20833 0 -1 4194304 144317 0 0 0 353428 3790 0 0 20 0 1 0 33146789 1231433728 271018 18446744073709551615 4227072 8923433 140726206164320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26181632 140726206171472 140726206171688 140726206171688 140726206177258 0
/proc/21514/statm: 300643 271018 2336 1147 0 288070 0
Current children cumulated CPU time: 3572.18 s
Current children cumulated vsize: 1206764 KiB
Current children cumulated memory: 1087016 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.30 4.22 4.13 5/274 21913
/proc/meminfo: memFree=113401788/131249992 swapFree=33010672/33010684
[pid=21512] ppid=21509 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21512/stat : 21512 (run-dec-ls-log.) S 21509 21512 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33146789 4292608 736 18446744073709551615 94324036513792 94324037408325 140727717382304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94324037647376 94324037695120 94324061487104 140727717390619 140727717390817 140727717390817 140727717396419 0
/proc/21512/statm: 1048 736 672 219 0 110 0
[pid=21514] ppid=21512 vsize=1209704 memory=1089448 CPUtime=3600.01 cores=0,2
/proc/21514/stat : 21514 (roundingsat) R 21512 21512 20833 0 -1 4194304 145669 0 0 0 356192 3809 0 0 20 0 1 0 33146789 1238736896 272362 18446744073709551615 4227072 8923433 140726206164320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26181632 140726206171472 140726206171688 140726206171688 140726206177258 0
/proc/21514/statm: 302426 272362 2336 1147 0 289853 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1213896 KiB
Current children cumulated memory: 1092392 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.2 s]
# the end of solver process 21512 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.001886 s
[startup+3610.24 s]
# the end of solver process 21514 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3561.94 s, system=38.1087 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.24
CPU time (s): 3600.05
CPU user time (s): 3561.94
CPU system time (s): 38.1087
CPU usage (%): 99.7178
Max. virtual memory (cumulated for all children) (KiB): 1213896
Max. memory (cumulated for all children) (KiB): 1092392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3561.94
system time used= 38.1087
maximum resident set size= 1089832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145899
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11549056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 411
involuntary context switches= 8411
# summary of solver processes directly reported to runsolver:
# pid: 21512,21514
# total CPU time (s): 3600.05
# total CPU user time (s): 3561.94
# total CPU system time (s): 38.1087
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.99941 second user time and 17.6327 second system time
The end
Begin job on nodeC035 at 2025-06-29 07:25:23
IDJOB=4507015
IDBENCH=158316
IDSOLVER=3354
FILE ID=nodeC035/4507015-1751174722
RUNJOBID= nodeC035-1751170667-20843
SLURM_JOB_ID= 9587529
Free space on /tmp= 433036 MiB
SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K174.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507015-1751174722/watcher-4507015-1751174722 -o /tmp/evaluation-result-4507015-1751174722/solver-4507015-1751174722 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751170667-20843 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4507015-1751174722.opb PROOFDIR/proof-4507015-1751174722
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c4faa5671d3144bef53831284f041277
RANDOM SEED=1860366589
nodeC035 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.745
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.750
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3355.682
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.531
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.743
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.745
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.086
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 120657044 kB
MemAvailable: 128366808 kB
Buffers: 2352 kB
Cached: 8504756 kB
SwapCached: 8 kB
Active: 1671348 kB
Inactive: 8305504 kB
Active(anon): 1481816 kB
Inactive(anon): 6040 kB
Active(file): 189532 kB
Inactive(file): 8299464 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 38556 kB
Writeback: 0 kB
AnonPages: 1472948 kB
Mapped: 116200 kB
Shmem: 18056 kB
KReclaimable: 120016 kB
Slab: 206828 kB
SReclaimable: 120016 kB
SUnreclaim: 86812 kB
KernelStack: 4400 kB
PageTables: 6152 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2016648 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150664 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 495616 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433032 MiB
End job on nodeC035 at 2025-06-29 08:25:33