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