(1,16) (2,22) (3,28) (4,27) (5,24) (6,25) (7,21) (8,26) (9,23) (10,30) (11,17) (12,18) (13,20) (15,19) 
nodes: 2899  conflicts: 42  modelTime: 659  solveTime: 4237  totalTime: 4903  modelSize: 41299  readTime: 7 size: 14