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