(1,17) (2,19) (3,22) (4,27) (6,24) (7,25) (8,20) (9,29) (10,28) (11,18) (12,21) (13,16) (14,30) (15,23) 
nodes: 4362  conflicts: 38  modelTime: 655  solveTime: 7417  totalTime: 8078  modelSize: 41293  readTime: 6 size: 14