(1,26) (2,30) (3,23) (4,22) (5,27) (6,17) (8,21) (9,28) (10,18) (11,16) (13,19) (14,29) (15,24) 
nodes: 2560  conflicts: 26  modelTime: 693  solveTime: 4845  totalTime: 5544  modelSize: 41293  readTime: 6 size: 13