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