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