(1,29) (2,13) (3,28) (4,14) (5,9) (7,24) (8,26) (10,23) (11,30) (15,22) (19,20) 
nodes: 391  conflicts: 110  modelTime: 943  solveTime: 2493  totalTime: 3447  modelSize: 72262  readTime: 11 size: 11