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