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