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