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