(1,24) (2,25) (4,18) (5,21) (6,30) (7,17) (8,29) (9,28) (10,19) (11,16) (12,20) (13,23) (14,27) (15,22) 
nodes: 2693  conflicts: 45  modelTime: 657  solveTime: 4067  totalTime: 4731  modelSize: 41299  readTime: 7 size: 14