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