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