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