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