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