(1,21) (2,17) (3,5) (4,26) (6,11) (7,28) (8,18) (9,10) (12,23) (13,29) (14,30) (15,20) (16,24) (25,27) 
nodes: 8922  conflicts: 44  modelTime: 1708  solveTime: 34986  totalTime: 36714  modelSize: 72268  readTime: 19 size: 14