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