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