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