(1,27) (2,22) (3,24) (4,30) (5,28) (6,17) (7,25) (8,26) (9,16) (10,19) (11,29) (12,21) (13,18) (14,20) (15,23) 
nodes: 1905  conflicts: 12  modelTime: 1184  solveTime: 6126  totalTime: 7354  modelSize: 41299  readTime: 44 size: 15