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