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