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