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