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