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