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