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