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