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