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