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