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