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