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