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