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