(1,20) (2,4) (3,8) (5,17) (6,25) (7,13) (9,16) (10,19) (11,24) (12,29) (15,28) (18,26) (21,30) (23,27) 
nodes: 383791  conflicts: 48  modelTime: 1734  solveTime: 1890501  totalTime: 1892255  modelSize: 72269  readTime: 19 size: 14