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