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