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