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