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