(1,25) (2,19) (3,29) (5,30) (7,23) (8,16) (10,24) (11,26) (12,22) (13,27) (14,18) 
nodes: 1558  conflicts: 59  modelTime: 659  solveTime: 1634  totalTime: 2299  modelSize: 41292  readTime: 6 size: 11