(1,6) (2,11) (3,28) (4,18) (5,20) (7,23) (8,29) (9,22) (10,14) (12,19) (13,16) (15,26) (17,24) (21,27) (25,30) 
nodes: 34801  conflicts: 17  modelTime: 1732  solveTime: 195441  totalTime: 197191  modelSize: 72285  readTime: 18 size: 15