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