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