(1,7) (2,4) (3,6) (5,18) (8,22) (9,10) (11,16) (12,25) (13,23) (14,26) (15,30) (17,29) (19,28) (20,24) (21,27) 
nodes: 5593  conflicts: 36  modelTime: 943  solveTime: 16937  totalTime: 17910  modelSize: 72270  readTime: 29 size: 15