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