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