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