(1,24) (2,19) (3,4) (5,30) (7,15) (8,17) (9,28) (10,11) (12,14) (13,26) (16,29) (18,27) (20,23) (21,22) 
nodes: 7025  conflicts: 43  modelTime: 1706  solveTime: 22829  totalTime: 24556  modelSize: 72262  readTime: 20 size: 14