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