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