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