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