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