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