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