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