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