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