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