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