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