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