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