(1,11) (3,5) (4,12) (6,27) (7,14) (8,22) (9,13) (10,30) (15,20) (16,25) (17,24) (18,19) (21,23) (26,29) 
nodes: 335067  conflicts: 38  modelTime: 961  solveTime: 1241411  totalTime: 1242387  modelSize: 72262  readTime: 15 size: 14