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