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