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