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