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