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