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