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