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