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