(3,28) (4,12) (5,16) (6,9) (7,18) (8,30) (10,26) (13,29) (19,23) (20,25) (21,27) (22,24) 
nodes: 2038  conflicts: 86  modelTime: 942  solveTime: 6869  totalTime: 7823  modelSize: 72262  readTime: 12 size: 12