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