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