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