(1,22) (4,27) (5,30) (7,28) (8,16) (9,24) (10,21) (11,23) (12,19) (13,18) (14,20) (15,29) 
nodes: 817  conflicts: 48  modelTime: 660  solveTime: 790  totalTime: 1456  modelSize: 41293  readTime: 6 size: 12