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