(1,16) (2,28) (3,29) (4,27) (5,22) (7,18) (8,20) (9,24) (10,17) (11,23) (12,30) (13,25) (15,19) 
nodes: 1851  conflicts: 36  modelTime: 659  solveTime: 2193  totalTime: 2858  modelSize: 41299  readTime: 6 size: 13