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