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