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