(1,10) (2,26) (3,19) (4,28) (5,14) (6,12) (8,16) (9,24) (11,30) (13,25) (15,17) (20,27) (21,23) (22,29) 
nodes: 11662  conflicts: 79  modelTime: 1735  solveTime: 43053  totalTime: 44828  modelSize: 72262  readTime: 40 size: 14