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