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