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