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