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