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