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