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