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