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