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