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