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