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