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