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