(1,26) (2,28) (3,16) (4,18) (5,20) (6,17) (7,24) (9,21) (10,22) (11,29) (13,30) (14,23) (15,27) 
nodes: 1011  conflicts: 49  modelTime: 659  solveTime: 1461  totalTime: 2127  modelSize: 41292  readTime: 6 size: 13