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