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