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