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