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