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