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