(1,16) (2,18) (3,14) (4,23) (5,26) (6,7) (8,24) (9,20) (10,28) (11,25) (12,30) (13,19) (15,22) (17,21) (27,29) 
nodes: 345711  conflicts: 26  modelTime: 1497  solveTime: 1725007  totalTime: 1726514  modelSize: 72285  readTime: 10 size: 15