(1,20) (2,28) (3,18) (4,19) (5,29) (6,16) (7,30) (9,27) (10,23) (11,25) (12,21) (14,22) (15,17) 
nodes: 1022  conflicts: 57  modelTime: 662  solveTime: 1481  totalTime: 2170  modelSize: 41293  readTime: 27 size: 13