(1,24) (2,23) (3,25) (5,18) (7,29) (8,30) (10,20) (11,26) (12,21) (13,22) (14,17) (15,19) 
nodes: 18604  conflicts: 31  modelTime: 654  solveTime: 31069  totalTime: 31729  modelSize: 41292  readTime: 6 size: 12