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