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