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