(1,14) (2,4) (3,29) (5,9) (6,25) (7,17) (8,16) (10,15) (11,22) (12,26) (13,27) (18,30) (19,20) (21,23) 
nodes: 4049  conflicts: 45  modelTime: 1614  solveTime: 14266  totalTime: 15891  modelSize: 72265  readTime: 11 size: 14