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