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