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