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