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