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