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