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