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