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