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