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