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