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