(1,15) (2,21) (3,22) (4,10) (5,7) (6,28) (8,26) (9,19) (11,25) (12,13) (14,24) (16,18) (17,29) (20,27) (23,30) 
nodes: 128010  conflicts: 31  modelTime: 997  solveTime: 541682  totalTime: 542690  modelSize: 72262  readTime: 11 size: 15