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