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