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