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