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