(1,23) (2,16) (3,18) (4,20) (5,28) (6,25) (7,29) (8,19) (9,26) (10,21) (12,27) (13,30) (14,22) (15,24) 
nodes: 2847  conflicts: 33  modelTime: 659  solveTime: 2810  totalTime: 3477  modelSize: 41299  readTime: 7 size: 14