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