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