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