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