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