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