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