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