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