(1,19) (2,17) (3,27) (4,13) (5,25) (6,21) (7,22) (8,14) (9,15) (10,24) (11,30) (12,29) (16,20) (18,26) (23,28) 
nodes: 459420  conflicts: 14  modelTime: 1705  solveTime: 1916722  totalTime: 1918444  modelSize: 72264  readTime: 17 size: 15