(1,26) (2,28) (3,20) (4,17) (5,27) (6,16) (8,25) (9,24) (11,23) (12,19) (13,30) (14,29) (15,21) 
nodes: 1006  conflicts: 57  modelTime: 659  solveTime: 1086  totalTime: 1752  modelSize: 41293  readTime: 7 size: 13