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