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