(1,29) (2,26) (3,23) (6,28) (7,19) (8,30) (9,18) (10,17) (11,25) (12,27) (13,21) (14,24) 
nodes: 722  conflicts: 49  modelTime: 665  solveTime: 987  totalTime: 1659  modelSize: 41293  readTime: 7 size: 12