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