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