(1,17) (2,23) (3,22) (5,21) (6,29) (7,18) (8,16) (9,19) (10,24) (12,20) (13,30) (15,25) 
nodes: 700  conflicts: 56  modelTime: 659  solveTime: 874  totalTime: 1539  modelSize: 41293  readTime: 6 size: 12