(1,26) (3,6) (5,16) (7,25) (8,12) (9,30) (10,21) (13,15) (14,19) (17,29) (18,22) (20,28) (24,27) 
nodes: 19608  conflicts: 59  modelTime: 963  solveTime: 40181  totalTime: 41155  modelSize: 72263  readTime: 11 size: 13