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