(1,20) (2,29) (3,28) (4,24) (5,27) (7,18) (8,23) (9,19) (10,22) (11,30) (12,16) (14,17) (15,25) 
nodes: 1425  conflicts: 36  modelTime: 660  solveTime: 1849  totalTime: 2515  modelSize: 41293  readTime: 6 size: 13