(1,3) (2,18) (4,23) (5,7) (8,9) (10,21) (11,28) (12,24) (13,14) (15,22) (17,27) (19,26) (20,29) (25,30) 
nodes: 8064  conflicts: 62  modelTime: 942  solveTime: 22947  totalTime: 23900  modelSize: 72266  readTime: 11 size: 14