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