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