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