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