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