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