(1,19) (2,12) (3,27) (4,30) (5,17) (6,10) (7,16) (8,26) (9,13) (11,15) (14,28) (20,23) (21,22) (24,25) 
nodes: 3995  conflicts: 40  modelTime: 948  solveTime: 19976  totalTime: 20935  modelSize: 72263  readTime: 11 size: 14