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