(1,24) (2,29) (3,21) (4,22) (5,25) (6,26) (7,30) (8,28) (9,19) (10,23) (12,16) (13,20) (14,18) (15,27) 
nodes: 5483  conflicts: 36  modelTime: 657  solveTime: 10705  totalTime: 11369  modelSize: 41298  readTime: 7 size: 14