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