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