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