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