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