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