(1,11) (3,10) (4,29) (5,27) (6,26) (7,23) (9,21) (12,17) (13,15) (14,16) (18,22) (19,20) (24,30) (25,28) 
nodes: 49488  conflicts: 24  modelTime: 1713  solveTime: 280135  totalTime: 281867  modelSize: 72266  readTime: 19 size: 14