(1,4) (2,8) (3,22) (5,25) (6,12) (7,28) (9,24) (10,18) (11,17) (13,30) (14,21) (15,23) (16,29) (19,26) (20,27) 
nodes: 10016  conflicts: 39  modelTime: 1710  solveTime: 36991  totalTime: 38721  modelSize: 72266  readTime: 19 size: 15