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