(1,17) (2,4) (5,23) (6,22) (7,27) (8,28) (9,20) (10,16) (11,21) (12,13) (14,25) (18,29) (19,24) (26,30) 
nodes: 7076  conflicts: 40  modelTime: 1715  solveTime: 36113  totalTime: 37848  modelSize: 72266  readTime: 20 size: 14