(1,30) (2,3) (4,5) (6,11) (7,10) (8,13) (9,22) (14,18) (15,25) (16,24) (17,27) (19,28) (20,26) (21,23) 
nodes: 3002  conflicts: 46  modelTime: 931  solveTime: 7051  totalTime: 7993  modelSize: 72264  readTime: 11 size: 14