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