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