(1,4) (2,21) (3,13) (5,30) (6,8) (7,25) (9,23) (10,28) (11,22) (12,24) (14,29) (15,20) (16,19) (18,27) 
nodes: 3973  conflicts: 60  modelTime: 1527  solveTime: 16897  totalTime: 18444  modelSize: 72266  readTime: 20 size: 14