(1,9) (2,14) (3,18) (4,22) (5,24) (6,17) (7,13) (8,26) (10,28) (11,15) (12,20) (16,27) (19,21) (23,30) (25,29) 
nodes: 36049  conflicts: 48  modelTime: 1699  solveTime: 116974  totalTime: 118693  modelSize: 72266  readTime: 20 size: 15