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