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