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