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