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