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