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