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