(1,30) (3,25) (4,29) (5,18) (6,26) (7,13) (8,9) (10,28) (11,19) (12,15) (16,21) (20,23) (22,24) 
nodes: 8246  conflicts: 105  modelTime: 1720  solveTime: 34283  totalTime: 36025  modelSize: 72263  readTime: 21 size: 13