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