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