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