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