(1,16) (2,14) (3,28) (4,22) (5,7) (6,17) (8,27) (9,26) (10,20) (11,29) (12,18) (13,23) (15,19) (25,30) 
nodes: 41112  conflicts: 34  modelTime: 1506  solveTime: 160754  totalTime: 162279  modelSize: 72268  readTime: 19 size: 14