(1,26) (2,18) (3,22) (4,17) (5,21) (6,24) (7,16) (9,30) (10,27) (11,23) (12,20) (14,28) (15,29) 
nodes: 3958  conflicts: 37  modelTime: 970  solveTime: 10085  totalTime: 11064  modelSize: 41293  readTime: 9 size: 13