(1,24) (2,30) (3,27) (4,22) (5,20) (7,26) (8,18) (10,17) (11,28) (12,19) (13,29) (15,25) 
nodes: 958  conflicts: 58  modelTime: 660  solveTime: 1374  totalTime: 2040  modelSize: 41293  readTime: 6 size: 12