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