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