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