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