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