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