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