(1,10) (2,23) (3,29) (4,7) (5,22) (6,20) (8,13) (9,14) (11,24) (12,27) (15,25) (16,21) (17,28) (18,26) (19,30) 
nodes: 18381  conflicts: 37  modelTime: 943  solveTime: 53623  totalTime: 54577  modelSize: 72263  readTime: 11 size: 15