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