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