(1,26) (2,25) (3,18) (4,28) (5,23) (6,17) (7,27) (8,24) (9,29) (10,22) (12,19) (14,21) (15,30) 
nodes: 1430  conflicts: 36  modelTime: 657  solveTime: 1503  totalTime: 2167  modelSize: 41293  readTime: 7 size: 13