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