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