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