(1,20) (4,27) (6,29) (7,22) (8,19) (9,18) (10,30) (11,17) (12,24) (13,26) (14,25) (15,23) 
nodes: 1142  conflicts: 54  modelTime: 662  solveTime: 1273  totalTime: 1941  modelSize: 41293  readTime: 6 size: 12