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