(1,19) (2,25) (3,28) (4,13) (5,16) (6,26) (7,10) (8,11) (9,22) (12,24) (14,30) (15,27) (18,20) (21,29) 
nodes: 6023  conflicts: 43  modelTime: 1728  solveTime: 21520  totalTime: 23268  modelSize: 72263  readTime: 20 size: 14