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