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