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