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