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