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