(1,21) (2,24) (4,26) (5,7) (6,29) (8,20) (9,27) (10,13) (11,17) (12,18) (14,30) (15,19) (16,25) (22,28) 
nodes: 10294  conflicts: 46  modelTime: 1219  solveTime: 33001  totalTime: 34235  modelSize: 72262  readTime: 15 size: 14