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