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