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