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