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