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