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