(1,25) (2,28) (3,29) (4,24) (5,27) (7,19) (8,17) (9,16) (11,30) (12,18) (13,22) (14,23) (15,26) 
nodes: 1150  conflicts: 28  modelTime: 1059  solveTime: 1873  totalTime: 2941  modelSize: 41293  readTime: 9 size: 13