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