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