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