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