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