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