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