(1,29) (2,18) (3,30) (5,19) (6,26) (7,22) (8,16) (9,27) (11,25) (12,28) (14,21) (15,20) 
nodes: 708  conflicts: 38  modelTime: 659  solveTime: 1035  totalTime: 1700  modelSize: 41293  readTime: 6 size: 12