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