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