(2,7) (3,19) (4,26) (5,8) (6,9) (10,17) (11,16) (12,14) (13,24) (15,18) (21,22) (23,28) (25,29) (27,30) 
nodes: 21057  conflicts: 87  modelTime: 951  solveTime: 53030  totalTime: 54008  modelSize: 72262  readTime: 27 size: 14