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