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