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