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