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