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