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