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