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