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