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