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