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