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