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