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