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