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