(1,19) (2,30) (3,29) (4,18) (5,17) (6,28) (7,20) (8,27) (9,22) (10,16) (12,23) 
nodes: 1783  conflicts: 46  modelTime: 659  solveTime: 3337  totalTime: 4003  modelSize: 41293  readTime: 7 size: 11