(1,15) (2,18) (3,7) (4,28) (5,24) (6,25) (8,9) (10,14) (11,21) (12,16) (13,26) (17,22) (19,29) (20,27) (23,30) 
nodes: 163488  conflicts: 32  modelTime: 928  solveTime: 636879  totalTime: 637818  modelSize: 72268  readTime: 10 size: 15