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