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