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