(1,15) (2,22) (3,28) (4,7) (5,13) (6,16) (8,17) (11,26) (12,20) (14,29) (18,30) (19,24) (21,25) (23,27) 
nodes: 61876  conflicts: 44  modelTime: 1699  solveTime: 160868  totalTime: 162586  modelSize: 72263  readTime: 19 size: 14