(1,13) (2,12) (3,22) (4,28) (5,19) (6,14) (7,24) (8,11) (9,10) (15,21) (16,17) (18,29) (20,25) (23,30) (26,27) 
nodes: 9273  conflicts: 40  modelTime: 1737  solveTime: 37543  totalTime: 39300  modelSize: 72265  readTime: 19 size: 15