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