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