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