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