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