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