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