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