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