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