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