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