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