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