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