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