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